Computer science PhD student at the University of Utah, researching compiler verification with @regehr.
UNIX historian and archivist.
Occasional Rust standard library contributor.

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.

Servo maintainer since 2012. Building web browsers in #rustlang for fun and occasional profit, and living that barbershop quartet life.

day-dreamer
night-timer, party-crasher

Current Location
📍 Cairo, Egypt

Hi! I like #Rust, #GNOME, rhythm games, hiking and reading. Working on a PhD in computer vision, and learning drumming as a hobby.

I make #niri, a scrollable-tiling Wayland compositor.

Creator of Flask; Building at https://earendil.com — writing and talking about system arch, API design and Rust. Love my work? You can sponsor me on GitHub https://github.com/sponsors/mitsuhiko

Account here is largely inactive, moved to Bluesky.

Full-time engine dev for Bevy: an open source Rust game engine.

I design games, make all manner of things, and was once a plant ecologist. Dreaming of a transhumanist, solarpunk future.

LOLCODE parser disguised as a human.
I mostly talk about 🦀 Rust and 🧑‍💻 Open Source.
Reach out for Rust contract work / consulting!

https://corrode.dev

Some of my other projects:
http://codeprints.dev
http://analysis-tools.dev
http://openpodcast.dev
http://lychee.cli.rs

Bi-Weekly Digest for Rustaceans https://rustbytes.com | Amsterdam | 🏳️‍🌈

Free & Open Source Software enthusiast, advocating for better process management in FOSS projects. Maintainer of Ariel OS and RIOT; assisting FOSS projects with governance, strategy, documentation and community as a freelancer. Learning Rust as first programming language.

I really like xkcd, so I post them here as soon as they are released. Feel free to boost or favorite my toots if you enjoy them. – Made by @lx in #Rust

Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

Rust dev, Electronics engineer, Author, RustNL, RustWeek organizer, ADHD, Polyamorous, Lesbian, She/Her

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

Rust enthusiast, #GNOME developer / foundation member, #TWIG author (https://thisweek.gnome.org) - he/him 🏳️‍🌈

It's me, the gay cat who maintains your docs

Author of The Rustonomicon and Learn Rust With Entirely Too Many Linked Lists. Also I made a lot of homestuck's games.

on a sabbatical

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.

Software engineer passionate about TypeScript and RustLang

Love coffee and programming in my free time. I rant about software quite often. Currently trying gamedev

#gamedev #TypeScript #Rustlang #coffee

Hamburg, Beach

Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in #RustLang.

We have published our first releases, but are constantly working toward more featurer, following our vision. Stay tuned.

(Profile picture is the hexagonal ARIEL logo. Banner image shows various embedded boards we aim to support, on a booth table, published under CC-BY-SA 3.0 DE by Ronald Köhler)

Clippy team member at #Rust, "Optimizing Clippy & Linting" Project Goal owner twice. Google OSPB Award winner in 2023, featured in maintaine.rs and Rust Bytes newsletter. Gave talks at RustChinaConf2025, Kangrejos 2025 and Rust In Paris 2026. Future: 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