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

"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

names: Rain (レイン), Luka (ルカ), Anna (アナ)

- likes programming in Rust, Java ​
- using NixOS and maintainer for nixpkgs
- NixOS servermaid
- foxgirl between feral and domesticated, likes cuddling, will hug a Blåhaj and hide her face with it sometimes
- 🏴‍☠️
- does 3d art and drawing
- experimenting with music with LMMS and a MIDI keyboard (need to repair)
- electronics projects with rust for ESP32 :3
- ATX kink
adult.

you can flirt with this one, pet it or put it on a leash

rail girls ❤️🛤️

might post nudes

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.

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

🌱 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

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.
.

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

#rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others

Also learning Japanese 🇯🇵

Happy to also talk #chess, #woodwork, #biotech, #physics, and lots more

Working remotely from Adelaide, South Australia

Programmer who wants to make the world a better place. Trying to help by doing what she's good at: writing efficient code for the long term.

Fascinated by compiler architecture. Well-acquainted with the low-level side of things: memory layouts, concurrent data structures, and SIMD. Privacy advocate. Interested in network protocols, OS design, and programming languages. Dabbling in number theory every once in a while. Looking for ways to bring old hardware back to life---for everyone.

Concerned about ethics. Our _individual_ choices matter.

🏳️‍⚧️ 🏳️‍🌈 |

Working at @nlnetlabs on open-source Rust-based DNS software. Writing a Rust compiler (https://bal-e.org/speed/krabby) on the side.

Trying to cultivate a community of positivity and constructive knowledge-sharing. Follow requests are filtered accordingly. Mutuals: come talk to me!

I do not want to hear about "AI" or cryptocurrency.

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. 💜🏳️‍🌈🏳️‍⚧️

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

(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

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

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

Enterprise Software Architect, Cloud, OpenSource, Gardening, Travel

Born at 326 ppm

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

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

Freelance Principal Software Engineer with a focus on Rust, writing stuff through my own quirky brain 🦀

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