NGI Zero is a grant making program for R&D of free and open source technologies, coordinated by @nlnet in collab with @fsfe @APC @ps @techcultivation @ros @fsi @nixos_org @ISOCSwitzerland @apell @ow2 Tolerant Networks HAN Uni Brno Uni & OFE | Delivers technology for the #NextGenerationInternet
Account = run by NLnet
IMG: C. Jeschke | Unsplash

Technical IT consultant
Bicycle enthusiast
interested in Linux and FOSS (not exclusively)

Some lefti , NixOS , Linux , Chaos , Pragmatist

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

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

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

🇪🇺 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.

Toots in German and English.
#MastoAdmin at @admin.

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

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

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

Hi!

{
"role" : “#infosec #OT #IT #consultant",
"certifications" : ["#CISA", "#CRISC", "#CISSP", "#CEH"],
"interests" : ["#python", "#nixos", "#linux", "#qubes", "#graphene", "#securityonion", "#proxmox", "#openwrt", "#opnsense", "#routeros"],
"hobbies" : ["#photography", "#hamradio", "#amateurradio", "#hillwalking", "#climbing", "volleyball"],
"HAMcallsign" : "OM0MO",
“location” : [“#Devin”, "#Bratislava", “#Slovakia”, "#Europe"],
"photolinks" : ["https://www.flickr.com/photos/martinbrechtl", "https://unsplash.com/@Majc0", "https://www.qrz.com/db/OM0MO"],
}

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

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).

PhD student with Ralf Hinze, Jurrian Rot & Niels van der Weide 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

🙋‍♂️ They/Them

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

Be excellent to each other.

- 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

I mostly pouet about software development, do bad puns, and troll acquaintances. Also #haskell, #nix, #rust and alikes.

My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.

Currently freelance at the French NAP: https://transport.data.gouv.fr

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

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

(he/him) Environmental Scientist/Meteorologist @umphy. Built a low-cost CO₂ sensor network to monitor natural CO₂ emissions: https://doi.org/10.1127/metz/2022/1125 ☁️

#Linux #NixOS #FOSS #SailfishOS

#PinePhone #Arduino #RaspberryPi #ESP8266

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

#Python
#hledger #plainTextAccounting

(tfr)

Messages supprimés au bout de 2 mois pour délester l’instance, mes photos restent dispo sur Ipernity (lien en bio)

#ResistGenAI #NoAI
#photography
#ErgoL (ex #bépo) #splitkeyboard #mechanicalkeyboard
#jeuxvidéo
#nvim #rustlang
#NixOS #Linux

« La vie, c’est comme une balançoire : il y a des hauts et des bas, mais il y aura toujours un enfoiré pour te foutre le cul par terre. » — Moi

🏳️‍🌈🏳️‍⚧️

Fortschritt, Nachhaltigkeit, Fürsorge | Progress, Sustainability, Care

🛠️ Aramaki – a federated DevOps control plane

❤️ Cynefin, CAS, Python, NixOS, batou, Ceph, Qemu, Linux, pycountry

... and in a former life: Zope and ZODB

Founder and CEO at flyingcircus.io

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

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

Pronouns he/they