Notes & Code

Blog

Writing on compilers, low-level software, and piano practice. Browse by topic or year.
Code
Show 23 code posts
Music
Show 2 music posts
Subscribe
RSS feed

Showing 23 code posts. Show all posts

Showing 2 music posts. Show all posts

202614 posts

  1. Symphonika: building a software factory

    From watching agents in Pewpew to giving them work: issue workflows, scheduled routines, and the decisions a software factory must leave to humans.

    6 min read, 2 listings, 3 figs.

  2. Faster, With Guardrails

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

    8 min read, 4 figs.

  3. What’s in a vow? A language for the future of agentic coding

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

    7 min read, 2 listings, 1 fig.

  4. Pewpew: the terminals are down!

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

    8 min read, 5 figs.

  5. How fast do you want it?

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

    5 min read, 2 figs.

  6. Hello and a Quick Comments Test

    Saying hi to readers and trying out the new opt-in comments section.

    1 min read, 1 fig.

  7. Code Is Free Now. What’s Left Is Us.

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

    7 min read, 1 fig.

  8. JSSE: A JavaScript Engine Built by an Agent

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

    12 min read, 1 listing, 3 figs.

  9. Introducing Musiker: An Interactive Timeline of Classical Music

    Announcing musiker.page – an interactive visualization of classical music composers and players across centuries.

    2 min read

  10. ESBMC Plugin Update: Python Support, a New Home, and Where This Is Going

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

    3 min read, 1 listing

  11. Formal Verification in Your Terminal: ESBMC meets Claude Code

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

    5 min read, 4 listings

  12. Claude Code Usage in Waybar

    A small script to monitor Claude Code API usage directly from your status bar.

    1 min read, 2 listings, 1 fig.

  13. Daring to imagine…

    A few words on daring to imagine the future of software engineering.

    1 min read

  14. Life on GenAI in 2025 (part 1 – Intro and Education)

    Usage of GenAI over the year 2025 – Education

    4 min read, 3 figs.

20241 post

  1. FEX x87 Stack Optimization

    Stack optimization work on x87 FPU in FEX.

    11 min read, 17 listings, 12 figs.

20231 post

  1. WebAssembly Reference Types in Clang/LLVM

    Description of the implementation of WebAssembly Reference Types in Clang/LLVM

    2 min read

20221 post

  1. From Middle-C to Concert

    How I went from starting to play piano from scratch to a public performance.

    7 min read, 1 music example

20206 posts

  1. A tour of the for..of implementation for 32bits JSC

    We look at the implementation of the for-of intrinsic in 32bit JSC (javascriptCore).

    14 min read, 17 listings

  2. JSC – what are my options?

    Compilers tend to be large pieces of software that provide an enormous amount of options. We take a quick look at how to find what JavaScriptCore (JSC) provides.

    4 min read, 5 listings

  3. Announcing HTML examples (html-examples)

    Announcing a new racket package html-examples to convert an examples block to HTML for inclusion in your own page.

    1 min read, 1 listing

  4. Announcing Racket Bitvectors (bv)

    Announcing a new racket package bv for manipulating bitvectors with a rosette-style API.

    1 min read, 1 listing

  5. CReduce – it’s a kind of magic!

    During my tenure as a C compiler developer working on GCC and LLVM there was an indispensable tool when it came to fixing bugs and that was C-Reduce, or its precursor delta. Turns out this magic applies well to JavaScript, so lets take a quick glance at what it is and how to use it.

    6 min read, 5 listings

  6. Cross-Arch Reproducibility using Containers

    Use of containers for cross architecture reproducibility using docker and podman, which I then go on to apply to JSC.

    12 min read, 21 listings

20191 post

  1. A Brief Look at the WebKit Workflow

    Some notes taken while learning about the workflow for contributing to JSC (the JavaScript Compiler) in WebKit.

    9 min read, 5 listings, 3 figs.

20181 post

  1. S10 Overview

    What is superoptimization? What is S10? Here’s an overview.

    5 min read, 6 listings