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

Pronouns he/they

Does low-level systems hacking for food. #x86 #riscv #rust #haskell #cpp #nixos 🌍🇪🇺🇩🇪🇷🇴🇪🇸🇺🇦 | @blitzclone on Twitter

PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend #meditation Yin #maker 🇪🇺an

I like to build simple, secure and resilient information systems to empower and connect people. I believe that this is best done with Free Software, open data standards, open protocols, and restrained craftsmanship.

I am happiest when I get to do this work with those fighting fascism, ethnic-cleaning, genocide and protecting our environment.

To make a living, I provide consulting and coaching services for software, data, and security engineering.

#guix #nix #nixos #scheme #lisp #commonlisp #clojure #emacs #orgmode #privacy

Three anxious sysadmins in a trenchcoat. DevOpsSec mercenary. CTO of Antifa.
#nix #rust #python #ruby #linux

theoretical physicist @uniheidelberg + semiprofessional computer booper (I use NixOS btw)

#RaumZeitLabor, #NoName, #CDA

I like cats 🐈

compsci things: #Linux #Rust #Haskell (global state apologists dni) #NixOS #Privacy #Lojban
other things: #TheoreticalPhysics #Rationalism #Cyberpunk #Transhumanism #HardSF #DIYEngineering

he/him

I like writing software, #rust, and #nixos
Author/maintainer of #crane

Velotafeur, mais geek avant tout, hacker, Devops, auteur & contributeur du libre. Python, Docker, NixOS/Archlinux addict #JeSuisUnDesDeux #velotaf #LiberezLaData

Montpellier · bruno.adele.im

Average spooktoberfest enjoyer. Scala, Smithy, Nix, Playdate dev, ADHD, GFDI, JP2GMD

Go Developer, Nix Enthusiast | it/she 🏳️‍⚧️ | CSU Fullerton 2024 | Google STEP Intern 2022, SWE Intern 2023