Founder of GitLab battles cancer by founding companies
•sytse.com
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
•twitter.com
Linux is an interpreter
•astrid.tech
AI overly affirms users asking for personal advice
•news.stanford.edu
I decompiled the White House's new app
•thereallo.dev
I Built an Open-World Engine for the N64 [video]
•www.youtube.com
Spanish legislation as a Git repo
•github.com
Undroidwish – a single-file, batteries-included Tcl/Tk binary for many platforms
•androwish.org