Lightnews — Scholar-powered news

Reposted by Alex Bradbury

Igalia @igalia.com · 4d

Linux v6.17 has been announced, here's what Igalia contributed to it...

www.igalia.com/2025/10/07/L...

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

4 5

Reposted by Alex Bradbury

Joyee Cheung @joyeecheung.bsky.social · 8d

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

github.com

5 11 57

Reposted by Alex Bradbury

Jesse Alama @handle.invalid · 9d

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

2 3

Alex Bradbury @asbradbury.org · 11d

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

1

Reposted by Alex Bradbury

Igalia @igalia.com · 17d

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

4-pictures collage: top left has Maíra Canal on the stage; top right Luís Henrique, Maíra Canal, Melissa Wen and Thadeu Cascardo in front of Igalia's kakemono holding Kernel Recipes banner; bottom left Maíra is on the stage with a huge audience, bottom right, Melissa Wen on the stage.

3 12

Reposted by Alex Bradbury

A. H. Zakai @kripken.com · 24d

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.

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

5 37 97

Alex Bradbury @asbradbury.org · Sep 6

And there's been a _lot_ more back and forth since then. Seems like Int is winning the argument so far.

1

Reposted by Alex Bradbury

Igalia @igalia.com · Sep 3

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

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

1 10 13

Alex Bradbury @asbradbury.org · Sep 3

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

2 1 5

Reposted by Alex Bradbury

Jan @jangray.bsky.social · Aug 27

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]"

2 7 22

Reposted by Alex Bradbury

moralrecordings @moralrecordings.bsky.social · Jul 23

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

6 33 67

Alex Bradbury @asbradbury.org · Aug 15

Z.ai have a handy looking harness for testing glm4.5 (they say to reproduce their published results - I'm not sure anyone has actually tried that or what the cost would be in tokens). github.com/zai-org/glm-...

Chat with Z.ai - Free AI Chatbot powered by GLM-4.5

Start a free chat with your AI expert for code and smart tools. Tell Z.ai what you need—a complete full-stack application, a stunning presentation, or professional-grade writing—and get instant result...

Z.ai

1

Reposted by Alex Bradbury

Max @bernsteinbear.com · Aug 14

Sure, why not. Here's another post today. Liveness analysis in Datalog!

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

2 4

Alex Bradbury @asbradbury.org · Aug 14

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

1 5

Alex Bradbury @asbradbury.org · Aug 12

Here are my thoughts on the Chuwi Minibook X N150. One of the few options in this space. It could be a lot better for sure. But I like it despite it's shortcomings. muxup.com/2025q2/chuwi...

Chuwi MiniBook X N150

The netbook isn't dead

muxup.com

2 1

Reposted by Alex Bradbury

titzerbl.bsky.social @titzerbl.bsky.social · Aug 6

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 - titzer/wizard-engine: Research WebAssembly Engine

Research WebAssembly Engine. Contribute to titzer/wizard-engine development by creating an account on GitHub.

github.com

2 5

Reposted by Alex Bradbury

Kristof Beyls @kbeyls.bsky.social · Aug 5

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

5 8

Reposted by Alex Bradbury

Nick Brown @nickbrown-hpc.bsky.social · Jul 29

@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

1 5

Alex Bradbury @asbradbury.org · Jul 27

BigTrain has a nice ring to it as a language name

Reposted by Alex Bradbury

Philip Chimento @ptomato.name · Jul 25

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

10 12

Alex Bradbury @asbradbury.org · Jul 24

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

Date Format in the United States | ISO

iso.mit.edu

7

Alex Bradbury @asbradbury.org · Jul 21

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

Remove Native Client support (#133661) · llvm/llvm-project@0d2e11f

Remove the Native Client support now that it has finally reached end of life.

github.com

1 3

Alex Bradbury @asbradbury.org · Jul 18

Looking forward to the taste test!

2

Reposted by Alex Bradbury

Jesse Alama @handle.invalid · Jul 18

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

Public view of Lean | Zulip team chat

Browse the publicly accessible channels in Lean without logging in.

leanprover.zulipchat.com

1 1 4

Alex Bradbury @asbradbury.org · Jul 18

Are Fig Newtons different to what are sold as fig rolls in the UK?

1 1