Viewing profile — polyglotfacto

I implemented MessagePort in Servo back in 2019 — it was the hardest concurrency problem I'd encountered, because ports can be transferred between event loops while messages are st…

I've been implementing the WebNN Web Standard on a personal Servo branch with AI coding assistance (main bans AI), and switched to GPT 5.4 this week. It introduced a race condition…

I am in the third week of my experiment with AI-assisted coding on a personal branch of Servo (which still bans all AI contributions). First, the least relevant metric: LOC. Almost…

I’ve used TLA+ for six years to "debug my thinking," but I always treated the jump from spec to implementation as a leap of faith. What surprised me in this experiment with Lean wa…

I am a maintainer of the Servo web engine. Two years ago, our project banned AI-generated contributions. I was a dissenting voice on that policy, and have continued to experiment w…

Within the Federal Reserve System, we have also been exploring the use of AI in our own operations and have established an AI program and governance framework for the use of AI tec…

> FWIW, an inefficient but working product is pretty much the definition of a startup MVP It depends on what kind of start-up we're talking about. A compiler start-up probably shou…

> its value comes from fulfilling its requirements. The requirements will have to come from somewhere, and they will have to be quite precise although probably higher-level than co…

> When a friend asked me to convert a large, thorny data set, I downloaded it, cleaned it up and made it pretty and easy to explore. In the past I would have charged $350,000 > (..…

My review of the article, as a conversation with an agent: https://medium.com/@polyglot_factotum/slop-review-with-ai-th ... Here is the AI's final verdict (following an initial ent…

After seeing the autonomous browser and compiler projects trend here, and having been a vocal critic in the comments, I felt compelled to write a long-form rebuttal. My thesis: AI …

So let’s say you fund a single engineer for an open‑source project with $20k. The outcome will be a prototype with some interesting ideas. And yes, with a few hundred bucks' worth …

Point is: it doesn't matter if agents can do it faster and cheaper than a team of humans: it's slop. It's like writing a novel in a week that no one wants to read. If in six months…

So as a software engineer with experience with coding agents, when I look at https://github.com/anthropics/knowledge-work-plugins I'm like: oh that's it, a bunch of skills files? S…

So I do think one can get value from coding agents, but that value is out of proportion compared to the investments made by the AI labs, so now they're pushing this kind of stuff w…

You can look at the Web as a starter: https://html.spec.whatwg.org/#history-2 > The WHATWG was based on several core principles, (..) and that specifications need to be detailed en…

I built a PoC of an agent runtime designed to reduce prompt‑injection blast radius. Instead of doing tasks directly, the agent writes a web app to do the work. The app can run sub‑…