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!

Serial copy paster.
#JHipster co-lead.
Creator of #KDash.
Java Champion.
Staff Developer 🥑 #Okta.
Polyglot dev/Speaker/Author.
Follow for #Java, #Rust, #JS, #Go, #Kubernetes, and #DevOps content.
he/him

https://deepu.tech

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

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

#GodotEngine #GameDev #Rust

Functional safety with @rustlang
MD @ferroussystems

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

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

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

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

Entrepreneur, Développeur & Auteur de Polar & Science-Fiction | Entrepreneur, developper & Thriller and SF Writer
Podcaster
Founder of ProcessOne
Living in France
#technology #programming #erlang #elixir #golang #rustlang #xmpp #fedi22

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.

day-dreamer
night-timer, party-crasher

Current Location
📍 Cairo, Egypt

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.

🌱 Ecologist
 Rust nerd
👾 Hacker
🎓 PhD Computer Scientist
🤲 Open source lover
🙈 Parser, compiler, low-level, binding, VM/runtime, Web, home automation, embedded, WebAssembly polyglot…
🚀 R&D Element/Matrix, the decentralized, end-to-end encrypted, open source network
📜 Formerly Wasmer (WebAssembly runtime), Automattic, fruux, Mozilla (Firefox)…
🏠 Living in the stack, in a weird ABI, lost in FFI land

I mostly talk about 🦀 Rust and 🧑‍💻 Open Source. Host of 'Rust in Production'.
Reach out for Rust contract work / consulting!

https://corrode.dev

Some of my other projects:
https://search.corrode.dev
https://analysis-tools.dev
https://openpodcast.app
https://lychee.cli.rs

Into public transportation, biking infrastructure and #3dprinting | professional robot therapist | cat person | podcast addict/host @akronymisierbar and others | linksgrünversifft | Talk to me on Matrix @kilian:kernkraftwerk.lol

anticapitalist. america must be destroyed. 

#rust #embedded #bevy 🦀 #dsp and audio stuff

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

An #open-source and #decentralization advocate.
Interested in #linux, #programming, #python and #rust #backpacking, #gardening, #cooking, #diy, #scfi, #fantasy.

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.

Working with #GStreamer and #RustLang. Interested in #cycling, tea, ducks, scuba diving, #ByzantineMusic . en/el(ελ)/de/ja(日本語)/es/it/fr

Open protocols enthusiast. IRC developer. Enjoys Python, Rust, cooking, indoor gardening, and 3D printing. Occasionally plays with Matrix, Elixir, and Linked Data.