if you advocate types to working-stiff devs, please don't talk about elegance & abstractions. talk about fast, error-free feature changes.
My son has an obsession with putting things in other things then taking them out. Am worried he's going to get into Docker. Ideas?
"non-trivial" is my favourite synonym for "probably impossible".
today i learned a neat trick: if a function name sounds like a sentence, you're probably missing a neat combinator.
It's fascinating to see the gap between people who believe code should be proven right, and those who think it has to be proven buggy.