Hacker Newsnew | past | comments | ask | show | jobs | submit | travisd's favoriteslogin
1.
Ada's dependent types, and its types as a whole (nytpu.com)
256 points by nytpu 11 months ago | 139 comments
2.
My Problem with the Four-Document Model (hillelwayne.com)
204 points by zdw on July 6, 2023 | 61 comments
3.
Brooks, Wirth and Go (fredrikholmqvist.com)
258 points by kiyanwang on Aug 31, 2021 | 167 comments

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

Search: