Hacker News new | ask | show | jobs
Let's Abandon the Cogito and Use Type Theory Instead (advancedresearch.github.io)
2 points by bvssvni 1584 days ago