| | The purported benefits of effect systems (typesanitizer.com) |
| 26 points by SchwKatze 79 days ago | past | 3 comments |
|
| | The purported benefits of effect systems (typesanitizer.com) |
| 7 points by Bogdanp 79 days ago | past |
|
| | Six Programmers and the Type System (typesanitizer.com) |
| 17 points by ingve 3 months ago | past |
|
| | A programmer's field guide to assertions (typesanitizer.com) |
| 1 point by fanf2 5 months ago | past |
|
| | A programmer's field guide to assertions (typesanitizer.com) |
| 6 points by todsacerdoti 5 months ago | past |
|
| | How should we learn from bugs? (typesanitizer.com) |
| 2 points by ingve 5 months ago | past |
|
| | Deeper Theories of Program Design (typesanitizer.com) |
| 3 points by PaulHoule 5 months ago | past |
|
| | Deeper theories of program design (typesanitizer.com) |
| 3 points by Bogdanp 6 months ago | past |
|
| | Deeper theories of program design (typesanitizer.com) |
| 3 points by ingve 6 months ago | past |
|
| | Meta-analysis of three different notions of software complexity (typesanitizer.com) |
| 109 points by ingve 7 months ago | past | 19 comments |
|
| | An epic treatise on error models for systems programming languages (typesanitizer.com) |
| 221 points by transpute 10 months ago | past | 76 comments |
|
| | Leaving my last job (2024) (typesanitizer.com) |
| 2 points by throwaway2037 on Jan 8, 2025 | past | 1 comment |
|
| | Experience Report: 6 months of Go (2022) (typesanitizer.com) |
| 2 points by neonsunset on Jan 5, 2025 | past |
|
| | Optimizers need a rethink (typesanitizer.com) |
| 149 points by ingve on Oct 23, 2024 | past | 167 comments |
|
| | An opinionated beginner's guide to Haskell in mid-2019 (2019) (typesanitizer.com) |
| 3 points by todsacerdoti on Oct 22, 2024 | past | 1 comment |
|
| | Principled Ad-Hoc Polymorphism (2018) (typesanitizer.com) |
| 2 points by todsacerdoti on Oct 14, 2024 | past |
|
| | On Leaving My Last Job (typesanitizer.com) |
| 13 points by ingve on Sept 30, 2024 | past |
|
| | Leaving my last job [at Apple] (typesanitizer.com) |
| 14 points by azhenley on Sept 29, 2024 | past | 1 comment |
|
| | Zig-style generics are not well-suited for most languages (2022) (typesanitizer.com) |
| 27 points by fanf2 on July 1, 2024 | past | 6 comments |
|
| | Zig-style generics are not well-suited for most languages (typesanitizer.com) |
| 172 points by Ar-Curunir on Oct 9, 2022 | past | 128 comments |
|
| | Experience Report: 6 months of Go (typesanitizer.com) |
| 295 points by eatonphil on April 30, 2022 | past | 262 comments |
|
| | Scope Sets as a Piñata for Name Resolution (typesanitizer.com) |
| 1 point by DonaldPShimoda on March 11, 2021 | past |
|
