7 of the best Nix projects on Mastodon.
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
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
HoldMyType
@[email protected]s='hello;'
echo "${s//;/\;}"
> 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/modshelltovm
#rust #nix , bits of #haskell #ocaml
goibhniu
@[email protected]Gaeilge, NixOS, Bogearraí saora, Eite chlé, Esperanto, Rothaíocht, Rotharcharr (Velomobile)
sé/siad
NGI Zero open source funding
@[email protected]NGI Zero is a grant making programme for R&D of free and open source technology, coordinated by @nlnet in collab with @fsfe @APC @ps @techcultivation @ros @fsi @nixos_org @ISOCSwitzerland @apell Tolerant Networks HAN University Brno University OW2 & OFE | Delivers technology for the #NextGenerationInternet
Account is run by NLnet
IMG: C. Jeschke | Unsplash
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, Gerechtigkteit.
(Ich arbeite im ÖRR mit dem Schwerpunkt Software-Beschaffung, mit großer Sympathie für #opensource. Hat nix mit Synapsenkitzler zu tun.)
Bryce3DKeygen.midi
@[email protected]Interests: gaming, films, Haskell, Nix, Anti-capitalism, the Small Web, cooking.