|
|
| | What’s a fire and why does it burn? (2016) (qchu.wordpress.com) | |
147 points by kvee on March 23, 2022 | past | 56 comments
|
|
| | The type system of mathematics (qchu.wordpress.com) | |
3 points by primodemus on Jan 19, 2018 | past
|
|
| | The type system of mathematics (2013) (qchu.wordpress.com) | |
2 points by 7373737373 on Nov 12, 2017 | past
|
|
| | The type systems of mathematics (2013) (qchu.wordpress.com) | |
3 points by adamnemecek on Oct 2, 2017 | past
|
|
| | What’s a fire, and why does it burn? (qchu.wordpress.com) | |
276 points by pizza on Jan 10, 2017 | past | 92 comments
|
|
| | The type system of mathematics (2013) (qchu.wordpress.com) | |
1 point by subnaught on Nov 23, 2015 | past
|
|
| | The Type System of Mathematics (qchu.wordpress.com) | |
2 points by Ixiaus on July 2, 2014 | past | 1 comment
|
|
| | Cantor’s theorem, the prisoner’s dilemma, and the halting problem (qchu.wordpress.com) | |
2 points by ColinWright on Dec 14, 2013 | past
|
|
| | Cantor’s theorem, the prisoner’s dilemma, and the halting problem (qchu.wordpress.com) | |
1 point by llambda on July 2, 2013 | past
|
|
| | Ramsey theory and Fermat's Last Theorem (qchu.wordpress.com) | |
1 point by ColinWright on Oct 8, 2012 | past
|
|
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
