Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Building an Operating System for the Raspberry Pi. Parent comment
http://conal.net/papers/compiling-to-categories/
https://icfp17.sigplan.org/event/icfp-2017-papers-kami-a-pla...
I think you are right, recently I saw an Arduino-like projects book, but using VHDL instead, which somehow pointed into this direction.
http://conal.net/papers/compiling-to-categories/
https://icfp17.sigplan.org/event/icfp-2017-papers-kami-a-pla...