|
|
| | Implementing Type Systems as Macros (lambdaland.org) | | 1 point by ashton314 on Aug 22, 2023 | past | |
| | Reflections One Year into a PhD (lambdaland.org) | | 1 point by ashton314 on Aug 7, 2023 | past | |
| | The kind of thinking CS enables (lambdaland.org) | | 1 point by ashton314 on May 12, 2023 | past | 1 comment | |
| | The kind of thinking that CS enables (lambdaland.org) | | 2 points by ashton314 on May 11, 2023 | past | 2 comments | |
| | Praise for the Pragmatic Third Camp (lambdaland.org) | | 2 points by ashton314 on March 16, 2023 | past | |
| | What is a type system, really? (lambdaland.org) | | 2 points by ashton314 on Jan 23, 2023 | past | |
| | Unix as a tool forge and how Emacs fits in Unix philosophy (lambdaland.org) | | 160 points by ashton314 on Nov 8, 2022 | past | 93 comments | |
| | A New Font: Iosevka modified to look like Input (lambdaland.org) | | 1 point by ashton314 on Aug 1, 2022 | past | |
| | Completeness and Liveness, Safe and Sound (lambdaland.org) | | 1 point by ashton314 on March 3, 2022 | past | |
| | Models of Programming (lambdaland.org) | | 44 points by ashton314 on Oct 27, 2021 | past | 53 comments | |
| | FreeBSD on Raspberry Pi 4 with 4GB RAM (lambdaland.org) | | 3 points by vermaden on Jan 1, 2021 | past | |
| | FreeBSD and Rust on a Raspberry Pi 4 with 4GB of RAM (lambdaland.org) | | 1 point by ashton314 on Dec 29, 2020 | past | |
| | Opinion: RMS Does Not See the Future of Emacs (lambdaland.org) | | 7 points by ashton314 on Nov 28, 2020 | past | 8 comments | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
