

I work at @system76 as Principal Engineer where I maintain our Linux distribution @pop_os_official, port @coreboot and open source embedded controller firmware to our laptops, work on the new desktop environment @COSMIC_desktop, and more!
I also am the creator and BDFL of a microkernel operating system primarily written in @rust called @redox. I am damn near crazy about #Rust and use it anywhere and everywhere!
Follow if you are interested in these things 🙌 🦀
Turns out, I know just enough Rust to implement Brainfuck interpreter. I don't get to use profanities in code often, I took the opportunity.
Turns out, I know just enough Rust to implement Brainfuck interpreter. I don't get to use profanities in code often, I took the opportunity.
Heck yeah, this thing will blow up!
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).
mdq - by yshavit
https://github.com/yshavit/mdq
like #jq but for #Markdown: find specific elements in an md doc
Also available as a crate:
https://docs.rs/mdq/latest/mdq/
Tagging @wader 😉
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
Have you ever thought to yourself "wow, I have these (CPUID|MIDR|marchid) values and have no idea what they mean"?
Now there's a Rust library to solve your weirdly specific problem!
Introducing #libcpuname, a Rust crate with no dependencies that can translate between those values and the name of the referred-to vendor, chip, and core!
Currently supports x86, ARM, and RISC-V lookups.
Add it to your project now: https://crates.io/crates/libcpuname
(first crate please be nice)
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: 🤯
The #Rust #compiler #performance #survey 2025 only runs until next Monday, 7th July - so fill it if you haven't yet and help the Rust project make us Rust developers more productive! 🚀
https://blog.rust-lang.org/2025/06/16/rust-compiler-performance-survey-2025/
Build your own interactive audio-visual environment from scratch!
Discover how #Rust + #WebAssembly empower developers to create real-time, browser-based creative computing tools. Watch Phoomparin share the journey of building performant, interactive AV experiences on the web.
Click here: https://youtu.be/8a76lDw-Pio
Build your own interactive audio-visual environment from scratch!
Discover how #Rust + #WebAssembly empower developers to create real-time, browser-based creative computing tools. Watch Phoomparin share the journey of building performant, interactive AV experiences on the web.
Click here: https://youtu.be/8a76lDw-Pio
Collection of universal hashing functions in Rust:
Tired of race conditions and manual lock management in C++? Here's how Rust makes this problem disappear entirely: https://col.la/rustc3#rust #rustlang #coding#softwareengineer
I think there is a Dunning–Kruger like effect whereby the complexity of rewriting an open source project from scratch is vastly underestimated the less you know about the scope of the work.
You could make 80% of #inkscape in a couple of months of javascripting. But this is 80% of Inkscape's surface. Not actual depth.
Rewrite it all in #Qt? #React? #JS? #Rust? These are ideas aren't bad. But they are vast projects that would cost millions of dollars.
Related to: https://mastodon.uno/@maxdid/114691504835360868
Heck yeah, this thing will blow up!
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).
A space for Bonfire maintainers and contributors to communicate