21 awesome Nix projects on Mastodon.
goibhniu
@[email protected]Gaeilge, NixOS, Bogearraí saora, Eite chlé, Esperanto, Rothaíocht, Rotharcharr (Velomobile)
sé/siad
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
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.
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 ]
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
adingbatponder
@[email protected]Tech by the people, for the people.
Washing up ⌨️ #RISCV #RiscvAssembly washing up #Raspberrypi #raspi sorting socks #projects #SBC 🗜️ #make ⚙️ #maker #tibber taxi service #HomeLab #macOS #ubuntu shopping
⚛️ #physics cooking 🧮 #mathematics #maths homework 🧘🏻♂️ #iyoga #choir #iyengaryoga
Pro nouns: but verbs are good too if used right. #meshtastic :meshtastic: 🦀 #nixos
Synapsenkitzler
@[email protected]Mastodon lebt, Twitter ist tot. 🦄
Synapsenkitzler Audios/Videos gibts auf https://www.youtube.com/synapsenkitzler (Stand 12/2023: schon lange nix neues mehr hochgeladen.) (synapsenkitzler.de / frazy.tv offline wegen #fail)
Hier poste ich unregelmäßig zu allem und nix. Tendenziell mit Bezug zu IT, Humor, Gesellschaft. Ich arbeite im ÖRR mit dem Schwerpunkt Software-Beschaffung, mit großer Sympathie für #opensource.
Love, peace, open source 💕
Alternative me: @gd
Home Manager News
@[email protected]Determinate Systems, Inc.
@[email protected]Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪
dbeley
@[email protected]Back-end @ Back Market
Free software, linux, NixOS, programming
Bryce3DKeygen.midi
@[email protected]Interests: gaming, films, Haskell, Nix, Anti-capitalism, the Small Web, cooking.
Ni𝕏i | Notion For Crypto
@[email protected]brokenix
@[email protected]> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot
> i am not a book about me .
> https://git.sr.ht/~carnotweat/morning-rust
Luume
@[email protected]electronic music.
Waiting For Love. / Out Now.
Spotify: https://open.spotify.com/album/7BTBdyHaxjEAmGEJqDzSeU
SoundCloud: https://soundcloud.com/luumemusic/waiting-for-love
Apple Music: https://music.apple.com/album/waiting-for-love-single/1760328271
Deezer: https://www.deezer.com/album/622881351
YouTube Music: https://music.youtube.com/watch?v=5U5lVLOwr0E
Heibo Bleibt
@[email protected]Nix da mit roden⚡ wir wollen: den Schutz der Natur🌳 eine Bauwende,Klimagerechtigkeit und die Überwindung des Kapitalismus. Ziemlich viel, also besser anfangen!
EA#: 0641201099540
deerian
@[email protected]Episodic computerposting
Masopilamie
@[email protected]Nimm dir alles was du kriegen kannst, und gib nix zurück
aktiv, egal
@[email protected]Alles und Nix
Offizieller Account, privat hier
The Valley of Gray
@[email protected]Bad takes and worst Nix config files