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

Displaced Philly boy. Threat hunter. Educator. Executive Director. #infosec, #programming #rust , #python #haskell , and #javascript . #opensource advocate. General in the AI Resistance. Runs @thetaggartinstitute. Made https://wtfbins.wtf. Not your bro. All opinions my own. Dad. #fedi22 #searchable

Pronouns: He/him.

Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in #RustLang.

We have published our first releases, but are constantly working toward more featurer, following our vision. Stay tuned.

(Profile picture is the hexagonal ARIEL logo. Banner image shows various embedded boards we aim to support, on a booth table, published under CC-BY-SA 3.0 DE by Ronald Köhler)

Languages: DE, EN

Over 11 years experience in Rust development and Nix/OS. 17 years experience in SW and F/LOSS development.
Works with Rust professionally and fulltime <3

I really like xkcd, so I post them here as soon as they are released. Feel free to boost or favorite my toots if you enjoy them. – Made by @lx in #Rust

We are a worker-owned cooperative that helps teams build fast, reliable, maintainable software using Go and Rust.

We're also building ethical, privacy-focused, and open source products for real people and the #Fediverse. We're currently working on https://limecast.net and https://apply.coop

Account maintained by @blainsmith

Rust dev, Electronics engineer, Author, RustNL, RustWeek organizer, ADHD, Polyamorous, Lesbian, She/Her

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

Hi! I like #Rust, #GNOME, rhythm games, hiking and reading. Working on a PhD in computer vision, and learning drumming as a hobby.

I make #niri, a scrollable-tiling Wayland compositor.

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

Functional safety with @rustlang
MD @ferroussystems

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

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

Software engineer passionate about TypeScript and RustLang

Love coffee and programming in my free time. I rant about software quite often. Currently trying gamedev

#gamedev #TypeScript #Rustlang #coffee

Just an old geek. Learned about computers on a CARDIAC (CARDboard Illustrative Aid to Computation). Then the math teacher at HS got an old Navy surplus computer with drum memory. It had a high speed optical paper tape reader. From there it was BASIC, Cobol, FORTRAN, CMS-2Y, Jovial, Ada. Did some Java and C but never got that good. In retirement learning Rust.

Note: the main picture is from the B-24 my father was co-pilot on in the South Pacific

🇮🇹 → 🇺🇸 → 🇯🇵 → 🚀
Nomadic Linux developer, currently in Tokyo.

Distributor of ZuluSCSI and ZuluIDE products in Japan: https://retromirai.jp https://zuluscsi.jp

𝑨𝑴𝑰𝑮𝑨 user and beta tester

#linux #rust #retrocomputing #commodore #amiga #anime #vegan #cycling

👩🏻‍💻 Software developer (Rust, JavaScript, PHP) 🌍 Environmentalist 🏳️‍🌈 Queer (she/her)

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!

Rust 🦀 | Linux 🐧 | Python 🐍 | Embedded ⏚

I’m an engineer currently writing and shipping production Rust for an anti-ransomware company.

I drink a LOT of tea, and read a lot of Sci-fi. I used to have many many hobbies including metal working, wood working, circuit design, 3d printing, you name it, but these days my most prominent hobby is anxiety.

I’m an American *and* an anti-fascist.

My avatar is a humanoid robot with a sword sheathed behind its back.
#rustlang #infosec #linux #PNW

UK-based software developer. Principal Consultant and co-founder at Si Novi, an AWS Partner building cloud-native applications. Working on Dynoxide (open-source DynamoDB engine, Rust) and Nubo (native DynamoDB client).

Keen runner, music lover, bad at gardening.