Software/Cycling/Progressive/MMT. Views are my own. โThis is no time to engage in the luxury of cooling off or to take the tranquilizing drug of gradualism.โ
Today is a hard day. I shared this note with the @linear team today: Weโve made the difficult decision to increase our workforce. This is not a cost-cutting exercise or a reflection of anyoneโs performance. Weโre simply reimagining every role for the agentic AI era. Weโre hiring. Weโre sorry about that.
@RealGeneKim โBut developers couldn't reproduce the issue because they lacked realistic production-like data.โ
Nonsense - the performance issue would have been obvious from a basic architecture review. No AI required for thatโฆ.
This fun interactive tool allows you to draw circles anywhere in the world to see how many people are around you. A 3km circle around my home in Melbourne shows that I have almost 84,000 people nearby I can annoy in person with my maps! Play with the tool here: https://t.co/F64vr0GovJ
@IAPonomarenko LPG conversions were very popular in Australia in the 90s due to government subsidies. Then we started exporting gas internationally and the price of gas shot up. Go Australia!
We merged an early C# 15 preview feature into .NET 11 preview 3: unions.
Adds union declarations (`union Pet(Cat, Dog, Bird) { ... }`) and union types (attributed with `[Union]`).
They can be treated by pattern matching/switch expressions as a closed set for exhaustiveness.
Prof. Donald Knuth opened his new paper with "Shock! Shock!"
Claude Opus 4.6 had just solved an open problem he'd been working on for weeks โ a graph decomposition conjecture from The Art of Computer Programming.
He named the paper "Claude's Cycles."
31 explorations. ~1 hour. Knuth read the output, wrote the formal proof, and closed with: "It seems I'll have to revise my opinions about generative AI one of these days."
The man who wrote the bible of computer science just said that. In a paper named after an AI.
Paper: https://t.co/juSOmK9vOt