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.
After having destroyed one part of the Web, Sir Tim Berners-Lee is organising his Facebook protest for the Web: https://contractfortheweb.org/. Now that him, Google and Facebook RSVPed, we rest assured nothing’s gonna happen.
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.
To get the Haskell IDE Engine working in the Atom editor, one has to start Atom in the directory of a project. I’d call this a bug.
It happened two months ago, but Idris 1.3.0 is out.