Alex Bradbury
@asbradbury.org
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
Reposted by Alex Bradbury
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...
www.reddit.com/r/IAmA/comme...
November 25, 2025 at 5:37 PM
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...
www.reddit.com/r/IAmA/comme...
Reposted by Alex Bradbury
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!
Fantastic conference as usual, big thanks to the PoC Crew!
saelo.github.io
November 24, 2025 at 9:58 AM
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!
Fantastic conference as usual, big thanks to the PoC Crew!
Reposted by Alex Bradbury
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. 🧵
Best fully open 32B reasoning model & best 32B base model. 🧵
November 20, 2025 at 2:37 PM
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. 🧵
Best fully open 32B reasoning model & best 32B base model. 🧵
Reposted by Alex Bradbury
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.
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.
Benchmarking Language Implementations: Am I doing it right? Get Early Feedback!
Benchmarking gets harder and harder. Get early feedback to avoid common pitfalls!
stefan-marr.de
November 18, 2025 at 3:49 PM
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.
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.
Reposted by Alex Bradbury
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/...
Slides:
github.com/joyeecheung/...
github.com
November 16, 2025 at 3:17 PM
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/...
Slides:
github.com/joyeecheung/...
Reposted by Alex Bradbury
new bloggery: a look back on the last couple years of developments in v8's garbage collector
wingolog.org/archives/202...
wingolog.org/archives/202...
the last couple years in v8's garbage collector — wingolog
wingolog: article: the last couple years in v8's garbage collector
wingolog.org
November 13, 2025 at 3:22 PM
new bloggery: a look back on the last couple years of developments in v8's garbage collector
wingolog.org/archives/202...
wingolog.org/archives/202...
Reposted by Alex Bradbury
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.
Announcing: New @steampowered.com Hardware, coming in 2026:
Steam Controller
Steam Machine
Steam Frame.
Watch our jazzy announcement video and wishlist now: steampowered.com/hardware
Steam Controller
Steam Machine
Steam Frame.
Watch our jazzy announcement video and wishlist now: steampowered.com/hardware
Steam Hardware
The Steam Hardware family officially expands in early 2026.
steampowered.com
November 13, 2025 at 10:21 AM
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.
Reposted by Alex Bradbury
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/...
www.freelists.org/post/luajit/...
Re: Question about LuaJIT v3.0 status
Re: Question about LuaJIT v3.0 status, luajit at FreeLists
www.freelists.org
November 13, 2025 at 9:21 AM
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/...
www.freelists.org/post/luajit/...
Reposted by Alex Bradbury
This post has been sitting around in my drafts since March... I hope it has its intended effect
bernsteinbear.com/blog/compile...
bernsteinbear.com/blog/compile...
A catalog of side effects
Optimizing compilers like to keep track of each IR instruction’s effects. An instruction’s effects vary wildly from having no effects at all, to writing a specific variable, to completely unknown (wri...
bernsteinbear.com
November 11, 2025 at 7:01 PM
This post has been sitting around in my drafts since March... I hope it has its intended effect
bernsteinbear.com/blog/compile...
bernsteinbear.com/blog/compile...
Reposted by Alex Bradbury
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...
Unlocking 15% More Performance: A Case Study in LLVM Optimization for RISC-V - Mikhail R. Gadelha
YouTube video by RISC-V International
www.youtube.com
November 10, 2025 at 8:42 PM
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...
Reposted by Alex Bradbury
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
wastrel, a profligate implementation of webassembly — wingolog
wingolog: article: wastrel, a profligate implementation of webassembly
wingolog.org
October 30, 2025 at 10:20 PM
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
Reposted by Alex Bradbury
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...
github.com/WebAssembly/...
Also immortalized in song: suno.com/song/19e0679...
GitHub - WebAssembly/jit-interface: WebAssembly specification, reference interpreter, and test suite for the jit-interfaces proposal.
WebAssembly specification, reference interpreter, and test suite for the jit-interfaces proposal. - WebAssembly/jit-interface
github.com
October 29, 2025 at 9:49 PM
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...
github.com/WebAssembly/...
Also immortalized in song: suno.com/song/19e0679...
Reposted by Alex Bradbury
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/
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/
Leaning In! 2026
Leaning In! is a one-day workshop dedicated to the Lean programming language and proof assistant.
leaning.in
October 26, 2025 at 7:54 PM
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/
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/
Reposted by Alex Bradbury
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
A Roundup of ICFP/SPLASH 2025 happenings
anil.recoil.org
October 23, 2025 at 1:12 PM
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
Reposted by Alex Bradbury
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/...
riscvsummit2025.sched.com/event/28OTp/...
October 17, 2025 at 2:09 PM
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/...
riscvsummit2025.sched.com/event/28OTp/...
Reposted by Alex Bradbury
Linux v6.17 has been announced, here's what Igalia contributed to it...
www.igalia.com/2025/10/07/L...
www.igalia.com/2025/10/07/L...
Linux 6.17 Released | Igalia
Igalia is an open source consultancy specialised in the development of innovative projects and solutions. Our engineers have expertise in a wide range of technological areas, including browsers and cl...
www.igalia.com
October 7, 2025 at 5:06 PM
Linux v6.17 has been announced, here's what Igalia contributed to it...
www.igalia.com/2025/10/07/L...
www.igalia.com/2025/10/07/L...
Reposted by Alex Bradbury
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/...
Slides at github.com/joyeecheung/...
github.com
October 3, 2025 at 9:33 AM
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/...
Slides at github.com/joyeecheung/...
Reposted by Alex Bradbury
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!
Home
Lean Workshop at Interactive Theorem Proving 2025 - 2 October 2025, Reykjavik, Iceland
leanprover-community.github.io
October 2, 2025 at 12:58 PM
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
arxiv.org/pdf/2509.24540
arxiv.org
September 30, 2025 at 9:21 AM
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
arxiv.org/pdf/2509.24540
Reposted by Alex Bradbury
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. 👋
September 24, 2025 at 4:53 PM
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. 👋
Reposted by Alex Bradbury
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.
webassembly.org/news/2025-09...
This includes major features like GC, 64-bit memories, exceptions, and tail calls.
Wasm 3.0 Completed - WebAssembly
WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the...
webassembly.org
September 17, 2025 at 5:04 PM
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.
webassembly.org/news/2025-09...
This includes major features like GC, 64-bit memories, exceptions, and tail calls.
Reposted by Alex Bradbury
🎙 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-...
@meyerweb.com and @bkardell.com chat with @wingolog.org about Web Assembly
www.igalia.com/chats/wingo-...
Wingo on Wasm | Igalia
Igalia is an open source consultancy specialised in the development of innovative projects and solutions. Our engineers have expertise in a wide range of technological areas, including browsers and cl...
www.igalia.com
September 3, 2025 at 12:29 PM
🎙 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-...
@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...
`Indexer` and `Int` vs `UInt`
@clattner has expressed a desire to get rid of the Indexer trait and standardize on Int as the type used for indexing in Mojo. I disagree and think that, at a minimum, we should standardize on UInt bu...
forum.modular.com
September 3, 2025 at 9:01 AM
The Mojo folks are discussing Int vs UInt for indexing forum.modular.com/t/indexer-an...
Reposted by Alex Bradbury
Congratulations @clairexen.bsky.social: #HotChips / IEEE TCMM 2025 Open Source Hardware Contribution Award
![Slide from Hot Chips 2025:
"2025 TCMM Open Source Hardware Contribution Award:
Claire Wolf: In recognition of outstanding contributions to RISC-V —
including BitManip, RVFI, and PicoRV32—and to open-source tools like Yosys and IceStorm. [IEEE Computer Society TCMM / Technical Community on Microprocessors and Microcomputers]"](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:egm6nnyusca4icjiqlb7pyiw/bafkreidgommoceirpkrigeshonoc5zmyhj2dnipsi5wngbl72z64ep3jze@jpeg)
August 27, 2025 at 1:33 AM
Congratulations @clairexen.bsky.social: #HotChips / IEEE TCMM 2025 Open Source Hardware Contribution Award