CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
This is the course website for CS 4973: Introduction to Software Development Tooling at Northeastern University, Summer 2 2024. This site holds the authoritative syllabus, as well as lecture notes and assignments. Note: The course staff reserves the right to change this page at any time without notice. The change history is public. It is […]
Sei AI (YC W22) Is Hiring
We are Sei, an agentic AI platform for financial services. Since launching, we’re live with large enterprises across the US, Europe, and APAC and growing at double digits per month. We are backed by world-class investors, including Y Combinator, Tribe Capital, PayPal, Picus Capital, & Hashed. Pranay (CEO) and Ram (CTO) are the founders. We […]
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 […]