This release contains a bunch of PRs I recently submitted to mark features I contributed to as stable/release candidate. Here is a thread about them 🧵:

A video and notebook on a short Introduction to SMT solvers colab.research.google.com/github/philz... www.youtube.com/watch?v=cI2s...

64% of WebKit non-Apple contributions, 20% of Chromium non-Google, 27% of Servo, 39% of test262, and it goes on. And doing all this as a worker-owned, employee-run cooperative. The world would be a very different place if companies like Igalia were the norm rather than the exception in tech.

Nikita Popov (who sadly isn't on Bluesky) has a great new post. LLVM: The bad parts www.npopov.com/2026/01/11/L...

The move to 'forkserver' as the default start method for ProcessPoolExecutor in Python 3.14 is quite a gotcha docs.python.org/3/whatsnew/3... My code was probably broken on MacOS and Windows anyway due to those platforms defaulting to the 'spawn' method.

If we try to use the benchmark results from InferenceMAX to calculate a Watt-hours per LLM query, what do we get? What potential issues are there with the benchmark for this purpose (or in general)? My new post explores this muxup.com/2026q1/per-q...

If we try to use the benchmark results from InferenceMAX to calculate a Watt-hours per LLM query, what do we get? What potential issues are there with the benchmark for this purpose (or in general)? My new post explores this muxup.com/2026q1/per-q...

LLVM Weekly - #627, January 5th 2026. Twelve years of LLVM Weekly, EuroLLVM CfP closing soon, GNU toolchain in 2025 summary, PCH to speed-up LLVM builds, LLVM ABI lowering library starting to land, and more llvmweekly.org/issue/627

Finished two retrospective blog posts on the journey of require(esm) before 2025 ends: joyeecheung.github.io/blog/2025/12... joyeecheung.github.io/blog/2025/12...

Wake up babe, new proposed RISC-V base ISA names just dropped. lists.riscv.org/g/tech-unpri... How long until we see an rv32lbefx_mafc_zicntr_zicsr_zifencei_zba_zbb_zbs_zca_zfa in the wild?

There has been outrage as the @acm.org rolls out AI generated summaries of papers. This is doing AI exactly wrong by replacing valuable, peer-reviewed content with a possibly inaccurate summary. It's still not too late to correct it though and use AI responsibly... anil.recoil.org/notes/acm-ai...

The #LLVM developer room is back at #FOSDEM , on January 31st! I'm excited about the variety in topics covered, from hardware generation using mlir/llvm to C/C++ repls. Come join us either in-person in Brussels, or online through the live-feed which will be available at fosdem.org/2026/schedul...

For my last few days of my Advent of Agentic Humps, I blended 50 different language ecosystem's HTTP clients to brew an OCaml Requests library. Agents figured out the random quirks needed for a client by getting advice from our friends in Java, Haskell, C, C#, Python anil.recoil.org/notes/aoah-2...

What a week! 😅 #LinuxPlumbers Conf 2025 is officially over, and what an edition it was. We went all out this year, covering everything from Linux System Observability and Kernel Testing to Gaming and sched_ext! Thanks to the organizers and everyone who joined our eight talks. See you next year! 👋🐧

Does LLVM produce slower RISC-V code than GCC? Currently, yes. Can we make LLVM produce faster code? Also, yes! lukelau.me/2025/12/10/c... #llvm #riscv

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

I've started writing up the flow I use for capturing instruction execution frequency data from benchmarks using QEMU. First we focus on getting the necessary stats out of QEMU. Future posts will look at the scripting I use for analysis, and then examples of applying it. muxup.com/2025q4/qemu-...

I've started writing up the flow I use for capturing instruction execution frequency data from benchmarks using QEMU. First we focus on getting the necessary stats out of QEMU. Future posts will look at the scripting I use for analysis, and then examples of applying it. muxup.com/2025q4/qemu-...

I feel like I should implement footnotes on my blog, but I know I'll overuse them awfully (maybe that's preferable to my overuse of parenthetical comments though?) ^1 [1]: Or perhaps just equally annoying but in a different way

Some notes on the reported training costs (GWh for pre-training GPU compute) for the recently released @ai2.bsky.social Olmo 3 along with my attempt to contextualise that. muxup.com/2025q4/minip... 0.681 GWh for the GPUs in pre-training the 32B (not accounting for cooling etc).

We just extended the deadline for the #LLVM dev room at #FOSDEM submissions until 7th of December. There's still time to make your submission at pretalx.fosdem.org/fosdem-2026/... ! Full CFP at discourse.llvm.org/t/88746

A little benchmark of the Hetzner AX102 dedicated server vs the similarly sized Hetzner CCX53. Also includes my recipe for installing Arch on the VPS from the rescue environment muxup.com/2025q4/minip...

A little benchmark of the Hetzner AX102 dedicated server vs the similarly sized Hetzner CCX53. Also includes my recipe for installing Arch on the VPS from the rescue environment muxup.com/2025q4/minip...

The recent thread from @simonwillison.net made me dig out and write up notes on inference vs training GPU hours for DeepSeek V3/R1 based on their published data muxup.com/2025q4/minip... Tldr: something like ~70 days of inference traffic (from DeepSeek) to match the training GPU hours for V3 and R1.

