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

Virtualization & Emulation Engineer for Arm systems @LinaroLtd QEMU and rust-vmm contributor.

Previously worked on compilers, filesystems, database internals, distributed systems.
I love strong type systems and type safety, visual arts, typography.

Content and opinions are not my employer's.

https://keyoxide.org/7C721DF9DB3CC7182311C0BF68BC211D47B421E1

EET (UTC+02 or UTC+03 on DST)

PS: έπηλυς means "outlander" in Greek.

💾 software engineer & jaded gamedev
😊 cuter irl but queer-er online
✊ intersectional feminist

✨ runs https://gamedev.lgbt (JOIN US!)

#GodotEngine #GameDev #Rust

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

"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

Physicist turned Game Dev.

Working as programmer at a mid-sized gamedev studio, that's mostly doing #UnrealEngine projects. (My profile's title picture is the view from our office window.)

Confessing #RustLang fanboy.

Dutch #NonProfit foundation proudly serving the Internet community since 1999 with #OpenSource software for #DNS and #BGP. Applied research, open standards advocates, bridging technology and policy.

#Clang origins, now #rustlang aficionados. The people behind Unbound, NSD, Routinator, Cascade and much more...

Note: We are not @nlnet, nor are we funded by them or affiliated with them. Lots of 💚 for what they do though!

Working on Open Source Software. Software Engineer 👨🏻‍💻, DIY enthusiast 🔧.
I like machines which make noise 🎛.

Também tweeto em português 🇵🇹. A volte anche in italiano 🇮🇹.

#eurorack #electronics #rust #rustlang #synth #fedi22

Infrastructure Eng @rustfoundation

🎙️ Podcast http://ieni.dev/rustship
🦀 Automating Rust releases @release_plz

I'm a software developer working mostly in #JavaScript and #TypeScript. I like to grow food, bake bread, walk, climb, and run.

I also write #Scheme, #Zig, #Python, and #Rust.

Working on eVTOLs at Beta Technologies. Python, C, Rust.

Too many hobbies, but right now spending the most of my time learning to fly.

Free Software dev, Ecomodernist, into Rust, flying, and EVs. Maintainer of @zbus

❤️ 🐈 . he/him

My opinions are purely my own and do not represent that of my employer or FOSS communities I happen to work with.

#rustlang #rust #rouille #webassembly #opensource #freesoftware #music #piano #ukulele #kresus #lyon #videogames #politics #economics #psychology #obsidian #silverbullet #maths #MentalHealth

#SantéMentale #sociologie

#Rust freelance. Formerly at #Element on the #Matrix Rust SDK, formerly at Embark Studios, formerly at #Mozilla.

Half of the Delire.Party administration.

he/him

profile pic alt: bearded white guy with green eyes accidentally reproducing the smirk emoji while trying to look nice

🐍 🦀👨‍💻🖖
Pessoas > Tecnologia
People > Technology

Creator of code and controversial opinions.

#Python and #Rust developer (although I did almost every language around there), #Brazilian #Trekkie. #fedi22

I like computers but they don't like me

i also like rust

#acab

#cybre exodus @[email protected]

Free software developer at Centricular, working on #GStreamer, #Rust, #GNOME and various other projects.

Likes tea, cycling, hiking, scuba diving and photography.

he/him — en/de/el(ελ), ja(日本語) in progress

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

Prof developing fast algorithms, reliable software, and healthy communities for computational science (https://PhyPID.org)
aspiring killjoy | against epistemicide | he/they
#AAUP #PETSc #JOSS_TheOJ #libCEED #justice #OpenSource #CFD #FEA #HPC #RustLang

It is I, Grouleff!

100% natural and organic intelligence 🧠

I make computer go brrr. Mostly using #Ruby, but I also dabble in #RustLang and #Swift / #SwiftLang

I post mainly in #Danish, and occasionally in #English.

I like #cycling / #cykling, #running / #MastoRunDK, and #coffee.

I am the caretaker of #MusikalskPlanke, the daily chance to do a bit of planking, together with @klgn.

Born at 338.99 ppm.

Ever-learning mathematician trying to do work in maths, AI, game dev, writing and digital art. 🇦🇺

My recent IF comp projects: Hand Me Down (2023), Anne of Green Cables (2025) and Cart (2025).

Interests: #linux, #emacs, #orgmode, #orgroam, #rust, #python, #grouptheory, #algebra, #numbertheory, #mathematics, #maths, #ai, #artificialintelligence, #gamedev, #shortstories, #interactivefiction, #if, #tads3, #twine, #pixelart, #blender3d, #rpg, #ttrpg, #roguelikes, #procgen

Nerd, Not into Blockchain, He/Him/Ey duda

#dnd #webdev #rust #php #python #metal #noise #miniaturepainting #eurorack #solder #electronics #searchable