Tootfinder

from my link log —
Wasm SpecTec has been adopted.
https://webassembly.org/news/2025-03-27-spectec/
saved 2025-03-28 https://

SpecTec has been adopted - 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 web for client and server applications.

Execution-Aware Program Reduction for WebAssembly via Record and Replay
Doehyun Baek, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
https://arxiv.org/abs/2506.07834 …

Execution-Aware Program Reduction for WebAssembly via Record and Replay
WebAssembly (Wasm) programs may trigger bugs in their engine implementations. To aid debugging, program reduction techniques try to produce a smaller variant of the input program that still triggers the bug. However, existing execution-unaware program reduction techniques struggle with large and complex Wasm programs, because they rely on static information and apply syntactic transformations, while ignoring the valuable information offered by the input program's execution behavior. We presen…

This https://arxiv.org/abs/2504.16552 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csDC_…

DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility
We introduce the DeTerministic Virtual Machine (DTVM) Stack, a next-generation smart contract execution framework designed to address critical performance, determinism, and ecosystem compatibility challenges in blockchain networks. Building upon WebAssembly (Wasm) while maintaining full Ethereum Virtual Machine (EVM) ABI compatibility, DTVM introduces a Deterministic Middle Intermediate Representation (dMIR) and a hybrid lazy-JIT compilation engine to balance compilation speed and execution eff…

When you are a swift developer, every day is Xmas!
https://forums.swift.org/t/swift-sdks-for-webassembly-now-available-on-swift-org/80405

Swift SDKs for WebAssembly now available on swift.org
As the Platform Steering Group accepted the vision document for WebAssembly support, we’re excited to announce that Swift SDKs for Wasm are now available at swift.org/install. The website now also hosts a getting started guide for Wasm with installation and build instructions. You may notice "Swift SDKs" is in plural. The reason is that artifact bundles for Wasm distributed from swift.org include two Swift SDKs: one with the full feature set of the Swift standard library and Swift Testing, a…

»6 Fehler, die sich Rust-Devs sparen sollten:
Wenn Sie Rust-Code schreiben, sollten Sie dieses halbe Dutzend Verfehlungen tunlichst vermeiden.«
Das Programmieren in Rust auch nicht an einem Wochenende gelernt ist, wie viele Scriptsprachen, ist klar. Durch deren Präzision aber auch sehr sicher (Fehler sind überall von Menschen einfließbar) und schnell, auch per WASM im Webbrowser.
🦀

6 Fehler, die sich Rust-Devs sparen sollten
Wenn Sie Rust-Code schreiben, sollten Sie dieses halbe Dutzend Verfehlungen tunlichst vermeiden.

from my link log —
Is Wasm Memory64 actually worth using?
https://spidermonkey.dev/blog/2025/01/15/is-memory64-actually-worth-using.html
saved 2025-01-16

Is Memory64 actually worth using?
After many long years, the Memory64 proposal for WebAssembly has finally been released in both Firefox 134 and Chrome 133. In short, this proposal adds 64-bit pointers to WebAssembly.

If you're curious about how good progressive image loading can be:
Go to https://jxl-oxide.tirr.dev/demo/index.html, select the Weesen (HDR) image, and set it to having loaded about 0.40% or 2% (7kB or 36kB out of 1.8MB).
This should simplify thumbnails a lot.
…

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
Byeongjee Kang, Harsh Desai, Limin Jia, Brandon Lucia
https://arxiv.org/abs/2506.16048

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
WebAssembly (Wasm) is a portable bytecode format that serves as a compilation target for high-level languages, enabling their secure and efficient execution across diverse platforms, including web browsers and embedded systems. To improve support for high-level languages without incurring significant code size or performance overheads, Wasm continuously evolves by integrating high-level features such as Garbage Collection and Stack Switching. However, existing compilation approaches either lack…