|
|
| | Type Theory Forall: What Is Type Theory and What Properties We Should Care About (typetheoryforall.com) | | 1 point by matt_d on Nov 24, 2024 | past | |
| | Type Theory Forall #39: Equality, Quotation, Bidirectional Type Checking (typetheoryforall.com) | | 2 points by matt_d on June 14, 2024 | past | 1 comment | |
| | TTFA #38: David Christiansen – Haskell, Lean, Idris, and the Art of Writing (typetheoryforall.com) | | 5 points by matt_d on May 17, 2024 | past | |
| | Type Theory: #33 Z3 and Lean, the Spiritual Journey (typetheoryforall.com) | | 3 points by ghuntley on Sept 10, 2023 | past | |
| | Can PL theory make you a better software engineer? (typetheoryforall.com) | | 71 points by ghuntley on April 10, 2023 | past | 14 comments | |
| | Kevin Buzzard: Mechanizing Modern Mathematics Interview (typetheoryforall.com) | | 4 points by generationP on Jan 16, 2023 | past | 1 comment | |
| | The lost elegance of computation with Conal Elliott [audio] (typetheoryforall.com) | | 24 points by ivank on June 11, 2022 | past | |
| | Type Theory for All (typetheoryforall.com) | | 1 point by azhenley on Jan 29, 2021 | past | |
| | Type Theory for All: Bringing Programming Languages Research Outside Academia (typetheoryforall.com) | | 4 points by azhenley on Dec 29, 2020 | past | 1 comment | |
| | Type Theory Forall: Bringing Programming Languages Research Outside Academia (typetheoryforall.com) | | 2 points by matt_d on Dec 24, 2020 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
