Sign in

Paulo Matos

@ocmatos.com
225 followers 541 following 109 posts

Igalian working on FEX-Emu, Proud Father of 2, AWA IRONMAN Triathlete. All opinions are my own or my children's - if they got hold of my phone. Uke Player - Aspiring Pianist.

PostsRepliesMedia
Paulo Matos @ocmatos.com · 28/09/2026
Six months after JSSE's first release: 47 of 48 JetStream workloads now run (up from 22), 2.9x faster on the ones March could run, and still 100% on test262. This post is about the guardrails that kept it honest. #JavaScript #Rust #AgenticCoding #Claude p.ocmatos.com/blog/faster-...
p.ocmatos.com
Faster, With Guardrails - Notes & Code
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...
000
Paulo Matos @ocmatos.com · 27/08/2026
I don't see any skills loading - are you just using vanilla Claude Code?
101
Paulo Matos @ocmatos.com · 23/07/2026
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.sh
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.
030
Reposted by Paulo Matos
Marcus Fernández @marcusfernandez.bsky.social · 14/07/2026
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...
064
Paulo Matos @ocmatos.com · 13/07/2026
After Thales, comes Pabst. Great work from Jesse, bringing Formal Verification to the Agentic Coding era.
000
Reposted by Paulo Matos
Jesse Alama @jessealama.net · 13/07/2026
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`,
122
Paulo Matos @ocmatos.com · 20/05/2026
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
vow-lang.com
Vow — A Programming Language for Agentic Coding
Vow is a systems programming language with built-in contracts verified at compile time. Designed for AI agents, not humans.
062
Paulo Matos @ocmatos.com · 20/05/2026
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
p.ocmatos.com
What's in a vow? A language for the future of agentic coding - Notes & Code
Announcing Vow, an agent-first programming language with formal verification built in. Self-hosted, early, and open for you to try.
020
Paulo Matos @ocmatos.com · 12/05/2026
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
p.ocmatos.com
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.
041
Paulo Matos @ocmatos.com · 07/05/2026
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...
p.ocmatos.com
How fast do you want it? - Notes & Code
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.
020
Paulo Matos @ocmatos.com · 30/04/2026
Exciting work by Jesse bridging TypeScript with Formal Verification via Lean. 👀
030
Paulo Matos @ocmatos.com · 21/04/2026
Thanks - How do I do that while running? Cleft Notes sounds a more polished Google Recorder which I have been using once I am home but there's a hw gap for this I think.
100
Paulo Matos @ocmatos.com · 20/04/2026
The first step of recording while running seems to be the most painful one. Any suggestions? And if you're a builder and create something, I will be your first customer. That's it... and if you get anything anything out of reading this is that you should be running more! :)
000
Paulo Matos @ocmatos.com · 20/04/2026
A system that allows me dump these ideas _while_ I am running. They are summarized, categorized and when I have time `/grill-me` is used on them to create implementation plans.
100
Paulo Matos @ocmatos.com · 20/04/2026
Lately I get home and I run to my phone and try to dump as much I as can using Google Recorder. It's working fine but... it's not perfect. Here's what I need...
100
Paulo Matos @ocmatos.com · 20/04/2026
🧵 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.
200
Paulo Matos @ocmatos.com · 16/04/2026
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...
p.ocmatos.com
Code Is Free Now. What's Left Is Us. - Notes & Code
Reflections on 14 months of agentic coding and why the developer's job is becoming more human, not less.
010
Paulo Matos @ocmatos.com · 04/04/2026
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
000
Paulo Matos @ocmatos.com · 27/03/2026
Fixed, thanks.
010
Paulo Matos @ocmatos.com · 26/03/2026
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.
230
Paulo Matos @ocmatos.com · 26/03/2026
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.
140
Paulo Matos @ocmatos.com · 26/03/2026
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.
000
Paulo Matos @ocmatos.com · 25/03/2026
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
p.ocmatos.com
JSSE: A JavaScript Engine Built by an Agent - Notes & Code
JSSE is the first JavaScript engine to pass 100% of test262 non-staging tests. 170,000 lines of Rust. Zero lines written by me.
3298
Reposted by Paulo Matos
Igalia @igalia.com · 09/03/2026
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
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.
097
Reposted by Paulo Matos
Igalia @igalia.com · 10/03/2026
We're live at #EmbeddedWorld! Hall 4, Booth 4-443 — demos running all day.
Igalia's booth at Embedded World 2026
0166
Reposted by Paulo Matos
Igalia @igalia.com · 10/03/2026
🚀 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...
igalia.com
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...
13016
Paulo Matos @ocmatos.com · 23/02/2026
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...
p.ocmatos.com
ESBMC Plugin Update: Python Support, a New Home, and Where This Is Going - Notes & Code
Python verification support, a new agent-marketplace repo, and thoughts on co-temporal verification.
010
Paulo Matos @ocmatos.com · 21/02/2026
A new project depicting musicians and composers across time and instruments. Suggestions and requests welcome. #musicians #composers #timeline musiker.page
001
Paulo Matos @ocmatos.com · 13/02/2026
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-...
p.ocmatos.com
Formal Verification in Your Terminal: ESBMC meets Claude Code - Notes & Code
A new Claude Code plugin brings ESBMC bounded model checking directly into your AI-assisted development workflow.
000
Paulo Matos @ocmatos.com · 13/02/2026
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.
120
Paulo Matos @ocmatos.com · 13/02/2026
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. 🧵
100
Reposted by Paulo Matos
Simon Willison @simonwillison.net · 10/02/2026
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/...
simonwillison.net
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 …
10835
Paulo Matos @ocmatos.com · 08/02/2026
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!
000
Reposted by Paulo Matos
Igalia @igalia.com · 03/02/2026
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.com
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...
03518
Reposted by Paulo Matos
Biba 🇬🇧 🇪🇺 🇵🇸 @bibaroman.bsky.social · 04/02/2026
I found it online. A beautiful read. Letter: Where mortality is recast as an engineering problem share.google/7PbFNG4WPgtB...
share.google
Letter: Where mortality is recast as an engineering problem
From Dr Sasi S Senga, Neurosurgical Oncologist; Former Programme Director, Molecular Genetics & Ethics, Stanford University
0104
Paulo Matos @ocmatos.com · 04/02/2026
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-...
meetup.com
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 ...
000
Paulo Matos @ocmatos.com · 04/02/2026
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_...
youtube.com
The arrival of AGI | Shane Legg (co-founder of DeepMind)
YouTube video by Google DeepMind
000
Reposted by Paulo Matos
Shriram Krishnamurthi @shriram.bsky.social · 27/01/2026
Programming in 2026:
MacOS battery menu showing Claude as "Using Significant Energy".
0172
Reposted by Paulo Matos
Simon Willison @simonwillison.net · 27/01/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/...
simonwillison.net
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 …
68015
Reposted by Paulo Matos
Simon Willison @simonwillison.net · 23/01/2026
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/...
simonwillison.net
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...
5945
Reposted by Paulo Matos
Nicolò Ribaudo @nicr.dev · 23/01/2026
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? :)
github.com
Support import maps in workers by nicolo-ribaudo · Pull Request #10858 · whatwg/html
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...
14516
Reposted by Paulo Matos
Jesse Alama @jessealama.net · 19/01/2026
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...
mathstodon.xyz
Terence Tao (@tao@mathstodon.xyz)
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…
021
Reposted by Paulo Matos
Jesse Alama @jessealama.net · 19/01/2026
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/
leanprover-community.github.io
Home
A meeting all about Lean
021
Reposted by Paulo Matos
Jesse Alama @jessealama.net · 10/01/2026
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
youtu.be
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:…
021
Reposted by Paulo Matos
Jesse Alama @jessealama.net · 10/01/2026
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.
041
Reposted by Paulo Matos
Leaning In! @leaninginconf.bsky.social · 08/12/2025
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
leaning.in
Leaning In! 2026
A workshop for the Lean community - Thursday, March 12, 2026
013
Reposted by Paulo Matos
Jesse Alama @jessealama.net · 26/11/2025
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...
mathstodon.xyz
Terence Tao (@tao@mathstodon.xyz)
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…
021
Reposted by Paulo Matos
Igalia @igalia.com · 21/11/2025
Valve’s announcements last week about their new hardware were particularly welcome here at Igalia: a lot of our work will be in those machines. From translation layers to better frame rates and longer battery life, we’ve helped @valvesoftware.com push gaming forward. www.igalia.com/2025/11/help...
igalia.com
Helping Valve to Power Up Steam Devices | 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...
26723
Paulo Matos @ocmatos.com · 13/11/2025
It's going to be really awesome to see what everyone has to say about the Frame and how it plays. Can't wait to see the first users of the Frame in the wild. I have had a ton of fun testing stuff for the past 2 years.
080
Paulo Matos @ocmatos.com · 13/11/2025
Now that this is publicly announced I can say it has been delightful to be part of the small team of contributors to FEX, bringing you x86 games to ARM64 hw - now integrated into the Steam Frame.
4305