Rust enthusiast, Reverse Engineer, long-time ReactOS developer - bringing all these worlds together

Hamburg, Beach

I like Rust, NixOS, Linux, OpenBSD...

aspe:keyoxide.org:VRQB7AKCDL7BRLOOFXPAWJEROI

This page uses frames, but your browser doesn't support them.

Ph.D. Student @ ETH Zürich, working on Rust and Separation Logic. Excited about practical applications of formal methods. Type theorist at heart.

Just call me fox.

Ask me about old school feature phones, foxes and frutiger aero
Likes Rust, RISC and Arch
Foxes are the best animals to ever roam this planet and that's a fact. Fight me.

Fascinated by sustainability and a utopian future that our planet and its inhabitants can sustain.

Also bakes pizza that ppl seem to like (my only non plant based sin...) and doesnt freedive or mountain bike by far as much as he would like...

#fedi22 (almost) #vegan #plantbased #rust #rustlang #gstreamer #freediving #diving #mtb #mountainbike #hardtail #beekeeping #topbarhive

Un superstite dell'Argentina in un social mastodontico!
#linux #photography #music #foss #privacy #programming #hiking #gaming
https://keyoxide.org/E8132F7B3A5C1E1A5E5DCA60498DFCE52B75DA23

professional strings(1) operator

rust reverse engineering training -> @decoderloop

personal account, personal views
🏳️‍🌈😎
only online on certain days, all responses delayed

Rust Software Developer / Reverse Engineer

An #open-source and #decentralization advocate.
Interested in #linux, #programming, #python and #rust, #backpacking, #gardening, #cooking, #diy, #scfi, #fantasy, #poetry.

A dad, a wanderer, a thinker, a human. A decided optimist.

People deserve compassion.

"The world's vast and strange, Hara, but no vaster and no stranger than our minds are. Think of that sometimes." - Ursula LeGuin

Note: unpinned posts autodelete after 30 days.

36
🇬🇱 @ 🇳🇴Bergen
🏳️‍🌈🍳
AuDHD
ACⒶB
Programming (mostly) in: C♯🎶/Ruby♦️/Python🐍/Rust⚙️.

"We spent decades trying to invent a sufficiently smart compiler when we should have been inventing a sufficiently empathetic one." — @benleedom

#Rust Compiler team member. If you have to search for answers when the compiler is talking to you, that's a bug.

There are no bad programmers, only insufficiently advanced compilers.

Cache-locality awareness evangelist. UTF-8 maximalist.

You can't "individual responsibility" your way out of systemic problems.

he/him

Trans rights are human rights

Clippy team member at #Rust, "Optimizing Clippy & Linting" Project Goal owner twice. Google OSPB Award winner in 2023, featured in maintaine.rs, Rust Bytes newsletter, esRadio station, Computer Hoy Magazine, and <to be revealed>

Gave talks at RustChinaConf2025, Kangrejos 2025, Rust In Paris 2026 & RustWeek 2026

Not a gymrat anymore, now into contact sports (currently doing Muay Thai)

Usually worried about software performance and human rights.

Profile picture drawn by Ryuuseee, https://www.pixiv.net/en/users/270369

Canadian-American physics and applied computing student from Western Washington.

Working to make software understandable by all.

Zig, Rust, and Scheme enjoyer

Software 💻 | Kubernetes | Open Source ❤️ | Principal Customer Success Architect, Isovalent at Cisco 🐝 | Night Owl 🦉 | Bisexual | FF XIV | D&D/ Board Game Nerd 🎲 | winter is the best season ❄️ | <3 Rust but getting better at it 🦀 | Aspiring Coffee Person ☕

Getting back into gamedev after a 10+ year hiatus. Professional data and software geek when employed. Interested in cheering on peoples projects, possibly sharing my own, and talking to human beings!

I'm a married person with cats who is passionate about human welfare, kindness, and conservation. LGBTQIA+ ally. I used to be a scientist but it didn't pay the bills. If you need a geek for a nonprofit or team of nice enough people let me know!

Avatar is a picture of Ness from Earthbound on a bike

Programmer, hacker, colored light connoisseur, treasurer of Hackerspace @bitlair, 🇳🇱, bicycle enjoyer 🚲 and fidget toy engineer.

Big fan of electronic music. Drum & Bass, Synthwave, Vaporwave, (Psy-/Prog-/Tech-)Trance, Ambient, Frenchcore, etc. Tag me in your favourites, I'm always looking for new stuff to listen.

Golang, Rust, Python. Dislikes: unwarranted complexity, repetition, disharmony, bigotry

🎮 Indie gamedev/programmer
🕹️ Currently focused on retro 3D games using custom engines compatible with older systems, using #rustlang and software rendering

🔗 https://totenarctanz.itch.io/a-scavenging-trip
a short mid 90s style game
🔗 https://bsky.app/profile/mentalvertex.bsky.social
🔗 https://www.youtube.com/@TotenArctanz

Freelance Principal Software Engineer with a focus on Rust 🦀

This timeline is never older that a month to keep my toots fresh and ready to eat.

#opensource #rust #rustlang #veggie #homelab #privatePilot #punk #metal #adhd

he/him

I like writing software, #rust, and #nixos
Author/maintainer of #crane