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

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

Machine learning #ML, #Rust, #macOS, #NixOS.

If AI is the future, it must be open.

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

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

queer autistic trans women

⚠️ those who only know it on the internet ⚠️: do not be flirty or lewd towards this one without explicit permission

unreasonably passionate about nix, RFC 3339 and many other things

more information it one can be found on its website at https://da157.id/this-one

Former SysAdmin, Qt C++ dev, python automation tinkerer. Motorcycle rider. Trainee bus driver.

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

If you want to follow me, please make sure your profile has some info that helps me learn about you.

#programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself #indieweb #rss #blogging

Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪

my opinions are those of your lawyers, I am not an employer, and most importantly I am not *YOUR* employer.

I am forklift certified

#nixos #bi

🇺🇦

Formal methods PhD student @ CMU, cryptographic auditing @ Cure53
Security, verification, cryptography, applied mathematics, nix, rust

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

she/her 🏳️‍⚧️🏳️‍🌈

some catgirl living in the terminal
nixos, zellij, nushell and nvim

teilzeitheizung
Mutter von Claire (kuschelnashorn)

trans & confused
pls hug and cuddle

23
likes cute girl-flavoured humans

probably would like to eeep at the moment

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

a mages technologia of the order nixos

this account will be used to post about genosse.eu and other projects this one partakes in.

3rd person pronouns user

building infrastructure for fun and no profit!

all opinions are those of your cat

🙋‍♂️ They/Them

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

Be excellent to each other.

Julien aka Luj.

PhD Student in Software Supply Chain Security.

NixOS enthusiast and contributor. Emacs nerd. NixOS Steering Committee member.

Other interests include functional programming languages, software security, formal verification.

Available for freelance projects.

He/Him

May occasionally toot in french.

Inoffizieller "Was ist los bei #RocketBeans und #GameTwo - Bot"

🚀🫘

Folgt ihm also, wenn Ihr keine Sendung verpassen wollt.

Nix, aber auch echt gar nix verbindet den Bot mit den Rocket Beans (außer vielleicht der Tatsache, dass der auch aus Hamburg stammt 😉)

[Programmiert von @guacamole ]

🏳️‍🌈🏳️‍⚧️

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

Average spooktoberfest enjoyer. Scala, Smithy, Nix.
Follow my journey to making music on #jkmakesmusic