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

Congratulations @clairexen.bsky.social: #HotChips / IEEE TCMM 2025 Open Source Hardware Contribution Award

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

Sure, why not. Here's another post today. Liveness analysis in Datalog! bernsteinbear.com/blog/livenes...

And you can find recordings of all the Web Engines Hackfest talks at www.youtube.com/playlist?lis...

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

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

@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

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

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

Pour one out for NativeClient, finally removed from the LLVM tree last week github.com/llvm/llvm-pr...

Really excited to see the latest #lean CSLib effort (Lean formalizations of basic and not-so-basic computer science). leanprover.zulipchat.com#narrow/chann...

The LLM-for-software Yo-yo tratt.net/laurie/blog/...

acm queue issue out on webassembly, with articles by @littledan.dev, conrad watt, ben titzer, & yours truly: queue.acm.org/issuedetail....

Recordings from last month's AsiaLLVM Developers' Meeting are now up on YouTube www.youtube.com/playlist?lis...

Proposal to write up conventions for wasm toolchain optimizations: github.com/WebAssembly/... This would allow producers to annotate code with things like "this has no side effects" that allow toolchain optimizers (like wasm-opt) to handle them better. (VMs would not use such hints)

LLVM Weekly - #600, June 30th 2025. Farewell PSTL, 21.x branch date, Flang progress report, reductions in libLLVM dynamic relocations, Windows Secure Hot-patching, and more. Also, 600 LLVM Weekly Issues, still without missing a week(!) llvmweekly.org/issue/600

An alternative algorithm for enforcing per-author paper submission limits. arxiv.org/abs/2506.20141 AI driving algorithms research, but perhaps not as expected.

I was trying out recent open weight LLMs recently and took notes on the various vendor-recommended sampling parameters muxup.com/2025q2/recom... It's more hassle than you'd like to track this down (or even what was used to obtain the advertised benchmark results).

I've added a bunch more configurations to RISC-V LLVM CI: coverage of zvl512b, zvl1024b, -mcpu=spacemit-x60 (covering zvl256b), and the "gauntlet" bot for rapid but non-exhaustive testing of a range of target options. Dashboard: igalia.github.io/riscv-llvm-ci/

I was trying out recent open weight LLMs recently and took notes on the various vendor-recommended sampling parameters muxup.com/2025q2/recom... It's more hassle than you'd like to track this down (or even what was used to obtain the advertised benchmark results).

Just arrived at Denver with other colleagues from @igalia.com to attend the #OSSummit North America, where I'll present my talk "Unlocking the Full Potential of @wpewebkit.org To Build a Successful Embedded Product". More details in sched.co/1zflb See you in just a couple of days! #wpe #webkit

"Sly 2 is the Boston Legal of PS2 platformers" This is a comparison I never expected to see old.reddit.com/r/patientgam...

Mojo attracts some criticism on /r/programminglanguages (mostly not targeted at design decisions of the language itself) and a wild clattner appears to defend/clarify old.reddit.com/r/Programmin...

I'm pleased to announce OxCaml! OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.

Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra! The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs. paper eprint.iacr.org/2025/1091.pdf code github.com/qqq-wisc/qwla

I lucked into this one rather - what I started just as a cleanup actually saves ~4% dynamically executed instructions in SPEC's 519.lbm_r. Recognising we can use addi rather than addiw allows FoldMemOffset to do its job and reduces register pressure in this benchmark. github.com/llvm/llvm-pr...

We’ve started a podcast! @awsto.bsky.social and @samps.phd host “Current Continuation,” a little interview series with PL researchers. The first two episodes are with @ranjitjhala.bsky.social and @satnam6502.bsky.social. sigplan.org/cc/

Linux kernel 6.15 is out and, like clockwork ⏰, my @igalia.com colleague André "Tony" Almeida gives an overview of the main changes and the many contributions by Igalia to this release. Check it out! andrealmeid.com/post/2025-05...

In this episode of current continuation, Adrian (@samps.phd) and I talk to the incredible Dr. Satnam Singh (@satnam6502.bsky.social) from Groq. A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :) www.youtube.com/watch?v=_g5f...

As always, it was great to catch up with people at the RISC-V Summit Europe. I've converted the talk I gave into blog post form - if you have any interest at all in RISC-V vector code generation, read on!

As part of SIGPLAN blog, @samps.phd (Cornell) and I started an interview series where we talk to luminaries in the field of Programming Languages. Our first one is a super fun conversation with Ranjit Jhala (UCSD). 1h26m of goodness. www.youtube.com/watch?v=goUZ...

We've had a great time in Paris at the RISC-V Summit Europe. Thanks for all the interest in our work in the RISC-V ecosystem & beyond. Today @asbradbury.org presented progress on RISC-V vector code generation in LLVM. We'll be sharing a detailed write-up of this talk next week so watch this space!

Interesting talk at #RISCVSummitEurope by @asbradbury.org about vectorisation challenges and improvements in LLVM. Some impressive performance results based on recent work

Why RISC-V for HPC? @nickbrown-hpc.bsky.social presents at the RISC-V Summit Europe

I'm delighted to see two of @igalia.com's projects for RISE highlighted at the RISC-V Summit Europe. Find out more about our work on both LLVM optimisation and testing/CI on the RISE blog (with more to come in the future!): riseproject.dev/2025/05/08/p... riseproject.dev/2024/10/15/w...

I've been doing quite a lot of work with different llvm-test-suite builds recently, and noticed a lot of redundancy/repitition in my work notes. suite-helper handles many common cases including a handy helper to llvm-reduce a target assembly snippet for a given .c input muxup.com/suite-helper

I've been doing quite a lot of work with different llvm-test-suite builds recently, and noticed a lot of redundancy/repitition in my work notes. suite-helper handles many common cases including a handy helper to llvm-reduce a target assembly snippet for a given .c input muxup.com/suite-helper

I'm on the latest episode the TMPDIR podcast hosted by Khem Raj and Cliff Brake. We talk about various projects I've been involved in (RISC-V, LLVM, lowRISC, Raspberry Pi), current work at @igalia.com, and tech in general. Thanks for having me on! tmpdir.org/043/

A great first day at #RISCVSummitEurope , thanks to everyone who came to the #HPC #SIG meeting this morning. It was a busy session discussing our activities and gaining feedback and views on recommendations from the gap analysis that has been conducted.

I'm on the latest episode the TMPDIR podcast hosted by Khem Raj and Cliff Brake. We talk about various projects I've been involved in (RISC-V, LLVM, lowRISC, Raspberry Pi), current work at @igalia.com, and tech in general. Thanks for having me on! tmpdir.org/043/

new bloggery: a whippet waypoint, in which we talk about ~~a paper~~ http://wingolog.org/

It's almost time to head over to Paris for the RISC-V Summit Europe! Representatives from our compilers team will be there next week, May 12–15, with @asbradbury.org presenting "Improvements to RISC-V Vector code generation in LLVM" on Thursday. See you there? riscv.org/event/risc-v...

A few thoughts on AI and education, from someone who uses AI and also teaches many levels of student. 1. Most importantly, it's not possible to know what will happen because no one knows what skills AI will or will not replace in the next few years.

Devices in the netbook form factor and low cost isn't quite a dead category yet. It's far from perfect, but I'm rather enjoying the Chuwi MiniBook X N150 muxup.com/2025q2/chuwi...