Was looking at some older slides and found a claim that copying text around for a text editor is only practical for <256chars. It's Friday, let's see whether this is a "current" assessment, considering only the text, and none of the other things an editor does.

Yikes, OpenReview had a bug that exposed the anonymous reviewers, authors, and area chairs. openreview.net/forum/user%7... For those not familiar: it's a tool allowing running a double-blind review process (think HotCRP, EasyChair etc) except review comments and author responses are all public.

I'm doing a live Reddit AMA today at 2pm ET! Come ask me about PL, SE, the Master of Software Engineering program I run, Open Access at ACM, my music education startup Noteful, or my silly YouTube video outfits! www.reddit.com/r/IAmA/comme...

I've uploaded the slides of my recent talk "JS Engine Security in 2025": saelo.github.io/presentation.... I think there'll also be a recording available at some point (otherwise I can make one as not everything's in the slides). Fantastic conference as usual, big thanks to the PoC Crew!

Announcing Olmo 3, a leading fully open LM suite built for reasoning, chat, & tool use, and an open model flow—not just the final weights, but the entire training journey. Best fully open 32B reasoning model & best 32B base model. 🧵

Benchmarking Language Implementations: Am I doing it right? Get Early Feedback! stefan-marr.de/2025/11/expe... MoreVMs'26 is looking for submission of "experimental setups" to help language implementation researchers to avoid common benchmarking pitfalls. Submit something either Dec 17 or Jan 12.

Today I gave a talk at JSConf JP covering the implementation story of recent Node.js module loader changes (compile cache, require(esm) and synchronous loader customization hooks). Very lovely conference! Slides: github.com/joyeecheung/...

new bloggery: a look back on the last couple years of developments in v8's garbage collector wingolog.org/archives/202...

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.

LuaJIT 3 might interpret an SSA-based program representation (possibly with a more optimized interpreter for platforms without JIT compilation) www.freelists.org/post/luajit/...

This post has been sitting around in my drafts since March... I hope it has its intended effect bernsteinbear.com/blog/compile...

More performance is always a good thing, right? Our colleague Mikhail’s RISC-V Summit talk “Unlocking 15% More Performance: A Case Study in LLVM Optimization for RISC-V” is now available from the Summit’s YouTube channel! www.youtube.com/watch?v=cWzu...

it has been a while, but whoo, new bloggery: "wastrel, a profligate implementation of webassembly" https://wingolog.org/archives/2025/10/30/wastrel-a-profligate-implementation-of-webassembly

Today I presented to the Wasm CG a proposal for fine-grained dynamic code generation as a core WebAssembly feature. The proposal is now at phase 1! github.com/WebAssembly/... Also immortalized in song: suno.com/song/19e0679...

59% of the non apple commits are from igalians.. 47 different igalians committed to #WebKit in this time 🙌

Leaning In! 2026 is ON! If you like #lean and are in Berlin, Germany, Europe, or anywhere on Earth, you are invited. We've got a room at Spielfeld in Berlin. See you on March 12th! More information, including tickets and the CfP, here: leaning.in/2026/

A five part roundup of my @icfp-conference.bsky.social experience, covering chairing @propl.dev, holding an OxCaml tutorial, speaking about Docker, and what I learnt from everyone! anil.recoil.org/notes/icfp25; above all, huge thanks to @ilyasergey.bsky.social for making this ICFP/SPLASH so good

We're looking forward to the RISC-V Summit North America next week where Mikhail Gadelha (one of our compiler engineers) will be presenting "Unlocking 15% More Performance: A Case Study in LLVM Optimization for RISC-V". Be sure to catch his talk next Thurs riscvsummit2025.sched.com/event/28OTp/...

Linux v6.17 has been announced, here's what Igalia contributed to it... www.igalia.com/2025/10/07/L...

I gave a talk today at @nordicjs.com about shipping Node.js packages in 2025...or how to transition from shipping dual/faux-ESM/CommonJS to shipping ESM directly! Slides at github.com/joyeecheung/...

Just arrived in Reykjavik for the #lean workshop as part of ITP 2025 leanprover-community.github.io/itp-2025-lea... I'll be presenting some of my recent work. Looking forwrard to (re)connecting with some fellow Leaners!

Something tickles me about the way this sorting paper describes WikiSort as an "alleged competitor". I like to imagine the author reading this sentence aloud laced with disdain. arxiv.org/pdf/2509.24540

That's all folks! After three intensive days of sharing knowledge and recipes about the Linux kernel, the @kernelrecipes.bsky.social 2025 is over. It was amazing and we are already looking forward to next year. 👋

The WebAssembly 3.0 spec is complete! webassembly.org/news/2025-09... This includes major features like GC, 64-bit memories, exceptions, and tail calls.

🎙 New Episode of Igalia Chats: Yeah, but for what? Wingo on Wasm @meyerweb.com and @bkardell.com chat with @wingolog.org about Web Assembly www.igalia.com/chats/wingo-...

The Mojo folks are discussing Int vs UInt for indexing forum.modular.com/t/indexer-an...