#introduction I am Jeremy Soller.

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 🙌 🦀

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

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)

#Rust #hardware#CPU

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

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

alcinnz
alcinnz boosted

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! 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