Heading this week to AI Engineer in London. If you happen to be there and want to grab a coffee and talk AI, let me know! @aiDotEngineer #AI #London

Fixed, thanks.

Also, test262 is a moving target so I wouldn't be surprised that 100% is not correct anymore today given over 500 tests were added since I created the submodule at the end of January.

Thanks. Clearly the 100% test262 pass is interesting but the focus should be more on the possibilities this opens, I think. Test262 should be credited for enabling this. It's an incredible project with amazing people working on it and it enables a tight feedback loop for the agent to work on.

I must say I don't know much about JS development itself but in terms of spec development in general, I would expect that language feature prototypes can be implemented and tested with a much quicker turn around, for example. But clearly it seems that a lot can change here.

Meet JSSE - a Claude Code built Javascript Engine - that passes 100% of the test262 suite. First of a kind... More info at p.ocmatos.com/blog/jsse-a-... #claude #javascript #engine #agents

Our booth at Embedded World, Hall 4. White booth walls with "igalia is open source" branding in colorful text and "web, standards, for everyone" labels. Left wall has a monitor and the Moonforge demo station with hardware diagrams. Back walls display logos of open-source projects Igalia contributes to, including Servo, Vulkan, Chromium, WebKit, RISC-V, GStreamer, Wayland, and more. White meeting table with chairs in the foreground.

Tomorrow at Embedded World! Hall 4, Booth 4-443.

Demoing Moonforge — live OTA updates on RPi5 via RAUC — plus a Zephyr BLE app built entirely on upstream code, and WPE WebKit on embedded hardware.

Talks: Tue 14:45 Yocto best practices, Thu 15:00 web engines for embedded.

#EmbeddedWorld #ew26

Igalia's booth at Embedded World 2026

We're live at #EmbeddedWorld! Hall 4, Booth 4-443 — demos running all day.

Introducing Moonforge: A Yocto-Based Linux OS | Igalia Igalia is an open source consulting firm specialised in the development of innovative projects and solutions. Our engineers have expertise in a wide range of technological areas, including browsers an...

🚀 We've released Moonforge, a brand new fully open-source Linux distribution based on Yocto. We aim to provide a production-ready foundation for building embedded operating systems! Read more: www.igalia.com/2026/03/09/I...

Updated the ESBMC Claude Code plugin — now with Python verification support and a new repo home. Also started writing up an idea: what if formal verification happened *during* coding, not after?

p.ocmatos.com/blog/esbmc-p...

A new project depicting musicians and composers across time and instruments. Suggestions and requests welcome. #musicians #composers #timeline musiker.page

Now merged upstream! Supports C, C++, Python, Solidity & CUDA.
Thanks to the ESBMC team for the quick merge 🙏
Full write-up & demo:

p.ocmatos.com/blog/formal-...

I built a Claude Code plugin for ESBMC (esbmc.github.io) — bringing formal verification into your agentic coding workflow. Ask Claude to check your code, ESBMC runs under the hood, and you get concrete counterexample traces when it finds bugs.

LLMs write code fast, but how do you trust it? Unit tests only cover paths you think to test. Bounded model checking exhaustively explores all paths and gives mathematical proofs when it finds bugs.

🧵

Introducing Showboat and Rodney, so agents can demo what they’ve built A key challenge working with coding agents is having them both test what they’ve built and demonstrate that software to you, their overseer. This goes beyond automated tests—we need artifacts …

I built two new tools to help coding agents demonstrate their work beyond just running automated tests: Showboat and Rodney simonwillison.net/2026/Feb/10/...

Absolutely awesome to see CCC side by side with the other oldies but goodies compilers. I am pretty confident GCC and Clang were the last breed of popular C compilers written by humans!

Igalia's Response to the European Commission on the Open Digital Ecosystem Strategy | Igalia Igalia is an open source consultancy specialised in the development of innovative projects and solutions. Our engineers have expertise in a wide range of technological areas, including browsers and cl...

