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
Anti. ๐
@[email protected]โ
Es gibt nix Gutes, ausser ๐ท toot es
โ
Boosted means boss move
โ
Weckt mich wenn Revolution ist
โ
Alpaca ๐ฆ Ozelot ๐ Axolotl ๐ฆ
โ
Allen alles
โ
Auf allen Spektren
Community care for mental health, mutual aid for all.
Life is difficult in these times, feel free to ask me for help.
write: D/E/F/ read: Sp/It/Port
#Muskodus #Twexit #LongCovid #UrbanLoveWarrior #TootFinder #FamilyAbolitionist
๐ณ๏ธโ๐๐๐ง๐ทLuana๐ง๐ท๐๐ณ๏ธโ๐ ![verified verified](https://media.tech.lgbt/custom_emojis/images/000/084/488/original/verified.png)
@[email protected]
โข She/Her โข 19 โข ๐ง๐ท, talk ๐ง๐ท๐ฌ๐ง โข Valve & FOSS fangirl โข Mermaid ๐งโโ๏ธ โข ๐ณ๏ธโ๐ Lesbian โข โขโฉโจ
โจโฉLoves #swimming, #cooking, #mermaids and #gaming. #OpenSource everything. #Linux user.
Searchable!
chfkch
![rust rust](https://media.ruhr.social/ruhr-social/custom_emojis/images/000/089/622/original/8348b3cbeec8c0a8.png)
@[email protected]
Technical IT consultant
Bicycle enthusiast
interested in Linux and FOSS (not exclusively)
hexa-
@[email protected]he/him
โ๏ธ NixOS ๐คฉ (Security, Infra, Python and Release-Manager 22.11/23.05)
Day: Network & Infrastructure.
Night: FOSS, Home Automation
Andrew Tropin
@[email protected]Hack on operating systems and programming languages. He/Him.
Improve tooling for Guile and GNU Guix.
Author of Guix Home, RDE, Arei/Ares Guile IDE.
74830A276C328EC2 at keyserver.ubuntu.com and keys.openpgp.org.
#plt #os #fp #lisp #scheme #clojure #guile #guix #nix #rde #emacs
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]
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 ]
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.
Yann Bรผchau ![nixos nixos](https://cdn.fosstodon.org/custom_emojis/images/000/062/778/original/48d6a1983312ea5a.png)
@[email protected]
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)
Nulhomme
@[email protected]Thing i love :
- Birds of all kind they are all so cute
- furry art
- monsters, horror, eldritch entities
- music (electro, hip hop, jazz, funk, trip-hop, post rock, dark ambience, dance, etc...)
- cooking, especially making cakes and biscuits
- books
- starting project (and never finishing them)
I work as a dotnet dev doing some dev ops too.
hatch year is 1995
Please have a bios or some post before following, if not you will be considered as a suspicious account and might be blocked.
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
Informatheux
@[email protected]J'aime les #Maths, l'#Informatique, les #JeuxVidรฉo #JeuxDeSociรฉtรฉ, les #JeuxDeRรดle, la #SF et la #Fantasy
Je suis en M1 d'informatique ร l'รcole normale supรฉrieure (ENS Ulm)
Je code en #Rust #RustLang, en #OCaml et en #Python
J'utilise #NixOS, ou Windows avec #WSL
chris.rs ![terminal_blinker terminal_blinker](https://media.hachyderm.io/custom_emojis/images/000/089/237/original/5cee9af477deb177.png)
@[email protected]
๐งโโ๏ธ Software Eng & ๐ธ Photographer
#nix
#rust
#python
#javascript & #typescript
๐ง posts and opinions are my own
Artur Wawrowski
@[email protected]SysAdmin, Qt C++ dev, python automation tinkerer. Motorcycle rider.
HenkPoley
@[email protected]Science fanboy.
Software developer, previously software tester. #PHP, #bash, #python. Some #PowerShell, #Java, #C and #Z80Assembly (Ti-83)
Otherwise interested in #Rust, #Elm, #NixOS, #Erlang, #Elixir, TLA+, and #ReasonML / #ReScript.
Ran a #seascouts troup for a while.
Speaks Dutch, English, German, some French, and a tiny bit of Mandarin and Spanish.
Joel Rivera
@[email protected]Software developer, free software enthusiast, community organizer, "philosopher" and much much more!!!
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).