210 awesome Nix accounts on Mastodon.
![nix](/static/languages/nix.b3b76b341231.png)
HoldMyType
@[email protected]> 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
Arson, the Copper Flame
@[email protected]
• floof derg making computers do cursed things • punches NixOS so hard that it runs on Windows
• Avatar by https://nitter.net/Sir_Lorart
ZoeOeoZ
@[email protected]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
niko
@[email protected] Rust developer.
CTF player (web, rev) with kalmarunionen NixOS enthusiast.
EN/日本/PL
Maciek Flak
@[email protected]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.
Stéphan Kochen
@[email protected]I like building things for the web! Hope that's okay. (he/him)
Author of https://castling.club, #Rust & #NixOS enthousiast.
Fernando
@[email protected]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
Peter J. Jones
@[email protected]Open Source enthusiast. Lover of functional programming. An all-around nerd who likes to wear bow ties.
Author of Effective Ruby.
Bruno Adelé
@[email protected]Velotafeur, mais geek avant tout, hacker, Devops, auteur & contributeur du libre. Python, Docker, NixOS/Archlinux addict #JeSuisUnDesDeux #velotaf #LiberezLaData
Montpellier · bruno.adele.im
Jake Hamilton
@[email protected]🙋♂️ They/He
JavaScript fanboy and expert in bug creation. I also do Nix things.
Be excellent to each other.
Artur Wawrowski
@[email protected]SysAdmin, Qt C++ dev, python automation tinkerer. Motorcycle rider.
GroßStadtPflanze
💉⁸
@[email protected]
📚🎨🎭🍨🚲🍫
★ 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]
hexa-
@[email protected]he/him
❄️ NixOS 🤩 (Security, Infra, Python and Release-Manager 22.11/23.05)
Day: Network & Infrastructure.
Night: FOSS, Home Automation
Theuni
@[email protected]🏳️🌈🏳️⚧️
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
acowley
@[email protected]Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Astro
@[email protected]Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
QuadRadical
@[email protected]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).
Tawanda
@[email protected]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 😎