| | A meta-analysis of 3 different notions of software complexity (typesanitizer.com) |
| 1 point by harperlee 8 days ago | past | discuss |
|
| | There continue to be reasons for software to be slow (typesanitizer.com) |
| 3 points by birdculture 24 days ago | past |
|
| | Reviewing Code Is a Skill (typesanitizer.com) |
| 4 points by birdculture 34 days ago | past |
|
| | Reviewing Code Is a Skill (typesanitizer.com) |
| 4 points by vinhnx 35 days ago | past |
|
| | Job queues are deceptively tricky (typesanitizer.com) |
| 2 points by birdculture 62 days ago | past |
|
| | Job queues are deceptively tricky (typesanitizer.com) |
| 143 points by ingve 63 days ago | past | 48 comments |
|
| | The purported benefits of effect systems (typesanitizer.com) |
| 26 points by SchwKatze 10 months ago | past | 3 comments |
|
| | The purported benefits of effect systems (typesanitizer.com) |
| 7 points by Bogdanp 10 months ago | past |
|
| | Six Programmers and the Type System (typesanitizer.com) |
| 17 points by ingve 11 months ago | past |
|
| | A programmer's field guide to assertions (typesanitizer.com) |
| 1 point by fanf2 on Aug 19, 2025 | past |
|
| | A programmer's field guide to assertions (typesanitizer.com) |
| 6 points by todsacerdoti on Aug 17, 2025 | past |
|
| | How should we learn from bugs? (typesanitizer.com) |
| 2 points by ingve on Aug 3, 2025 | past |
|
| | Deeper Theories of Program Design (typesanitizer.com) |
| 3 points by PaulHoule on July 27, 2025 | past |
|
| | Deeper theories of program design (typesanitizer.com) |
| 3 points by Bogdanp on July 21, 2025 | past |
|
| | Deeper theories of program design (typesanitizer.com) |
| 3 points by ingve on July 20, 2025 | past |
|
| | Meta-analysis of three different notions of software complexity (typesanitizer.com) |
| 109 points by ingve on June 14, 2025 | past | 19 comments |
|
| | An epic treatise on error models for systems programming languages (typesanitizer.com) |
| 221 points by transpute on March 8, 2025 | 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 |
|
