Hacker News new | past | comments | ask | show | jobs | submit | from login

Global Rebuilding, Coroutines, and Defunctionalization (hedonisticlearning.com) 2 points by JNRowe 25 days ago | past You know more about presheaves than you think (hedonisticlearning.com) 2 points by _b6mc on Sept 20, 2022 | past Quotient Types for Programmers (hedonisticlearning.com) 14 points by pplonski86 on Dec 21, 2018 | past | 3 comments Category Theory, Syntactically (2016) (hedonisticlearning.com) 137 points by colinprince on April 27, 2017 | past | 68 comments Category Theory, Syntactically (hedonisticlearning.com) 3 points by setra on Feb 13, 2017 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: