Teaching Claude to be Lazy
How I doubled my productivity by making everyone work less
Overcoming Software
thoughts on Haskell and other software concerns
Live Last read · last published · next check
Latest posts
The Subtle Footgun of `TVar (Map _ _)`
I’ve managed to make several massive improvements in concurrent code by following an extremely simple pattern, so I’m going to try and popularize it.
Making My Life Harder with GADTs
a reddit response too far
New Post: Persistent Models are Views
Subtleties in Interop Code
ANN: `require-callstack`
Propagate `HasCallStack` constraints by compiler errors
New Post: Working with Haskell CallStack
I’ve improved our exception reporting experience significantly at Mercury.
Production Haskell v1.0 Released
Now with hard copies!
reserving the name
wow i would actually really like to switch from GitHub Pages for my programming stuff, but Substack doesn’t let you use markdown?
Coming soon
This is Overcoming Software, a newsletter about thoughts on Haskell and other software concerns.
Break Gently with Pattern Synonyms
This is a really brief post to call out a nice trick for providing users a nice migration message when you delete a constructor in a sum type.