Idag sänds Ekots Lördagsintervju, valspecial om AI och demokratin, där jag medverkar. Jag reflekterar om samtalet, som rörde konkurrenskraft, existentiell risk, rättsstat och det offentliga samtalets spelregler.
Reflektion
https://carlheath.se/reflektion-efter-
It's kind of crazy that both GPT and Claude really love to manipulate files by writing Python scripts that do text search-and-replace. First of all, why isn't this a dedicated tool? Second, the generated scripts usually don't check that the search-and-replace was successful. Are they just good enough at regurgitating text that they never make mistakes? What if the file was modified in the mean time?
My brother described headless guitars as invoking a kind of body horror among guitarists, similar to the reflexive feelings that surround the subject of amputation, and I can't help thinking he's right.
https://www.
"Bullshit universities: the future of automated education"
https://doi.org/10.1007/s00146-025-02340-8
"[…] The dream that AI could teach students effectively neglects the importance of ‘learning how’ in order to ‘learn that’, that teachers are also role models, and t…
CBS Announces Tony Romo’s Full-Time Replacement After Abrupt Departure https://heavy.com/sports/nfl/dallas-cowboys/cbs-announces-tony-romos-full-time-replacement-after-abrupt-departure/
✅ Every rewrite is backed by formal verification: Maxwell produces proofs that the replacement code is equivalent. The same process can prove the absence of memory errors; doubleAI says it found memory-safety issues in Python itself this way.
📊 Claimed results: data pipelines more than 38x faster, AI inference kernels more than 4.5x faster. The 4K video model LTX-2.5 ran nearly twice as fast after Maxwell cut data exchange between GPUs and dropped unnecessary token padding.
Four-time Pro Bowler Reveals How Raiders Can ‘Get in’ to the Playoffs https://heavy.com/sports/nfl/las-vegas-raiders/raiders-marcel-reece-ashton-jeanty-playoffs/
⚙️ Unlike a JIT compiler, Maxwell reasons at a higher level and can swap out entire algorithms, e.g. replacing a general-purpose sort with a better-suited one. It sees the exact hardware, the real data shapes and types, and live bottlenecks, and keeps optimizing continuously.
Brian Schottenheimer Reveals Future of Play-Calling Duties Amid Cowboys Struggles https://www.si.com/nfl/cowboys/onsi/brian-schottenheimer-reveals-future-play-calling-duties-amid-cowboys-struggles