The EC is putting together an initiative to develop their strategy for open digital ecosystems. Given its potential to push forward the development and funding of open-source software in Europe and beyond, Igalia submitted a response with some suggestions. Read more: www.igalia.com/2026/02/03/I...

Letter: Where mortality is recast as an engineering problem From Dr Sasi S Senga, Neurosurgical Oncologist; Former Programme Director, Molecular Genetics & Ethics, Stanford University

I found it online. A beautiful read. Letter: Where mortality is recast as an engineering problem share.google/7PbFNG4WPgtB...

Vipers Meetup Nuremberg — Vibe Engineering & Agentic AI | Meetup Where professionals explore vibe coding, agentic AI, and the new wave of AI-augmented work. Bimonthly in Nuremberg.The way we build software is changing fast. Entire applications are being vibe-coded ...

If you are in Nuremberg or surroundings, consider joining our meetup group to discuss the implications of AI in the marketplace. No matter your profession - lets get together, chat and have some fun! #nuremberg #meetup #vibe

Join us at www.meetup.com/vipers-vibe-...

The arrival of AGI | Shane Legg (co-founder of DeepMind) YouTube video by Google DeepMind

The @GoogleDeepMind podcast with Hanna Fry is absolutely amazing and under-hyped. If you want an episode to start with go with the interview with Shane Legg. www.youtube.com/watch?v=l3u_...

MacOS battery menu showing Claude as "Using Significant Energy".

Programming in 2026:

One Human + One Agent = One Browser From Scratch embedding-shapes was so infuriated by the hype around Cursor's FastRender browser project - thousands of parallel agents producing ~1.6 million lines of Rust - that they were inspired to take …

The latest entrant in the coding-agent-constructed web browsers is here, this one by @emsh.cat, and it's REALLY impressive - 3 days of development, 20,000 lines of Rust, no Cargo dependencies and it renders HTML+CSS extremely well
simonwillison.net/2026/Jan/27/...

Wilson Lin on FastRender: a browser built by thousands of parallel agents Last week Cursor published Scaling long-running autonomous coding, an article describing their research efforts into coordinating large numbers of autonomous coding agents. One of the projects mention...

I had a fascinating conversation with Wilson Lin about FastRender, the browser rendering engine he built with the help of 2,000+ coding agents over the past few weeks. It's 47m on YouTube or you can read my highlights here: simonwillison.net/2026/Jan/23/...

Really wishing that somebody would hire my company (@igalia.com) to standardize/implement support for import maps in web workers.

I already have a draft spec PR ready and there is interest from the community, which company wants to be the hero funding pushing it forward? :)

Amazing work on an Erdős problem (whose original statement needed to be tweaked), demonstrating the power of AI-assisted proving in math. mathstodon.xyz/@tao/1158558...

Lean Together 2026 starts today! It'll be four days of juicy Lean stuff. It's a remote-only conference, so feel free to join. See you there! leanprover-community.github.io/lt2026/

If This Can Happen to an Ex-DeepMind Leader, It Can Happen to You My site: https://natebjones.com Full Story w/ Self-Audit Framework:…

Really alarming to see this story of "LLM psychosis".I first saw it in a video by Nate Jones. It looks like there's an attempt to solve the wildly difficult Navier-Stokes problem, backed up by a Lean formalization. youtu.be/AzOJ9QLgfIk

Claude Code helps me so much with the household chores. The dishes get washed more frequently, the apartment is appreciably tidier, the vacuum cleaner spends an above-average amount of time turned on, the trash gets taken out more quickly.

Leaning In! 2026 A workshop for the Lean community - Thursday, March 12, 2026

We''ve landed a few more talks since the last update!

* Sorrachai Yingchareonthawornchai: The CSLib initiative
* Simon Sorg: Machine learning for Lean
* Jannis Limperg on Lean metaprogramming for AI
* Will Turner on the new ProofBench effort

Come join us for a day of #lean! leaning.in

Incredible results with #lean and Gemini Deep Think by Tao in the Erdős Problem. It feels like a lot of doors in the formalization space, whether that's math or hardware/software verification, are opening quickly. mathstodon.xyz/@tao/1155914...