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

Proud to be Antifa, like my grandfather, who was killed fighting fascism in WWII, and was posthumously awarded the Air Medal and the Purple Heart.
#microcontroller #firmware #C #CPlusPlus
#FPGA #VHDL #Verilog #SDR (SW Defined Radio)
#retrocomputing
#nonpareil HP calculator simulation at #microcode level
Maker (with John Doran) of #NixieTube #RPN #calculator
CHM PDP-1 Restoration Team
Call sign N2ES
he/him
cis male
atheist
Damned dirty ape
Not a tame programmer
in #Colorado, near #Denver

🧑🏿 Millennial black cis guy
🖋️ #Writer and #novelist
💻 #Linux and #OpenSource geek (I use #NixOS btw)
🧘 #Buddhist, hippie, #BurningMan )'(
🦁 #Furry
💑🏿 #Pansexual

💑🏾 https://spectrum.avris.it/5IMo
💕 https://cake.avris.it/pD4

Profile pic: a drawing of a mischievous lion with green eyes and a big golden mane, by @YemmieArts

Profile banner: two lions in trans colors facing opposite directions defiantly. Source: https://e926.net/posts/1550976

grosses Maul und nix dahinter.

Der Zweck eines Systems ist, was es tut.

@kami_kadse
@[email protected]

#OpenSource and #OpenData fanboy & contributor (#KDE, #NixOS, #OpenStreetMap)

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

I am a lecturer at #AUC (Amsterdam University College).

I teach #PoliticalEcology & #EarthScience.

I spend too much time playing around with #linux, #emacs.

I have a small blog: https://mishathings.org

I like to make #music: https://mishathings.org/music/

I play a small role in @BIJ1 #Amsterdam

Some tags of my life in random order: #Heiloo #Colombia #Nieuwmarkt #Medellin #London #SOAS #India #Bombay #AbyaYala

(Boosting is not necessarily (fully) agreeing/approving).

🙋‍♂️ They/Them

JavaScript fanboy and expert in bug creation. I also do Nix things.

Be excellent to each other.

he/him

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

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

❄️ NixOS 🤩 (Security, Infra, Python and Release-Manager 22.11/23.05)

Day: Network & Infrastructure.
Night: FOSS, Home Automation

5G Inside

Da manche eine Bio toll finden, dann schreib ich mal hin was mir Spontan einfällt, da eigentlich über mich nix tolles zu schreiben gibt^^

Fahre gern E-Scooter (Super um Fix von A nach B zu kommen) Interessiere mich auch für EBikes und Lastenräder.

Finde Autos nicht doof, nur die dummen Autofahrer die da meist am Steuer sind.

Sonst finde ich vieles Interessant, merkt man meist am Kommi drunter :)

Mehr fällt mir gerade nicht ein was hier so stehen könnte

📚🍫🍦🚲 ★ ICH bin NICHT schuld, wenn's Wetter schlecht ist. ★

Nix als Rosinen im Kopf. Albernheit wird unterbewertet. ★ #ADHS seit 1/2 Jahrhundert.

🚲 Trekking-, Falt- und Lastenradbesitzerin (Pegasus mit Alfine 11, Birdy red, Nihola). ★ Vegetarierin, #avap (as vegan as possible) ★sie/ihr she/her, weiß (aber nicht käsig)

★@​​​Hamburg 
❤︎ Berlin/NYC

‼️Hätte gern mehr Frauen in meiner TL & mehr VerfolgerINNEN.
 🏳️‍🌈welcome. [tootfinder]

- 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

Computing enthusiast, distributed systems developer, GM of D&D and Lancer, NixOS and Kubernetes user, Rust and Elixir enjoyer, Dota2 player

Fachkraft für gar nix, Spezialist für Gedöns. Dönerphiler Mundwerker, Schokopuddingfan, Carbonaraconnoiseur, Eclairbär, Podcastenthusiast, challengeresistent, konstant urlaubsreif. Mindset "Leuchtturmwärter mit 25 Jahren Berufserfahrung". SH-Korri für die Programme des Deutschlandradios, hier ausgesprochen privat.

Posts sind idR unlisted und werden spätestens nach zwei Monaten automatisiert gelöscht. (Profilbild: Tobias Migge)

Indie developer and fractional-CTO for very early stage startups. Polyglot software engineer (#Haskell, #Erlang, #Scala, #Nix, #NixOS, #Fsharp) with focus on building privacy-cenetered applications and services.

Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.

Antifascist, immigrant, gay af.

Security software engineer @ Edgeless Systems | #nixpkgs maintainer
#infosec #golang #Nix #NixOS #ReproducibleBuilds #ConfidentialComputing #Virtualization

Antifa and anti Genocide

Always busy with computer, tech stuff and mostly #linux and #python #freebsd
Interested in energy reduction, measurement. A little politics but mostly fun and itchy remarks which trigger thinking. So read and keep smiling 🙂
Posts are deleted periodically, toots are time bound, just as humans.

Locked account but feel free to ask to follow, I will follow back

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

SRE at reMarkable. Acmeist with a cloud fetish. Hates the slow. Maker. Brewer. Reader. Gamer. Writer. Specialisation is for insects. tfr #nim #prometheus #kubernetes #nix #monitoring #golang