logo FEDIDEVS

FEDIDEVS

7 of the best Nix projects on Mastodon.

Best Project nix Nix
Header Image
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
Account is run by NLnet
IMG: C. Jeschke | Unsplash

Last posted 2 days ago
Posts 1,617
Followers ▼ 3,955
Following 2,085
Header Image

★ 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

Last posted 1 day ago
Posts 11,901
Followers ▼ 1,337
Following 1,230
Header Image

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

time matters when it pays off
> git.sr.ht/~carnotweat/modshell
, bits of

Last posted Less than a day ago
Posts 7,806
Followers ▼ 570
Following 159
Header Image

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0

> i am not a book about me .
> git.sr.ht/~carnotweat/morning-

Last posted 3 months ago
Posts 11,956
Followers ▼ 527
Following 330
Header Image

Gaeilge, NixOS, Bogearraí saora, Eite chlé, Esperanto, Rothaíocht, Rotharcharr (Velomobile)
sé/siad

Last posted 1 day ago
Posts 2,103
Followers ▼ 410
Following 708
Header Image
Synapsenkitzler
@[email protected]

Mastodon lebt, Twitter ist tot. 🦄

Synapsenkitzler Audios/Videos gibts auf 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 . Hat nix mit Synapsenkitzler zu tun.)

Last posted 1 day ago
Posts 1,413
Followers ▼ 222
Following 367
Header Image
Bryce3DKeygen.midi
@[email protected]

Interests: gaming, films, Haskell, Nix, Anti-capitalism, the Small Web, cooking.

Last posted 1 week ago
Posts 270
Followers ▼ 142
Following 199