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

CTO at satoshi-connect.ch.
@bebop ambassador.

I’m curious and passionate about free software, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems, radio comm ops and the occasional math paper.

In my free time, I contribute to open source projects, promote blockchain-based solutions to real-world problems or study RF signals around me.

Salvadorian. I also *really* like trains :)

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.

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.

Emily, putting the gay into #gamedev ​

#rustlang, #speedcube, #heavymetal, and #bassguitar nerd hoping to flood the internet with my rambles and projects. Also an Arch user btw

Feel free to DM me and say hi :)

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, #java developer, #rust learner, JS writer,cpp/qt enjoyer, .net/c# fiddler. #postgresql #linux ❤

Mostly post about #technology and #science and randomly funny things

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

Master of Geoinformationscience 🌍 developer for GiGa infosystems ⛰️ writing code with Rust 🦀 and Swift

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

professional strings(1) operator

rust reverse engineering training -> @decoderloop

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

(mis)using technology, also known as engineer/graphics programmer/software developer

#coding #programming #softwaretools #research #security #hardware #compilers #rendering #demoscene #math #creativity

born in Poland, now splitting time between France 🏖🌅 and Germany (BaWü).

🇪🇺 (langs: DE, PL, FR, JP, EN, CHN, #Python, #JavaScript, #Swift, #Rust, #Go, #asm, #C, #cpp) #queer #prochoiceisprolife #childfree #outrovert #dorkyhumor

Cats and bunnies type of tism

Software developer (C++, Rust)

#neurodivergent #mtg #aerialsilks #gaming #physics (she/her)

My blog, where I write about books, philosophy, life and programming: https://sofiabelen.github.io/

Enterprise Software Architect, Cloud, OpenSource, Gardening, Travel

#Java #Rust #Python #SpringIO #Microservices #3dprinting #FckAfd #NazisRaus #Leipzig #nobot
#Threema via W7AAXD5V

Alt-Text Header: Shows a lokal lake in Winter with a lot of trees around and a pathway. Blue sky with the sun in the center.

Alt-Text Avatar: shows me, sitting on stairs in Leipzig, wearing goggles, short hair and a black t-shirt with the text: Kein Bock auf Rassist*innen!

.NET cursader doing Rust 🦀 Cat herd 🐈‍⬛ Vegan 🌱

lopen, desembrood, rust

Production-grade tools, developer systems, and ad-free apps & games for diverse minds.
Godot, Unity, Rust, C#/.NET.
Small things, in a great way. From Turin, Italy.

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

autistic rust programmer & reverse engineering nut
nonbinary creature

a better world is possible

325 ppm. Unternehmer. #Hacking, #c++, #rust, #java, #spring; #sailing, #climbing (nowadays badly), #piano (badly), #cycling, #renewableenergy, #emobility, #Energiewende.

#NieWiederIstJetzt.

#photography #quadcopters #hiking #cycling #climbing #bouldering #linux #nixos #rust #nobot