Luigi Pirandello’s Broken Men
Books & the Arts / December 2, 2025 The Nobel Prize-winning writer was once seen as Italy’s great man of letters. Why was he forgotten? Ad Policy Italian painter Primo Conti drawing from life a portrait of Italian writer and dramatist Luigi Pirandello. Italy, 1920s (Mondadori via Getty Images) At the height of his prominence, […]
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
15th December 2025 I wrote about JustHTML yesterday—Emil Stenström’s project to build a new standards compliant HTML5 parser in pure Python code using coding agents running against the comprehensive html5lib-tests testing library. Last night, purely out of curiosity, I decided to try porting JustHTML from Python to JavaScript with the least amount of effort possible, […]
No AI* Here – A Response to Mozilla’s Next Chapter
Mozilla’s new CEO recently announced their vision for the future: positioning Mozilla as “the world’s most trusted software company” with AI at its centre. As someone who has spent nearly 15 years building and maintaining Waterfox, I understand the existential pressure Mozilla faces. Their lunch is being eaten by AI browsers. Alphabet themselves reportedly see […]
MIT professor shot at his Massachusetts home dies
A Massachusetts university professor who was shot at his home has died, campus officials say. Nuno F Gomes Loureiro, 47, a nuclear science and engineering professor from Portugal, was shot ”multiple times” on Monday and died on Tuesday morning in hospital, according to Brookline police and Massachusetts Institute of Technology (MIT) officials. Police said officers […]
I Program on the Subway
Programming some m68k assembler for my custom SBC at 1am on the subway. Sorry it’s blurry! Ever since moving to New York City, I’ve found my time to be in more demand than ever. Between work, meetups, and social events, I have noticeably less time for side projects than I had before moving here. At […]
Chat-tails: Throwback terminal chat, built on Tailscale
To find a safe space for his kid to chat with friends while playing Minecraft, Brian Scott had to go back to the future. The chat went back, that is, to an IRC-like interface, run through a terminal. The connection and setup remain futuristic, because Scott used Tailscale, and tsnet, to build chat-tails. Chat-tails is […]
Prediction: AI will make formal verification go mainstream
Published by Martin Kleppmann on 08 Dec 2025. Much has been said about the effects that AI will have on software development, but there is an angle I haven’t seen talked about: I believe that AI will bring formal verification, which for decades has been a bit of a fringe pursuit, into the software engineering […]
Texas is suing all of the big TV makers for spying on what you watch
TVs made by Sony, Samsung, LG, Hisense, and TCL are part of a ‘mass surveillance system,’ Attorney General Ken Paxton alleges. TVs made by Sony, Samsung, LG, Hisense, and TCL are part of a ‘mass surveillance system,’ Attorney General Ken Paxton alleges. by Emma Roth Dec 16, 2025, 3:38 PM UTC Emma Roth is a […]
Ty: A fast Python type checker and LSP
TL;DR: ty is an extremely fast Python type checker and language server, written in Rust, and designed as an alternative to tools like mypy, Pyright, and Pylance. Today, we’re announcing the Beta release of ty. We now use ty exclusively in our own projects and are ready to recommend it to motivated users for production […]
Our New Sam Audio Model Transforms Audio Editing
Today, we’re introducing SAM Audio, a state-of-the-art AI model that enables you to segment sound. Imagine recording a video of your favorite band and isolating the guitar or vocals with a single click, using text prompts to filter traffic noise from a video filmed outside, or removing the sound of a dog barking from your […]