Six months after JSSE's first release: 47 of 48 JetStream workloads run, up from 22, and 2.92x faster on the ones March could run. test262 is still at 100%. Agents can make an engine faster, as long a...

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

Vow is a systems programming language with built-in contracts verified at compile time. Designed for AI agents, not humans.

Announcing Vow, an agent-first programming language with formal verification built in. Self-hosted, early, and open for you to try.

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

Seven weeks of agentic optimization on JSSE. 4.73x faster on test262 wall time, 1.92x JetStream geometric mean, half the cost of building the engine in the first place.

Reflections on 14 months of agentic coding and why the developer's job is becoming more human, not less.

JSSE is the first JavaScript engine to pass 100% of test262 non-staging tests. 170,000 lines of Rust. Zero lines written by me.

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

Python verification support, a new agent-marketplace repo, and thoughts on co-temporal verification.

A new Claude Code plugin brings ESBMC bounded model checking directly into your AI-assisted development workflow.

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 …

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

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

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

YouTube video by Google DeepMind

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 …

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

This patch started as a conversation with @guybedford. I tried writing some spec for one of the potential approaches discussed in WICG/import-maps#2. This PR is not actually ready as I have not fin...

Recently, the application of AI tools to Erdos problems passed a milestone: an Erdos problem (#728 https://www.erdosproblems.com/728) was solved more or less autonomously by AI (after some feedback…

A meeting all about Lean

My site: https://natebjones.com Full Story w/ Self-Audit Framework:…

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

Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 : 1. On Nov 20, Wouter van…

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