Tachyonfx brings web-level animations to the command line..
Then Ratzilla puts it back in browsers where it belongs 🤷‍♂️

Witness this beautiful chaos: https://junkdog.github.io/exabind 🌀

🦀 Powered by Rust & @ratatui_rs ecosystem
⭐ GitHub: https://github.com/junkdog/exabind

#rustlang #ratatui #tui #animations #commandline #webgl2 #terminal

Damn... Rust devs going crazy with these libraries.

⚒️ sledgehammer_bindgen 🦀

💥 Breaking the performance barrier of WASM/JS communication.

⚡ Faster Rust batched bindings for JS code.

⭐ GitHub: https://github.com/ealmloff/sledgehammer_bindgen

#rustlang #webassembly #wasm #javascript #performance #bindings #frontend #bindgen

Covered:

🦀 Build an HTTP handler in Rust
🦀 Deploy it with modern Wasm runtimes
🦀 Debug, profile, and monitor your Wasm backend
🦀 Wrap it up with a working calculator API

All the details are here ➡️ https://eurorust.eu/workshops/long-live-webassembly/?utm_source=mastodon&utm_medium=social&utm_campaign=2025-07-17-workshop-jonas-kruckenberg

#RustLang#WebAssembly#Wasm#RustWorkshop#EuroRust25#Mainmatter

🧵2/3

alcinnz
alcinnz boosted

Heck yeah, this thing will blow up! awesome

Introducing Operese (a Windows-to-Linux migration tool made by a nerd):

https://yewtu.be/watch?v=PMoXClh8emw
(or YT: https://www.youtube.com/watch?v=PMoXClh8emw)

The demo is very impressive! 👀

It apparently migrates your #Windows10 installation to #Linux #Kubuntu (❤️) with all your files ready to use. 🚀

Written in #Rust, but not yet #OpenSource (according to author will be Open Source in the near future).

#OS#OperatingSystem #RustLang#Operese#EndOf10 #KDE

alcinnz
alcinnz boosted

Verifying the #Rust Standard Library - Carolyn Zech, Amazon Web Services

https://invidious.nerdvpn.de/watch?v=8_lzVNs1uPk
(or YT: https://www.youtube.com/watch?v=8_lzVNs1uPk)

Carolyn is also a maintainer of #Kani, the Rust model checker.
She has been so supportive and kind during my struggles with HashMaps and Kani 🥺

https://github.com/model-checking/kani/issues/3965

Give her a follow:
https://github.com/carolynzech

#FormalVerification#FormalMethods #RustLang#Testing#SoftwareEngineering

alcinnz
alcinnz boosted

Variadic Generics ideas that won't work for #Rust - by Olivier Faure (aka poignardazur)

https://poignardazur.github.io//2025/07/09/variadic-generics-dead-ends/

"After years of design discussion, we’re finally at a stage where variadic generics are reaching the top of the triage pile. Serious discussion and initial work is, hopefully, about to start. I’m hoping this article helps us not get dragged down in litigating the same alternatives over and over again."

Me, when I see variadic generics: 🤯

#plt #RustLang

alcinnz
alcinnz boosted

uutils/coreutils 0.1.0 has been released, https://github.com/uutils/coreutils/releases/tag/0.1.0.

It took me a moment to share the news but it’s a good news!

uutils/coreutils is a cross-platform reimplementation of the GNU coreutils in Rust.

> This release brings major performance gains, SELinux support, and expanded GNU compatibility.

#gnu#RustLang #utils

alcinnz
alcinnz boosted

Magic Completions in rust-analyzer (a Language Server Protocol implementation for Rust), https://rust-analyzer.github.io/book/features.html#magic-completions.

- expr.if expands to if expr { } or if let … { } for Option or Result
- expr.dbg expands to dbg!(expr)
- expr.match expands to match expr { … }
- tmod expands to #[cfg(test)] mod tests { use super::*; #[test] fn test_name() { } }

#RustLang#LSP #completions