wapiou

↗ HN profile [ 51.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. I Am a FuturAmerican Supremacist (philosophyofee.substack.com)
  2. Apply to X Combinator (xcombinator.com)
  3. I built FuturLang, a formal verification system that preserves natural language structure while enabling machine verification. The goal is to make formal proofs more accessible without requiring specialized notation…

  4. Skuld (skuld.pro)
  5. Aristotle Finance (aristotle.finance)
  6. AI SWE (ai-swe.com)
  7. Daedalus Wallet (apps.apple.com)
  8. Daedalus Finance (apps.apple.com)