Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Six Programmers and the Type System (typesanitizer.com)
17 points by ingve 26 days ago | past
A programmer's field guide to assertions (typesanitizer.com)
1 point by fanf2 69 days ago | past
A programmer's field guide to assertions (typesanitizer.com)
6 points by todsacerdoti 71 days ago | past
How should we learn from bugs? (typesanitizer.com)
2 points by ingve 85 days ago | past
Deeper Theories of Program Design (typesanitizer.com)
3 points by PaulHoule 3 months ago | past
Deeper theories of program design (typesanitizer.com)
3 points by Bogdanp 3 months ago | past
Deeper theories of program design (typesanitizer.com)
3 points by ingve 3 months ago | past
Meta-analysis of three different notions of software complexity (typesanitizer.com)
109 points by ingve 4 months ago | past | 19 comments
An epic treatise on error models for systems programming languages (typesanitizer.com)
221 points by transpute 7 months ago | past | 76 comments
Leaving my last job (2024) (typesanitizer.com)
2 points by throwaway2037 9 months ago | past | 1 comment
Experience Report: 6 months of Go (2022) (typesanitizer.com)
2 points by neonsunset 9 months ago | 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

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

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

Search: