← Back to context

Comment by gsf_emergency_6

5 days ago

iOS formalization app mentioned by Tao (beta)

https://aristotle.harmonic.fun/

TIL: startup founded by Robin Hood CEO

0 comments

gsf_emergency_6

Reply

No comments yet

Contribute on Hacker News ↗