A Functional Programmer’s Guide to Homotopy Type Theory, Dan
Licata’s ICFP 2016 keynote. Recommended as an introduction.
The Moral Economy of Tech, by Maciej Cegłowski.
“The first step towards a better tech economy is humility and
recognition of limits. It’s time to hold technology politically
accountable for its promises.”
dns66, a DNS-Based ad blocker for Android. Does not require root.
Emmental is a self-modifying language.
8cc.vim: Pure Vim script C Compiler, WJW.
awib, a brainfuck compiler written in brainfuck.
kati is an experimental GNU make clone, that translates to ninja.
When Your Screen Breaks (In The Himalayas), nice hacks.
Web Bloat Score Calculator, “Compare size of a page to a compressed
image of the same page.”
The final comic on the election