Owi
https://github.com/OCamlPro/owi
Symbolic execution for #Wasm, #C, C++, #Rust and #Zig
"#Owi is an open-source framework for advanced #WebAssembly analysis and manipulation, with a focus on practical symbolic execution and robust tooling. It is designed for researchers, engineers, programming language enthusiasts and practitioners requiring precise, flexible, and extensible support program reasoning."
#FormalVerification #SoftwareTesting #Testing #SoftwareEngineering #RustLang #ZigLang
I ended up dropping WIT component model and just doing raw wasm. I decided this because my engines ecs requires dynamic types, which WIT does not support. The main thing WIT gives is a shared schema for shared concrete types and an API definition.
So the only thing I would get is a shared API definition and a few shared types. That benefit for me didn't outweigh the negative of the component model not being supported by many other languages yet. The only non rust one I know of is C#, and its pretty finicky to get working.
I've gotten 75% of the way from my WIT POC by using raw WASM in much less time; it helps I know more about wasm now. Its pretty cool, challenging too
Super fun session yesterday on building PHP plugins with WASM and https://extism.org at https://phpconference.com/berlin-de
We ran 15 minutes over time — oops 😅 … but that's what happens when the room’s full of great questions and curious minds! Thanks to everyone who joined! #php #wasm
Get the slides here: https://tinyurl.com/phpconference25berlin-wasm
Super fun session yesterday on building PHP plugins with WASM and @https://extism.org at https://phpconference.com/berlin-de/
We ran 15 minutes over time — oops 😅 … but that's what happens when the room’s full of great questions and curious minds! Thanks to everyone who joined! #php #wasm
DuckDB Wasmが気になっていたので、社内ドキュメントサイトへ導入してもらいました🧑💻
Docusaurus v3 の全文検索を DuckDB Wasm + FTS 拡張で実装した - ROUTE06 Tech Blog
https://tech.route06.co.jp/entry/2025/06/04/170000
Just published an update to the port 80/443 side of JonSharp.net — https://jonsharp.net. It’s maybe interesting if you like #wasm, #retrocomputing, #68000 assembly language or #watercolor paintings rendered as 1-bit low resolution images.
#ReleaseMonday — New version (v0.27.0) of https://thi.ng/genart-api, a platform-independent extensible API for browser-based computational/algorithmic/generative art projects:
This version features an overhaul of the platform provided PRNG (pseudo-random number generator) handling and makes it easier to create multiple PRNGs for artworks which require/desire them...
Related section in the README:
https://github.com/thi-ng/genart-api/blob/main/README.md#determinism--prng-provision
Also, just as a reminder, the project has:
- no external dependencies
- adapters for 3 art platforms (EditArt, fxhash, Layer)
- 6 example projects
- testing/dev sandbox with two parameter editors
- WebAssembly bindings & demo (currently for #Zig only)
Happy coding! :)
#GenArtAPI #GenerativeArt #AlgorithmicArt #ProceduralArt #Art #OpenSource #Parameters #Interoperability #TypeScript #JavaScript #WebAssembly #WASM #Ziglang
I'm a French software developer, currently working with #rust for some hobby projects, name a falling-sand game using #wasm, and several productivity TUI apps made with the excellent #ratatui!
I'm interested in literature, science, tech, music and photography, and I'll try to post (or boost) cool stuff about that.
Due to fingerprinting warnings in Brave browser which caused uploads to fail, we have finally replaced #picajs with #photon. An awesome image processing library written in #rust and supporting #wasm natively:
https://silvia-odwyer.github.io/photon/
»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.
🦀 https://www.computerwoche.de/article/2834006/6-fehler-die-sich-rust-devs-sparen-sollten.html
#rust #rustdev #rustlang #programmieren #code #kodieren #wasm #webdev #dev
Had to move half of the game view code around for this, but totally worth it! (And I would be moving it at some point anyway)
So happy to see the project that I have been in love with and contributing to for the last several years getting so much attention.
If you work with ESP32 or RPi Pico devices and want a development platform built with fault tolerance and concurrency at it’s heart that allows you to write sophisticated applications with very little code AtomVM might be just what you are looking for.
New preprint: we used k-mer matching with suffix match length information to create an assembly-to-assembly alignment algorithm + software for bacterial genomes, kbo.
kbo uses the SBWT data structure which lets us run a query in 1-10s and 500-1000MB RAM, depending on the task and parameters.
All our algorithms run in the browser, try the tool at maklin.fi/kbo/ There is no server-side processing, so the data never leaves your computer.
link: https://www.biorxiv.org/content/10.1101/2025.05.19.654936v2
Terraria and Celeste ported to WebAssembly https://lobste.rs/s/e7ybwh #programming #wasm
https://velzie.rip/blog/celeste-wasm
k23 (the Wasm OS) just got a shiny new async executor! But we need your help:
The executor is likely full of concurrency bugs, deadlocks and worse.
So if you want to help out the project an absolute ton head over here and help get kasync tested:
https://github.com/JonasKruckenberg/k23/issues/464
New #Topiary release. This is an incremental release. The headline changes are bumping Tree-sitter to v0.25, as it was blocking some users, and better support for Nix sandboxes after 0.6 introduced dynamic fetching. You'll also fine support for formatting #Wasm Interface Type thanks to returning contributor Mikhail Katychev. Thanks a lot!
Full changes: https://github.com/tweag/topiary/releases/tag/v0.6.1
@gabe_sky That's a great page - it's always the first 10 links on Google you need to skip usually :)
I took the time to work on my DHT-based storage system running in the browser, and now it works nicely with simple javascript:
If you connect through the above link, your browser becomes a node in a decentralized network, and fetches this page from one of the other nodes! For more information, visit
@mcc i would like to know the answers to your questions, too. i've been investigating Rust/WASM + some libs? tauri maybe? as 100% Rust alternative to, i dunno, Typescript. like, scroo JS period except as needed/used by Rust libs I'm depending on.
is this possible? desireable? seems like what you're trying to do is the first step
