In which I finally make sense of value numbering

bernsteinbear.com/blog/value-n...

If – on this grey Sunday morning – you would like to read a dozen pages about using tail calls for fast interpreters, then I have Excellent News for you:

www.mattkeeter.com/blog/2026-04...

In which I finally make sense of value numbering

bernsteinbear.com/blog/value-n...

Reminds me of the Pedro Pascal hospital skit

C++ support by stedolan · Pull Request #14701 · ocaml/ocaml This patch adds a new C++ backend to ocamlc, improving on the unincremented C currently in use by the runtime and FFI. As an example, here's a simple program that computes the prime numbers up ...

This is such an ingenious Apr 1st PR from Stephen Dolan I feel like it's the exact opposite of AI slop github.com/ocaml/ocaml/...

Using Perfetto in ZJIT We added Perfetto tracing support to ZJIT so we could visualize and > query slow events. Take a look at the pretty colors and see how you can add > this to your > system too.

Perfetto is pretty neat
railsatscale.com/2026-03-27-u...

New textbook cover?

How ZJIT removes redundant object loads and stores ZJIT’s optimizer now removes redundant object loads and stores, improving JIT performance of CRuby’s shape system. This post explains how the optimization works.

New post by Jacob about recent heap modeling optimizations in ZJIT :D

railsatscale.com/2026-03-18-h...

One more time — I'm looking for new consulting clients.

Some ways I can help:

∙ Fractional tech leadership (tackling "leadership debt" in small eng orgs)
∙ Full-stack, 0 to 1 projects
∙ Language design & impl (eg with @ohmjs.org)
∙ JavaScript/TypeScript perf

(🔁 appreciated)

Sharon Korean Kitchen in Boston is great. Stumbled across it and thoroughly enjoyed. Vegetarian friendly, too

Swift Compiler Backend Engineer - Jobs - Careers at Apple Apply for a Swift Compiler Backend Engineer job at Apple. Read about the role and find out if it’s right for you.

The Swift Performance team isn’t *my* team, but they’re in my hallway. Or in London if you’d prefer. They’re looking for an engineer who’s not afraid of optimizers. jobs.apple.com/en-us/detail...

I wrote a tiny vectorized interpreter last night, and .. thought I'd write up a post describing it. Nothing earth shattering here, but if you haven't seen one of these before it could be interesting! Probably easier to read than the J Incunabulum, but also less .. wow.

github.com/frankmcsherr...

Moooorre!

That's what I used it for :D had a bad rasterizer

I am partial to fenster: bernsteinbear.com/blog/fenster...

Wow, looks amazing!!! 🤩

I wrote a little extremely DIY fuzzer for the load/store optimization in the toy optimizer!

bernsteinbear.com/blog/toy-fuz...

interp.c GitHub Gist: instantly share code, notes, and snippets.

Anyway in the process of thinking about this I sketched the tiniest interpreter generator and superinstruction generator (but not finder)

gist.github.com/tekknolagi/8...

So my friend Chris taught me what byte pair encoding is and then I was idly thinking about it and I wonder if people can/do use this for generating bytecode interpreter superinstructions.

Agree 20+ mins without lid

Huge oven spring!!

Bread pics!

I wrote a little extremely DIY fuzzer for the load/store optimization in the toy optimizer!

bernsteinbear.com/blog/toy-fuz...

It's actually by MarshDeer:

marshdeer.github.io/xkcd2501-gen...

S's new iPhone started setup at the Apple store. Only WiFi network it knew was "Apple Store". We leave midway through the update. Realize at home we can't connect to a new network. What to do?

Configure the access point to make a new network called "Apple Store", of course.

A bit late and not yet finalized, but our program for MoreVMs'26 is online.

Early registration deadline is in a few hours, but will remain open afterwards still.

Join us in Munich for a day of talks around language implementation!

2026.programming-conference.org/home/MoreVMs...

Weighted Union Find and Ground Knuth Bendix Completion A union find variant I think is simple and interesting is the “weighted” union find. This is distinguished from “size” or “rank” in that weight is considered a property of the id given by the user, no...

[New Blog Post] Weighted Union Find and Ground Knuth Bendix Completion www.philipzucker.com/weighted_uf/

Load-store elimination, now with type-based alias analysis (TBAA)

bernsteinbear.com/blog/toy-tbaa/

Karl tells the Dalai Lama a joke and it fails miserably YouTube video by TODAY

Shout out to the best to have ever done it, Karl Stefanovic
www.youtube.com/watch?v=xlIr...