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

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!

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

Functional safety with @rustlang
MD @ferroussystems

Kyūdō (Nidan). Diver. Runs events. Ex-@rustlang project member. Founding member @rust_foundation. ❤️Ruby.

Software engineer (C#, Kotlin, Golang, Java, Rust, Python), I really like housing, bikes, and nice communities 👩🏻‍🦰 ✡️ 🇮🇪 🏳️‍🌈 🏳️‍⚧️

Lilah tov moon, lilah tov cow jumping over the moon 🌕 🐄

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!

day-dreamer
night-timer, party-crasher

Current Location
📍 Cairo, Egypt

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

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 #deepTech  #privacy #remoteWork #veggie #aviation #space #homelab #privatePilot

"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

🇪🇺 European

Cloud computing, web development, multimedia, languages and pen and paper. Sometimes computer graphics. Mainly 🦀 Rust, Go and TypeScript.

❄️ Nixpkgs committer
🔬 MSc Computer Science (2019-2022 @uniheidelberg).
👨‍💻 Co-founder of @alugha.
🐘 #MastoAdmin at @admin.

Toots in German and English.

#rustlang #programming #linux #macos #tech #cats #nixos #rust #golang #typescript #devops #sysadmin #kubernetes searchable

#rustlang #mediawiki #wikibase #wikidata #wikipedia #foss #fedi22

Worked for 44 years on multiple systems. Comfortable with ZOS, Z/VSE, windows, UNIX, Chrome and Linux. Worked as developer and support, team lead and business analyst. COBOL, ASSEMBLER, BASIC, C, learning RUST & PYTHON. Developer and DBA using IDMS based applications, dev & support for DB2 based systems. I'm still learning and a semi-cranky senior!

Computer engineer working in #Rust, #C, and #CPlusPlus. #micromobility enthusiast, including #longboarding, #unicycling, and #bicycling. Occasionally #sing the low notes in #opera choruses. he/they. Austin, TX, US.

Previously https://mastodon.social/@sporksmith

Librist, optimist and utopian #elmlang #rust #python #opensource #vim
He/Him
🌍 Developer for Ecobalyse, an environmental assessment tool https://ecobalyse.beta.gouv.fr/
📙 Author of "Vim for humans" https://vimebook.com
📰 Developer of Unmerdify, unenshittificator for the web https://codeberg.org/vjousse/unmerdify
🍅 Developer of Pomodorolm, a pomodoro tracker https://github.com/vjousse/pomodorolm

Professional freelance programmer (#python, #haskell, #rust, #c++, #linux)
https://meejah.ca
https://txtorcon.readthedocs.org
https://carml.readthedocs.org
#twisted #python #tor #infosec #privacy
I re-toot all reasonable replies
"rumoured to be Canadian"

Three anxious sysadmins in a trenchcoat. DevOpsSec mercenary. CTO of Antifa.
#nix #rust #python #ruby #linux

he/him/his Dev in Berlin, #scala and #rust

#Bioinformatics Group Leader @Evotec using #Transcriptomics & #Genomics to boost #DrugDiscovery | Toots are my own opinions not that of my employer

🌹️ ozǝɹqǝɟ. Cyberintelligence analyst amongst other things. I ✍️ words and code. Tooting in English, Spanish & Catalan depending on the mood.

Areas of interest: #ThreatIntelligence, #DFIR, #Infosec, #GNULinux, #Privacy, #Monero, #Flatpak, #Docker, #Python, #Rust, #Vala, #Gnome.