contrast that with this lecture by Terence Tao on how to address LLM-driven changes in your field but hold onto disciplinary values teorth.github.io/tao-web/slid...
teorth.github.io
contrast that with this lecture by Terence Tao on how to address LLM-driven changes in your field but hold onto disciplinary values teorth.github.io/tao-web/slid...
teorth.github.io
oh gas town didn't work you say yegge.ai/essays/the-s...
The Shape of Things to Come, Part 1: The Continuous Thunderdome — Steve Yegge
Part 1: The Continuous Thunderdome. Loops and graphs, Wheelhouse and Beads, the end of human code review, the Land Rush that replaces CI/CD, and the Wish Factory — a field report from 12 months in the...
yegge.ai
Someone send Zuck software brain post haste www.theverge.com/podcast/9170...
BEWARE SOFTWARE BRAIN
Software brain is changing the world, but most people still aren’t buying.
theverge.com
A telling passage from Zuck's WSJ op-ed: "Imagine everyone has a superintelligent lawyer. Justice would be carried out much more fairly and efficiently than it is today." I'm really not sure this is true!
there is a conversation to be had about the techno-ethical implications of making "I'm sorry Hal, I can't let you do that" an actual reality with computing, and MY GOD he could not have picked a worse jumping off point for that conversation
Just in case you still use any Basecamp products, DHH is crashing out about his AI product gently pointing out that it’s bad for him to have extermination fantasies about the Roma people.
the worst part about talks is writing talks the best part about writing talks is finding all the oopsies in the code being talked about and thus, I now have PRs to make the TS AST 2% smaller, the parser 10% faster, the binder 1.5% faster
New blog post: Jujutsu tutorial I wrote the tutorial I wish I had. neugierig.org/software/blo...
Tech Notes: Jujutsu tutorial
I wrote the tutorial I wish I had.
neugierig.org
I don’t think AI is the future and I’m 100% basing this on how nobody likes those kitchen trash cans with the powered lids.
Every so often, this magnet on my fridge catches my attention, and I think about how innocent the internet used to seem.
Robert Caro says that power doesn't corrupt, it *reveals*. AI's still-hypothetical power already reveals which jobs decision makers don't respect or value, don't believe are worth human effort or time, and don't believe require actual human judgement. Today's example: teachers.
AI company Realbotix is piloting STEM robots for rural schools.
TypeScript is now officially written in Go.
In case you missed it, TypeScript 7 is a complete 10x faster version of the compiler & language server. It's a full port to parallelized native code. It runs faster, uses less memory, and is more stable than ever before.
A few years back, a snorkeling boat in Australia gave us Kwells, and we were delighted to find it actually works for us, unlike everything available in the US. Works for roller coasters too! We order it online now from Aus/UK/Can stores.
TIL that the sea-sickness medication that made the D-day landing possible — given the loss of usual supplies from Europe — was derived from a native Australian plant, the corkwood tree Duboisia myoporoides, whose properties had been known for centuries to indigenous Australians.
Distributed systems classes do matter!
Alito's argument – that counting ballots after Election Day means "the electorate’s choice does not occur on election day, and the federal election-day statutes are violated" – is some of the dumbest reasoning I have ever seen. The "choice" doesn't occur at the time of counting!
Springer retracting (and hiding) decades-old articles by Planck due to hallucinated copyright violations is quite the choice. www.science.org/content/arti...
Why have papers by one of history’s most famous physicists been retracted?
Springer Nature has removed two studies by Max Planck. A bot may be to blame
science.org
You Don’t Know Jack About Formal Verification: What can you confidently guarantee about your software? By eliminating the cost of writing proofs, AI is removing the biggest barrier to formal verification. queue.acm.org/detail.cfm?i...
You Don’t Know Jack About Formal Verification - ACM Queue
queue.acm.org
When reality surpasses fiction! Top: fictional forecast for August 2050, broadcast by French TV in 2014 to warn about the consequences of global warming. Bottom: Real French forecast for yesterday, June 22, 2026.
Modern Cassandra
HAHAHAhaha! they're making the world's biggest synthetic scum pond!!! The coating is a polyurea used inside pipes. It gels in about 3 seconds, making it non self-leveling. The texture is like an orange peel, the perfect substrate for biofilms. www.nytimes.com/2026/05/19/u...
Re OpenAI's disproof of an Erdos conjecture and the breathless coverage, I found this piece from April insightful about how mathematicians will likely need to adjust what they explicitly vs implicitly value. davidbessis.substack.com/p/the-fall-o...
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
davidbessis.substack.com
“But it happened” is definitely worth more attention. youtu.be/tlQ7EoJDTQY?...
"But it happened."
YouTube video by Molly Rocket
youtu.be
OTD 1936: Turing submits his paper “On Computable Numbers, with an Application to the Entscheidungsproblem.” 90 years of Turing machines!
YOU’RE LISTENING TO SISYPHUS FM, THE HOME OF NON-STOP ROCK
In Plan 9 in ~2001, we introduced "private" processes that even a sysadmin couldn't access, debug, etc. I just learned Windows Vista added the same in 2007. The difference? We did it to protect keys held by the security agent, while Windows did it to protect media content. Priorities! ¯\_(ツ)_/¯
Funny things still happen over at the bad place This guy put a prompt in his LinkedIn and now AI recruiters are writing him in Old English and calling him "my lord"
This does a pretty good job of dismantling an argument that ha me (apparently a 'data center moderate'?) scratching my head over how it could even happen. General principle, I think industrial structures should account for their externalities. But there is a narrative developing here for sure...
There are so many insane wildly misleading stories coming out about data centers almost every day now that I'm mostly having to give up on commenting on them to focus on actually getting blog posts out, but it feels like a tsunami. This is one of them. Will go into it in a thread below.
I am giving a talk today about issues in 2026 with code review. One of them is well-worth digging into in more detail than I have time in the talk. So here is a blog post: crawshaw.io/blog/agent-p...