I try to sell one (1) thing on Poshmark and all of a sudden I am drowning in spam and phishing. What the heck

Have just gone to the shop to buy Triscuits—or as I like to call them, Wheat Thicks

I got unreasonably attached to Quip when working at FB. Can't believe Salesforce is shutting it down. :(

The program of ICOOOLPS is now online: 2026.ecoop.org/home/ICOOOLP... And today is the last day for early registrations. Interested in programming language implementation, compilation, and optimization? Join us in Brussels! Don't know what to expect? 1/2

I finally wrote a little thing about a compiler thing that I don't really have a name for but lots of people do bernsteinbear.com/blog/partial...

If you have not been to The Helmand in Cambridge, you simply must go at once. Their food is always spectacular but I was there again last night and the guy who makes their fresh bread just kept delivering us fresh bread straight from the oven with a huge smile every time. 1/

enjoy 2 new blog posts! - Porffor now has closures: surprisingly annoying for a compiler. goose.icu/porffor-clos... - Profile-guided dead code elimination: a novel approach for DCE in dynamic languages. goose.icu/profile-guid...

Bumping this thread: is this separation logic? Some local reasoning thing? It feels very Hoare triple but I actually can't find anything about this because I have no idea what I'm talking about

People keep saying stuff like "Ruby is a Smalltalk" so I think it would be fun to implement a Smalltalk with Ruby syntax. Or on top of Ruby VM. Or both?

To make it easier esp. for junior folks (students, postdocs, jr faculty) to talk to me, I'm trying a new thing: open office hours at conferences! Come find me at PLDI 2026, using the public calendar linked to the page below. Please feel free to reshare! cs.brown.edu/people/sk/Co...

I have somehow accidentally substantially broken the laundry machine in this very nice hotel by feeding it a 50 Yen coin. Two men are currently arguing about how to fix it. :(

the first rule of compilers is to have fun

New blog post: Theseus, a static Windows emulator An new old approach to emulation. neugierig.org/software/blo...

First "perfect week" since December 2024 :)

Hi! We build fast verilog simulators using just in time compilation. Our simulator outperforms existing verilog simulators by up to x100. verijit is a project by @cfbolz.bsky.social and Can Joshua Lehmann. Check out out demo video here: www. youtube.com/watch?v=PXgUsEjvAOY

C interpreters underlie many of our most widely used language implementations -- but they're slow. Wouldn't it be great if we could turn them into JIT compiling VMs? This video shows what happens when we do just that to the normal Lua VM (first) and "yklua" (Lua w/JIT, second).

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

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

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

New textbook cover?

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

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

I wrote a little extremely DIY fuzzer for the load/store optimization in the toy optimizer! bernsteinbear.com/blog/toy-fuz...

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.

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

[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/

The Dalai Lama walks into a union-find shop and says can you make me one with everything

Load-store elimination, now with type-based alias analysis (TBAA) bernsteinbear.com/blog/toy-tbaa/

Shrek 2 holds up and is a good Valentine's Day movie

My former (excellent!) compiler intern is now in team matching at Google for full time. Anyone on Dart, V8, Go, ... who would chat with them? Thank you!!

You're absolutely right. The vertical axis is not X, it's Y.

Coming soon to Python 3.15: frozendict The Steering Council has just accepted @vstinner.bsky.social and @corona10.bsky.social's PEP 814 "Add frozendict built-in type". discuss.python.org/t/pep-814-ad... peps.python.org/pep-0814/ #Python #PEP814 #frozendict #Python315

I am pleased to announce the first version of scheme-rs has been released for general consumption! Please checkout the website www.scheme-rs.org, the GitHub page github.com/maplant/sche..., or the announcement at maplant.com/2026-02-09-I...

Woke up from a dream about union find so it's going great

you have probably heard that webassembly supports garbage collection. are you looking for an ahead-of-time compiler for wasm with gc? as it happens, i have written a little monograph on the topic wingolog.org/archives/202...

roll thru our geoguessr game! www.geoguessr.com/join/M2AUU?s...

My graphs,, they are not flowing bernsteinbear.com/blog/multipl...

My graphs,, they are not flowing bernsteinbear.com/blog/multipl...

Since it's on HN right now,

[New Blog Post] Contextual Union Finds www.philipzucker.com/context_uf2/ #egraphs #logic