Related posts

Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.

• The LLMs yearn for the spines

  Earlier this year I worked on a couple of AI-generated TLA+ specifications, and one thing I've noticed was that they all used the word "spine" somewhere. Then I saw some non-TLA+ public projects use "spine" too and got…

  LLMsRelated

Programmer, photographer and musician, best known for the Python Requests HTTP library and other Python tooling.

• kjvstudy.org — A modern KJV Bible study platform with interlinear Hebrew/Greek, Strong's Concordance, AI commentary, family trees, topical studies, and full-text search. Built with FastAPI and Tufte…

  CommitsSecond pass on the family tree landing: let it breathe · Add Codex agent config and dev notes; auto-activate venv in .envrc · Experiment: the sidebar as the book's spine

  Related

Writer and former Substack product manager; publishes essays and interviews on technology, culture and China at jasmi.news.

• An honor to interview the novelist Benjamín Labatut about Von Neumann, his conversations with Demis, and what the AI industry misses — "Literature tries to weave the rainbow back together. It involves irrationality; it involves all of those things that science has, by its own method, left out. Literature presents a messier, darker, and perhaps more complete, if less powerful, perspective on the world."

  youtube.com

  Related

Software engineer who writes the blog Made of Bugs about performance, debugging and understanding computer systems. Previously worked at Anthropic on interpretability, at Stripe on Sorbet, and at Ksplice.

• arduinoproject — aggregator of random arduino projects

  Commitsnipunn: fade to black · tweak ourainbowrous · tweak rainbow_ranges

  Related

Historian of the Renaissance at the University of Chicago and a science-fiction novelist; wrote Terra Ignota and Inventing the Renaissance.

• LGBTQIA+ Renaissance

  As we resist those who claim diversity distorts scholarship, let’s run through the acronym & show how easy it is to find the rainbow in every era. We don’t even need to look beyond the Renaissance celebrities that are h…

  Related

Software engineer; co-founder and former CTO of Tailscale, previously on the Go team at Google.

• Searching the Creative Internet

  I had of late been lamenting the loss of the internet of the 1990s. A place where everything was obscure or new. If you saw something mainstream like a Disney princess, it was because someone had taken the time to handc…

  Related