Let's Abandon the Cogito and Use Type Theory Insteadadvancedresearch.github.io2 points·bvssvni··0 commentsOpen articleSaveView on HN