dad of 3, Linux nerd and hobby #rust programmer, avid #cyclist and user of public transport working on automotive SW for a living, #runner and bad #chess player,

Rust Software Developer / Reverse Engineer

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.

Developing http://spade-lang.org, https://surfer-project.org/ and other fun stuff in Rust. PhD from Linköping university, now working as a post doc at Hochschule München

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

- Unremarkable jazz musician
- Unix lover
- Professional software engineer
- Amateur network admin
- Security person who can't stand security people

https://justmytoots.com/@bamboombibbit[email protected]

"I hate Illinois Nazis" - Joliet Jake Blues

#Linux
#RunBSD
#OpenSource
#FOSS
#Vim
#Emacs
#RustLang
#Jazz
#Musician

he/him

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

"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

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

aspe:keyoxide.org:VRQB7AKCDL7BRLOOFXPAWJEROI

Für eine verstehbare (digitale) Welt, gegen (Digital)-Adultismus und gegen Technik-Solutionismus.

Gründer der #Teckids-Gemeinschaft @Teckids
#Debian Developer

Ich provoziere. Manchmal aus Ungeschicklichkeit, manchmal aus Absicht.

#Kinderrechte #FOSS #SemanticWeb #LinkedData #RDF #TeamDatenschutz #Rust #Python #FediBikes #Tsundoku #ResistAdultism

Headerfoto: @mgisbers

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.

Inquisitive by nature...

Collector of hobbies:
* Ham radio - callsign M7PAJ, normally operating from North Wales with MW7PAJ. SOTA and a bit of POTA.

* Cycling - casually...

* Building and flying model aircraft

* Dabbling in computer programming. I am currently learning Rust, but enjoy using common lisp.

* Kayaking (sea / river / lake)

Love living in Wales.

HamsOverIP number:
Working in my shack, but currently no voicemail. Call on the off chance!!

Software engineer building infrastructure by day and bringing Kubernetes‬ to new places by night.

First to implement Apple HomeKit in Rust (ages ago) and first to bring Kubernetes to Apple Watch and Apple Vision.

🎮 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

Languages: DE, EN

Over 11 years experience in Rust development and Nix/OS. 17 years experience in SW and F/LOSS development.
Works with Rust professionally and fulltime <3

Yet another queer & kinda autistic computer nerd. I mainly code in Rust™, and I consider myself a rustacean. Uni student. I joined Mastodon after the Reddit exodus, let's see how it goes (edit: going great!).

Free Palestine, free Ukraine, trans rights are human rights, antifascist, antiracist, former student union leader, etc; woke mind virus all the way down lol. I just believe we can make the world actually better, what a sad thought not to.

Working on a Linux port for the Surface Pro 11.

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 ☕

Software developer 🇫🇷 🇪🇺

Currently working at Waldo 🦙, previously Zenly 🍦(Snap 👻), Virtu Financial 💵 and Microwave Vision 📶

I like programming (F#, Rust & Typescript mainly) and books (Science-Fiction, Fantasy)

#searchable

Displaced Philly boy. Threat hunter. Educator. Executive Director. #infosec, #programming #rust , #python #haskell , and #javascript . #opensource advocate. General in the AI Resistance. Runs @thetaggartinstitute. Made https://wtfbins.wtf. Not your bro. All opinions my own. Dad. #fedi22 #searchable

Pronouns: He/him.

Sysadmin & security engineer. Building operator-focused OSS in Go, C & Rust — Vaultwarden-Plus, obswrapper, VictoriaFlow. PKI, Active Directory & self-hosted everything.