214 awesome Nix accounts on Mastodon.
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
Molain
@[email protected]storm appreciator | archive spelunker | nix noob | gna be a game dev | hanging out
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
time matters when it pays off
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml
Frédéric Menou
@[email protected]I mostly pouet about software development, do bad puns, and troll acquaintances. Also #haskell, #nix, #rust and alikes.
harryprayiv
@[email protected]Plutus, Haskell, Nix, Purescript, *Swift/Kotlin*. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, "move fast and break things" approaches
---
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0
Jesse Hallett
@[email protected]Software engineer in the Bay Area. Dad. Nerd. I work at Hasura. I'm into #Rust, #Haskell, #Typescript, #Neovim, #Nix. Also sometimes #History. #fedi22
Reducing wealth inequality is a big issue to me - IMO it's an issue with one of the highest conceptual simplicity-to-world improvement ratios. So sometimes I step out of the tech zone and post things like #eattherich and #nogoodbillionaires.
Pronouns he/they
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
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).
NGI Zero open source funding
@[email protected]NGI Zero is a grant making programme for R&D within free and open source technology, coordinated by @nlnet in collab with @fsfe, @APC, @ps, @techcultivation, @ros, @fsi, @nixos_org, Tolerant Networks, HAN University, Brno University, APELL, @ISOCSwitzerland, OW2, OFE & more | delivers technology for the #NextGenerationInternet
Image: Christofer Jeschke via Unsplash.
Dominik
@[email protected]Astro
@[email protected]Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
Jeezy
@[email protected]Rust 🦀 NixOS ❄️ YouTube 📺 Palestine 🇵🇸
computer science undergrad
nixos fan
bladee stan
also-ran
follow for more substandard posts on an infrequent basis
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]
Vanessa
@[email protected]Theoretical physics MSc student @uniheidelberg
interested in general relativity, quantum field theory (gauge theories and quantum gravity in particular), statistical physics, geometric algebra, spinors and spaceflight. Feel free to ask me if you don't understand something I post :)
My non-physics things: #FOSS, #Linux, #NixOS, #Rust, #HardSF, #ScienceFantasy, #Solarpunk, #Rationalism, #Transhumanism
fighting for formalism biodiversity in physics since 2021
sephi
@[email protected]Programmer & animal rights activist. Author of Génies du code, an illustrated book to learn web programming. Currently working at petzi.ch & ehro.app.
I toot mostly in EN, sometimes in FR.
Bohn Temps Streams+Videos
@[email protected]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 ]