Thinking about how AI has affected my career as a software developer in 2026 has really got me in a funk -- a Deep Blue, one might say.
Ara Hacopian
@hacopian.de
Ruby on Rails and Postgres enthusiast. Currently exploring local-first and DuckDB. Building changebot.ai.
The actual math in this paper is over the heads of non-mathematicians but the core argument is pretty easy to follow: AI theorem-prover formalizations can't actually be trusted to faithfully be the same argument as the natural-language paper they come attached to arxiv.org/abs/2610.081...
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro...
arxiv.org
If you wanna see what it's like to work at Meta: aigigscout.com
AI Gig Scout — Find AI Gigs
Discover AI training, evaluation, data collection, coding, and expert gigs from leading AI work platforms.
aigigscout.com
Hilarious. But, I couldn't stomach it to get to the end.
Andreas Møller@andreasmoller.dk · last mo.This is perfect opusfived.dev
🏛️ Before the Internet, computer clubs helped people learn, trade software & explore personal computing. A surviving binder of 50 Atari newsletters from August 1987 offers a time capsule of that world. Explore the Atari collection & more computer history: blog.archive.org/2026/08/27/a... 🧵
Compiled after months of work by Josh Henry and Stephen Emond, this is a comprehensive catalogue of all Sierra's releases (until 1987, for now), special attention has been taken to get the dates as correct as possible. Amazing work. falcondesigns.ca/wp-content/u...
(Some) writers appreciate LLM writing assistance but readers hate it. Survey says… writethatblog.substack.com/p/dev-reacti... If readers suspect AI, they not only stop reading, but also downvote/avoid the author.
GentleOS is a simple, ultra-lightweight OS for old PCs, that I simply need to try out on some of those ancient laptops lying around. Have a look here: hackaday.com/2026/06/13/g...
I told Fable 5 to create the perfect operating system. It took 8 hours, and cost thousands in credits, but it made it in one shot:
Heartbreaking. And a wake-up call. It is no longer about being difficult to find a way to sustain yourself through your work online. It is no longer sustainable to keep a website up now. Axel has done so much for the web and all of us. Buy one of his books if you can. We've learned so much from him.
Axel Rauschmayer (also on 🦣)@dr-axel.de · 5mo ago1/ I’m still processing what’s going on in tech at the moment. I used to feel at home in that world. It used to feel incredibly creative and positive. Now it’s increasingly full of bugs, dark addicting patterns and AI slop. 2ality.com
heard a guy say "you have to access it through the portal" and i was momentarily struck by how sad it is that what he said is so boring :( "accessing it via the portal" should be wonderful. we deserve that at least. it should be cool to access it via the portal and instead it sucks shit
Dozens of cheap CRMs already exist. Vibe-coding your own CRM to escape expensive, under-utilized SaaS is a bad tradeoff. Just go shopping.
Trivy's Github action hit by a supply chain attack. The attacker got write access to the repo, pushed commits containing a malicious payload, then force-pushed all the version tags to point to those commits. Excuse me, while I update all my Github actions to version by SHAs instead of tags.
Trivy Under Attack Again: Widespread GitHub Actions Tag Comp...
Attackers compromised Trivy GitHub Actions by force-updating tags to deliver malware, exposing CI/CD secrets across affected pipelines.
socket.dev
Kind of great that we're using 90's style web portals to fight back the slop.
Sarah Perez@sarahp.bsky.social · 7mo agoKagi brings its ‘small web’ of a human-only internet to mobile devices
Just made a quick edit to some code myself, instead of asking Claude Code to do it, and it felt so good. Like old times.
Scott Werner suggests in worksonmymachine.ai/p/the-great-... that by dramatically lowering the cost of making software, AI could make “micro-businesses” that sell products tailored to fewer than 50 customers viable.
The Great Zipper of Capitalism
On Pizzas, CSVs, and Building for Markets That Don't Exist Yet
worksonmymachine.ai
Suprematism, by Nikolai Suetin, 1920-21, 📸 by @tiltoncreative
If vibe coding is a higher level of abstraction then it is the leakiest fucking abstraction I’ve ever seen.
My little side-project ErwinDB got a mention in the latest issue of Postgres Weekly! postgresweekly.com/issues/635
Postgres Weekly Issue 635: February 11, 2026
postgresweekly.com
Ara Hacopian@hacopian.de · 8mo agoErwin Brandstetter is a PostgreSQL consultant who has answered ~7k questions on Stack Overflow. His responses are deeply informative. ErwinDB is a TUI that bundles ~7k answers into an embedded SQLite database with fuzzy and semantic search and syntax highlighting. #postgres
The Deacon went quiet mid-patrol, which left Polecats operating blindly, allowing conflicting branches to pile up until the MQ turned into a monkey knife fight, at which point the Refinery froze trying to arbitrate total chaos.
LycanthrEppy@epidiah.bsky.social · 8mo agoWithout naming your job, tell me something you say over and over again at work. "Roll first."