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 Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend #meditation Yin #maker 🇪🇺an

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

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

Ich bin unbeaufsichtigt. Queer. HIV. (Er/ihm) 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 Content-Team-Hausmeister/Referent*innenbetreuung

★ Es gibt nix Gutes, ausser 😷 toot es
★ Boosted means boss move
★ Weckt mich wenn Revolution ist
★ Alpaca 🦙 Ozelot 🐆 Axolotl 🦎
★ Allen alles
★ Auf allen Spektren

"hard to like"

Community care for mental health, mutual aid for all.

Life is difficult in these times, feel free to ask me for help.

write: D/E/F/ read: Sp/It/Port

#Muskodus #Twexit #LongCovid #UrbanLoveWarrior #TootFinder #FamilyAbolitionist

I'm interested in #Linux, #FOSS, data storage/management systems (#btrfs, #gitAnnex, #git), unfucking our society and a bit of gaming (#planetside2, #trackmania, #guildwars2, #BeatSaber).

I help maintain #Nixpkgs/‍#NixOS.

I use #emacs. I ride a #brompton. I like trains.

I prefer the truth – even if it is inconvenient.

Can be found IRL @cccda @RaumZeitLabor

If you need an open ear, you can talk to me about anything – no judgement.

Personal account: @umetA

"Is muid an drúcht geal ceo ag cuir i gcuimhne dó
Go n-éirionn an fhuiseog beo in sa cheol" - Móglaí Bap

#Gaeilge #NixOS #FreeSoftware Bogearraí Saoire Eite chlé #Esperanto #Ceol #Trad #TraditionalIrishMusic #Rothaíocht #Cycling
sé/siad

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

He/Him | Recovering Android Engineer | Baby Rustacean and Nix enjoyer | Ask me for pictures of my dog!

Writing Android keyboards (https://codeberg.org/natkr/flickboard) for fun, Kubernetes operators for money. Sometimes helps maintain https://kube.rs. Enjoys (the idea of) Nix.

Swedish, but bad at it.

Queer. Fascists can go pound sand.

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

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

Professional electrical/mechanical engineer and at home tinkerer.

Repairer at several repair cafés in Berlin.

Language: English/Dutch/German

Header shows the Nixie clock I made some years ago (and a vinyl record player behind it).

Essen und Radfahren

No alt Text? No boost! 🤷‍♀️

Folgeanfragen werden nur angenommen, wenn ich so ungefähr erahnen kann, warum Du mir folgen willst. Und auch dann nur, wenn sonst nix dagegen spricht :-P

Bildbeschreibung Header: Auf einer Seebrücke am Meer steht ein Lastenrad mit Tourengepäck.

Bildbeschreibung Profilbild: Nussschnecken auf einem Kuchengitter.

Hi!

📚🍫🍦🚲 ★ 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]

Ich spiele für mein Leben gerne und dies am liebsten unter Linux. Verrückt? Ja! Aber es macht riesige Freude. Meine Erlebnisse damit, sowie Berichte über die Mobs und Endgegner die mir dabei so über den Weg laufen, werde ich hier dokumentieren und teilen.

P.S. Für witzigen Sachen und politisch relevanten Themen bin ich auch zu haben.

⚠️ manchmal Kompensationsaccount fürs Reallife

#haskell #nix

I am #AntiFA
Astronauts always said upon return from space flight: I Haven’t seen any borders from orbit, just a beautiful blue ball. Therefor: #NoBorders #SlavaUkraini
And: #nvim #homeassistant #floss #esp32_8266 #raspi #grafana #nixos #linux #linuxOnOldAppleHardware #tinkering #python #ClimateCrisisIsHappening #archlinux #hyprland #MechanicalKeyboards #Keyboards
Why the clippy? Watch: https://youtu.be/2_Dtmpe9qaQ?si=K70CP0UXBjyCWiZ4

Nixos | Orgmode | Emacs

Hi,

I love solving bioinformatics, Omics and biological problems.
I'm an OnePiece fan
I love to read articles and novel.
I'm keen on tech and Unix tools.

Languages: DE, EN

Over 11 years experience in Rust development and Nix/OS. 17 years experience in SW and F/LOSS development.
Works with Rust professionally and fulltime <3