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
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
Reposted by Alex Bradbury
A few days ago I released a patch which replaces the unhinged movement system in Tex Murphy: Under A Killing Moon with mouselook + WASD. Turns out the sequel is pretty much the same, so here's a mod for The Pandora Directive.
Feast your eyes on this side-by-side comparison
github.com/moralrecordi...
Feast your eyes on this side-by-side comparison
github.com/moralrecordi...
July 23, 2025 at 4:26 PM
A few days ago I released a patch which replaces the unhinged movement system in Tex Murphy: Under A Killing Moon with mouselook + WASD. Turns out the sequel is pretty much the same, so here's a mod for The Pandora Directive.
Feast your eyes on this side-by-side comparison
github.com/moralrecordi...
Feast your eyes on this side-by-side comparison
github.com/moralrecordi...
Reposted by Alex Bradbury
Sure, why not. Here's another post today. Liveness analysis in Datalog!
bernsteinbear.com/blog/livenes...
bernsteinbear.com/blog/livenes...
Liveness analysis with Datalog
After publishing Linear scan register allocation on SSA, I had a nice call with Waleed Khan where he showed me how to Datalog. He thought it might be useful to try implementing liveness analysis as a ...
bernsteinbear.com
August 14, 2025 at 3:44 AM
Sure, why not. Here's another post today. Liveness analysis in Datalog!
bernsteinbear.com/blog/livenes...
bernsteinbear.com/blog/livenes...
And you can find recordings of all the Web Engines Hackfest talks at www.youtube.com/playlist?lis...
August 14, 2025 at 8:44 AM
And you can find recordings of all the Web Engines Hackfest talks at www.youtube.com/playlist?lis...
Reposted by Alex Bradbury
Today I finished implementing the last of the relaxed-simd proposal (now Phase 4). That completes Wizard's support for all of the Wasm 3.0 features, which includes all the good things like exception handling, function references, garbage collection, and tail calls!
github.com/titzer/wizar...
github.com/titzer/wizar...
GitHub - titzer/wizard-engine: Research WebAssembly Engine
Research WebAssembly Engine. Contribute to titzer/wizard-engine development by creating an account on GitHub.
github.com
August 6, 2025 at 7:49 PM
Today I finished implementing the last of the relaxed-simd proposal (now Phase 4). That completes Wizard's support for all of the Wasm 3.0 features, which includes all the good things like exception handling, function references, garbage collection, and tail calls!
github.com/titzer/wizar...
github.com/titzer/wizar...
Reposted by Alex Bradbury
We just significantly improved the explanation of control-flow integrity (CFI) in the Low Level Software Security Book, see llsoftsec.github.io/llsoftsecboo...
We’d love to hear your feedback — share your thoughts here or open an issue on github at github.com/llsoftsec/ll...
#LLSoftSecBook #CFI
We’d love to hear your feedback — share your thoughts here or open an issue on github at github.com/llsoftsec/ll...
#LLSoftSecBook #CFI
August 5, 2025 at 11:16 AM
We just significantly improved the explanation of control-flow integrity (CFI) in the Low Level Software Security Book, see llsoftsec.github.io/llsoftsecboo...
We’d love to hear your feedback — share your thoughts here or open an issue on github at github.com/llsoftsec/ll...
#LLSoftSecBook #CFI
We’d love to hear your feedback — share your thoughts here or open an issue on github at github.com/llsoftsec/ll...
#LLSoftSecBook #CFI
Reposted by Alex Bradbury
@riscv.org.web.brid.gy for #HPC workshop at #SC25 will be held on Monday 17th November in St Louis. The paper deadline has been extended until 15th of August, accepting both full papers and work in progress. edin.ac/3Uyeclp
July 29, 2025 at 8:33 AM
@riscv.org.web.brid.gy for #HPC workshop at #SC25 will be held on Monday 17th November in St Louis. The paper deadline has been extended until 15th of August, accepting both full papers and work in progress. edin.ac/3Uyeclp
Reposted by Alex Bradbury
I've been enjoying the talks at GUADEC 2025 and tomorrow I'll be on the stage myself, talking about what's new in JavaScript and TypeScript for GNOME development! (Sneak peek: in GNOME 49 we'll get Temporal 😄)
Come see me live or follow along online at 10:10 CEST!
events.gnome.org/event/259/co...
Come see me live or follow along online at 10:10 CEST!
events.gnome.org/event/259/co...
July 25, 2025 at 9:01 AM
I've been enjoying the talks at GUADEC 2025 and tomorrow I'll be on the stage myself, talking about what's new in JavaScript and TypeScript for GNOME development! (Sneak peek: in GNOME 49 we'll get Temporal 😄)
Come see me live or follow along online at 10:10 CEST!
events.gnome.org/event/259/co...
Come see me live or follow along online at 10:10 CEST!
events.gnome.org/event/259/co...
You can't shield children for ever. My son just learned of American-style mm/dd/yyyy date ordering and is rather baffled.
Looks like the UK is ultimately to blame though iso.mit.edu/americanisms...
Looks like the UK is ultimately to blame though iso.mit.edu/americanisms...
Date Format in the United States | ISO
iso.mit.edu
July 24, 2025 at 10:06 AM
You can't shield children for ever. My son just learned of American-style mm/dd/yyyy date ordering and is rather baffled.
Looks like the UK is ultimately to blame though iso.mit.edu/americanisms...
Looks like the UK is ultimately to blame though iso.mit.edu/americanisms...