Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
Incentives in Academic Research
The msoos.org blog argues academic research incentives have drifted away from advancing understanding and training researchers, citing recent cases where correctness, precision, and honesty about errors lost out.
3 min · 766 words
Quick thoughts on GitHub’s Sept 23 incident
Lorin Hochstein reads GitHub's terse write-up of its Sept 23 Azure Central US database incident and pulls out the multiple contributing factors hiding in it: planned maintenance, replica failover, and an under-capacity primary.
3 min · 696 words
kowalski7cc explains why Flatpak works for desktop GUI apps but is awkward for terminal tools: entrypoints, PATH, sandbox friction, and packaging tradeoffs that hurt CLI UX.
6 min · 1,268 words
I Quit OpenAI Because Its Culture Is Broken
A former OpenAI safety-team lead resigns and argues the lab’s culture and incentives guarantee more safety failures—why internal process and product pressure undercut the work meant to prevent them.
6 min · 1,305 words
Quo Vadis, Mathematics?Is Mathematics Over, or Just Graduating?
xAI co-founder Christian Szegedy asks whether mathematics is ending or graduating as AI automates theorem proving—drawing on Hungarian competition culture to argue AI will scale applied math as infrastructure while “high math” concentrates on deepest questions.
8 min · 1,877 words
Haunted by the ghosts of materialism
lcamtuf explores free will vs scientific materialism, brains-in-vats, Boltzmann brains, and the simulation hypothesis — arguing techie utilitarianism misses what philosophy is good for.
2 min · 498 words
Why don't more developers "use the platform"?
Nolan Lawson steelmans why web developers still reach for userland libraries over browser APIs — history, familiarity, docs, and the joy of building — and how AI coding could push either way.
3 min · 790 words
City building games have a Soul Problem pt.2
A follow-up essay on why many city-building games feel hollow: missing social texture, opaque systems, and design choices that strip “soul” from simulated places—and what deeper urban sims might still chase.
3 min · 682 words
Of Mottes, Baileys, and Stochastic Parrots
Manoel Ribeiro argues the "stochastic parrots" metaphor often motte-and-baileys: it dismisses LLM capabilities, then retreats to the trivial claim that models predict the next token.
6 min · 1,470 words
Site-Blocking Will Not Defend IP, No Matter the Bill’s Name
EFF's Katharine Trendacosta argues the DEFEND IP Act, like earlier US site-blocking bills from SOPA/PIPA onward, would incentivize censorship, overblocking, and bad-faith blocking while giving targeted site owners no real way to challenge orders.
2 min · 563 words
In a guest post on Astral Codex Ten, Drew Housman describes how he and his wife leaned on ChatGPT, from early GPT-4 workarounds onward, to navigate unexplained infertility, credits AI with helping them have their son, and pushes back on reflexive anti-AI discourse.
7 min · 1,550 words
Product designer Mete Polat argues Muse succeeds less on novel agent tech and more on metaphor, ads-funded tokens, and cute personality — putting Meta ahead in consumer agentic AI.
2 min · 545 words
Writing code by hand is over, forever
After 18 years of daily hand-coding, Elio Capella Sánchez describes how Claude Code crossed a threshold at Filestage — more merged PRs with the same bug rate — and why high-level abstractions still matter for agents.
4 min · 883 words
The Era of Software Quality, or the Era of Ostriches?
Humans are bad at writing secure code, and GNOME developers are no exception. GNOME is primarily written using unsafe programming languages where simple mistakes in our code lead to devastating consequences for our users, and we make these mistakes all the time. No matter how much we try, GNOME developers will fail write secure code when using unsafe languages like C, C++, or Vala: it’s just too hard for even experienced developers to do properly.
16 min · 3,733 words
The Era of Programming Languages Exploration is upon Us
programming_languages research perspectives There was a recent thread on the TYPES mailing list with researchers speculating about the future of our field given the disruptive effects of AI tools on programming in general.
6 min · 1,374 words
I recently watched the talk by Scott Jenson titled "Are we really going to use the same Desktop UX forever?" https://www.youtube.com/watch?v=V7AfAcQwLW0&t=445s. He's a great presenter, really articulate and concise. The kind of speaker that you'd gladly listen to for 3+ hours if given the chance. Which for a talk about window management is quite the compliment.
20 min · 4,654 words
From Vibe-Coding to Verification: The Engineering Case for Deterministic Checks in the AI Era
Tamiz Uddin argues that vibe-coding—accepting AI output because it “looks right”—is unsafe for production, and that modern engineering skill is verification via tests, types, and deterministic gates.
12 min · 2,796 words
How Singapore's government-run dating service works, and why it won't solve the dating crisis
Kai walks through GovTech’s FirstDate pilot—questionnaire, Singpass verification, Gale-Shapley matching cycles—and argues why a government matchmaker is unlikely to fix Singapore’s deeper dating and fertility challenges.
18 min · 4,079 words
Court Agrees with EFF: Utah’s VPN Law Demands a Technical Impossibility
A federal judge issued a preliminary injunction blocking Utah’s SB 73 anti-VPN age verification law. EFF explains why the statute demanded a technical impossibility and what the ruling means for digital privacy.
5 min · 1,044 words
Why consciousness is more likely a property of life than of computation and why creating conscious, or even conscious-seeming AI, is a bad idea.
34 min · 7,804 words