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
cis male
atheist
Damned dirty ape
Not a tame programmer
Some assembly required
No user serviceable parts inside

Ich bin unbeaufsichtigt. Queer. HIV. they/them.

Manchmal bin ich #Autor, manchmal #Nerd und manchmal hänge ich einfach nur so an der Straßenecke herum und schimpfe auf Heteros. Demimale aber eigentlich geht dich das auch nix an.

#39C3 #40C3 Content-Team-Hausmeister/Referent*innenbetreuung

Leading development of https://spectrum-os.org/, a compartmentalized operating system. Nixpkgs committer.

Avatar by Chipiku.

Some lefti , NixOS , Linux , Chaos , Pragmatist

I write (and rant) here about my DevOps experience at work, the hackspace and home.

Don't be afraid of colorful flags 🏳️‍🌈🏳️‍⚧️🚩🏴

"If the rules are the problem, the rules must change!" ~ don't know

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

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

(he/him) Environmental Scientist/Meteorologist @umphy. Built a low-cost CO₂ sensor network to monitor natural CO₂ emissions (dissertation: http://dx.doi.org/10.15496/publikation-117538), now developing meteorological payloads for multicopters.

#Linux #NixOS #FOSS #SailfishOS

#vim #git #gitAnnex #TeXLaTeX #OpenSCAD #SolveSpace

#Python
#hledger #plainTextAccounting

(tfr)

Internet software developer

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

Hi!

❄️ 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

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

Indie app developer.
- Ducky Model Editor @ducky
- Crowfi for Mastodon @crowfi

Post in English and Chinese.

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding #Haskell and am a member of the #NixOS Haskell team and the #GHC Steering Committee. Apart from that I love choir singing, ballroom dancing and playing #TTRPGs.

Try out my projects:

https://code.maralorn.de/maralorn/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de

I'm very interested in free software and licensing of art and the written word. I'm a member-owner of a local brewpub cooperative. I use SDF and Tilde pub-nixes as well as self host what I can.

At 19:00 UTC Monday through Friday I'm on AnonRadio.net doing a 30 minute news show. I read news I've found around the web.

My preferred pronouns are He/Him/His.

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

🇪🇺 European

Cloud computing, web development, multimedia, languages and pen and paper. Sometimes computer graphics. Mainly 🦀 Rust, Go and TypeScript.

❄️ Nixpkgs committer
🔬 MSc Computer Science (2019-2022 @uniheidelberg).
👨‍💻 Co-founder of @alugha.
🐘 #MastoAdmin at @admin.

Toots in German and English.

#rustlang #programming #linux #macos #tech #cats #nixos #rust #golang #typescript #devops #sysadmin #kubernetes searchable

Developer, teacher, researcher (or in between all of this, never could tell exactly). #OpenScience, #Education, #School, #Linux (#Fedora #Silverblue, #NixOS), #functionalprogramming. 3 #Kids, Dr., #Cycling, #noCar. #Werder, #Bremen.

Find older toots at my first Mastodon instance: https://social.tchncs.de/@hbunke

Please do not DM me here. You may use
**Signal**: hbunke.44
or
**Matrix**: @hendrik.bunke:academiccloud.de
or find me at https://tib.eu/hbunke

Loves hacking on infrastructure at home or at my local hackspace. Lately especially in love with Nix(OS)
Otherwise touches computers way too much.
Meow
Trying to figure out this whole gender thing.
Posts mostly in English, sometimes German.
Feel free to follow request.

💜 @yuri

He/him. System Rebooting Engineer (#SRE) - Working at The LEGO Group. Previously Unity, Maersk. Opinions are my own. 

BTW I use #Nix

#Italian 🇪🇺🇮🇹 #LGBTQ+ 🏳️‍🌈 #Gaymer 👾 #Gamer 🎮 #Denmark #Copenhagen 🇩🇰 #Neurospicy 🧠

software eng @ Amutable | #nixpkgs maintainer

#ConfidentialComputing #Nix #NixOS #ReproducibleBuilds

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