”The distinction between programmer and user is reinforced and maintained by a tech industry that benefits from a population rendered computationally passive. If we accept and adopt the role of less agency, we then make it harder for ourselves to come into more agency.”
always-already-programming.md
GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
This is has been a problem for me for sometime. Feels nice to untangle the web and see a path forward.
Perils of building things to learn
iostreamer.leaflet.pub
This blog post interjectedfuture.com/the-best-way... on using LLMs to learn how to do formal proofs is another nice angle on the topic
The Best Way to Learn Might Be Starting at the End: Writing a Proof in Lean
AI leveraged learning lets you start with the application at the end. Curiosity guides what you learn, fundamentals backfill when you need them.
interjectedfuture.com
Martin Kleppmann@martin.kleppmann.com · 9mo agoNew blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a... Three reasons for this: 1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.