pmatos rambles

Something has been forming in the last few months.

By mid-March I had fifteen Ghostty terminals open.

In March I wrote about JSSE, a JavaScript engine an agent built from scratch in Rust.

In this short post I want to say hello and try out something new.

In the first months of agentic coding, I grieved.

In January, I came across a blog post by the author of one-agent-one-browser, a from-scratch browser built in Rust by a single person directing a single coding agent over a few days.

A couple of weeks ago I wrote about the ESBMC plugin for Claude Code — a way to bring bounded model checking into your terminal through an AI coding assistant.

Musiker is an interactive timeline that maps the lifetimes and connections of classical music composers and players — from William Byrd in the 1540s to Lang Lang today.

Edit (2026-02-23): Updated plugin installation instructions to use the new repository names.

If you're a heavy Claude Code user, you've probably been caught off guard by hitting your session or weekly usage cap mid-flow.

It's hard to even imagine what things will look like in 2-3 years time.

I was already following closely the developments in GenAI, but watching my kids navigate these tools pushed me to keep exploring the landscape and following the trends.

In this blog post, I will describe my recent work on improving and optimizing the handling of x87 code in FEX.

WebAssembly Reference Types in LLVM Introduction This post is an overview of the implementation of the WebAssembly Reference Types proposal in Clang/LLVM.

Last Saturday, on the 24th of September of 2022 I played piano publicly for the first time in a local concert organized for students of my piano teacher - Takako Ono.

Context On April 18, 2020, Keith Miller from Apple committed a change titled Redesign how we do for-of iteration for JSArrays.

Compilers tend to be large pieces of software that provide an enormous amount of options.

Announcing a new racket package html-examples to convert an examples block to HTML for inclusion in your own page. $ raco pkg install html-examples html-examples is a simple, one function, package to convert an scribble/example block into HTML.

Announcing a new racket package bv for manipulating bitvectors with a rosette-style API. $ raco pkg install bv Racket bv (source and documentation) is a package for bitvector manipulation.

When I started compiler work delta was all the rage.

Introduction Part of my work for Igalia is on the 32bit support on MIPS (little endian) and ARM for JSC (JavaScriptCore - the JavaScript compiler in WebKit) and one of the problems we face is that of reproducibility of failures.

Since I joined Igalia back in May, I have been working on WebKit.

Superoptimization Superoptimization was introduced by H.