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.

Associate Vulnerability Specialist.

Always open for a chat about anything security related.

Particularly interested in and will post about; rust, NixOS, hypervisors/virtualization, and exploit development.

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

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

🌷🚲⛵🏳️‍⚧️

Free & Open Source Software enthusiast, advocating for better process management in FOSS projects. Maintainer of Ariel OS and RIOT; assisting FOSS projects with governance, strategy, documentation and community as a freelancer. Learning Rust as first programming language.

Be excellent to each other

1 wife
1 stepdaughter
2 stepsons
2 cats
1 dog
2 guinea pigs
2 bunnies
3 chickens

#RunBSD
#Fantasy
#ScienceFiction
#Networks
#Python
#Rust
#Asperger
#Metal
#ABBA
#noAI

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.

I want to write a better world.

I am interested in two things:

1. How the world works
2. How we can make it better

My mission is to develop a deep understanding of how our world works — economically, politically, historically — and write to make it common knowledge.

I write wanting to address the problems in the world that keep us trapped in cycles of suffering.

#writer #science #economics #politics #vegan #atheism #communism #rust #linux #learningjapanese #onepiece #anarchism #socialism

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

Full-time engine dev for Bevy: an open source Rust game engine.

I design games, make all manner of things, and was once a plant ecologist. Dreaming of a transhumanist, solarpunk future.

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

Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

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

Developer Advocate @ JetBrains; Comedy Python Programmer; Terrible Rust Programmer; Enthusiasm As A Service; He/him/they/them

325 ppm. Unternehmer. #Hacking, #c++, #rust, #java, #spring; #sailing, #climbing (nowadays badly), #piano (badly), #cycling, #renewableenergy, #emobility, #Energiewende.

#NieWiederIstJetzt.

#Astrophotography consultant and Rust developer @ Punished Brains. Tinkering with #Rustlang and diving into homelab stuff.

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

tech: #databases, #Erlang, #Elixir, #Rust, #C, #Java, #Scala, distributed systems, consensus, #OSv, #Illumos, #BSD, #Nix, F/LOSS; fun: guitar, swimming, sailing; ex: Sleepycat/BerkeleyDB, Akamai, AWS, Basho, NeXT, Sun, Oracle, ...

A #rustlang programmer with interests in functional programming, category theory and advanced type sorcery

🐍 🦀👨‍💻🖖
Pessoas > Tecnologia
People > Technology

Creator of code and controversial opinions.

#Python and #Rust developer (although I did almost every language around there), #Brazilian #Trekkie. #fedi22