@typesanitizer's blog typesanitizer.com

Musings on compilers, programming languages and software engineering.

The purported benefits of effect systems
typesanitizer.com·26w·Lobsters, Hacker News, Hacker News
Six Programmers and the Type System
typesanitizer.com·30w·Hacker News
A programmer's field guide to assertions
typesanitizer.com·37w·Lobsters, Hacker News
How should we learn from bugs?
typesanitizer.com·38w·Hacker News, r/programming
Deeper Theories of Program Design
typesanitizer.com·40w·Lobsters, Hacker News, Hacker News, r/programming
Meta-analysis of three different notions of software complexity
typesanitizer.com·46w·Lobsters, Hacker News, r/programming
The ability to learn how to judge outcomes is probably a core skill
typesanitizer.com·57w
An epic treatise on error models for systems programming languages
typesanitizer.com·60w·Lobsters, Hacker News
Our Optimizers Need a Rethink
typesanitizer.com·79w·Lobsters, Hacker News
Leaving my last job (2024)
typesanitizer.com·68w·Hacker News
My first and last Strange Loop
typesanitizer.com·139w
TFW UBSan flags a dynamic type error inside Clang
typesanitizer.com·174w
Zig-style generics are not well-suited for most languages
typesanitizer.com·46w·Lobsters, r/programming
Experience Report: 6 months of Go (2022)
typesanitizer.com·68w·Hacker News
A compiler's users (part 1)
typesanitizer.com·234w
Not Rocket Science (Meeting Edition)
typesanitizer.com·248w
Scope Sets as a Piñata for Name Resolution
typesanitizer.com·269w
Are tagged unions overrated?
typesanitizer.com·273w
Don't Snark
typesanitizer.com·295w
An opinionated beginner's guide to Haskell in mid-2019 (2019)
typesanitizer.com·79w·Lobsters, Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help