Is Mozilla trying hard to kill itself?
In an interview with “The Verge”, the new Mozilla CEO, Enzor-DeMeo, IMHO hints that axing adblockers is something that, at the very least, was on the table in some form and at some point. From the article: He says he could begin to block ad blockers in Firefox and estimates that’d bring in another $150 […]
TLA+ Modeling Tips
Model minimalistically Start from a tiny core, and always keep a working model as you extend. Your default should be omission. Add a component only when you can explain why leaving it out would not work. Most models are about a slice of behavior, not the whole system in full glory: E.g., Leader election, repair, […]
Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
Menu Work at a StartupStartup JobsInternshipsUpcoming EventsHow it Works Log In › Work at a StartupStartup JobsInternshipsUpcoming EventsHow it WorksLog In Check out other YC startups on Work at a Startup below. Sign up to see more › Work at a Startup JobsInternshipsEventsHow it worksSign in Y Combinator About YCPressPrivacy & TermsContact Jobs by Role […]
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 […]
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 […]
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 […]