A certified implementation of Wasm 3.0 in Lean: github.com/plum-umd/lea...
GitHub - plum-umd/lean-wasm: Implementation of WASM in Lean
Implementation of WASM in Lean. Contribute to plum-umd/lean-wasm development by creating an account on GitHub.
github.com
November 5, 2026 at 9:08 PM
A certified implementation of Wasm 3.0 in Lean: github.com/plum-umd/lea...
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
papoo.work
November 8, 2026 at 1:29 PM
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
papoo.work
November 6, 2026 at 10:03 PM
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
papoo.work
November 8, 2026 at 10:27 AM
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
papoo.work
November 7, 2026 at 1:13 PM
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
One thing I'm excited to have snuck into TypeScript 7.1 pre-RC is experimental Wasm support, both for wasip1 and the browser (and soon, vscode.dev).
The entire TS 7.1 API works!. Sync, async, everything. Only _some_ Wasm executable surgery required! 😅
You can try it at npmjs.com/package/@typ....
The entire TS 7.1 API works!. Sync, async, everything. Only _some_ Wasm executable surgery required! 😅
You can try it at npmjs.com/package/@typ....
Add wasip1 support, enabling CLI, API, browser, sync/async by jakebailey · Pull Request #64174 · microsoft/TypeScript
Fixes #63858
Fixes #63862
For #63813
This is still experimental, but it adds a wasip1/wasm build of tsc. The same tsc.wasm works two ways:
As a command. Run it under any WASI host to get the CLI, ...
github.com
November 5, 2026 at 1:08 AM
One thing I'm excited to have snuck into TypeScript 7.1 pre-RC is experimental Wasm support, both for wasip1 and the browser (and soon, vscode.dev).
The entire TS 7.1 API works!. Sync, async, everything. Only _some_ Wasm executable surgery required! 😅
You can try it at npmjs.com/package/@typ....
The entire TS 7.1 API works!. Sync, async, everything. Only _some_ Wasm executable surgery required! 😅
You can try it at npmjs.com/package/@typ....
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
papoo.work
November 6, 2026 at 3:51 AM
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
TypeScript excitement 😉
There is now a TypeScript Playground supporting the Go-based TS7 thanks to Wasm support in ts 7.1 added by @jakebailey.dev 🎉
There is now a TypeScript Playground supporting the Go-based TS7 thanks to Wasm support in ts 7.1 added by @jakebailey.dev 🎉
But, I think even _more_ exciting to me is that this enabled an all new TypeScript playground, which just deployed a few moments ago! Finally, TS7 support, but also multi-file, full in-browser LSP (using wasip1 + --lsp), mobile support, and more.
Give it a try!!! www.typescriptlang.org/play/v2/
Give it a try!!! www.typescriptlang.org/play/v2/
TypeScript Playground v2
www.typescriptlang.org
November 5, 2026 at 6:15 AM
TypeScript excitement 😉
There is now a TypeScript Playground supporting the Go-based TS7 thanks to Wasm support in ts 7.1 added by @jakebailey.dev 🎉
There is now a TypeScript Playground supporting the Go-based TS7 thanks to Wasm support in ts 7.1 added by @jakebailey.dev 🎉
glisten generates WebAssembly (WASM SIMD) modules directly from a declarative(-ish) grammar defined in a TypeScript DSL, instead of arborium's pipeline of JS -> C -> bindgen-rs -> WASM. here's the json grammar: git.t4t.associates/char/glisten/ref/main/blob/languages/config/json/grammar.ts
languages/config/json/grammar.ts - char/glisten @ main
languages/config/json/grammar.ts in char/glisten at main.
git.t4t.associates
November 8, 2026 at 4:27 AM
glisten generates WebAssembly (WASM SIMD) modules directly from a declarative(-ish) grammar defined in a TypeScript DSL, instead of arborium's pipeline of JS -> C -> bindgen-rs -> WASM. here's the json grammar: git.t4t.associates/char/glisten/ref/main/blob/languages/config/json/grammar.ts
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
papoo.work
November 6, 2026 at 9:55 AM
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
Thinking something like WASM integrations within an ATProto app that know how to talk another apps lexicons but need the scopes to do so. And having an arbitrary set of those WASM integrations.
November 6, 2026 at 4:53 PM
Thinking something like WASM integrations within an ATProto app that know how to talk another apps lexicons but need the scopes to do so. And having an arbitrary set of those WASM integrations.
putting a browser into a browser. (minc -> wasm, cross-domain loading isn't allowed, so page is bundled.)
November 9, 2026 at 8:55 AM
putting a browser into a browser. (minc -> wasm, cross-domain loading isn't allowed, so page is bundled.)
Talk demos, part 1: Zephyr on Wasm, QEMU in Wasm, probe-web for real boards, mcumgr-web for firmware updates, and relaynet for networking.
beriberikix.github.io/zephyr-wasm-soc
qemu-wasm-zephyr.jberi.workers.dev
beriberikix.github.io/probe-web
beriberikix.github.io/mcumgr-web
relaynet.network
beriberikix.github.io/zephyr-wasm-soc
qemu-wasm-zephyr.jberi.workers.dev
beriberikix.github.io/probe-web
beriberikix.github.io/mcumgr-web
relaynet.network
November 6, 2026 at 5:04 PM
Talk demos, part 1: Zephyr on Wasm, QEMU in Wasm, probe-web for real boards, mcumgr-web for firmware updates, and relaynet for networking.
beriberikix.github.io/zephyr-wasm-soc
qemu-wasm-zephyr.jberi.workers.dev
beriberikix.github.io/probe-web
beriberikix.github.io/mcumgr-web
relaynet.network
beriberikix.github.io/zephyr-wasm-soc
qemu-wasm-zephyr.jberi.workers.dev
beriberikix.github.io/probe-web
beriberikix.github.io/mcumgr-web
relaynet.network
Playing around with some dataviz about the infamous 8 bus in Seattle
Pick a bus route, get a comprehensive performance report from an archive of the real time gtfs feed
via Transit Almanac, now in beta. A WASM browser app!
transitalmanac.app?feed=aHR0cHM...
Based on data provided by gtfsrt.io
Pick a bus route, get a comprehensive performance report from an archive of the real time gtfs feed
via Transit Almanac, now in beta. A WASM browser app!
transitalmanac.app?feed=aHR0cHM...
Based on data provided by gtfsrt.io
November 7, 2026 at 5:15 AM
Playing around with some dataviz about the infamous 8 bus in Seattle
Pick a bus route, get a comprehensive performance report from an archive of the real time gtfs feed
via Transit Almanac, now in beta. A WASM browser app!
transitalmanac.app?feed=aHR0cHM...
Based on data provided by gtfsrt.io
Pick a bus route, get a comprehensive performance report from an archive of the real time gtfs feed
via Transit Almanac, now in beta. A WASM browser app!
transitalmanac.app?feed=aHR0cHM...
Based on data provided by gtfsrt.io
Apparently they'll compile to wasm
November 6, 2026 at 1:26 PM
Apparently they'll compile to wasm
Like we want the composability of custom elements with the security of a iframe sandbox. Another option that’s achieves something similar is custom elements backed by WASM
I've got web components implemented in isolated Wasm modules working today, including SSR!
Now refining the JS ↔ Wasm protocol and hope to publish something very soon.
Now refining the JS ↔ Wasm protocol and hope to publish something very soon.
November 8, 2026 at 4:46 PM
Like we want the composability of custom elements with the security of a iframe sandbox. Another option that’s achieves something similar is custom elements backed by WASM
Part 2: source code, plus the projects these build on
• zephyr-wasm-soc → github.com/beriberikix/zephyr-wasm-soc
• qemu-wasm-zephyr → github.com/beriberikix/qemu-wasm-zephyr
• zephyr-v86 → github.com/beriberikix/zephyr-v86
• probe-web → github.com/beriberikix/probe-web
• zephyr-wasm-soc → github.com/beriberikix/zephyr-wasm-soc
• qemu-wasm-zephyr → github.com/beriberikix/qemu-wasm-zephyr
• zephyr-v86 → github.com/beriberikix/zephyr-v86
• probe-web → github.com/beriberikix/probe-web
GitHub - beriberikix/zephyr-wasm-soc: Zephyr with WebAssembly as a real architecture: Asyncify context switching, cooperative interrupts, the host as a SoC. Try it in a browser.
Zephyr with WebAssembly as a real architecture: Asyncify context switching, cooperative interrupts, the host as a SoC. Try it in a browser. - beriberikix/zephyr-wasm-soc
github.com
November 6, 2026 at 5:50 PM
Part 2: source code, plus the projects these build on
• zephyr-wasm-soc → github.com/beriberikix/zephyr-wasm-soc
• qemu-wasm-zephyr → github.com/beriberikix/qemu-wasm-zephyr
• zephyr-v86 → github.com/beriberikix/zephyr-v86
• probe-web → github.com/beriberikix/probe-web
• zephyr-wasm-soc → github.com/beriberikix/zephyr-wasm-soc
• qemu-wasm-zephyr → github.com/beriberikix/qemu-wasm-zephyr
• zephyr-v86 → github.com/beriberikix/zephyr-v86
• probe-web → github.com/beriberikix/probe-web
they can't kill Highlights when i'm literally about to drop my own wasm lexers
November 6, 2026 at 7:39 PM
they can't kill Highlights when i'm literally about to drop my own wasm lexers
Also they apparently plan to hamfist the entire thing into a WASM-based HTML renderer for the browser app. lol
November 8, 2026 at 4:04 PM
Also they apparently plan to hamfist the entire thing into a WASM-based HTML renderer for the browser app. lol
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
papoo.work
November 4, 2026 at 6:05 PM
WASM-4 explained: a tiny WebAssembly fantasy console you can code in almost any language
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
https://papoo.work/doc/ab8e059e36fb2b9a
#fantasyconsole #wasm4 #gamedev #creativecoding #retrogaming #indiedev
Okay this is basiccly what I'm thinking: exec.fedfork.com
- Records to describe oauth scopes needed
- Session storage
- WASM associated with each set of scopes - implementation of a plugin that knows how to speak that type of atproto app
pdsls.dev/at://did:plc...
pdsls.dev/at://did:plc...
- Records to describe oauth scopes needed
- Session storage
- WASM associated with each set of scopes - implementation of a plugin that knows how to speak that type of atproto app
pdsls.dev/at://did:plc...
pdsls.dev/at://did:plc...
November 7, 2026 at 9:29 AM
Okay this is basiccly what I'm thinking: exec.fedfork.com
- Records to describe oauth scopes needed
- Session storage
- WASM associated with each set of scopes - implementation of a plugin that knows how to speak that type of atproto app
pdsls.dev/at://did:plc...
pdsls.dev/at://did:plc...
- Records to describe oauth scopes needed
- Session storage
- WASM associated with each set of scopes - implementation of a plugin that knows how to speak that type of atproto app
pdsls.dev/at://did:plc...
pdsls.dev/at://did:plc...
@fluentci.io I'm building a new compile-to-Wasm language and would love to try this out!
Do you support Wasm components, and do you have WIT definitions for your pipeline modules API?
Do you support Wasm components, and do you have WIT definitions for your pipeline modules API?
November 6, 2026 at 10:44 PM
@fluentci.io I'm building a new compile-to-Wasm language and would love to try this out!
Do you support Wasm components, and do you have WIT definitions for your pipeline modules API?
Do you support Wasm components, and do you have WIT definitions for your pipeline modules API?
Programmable CI/CD engine without Containers, written in Rust, built on top of Wasm and Nix
tsiry-sandratraina.com/fluentci-engine
Programmable CI/CD engine without Containers, written in Rust, built on top of Wasm and Nix
tangled.org
November 3, 2026 at 11:55 AM
Programmable CI/CD engine without Containers, written in Rust, built on top of Wasm and Nix
Deno’s CLI flags (`--allow-net`) fail supply-chain security: transitive deps force `--allow-all`. Isolation belongs at the V8/Wasm isolate boundary, not process flags.
Eval: https://app.neubench.workers.dev
#SystemDesign #SoftwareEngineering
Eval: https://app.neubench.workers.dev
#SystemDesign #SoftwareEngineering
November 8, 2026 at 6:04 PM
Deno’s CLI flags (`--allow-net`) fail supply-chain security: transitive deps force `--allow-all`. Isolation belongs at the V8/Wasm isolate boundary, not process flags.
Eval: https://app.neubench.workers.dev
#SystemDesign #SoftwareEngineering
Eval: https://app.neubench.workers.dev
#SystemDesign #SoftwareEngineering