Jo Freeman has an interesting essay on the tyranny of structurelessness. The lack of structure implies the lack of power to act.
I’m happy to announce that I’ll be speaking at the Lambda Days 2019 conference! I’ll be giving a talk on function totality.
The upcoming Tuesday I will be giving a talk at the IEEE Croatian Section on function totality. The talk will take place at the University of Zagreb, the Faculty of Electrical Engineering and Computing.
Benjamin C. Pierce writes what it is like to use a proof assistant to teach programming language foundations.
Philip Wadler makes a fun note about today’s programming languages: “Most of you use programming languages that are invented, and you can tell, can’t you?” I recommend watching his whole talk Propositions as Types!
For fast searching of source code that avoids peeking at your build files use the ag tool from Debian’s silversearcher-ag package, like this: ag -s –haskell “what” where.
In case you are a Haskeller interested in learning Idris, check out a short list of things to look out for.
The state of software engineering is best illustrated by an XKCD on voting software.