I made some slides on defunctionalization
> We have changed the title to include three letter words in the hope that Google Scholar will index it this time.
Finger trees are a really cool data structure. I made a PR to containers to document some internals of Sequence:
A sample of type-driven programming with dependently types.
Programming totally with head and tail
Conferences in an Era of Expensive Carbon
Sweet drama around The Study on the effect of programming languages on software defects.
This is How Science Happens • Hillel Wayne
Both "gopher" and "waffle" in French is "gaufre:"
"The origin of the word 'gopher' is uncertain; French gaufre, meaning 'waffle', has been suggested, on account of the gopher tunnels resembling the honeycomb-like pattern of holes in a waffle…"
I only have a few things left before the first release!
An Inconvenient Truth: The Curry-Howard Perspective. That has to be a great joke paper. 4/4
Haskell and Coq programmer
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!