logo FEDIDEVS

FEDIDEVS

19 awesome Nix projects on Mastodon.

Project nix Nix
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 ▼ 36
Followers 570
Following 159
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 ▼ 22
Followers 1,337
Following 1,230
Header Image
adingbatponder
@[email protected]

Tech by the people, for the people.

Washing up ⌨️ washing up sorting socks raspberrypi 🗜️ ⚙️ taxi service ubuntu shopping
⚛️ cooking 🧮 homework 🧘🏻‍♂️
Pro nouns: but verbs are good too if used right. :meshtastic: 🦀 rust debian nixos

Last posted 1 day ago
Posts ▼ 14
Followers 289
Following 644
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 ▼ 12
Followers 222
Following 367
Header Image
Bohn Temps Streams+Videos
@[email protected]

Inoffizieller "Was ist los bei und - 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 ]

Last posted 1 day ago
Posts ▼ 8
Followers 127
Following 1
Header Image

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

Last posted 3 months ago
Posts ▼ 0
Followers 291
Following 34
Header Image

Episodic computerposting

Last posted 6 months ago
Posts ▼ 0
Followers 16
Following 30
Header Image

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

Last posted 1 day ago
Posts ▼ 0
Followers 410
Following 708
Header Image
Ni𝕏i | Notion For Crypto
@[email protected]
Last posted 3 months ago
Posts ▼ 0
Followers 0
Following 0
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 ▼ 0
Followers 3,955
Following 2,085
Header Image
La Fènix Universitat Popular
@[email protected]

Espai de debat i reflexió teòrica dels moviments socials

En projecte: Grup de lectura: Llegim novel·la política

t.co/gO0YakkaE2

Last posted 1 month ago
Posts ▼ 0
Followers 30
Following 76
Header Image
Home Manager News
@[email protected]

Latest home manager news.

Unofficial.

Last posted 2 weeks ago
Posts ▼ 0
Followers 510
Following 3
Header Image

Love, peace, open source 💕
Alternative me: @gd

Last posted 2 weeks ago
Posts ▼ 0
Followers 88
Following 72
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 ▼ 0
Followers 527
Following 330
Header Image
Determinate Systems, Inc.
@[email protected]

Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪

Last posted 1 week ago
Posts ▼ 0
Followers 691
Following 118
Header Image

Back-end @ Back Market
Free software, linux, NixOS, programming

Last posted 1 week ago
Posts ▼ 0
Followers 26
Following 90
Header Image
Bryce3DKeygen.midi
@[email protected]

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

Last posted 1 week ago
Posts ▼ 0
Followers 142
Following 199
Header Image

Nimm dir alles was du kriegen kannst, und gib nix zurück

Last posted 6 months ago
Posts ▼ 0
Followers 6
Following 42