> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
> i am not a book about me .
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml

• floof derg making computers do cursed things • punches NixOS so hard that it runs on Windows

• Avatar by https://nitter.net/Sir_Lorart

I paint and grow things. I am consumed by all things Scandinavian, Astrophysics, and Gardening. I might be into power tools. She/Her/Who Dat?
#gardening #art #photography

Rust developer.

CTF player (web, rev) with kalmarunionen
NixOS enthusiast.
EN/日本/PL

I'm a father of two, a minimalist #rust coder and #nix fan.

I love to ride a gravel bike and listen to podcasts in my free time.

I like building things for the web! Hope that's okay. (he/him)


Author of https://castling.club, #Rust & #NixOS enthousiast.

Passionate about technology, Open source and long time Linux user. Into DevOps, self-hosting, home automation, retro-gaming, NixOS and Rust.

#FOSS #linux #rust #rustlang #bevy #selfhosting #grapheneos #nixos #demoscene

Open Source enthusiast. Lover of functional programming. An all-around nerd who likes to wear bow ties.

Author of Effective Ruby.

#Emacs #Nix #NixOS

Velotafeur, mais geek avant tout, hacker, Devops, auteur & contributeur du libre. Python, Docker, NixOS/Archlinux addict #JeSuisUnDesDeux #velotaf #LiberezLaData

Montpellier · bruno.adele.im

🙋‍♂️ They/He

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

Be excellent to each other.

SysAdmin, Qt C++ dev, python automation tinkerer. Motorcycle rider.

#golang; #rust; #nix; #nixos; #k8s; #docker; #security; #privacy; #foss; amateur socializer; reader; pet parent; occasionally #gaming; #queer

📚🎨🎭🍨🚲🍫
★ ICH bin NICHT schuld, wenn's Wetter schlecht ist.
★
Impfsüchtige Tröttelstrippe.
Nix als Rosinen im Kopf. Albernheit wird unterbewertet.
Ich halte die Existenz von „satt“ für ein Gerücht!
#ADHS seit 1/2 Jahrhundert.

🚲 Trekking-, Falt- und Lastenradbesitzerin (Utopia, Birdy, Nihola) :na

sie/ihr she/her, weiß (aber nicht käsig)

@ Hamburg
❤︎ Berlin/NYC

‼️Hätte gern mehr Frauen in meiner TL & mehr Verfolger*INNEN.
 [tootfinder]

Recluse open source programmer. Ⓥ. he/him.

#rust #nix #go #pki #tls #lpc #bikes #metal #mushrooms #acab

he/him

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

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

🏳️‍🌈🏳️‍⚧️

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

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

Internet software developer

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

Hello, my name is Henry Hiles, Full Stack Developer. I have extensive experience with React, SolidJS, Node.js, and ASP.NET Razor Pages. I have used my Node.js knowledge to create QuadraticBot 2.0, a giveaway bot for discord. For more projects, check out my GitHub profile. I am into #foss, #linux, #nixos, and #postmarketos.

I occasionally boost posts without alt text (mostly of raccoons or cats, nothing important).

Currently overengineering my #go blog. I also write #rust for fun, and #php at work.

When I'm not coding, I write. Fiction. Non-Fiction. I read a lot of #scifi and watch a lot of movies and #anime. I consider myself a cinephile.

Man City fan since Benjani 🇿🇼 put on the shirt

我的中文不太好

Opinions my own 😎