🙋‍♂️ They/He

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

Be excellent to each other.

data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable
emacsclient --eval '(my-refresh-foo-bar)'

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

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

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

Hi I'm Mark • I build really cool infra.

Business owner • sys/netadmin • Linux & FreeBSD • NixOS • Dutch • English • 日本語

he/him

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

Software Engineer. Gaming enthusiast. I'm using NixOS, btw.

lol. femboy.
i make stuff sometimes

I love programming, math, science, linguistics

.NET shill turned Rust shill turned Nix shill

(deprecated username; may relocate in the future. ETA varies based on procrastination)

i speak english, toki pona, swedish, norwegian

longer bio on my webbed site

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 ]

Old fart interested in Nix/NixOS