Links
Pages worth sharing
Pages I’ve come across and want to keep around — technology, AI, design, web, culture, and anything else worth a look.
October 23, 2026
LLMs are making formal software verification feasible at a much larger scale
anthropic.com
LLMs can now turn existing software tests into formal proofs, showing that certain open‑source libraries won’t crash under specific conditions. In one effort, they produced over 180 million lines of proof across 123 libraries, catching bugs that fuzzers missed for years.
#ai#programming#technologyOctober 21, 2026
The Future of CSS - Josh W. Comeau
joshwcomeau.com
CSS is getting new tools that could make layouts and animations smoother.
#css#devtools#programmingOctober 16, 2026
Linus Torvalds on AI-assisted kernel contributions
lore.kernel.org
Linus Torvalds pushes back hard against a proposed rule forbidding AI-assisted work in kernel contributions, calling the idea stupid and comparing it to banning compilers or editors.
#ai#programming#softwareOctober 16, 2026
Religious Studies In Software Engineering
tombh.co.uk
A software engineer reflects on how his Religious Studies degree shaped his work, arguing that programming shapes human behavior as much as any religion does.
#culture#softwareOctober 6, 2026
The state of the tech industry in 2026 - LDX3
youtube.com
A keynote from September 2026 looks back on what changed, stayed the same, or broke in tech.
#ai#culture#programming#software#teachingSeptember 22, 2026
Introducing Claude Opus 5.5
anthropic.com
Claude Opus 5.5 cuts costs by 40% while matching or beating its predecessor on coding and knowledge work, and it’s now the strongest model they’ve tested on their safety benchmarks.
#ai#programming#technologyAugust 20, 2026
PostgreSQL for Everything
raphaelbauer.com
PostgreSQL isn’t just a database, it’s quietly replacing a bunch of other tools people usually bolt onto systems. Full-text search, JSON storage, queues, time-series data, vector search for AI, even caching: all handled inside one stable, easy-to-run piece of software.
#database#devtools#programming#softwareAugust 18, 2026
Teaching my kid to code with a modern MUD
tau.dev
A dad built a tiny web game called Canon so his eight-year-old daughter could create her own worlds by typing and clicking. It’s a modern take on old-school text adventures where everything you see—rooms, objects, even the rules—can be opened up, copied, and changed.
#culture#programming#society#story#teachingAugust 12, 2026
Why Go is an Ideal Language for AI-Assisted Software Engineering
developers.googleblog.com
Go was built for teams working together on big, lasting systems, and now that AI is writing a lot of the code, those old team values matter even more.
#devtools#programming#technologyAugust 5, 2026
What Humanity Needs To Flourish In The Next Decade
noemamag.com
We’re racing to build smarter AI, but the real bottleneck isn’t the tech — it’s whether societies can absorb it without falling apart. The authors argue that without deliberate investment in institutions, laws, and civic muscle, AI will deepen inequality, erode accountability, and centralize power instead of spreading its benefits.
#society#technologyAugust 5, 2026
Announcing TypeScript 7.0 - TypeScript
devblogs.microsoft.com
TypeScript 7 moves to a native Go version that’s roughly ten times faster on real projects like VS Code and Sentry, and it uses less memory too. You can install it today and your editor’s language server should pick it up automatically.
#devtools#programming