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!

🌱 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://tools.corrode.dev
https://analysis-tools.dev
https://openpodcast.app
https://lychee.cli.rs

Software engineer in the Bay Area. Dad. Nerd. I'm into #Rust, #Haskell, #Typescript, #Neovim, #Nix. Also sometimes #History. #fedi22

Pronouns he/they

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

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

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

Software Engineering Lead specializing in #SystemsEngineering, #CyberSecurity, #BigData, Mobile apps, and browser extensions. Codes primarily in 🦀 #rustlang. Passionate about #SoftwareEngineering, #Linux, #Unix, #Privacy, #SelfHosting, #FOSS and coding in #Rust, #Python, #Java. Maintainer of @watomatic . Let’s connect and discuss all things #Tech.

Location: Dallas TX, USA

Pronouns:
He/him (Linux)
He\him (Windows)

Pixelfed: @dk

#fedi22

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 🌕 🐄

Programming brings me an unreasonable amount of joy. Cycling and sailing as well. Flowers and water. Philosophy and molecular biology.

PhD candidate at the Marrink lab, University of Groningen.
I do research into building large-scale systems for coarse-grain molecular dynamics simulations.

Je bent beneden; kijk omhoog.

I really like Rust. I teach programming sometimes.

🌷🚲⛵

EE. Making computers control physical things. Into embedded rust, running, mountains, digital fab, unfinished projects.
.

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

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.

Rustacean 🦀 with a Computer Science degree 🎓

I write Rust and Python, and maintain lots of RPM packages for Fedora Linux. Fedora Engineering Steering Committee (FESCo) and Packaging Committee (FPC) member. AI Luddite.

Fluent in English and German. He/Him. 🏳️‍🌈🇦🇹🇪🇺

Functional safety with @rustlang
MD @ferroussystems

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

current principal eng at dylibso; former Node.js TSC & NPM registry eng / systems eng (❤️ rust, bash, js, tf) / sometimes illustrator / pets cats; pronouns he/him

Freelance Software Engineer with a focus on Rust, writing stuff through my own quirky brain without assistance of hallucination machines 🦀

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

I compress pixels (https://ImageOptim.com https://pngquant.org https://gif.ski).
Web Standards & #RustLang

"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

Product Director / Software Dev Manager, primarily using Ruby/Rails/Rust in ed-tech & LX. Full of terrible, unfunny jokes. Love FMV & int-fiction. Poké-prof. Tenno. 💜🏳️‍🌈🏳️‍⚧️

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