Whether you have ever used Pi or not, you should give it a try and while you are at it install it through omp.sh. It's awesome - just saying!

omp — a coding agent with the IDE wired in

Subagents, plan mode, LSP, DAP, hindsight memory, hashline edits, time-traveling rules — with a native Rust engine doing the heavy lifting.

omp.sh

Pouco se fala da fortuna que temos de que a xente de @igalia.com organice algo como o Web Engines Hackfest en Galicia. Comentámolo con @rego.bsky.social no último número da revista @codigocero.com codigocero.com/Os-responsab...

After Thales, comes Pabst. Great work from Jesse, bringing Formal Verification to the Agentic Coding era.

Jesse Alama@jessealama.net · 3w ago

I'm happy to announce pabst: a tool for Property-Based Testing in JavaScript/TypeScript. Annotate your functions with properties they're supposed to have, run `pabst test` to try to invalidate those claims, and watch the bugs come crawling out. Install via `npm install pabst-checker`,

I'm happy to announce pabst: a tool for Property-Based Testing in JavaScript/TypeScript. Annotate your functions with properties they're supposed to have, run `pabst test` to try to invalidate those claims, and watch the bugs come crawling out. Install via `npm install pabst-checker`,

Announcing Vow: a programming language for AI agents, not humans. "The language is not for you. Yours is only the product, plus the vow that it behaves." Self-hosted. Contracts verified by ESBMC. vow-lang.com #agenticcoding #formalverification #programminglanguages

A new category of programming language is forming, aimed at agents rather than humans. Vow is mine: small, self-hosted, with contracts verified by ESBMC. "The language is not for you. Yours is only the product." p.ocmatos.com/blog/whats-i... #agenticcoding #formalverification

Like a lot of people, when agents could code I didn't double my projects. I 15x'd them. Then I got lost. So I built pewpew, a canvas for tracking them all. It made me suspect the IDE is the wrong shape. p.ocmatos.com/blog/pewpew-... #AgenticCoding #ClaudeCode #Codex

Pewpew: the terminals are down! - Notes & Code

Fifteen Ghostty terminals, one canvas, and the suspicion that the IDE is the wrong shape for the agentic era.

p.ocmatos.com

In March I wrote about JSSE: a JavaScript engine an agent built from scratch. It was fast to build, slow to run. So I asked the agent to optimize it. No bytecode, no JIT, just constant factors. #javascript #engine #jsse #agentic #coding p.ocmatos.com/blog/how-fas...

Exciting work by Jesse bridging TypeScript with Formal Verification via Lean. 👀

Jesse Alama@jessealama.net · 3mo ago

I'm happy to announce Thales, a TypeScript compiler and JS engine in Lean. Thales compiles a subset of TypeScript to Lean via a shallow embedding. Thales is a bridge for TS programmers into Lean's program verification toolset. Check out github.com/jessealama/t... to get started.

🧵 My best ideas seem to come to me while I am running. Time and time again I have great ideas while running, then I get back home and pufff... gone! As if I had been in a dream-state all along.

If I understood anything from doing agentic coding: the work that remains is more human, not less. The role shift, how code review evolves, and why the constraint is now judgment — not capacity. #AgenticCoding #SoftwareEngineering #AI p.ocmatos.com/blog/code-is...

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

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

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

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

🚀 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...

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...

igalia.com

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

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. 🧵

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/...

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 …

simonwillison.net

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!

Matt Godbolt@matt.godbolt.org · 6mo ago

We just added CCC to @compiler-explorer.com - Claude's C Compiler. And what fitting way but to have gotten Claude to added itself to CE... @anthropic.com - added a build to our builder, added it to our daily builds, added the installation, the configuration, and tested it in staging. Nice!

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...

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...

igalia.com

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

Letter: Where mortality is recast as an engineering problem

From Dr Sasi S Senga, Neurosurgical Oncologist; Former Programme Director, Molecular Genetics & Ethics, Stanford University

share.google

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-...

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 ...

meetup.com

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_...

The arrival of AGI | Shane Legg (co-founder of DeepMind)

YouTube video by Google DeepMind

youtube.com

Programming in 2026:

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/...

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 …

simonwillison.net

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/...

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...

simonwillison.net

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...