logo FEDIDEVS

FEDIDEVS

25 awesome Nix projects on Mastodon.

Project nix Nix
Header Image

git log -p -- @xameer

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

send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
, bits of
DP - shamelessly stolen from a an fp video i watched

Last posted Less than a day ago
Posts 9,770
Followers 592
Following ▼ 5
Header Image

grosses Maul und nix dahinter.

Der Zweck eines Systems ist, was es tut.

@kami_kadse
@kamikadse161

Last posted 1 day ago
Posts 18,301
Followers 1,382
Following ▼ 3
Header Image

internet dinosaur. dev.

compares everything to IRC.

Last posted 1 day ago
Posts 1,714
Followers 207
Following ▼ 2
Header Image
adingbatponder
@[email protected]

Tech by the people, for the people.

Washing up ⌨️ washing up sorting socks raspberrypi 🗜️ taxi service shopping
⚛️ cooking 🧮 homework 🧘🏻‍♂️
Pro nouns: but verbs are good too if used right. 🦀 nixos
(Photo: Steve Carter @GetCarter )

Last posted 1 day ago
Posts 4,659
Followers 360
Following ▼ 2
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 1 day ago
Posts 1,681
Followers 4,712
Following ▼ 1
Header Image

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

Last posted 2 days ago
Posts 638
Followers 29
Following ▼ 0
Header Image

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

Last posted 1 day ago
Posts 2,377
Followers 444
Following ▼ 0
Header Image
Bohn Temps: RocketBeans
@[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 3,813
Followers 162
Following ▼ 0
Header Image
Synapsenkitzler 🌻
@[email protected]

Synapsenkitzler (von Synapsen kitzeln) ist meine digitale Spielwiese. Audios/Videos gibts v.a. auf youtube.com/synapsenkitzler

Man kennt Synapsenkitzler ggf. durch das Lied => youtu.be/uPV2pUiIEKg das 2010 ausgehend vom Fusionfestival 'viral' ging. S.z.B. youtube.com/watch?v=saWZ7rfYZV
(Ich kann in meinen Youtube-Videos die Anzeige von Werbung nicht deaktivieren und empfehle als Adblocker uBlock Origin.)

Hier poste ich unregelmäßig zu allem und nix. Tendenziell mit Bezug zu IT, Humor, Gesellschaft, Gerechtigkteit, nachhaltige Beschaffung, digitale Souveränität, Open Source.

MECK FURZ ! 🕊️ Infos+Download: digitalcourage.social/@synapse

Pro 👍🦄

Last posted 1 day ago
Posts 3,207
Followers 379
Following ▼ 0
Header Image

The instance dedicated to artists and musicians to share their work.

This account ran by @fiskfan1999 / @fiskfan1999

If I don't respond to your message, send me a message on IRC at on irc.hybridirc.com.

Last posted 2 months ago
Posts 5
Followers 12
Following ▼ 0
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 week ago
Posts 18
Followers 83
Following ▼ 0
Header Image

nixland 🐧🚀 | A community for *nix enthusiasts—Linux, BSD, and beyond! Sharing knowledge, guides, and open-source passion.

🔗 nixland-space.github.io
discord.gg/6Tcf3zYzDM

Last posted 1 month ago
Posts 3
Followers 0
Following ▼ 0
Header Image

Talk to me about , , , , or whatever you like

Last posted 2 weeks ago
Posts 10
Followers 4
Following ▼ 0
Header Image
Ni𝕏i | Notion For Crypto
@[email protected]
Last posted 7 months ago
Posts 6
Followers 0
Following ▼ 0
Header Image

Our meeting spot is located in the city of Pasadena in your Earth zone of Los Angeles. It will co-locate with the SCALE conference on March 6th-7th, 2025, which our instruments have identified as the largest spontaneous concentration of Nix packages at rest.

Come to SCALE and Nix with us!

Last posted 4 weeks ago
Posts 9
Followers 17
Following ▼ 0
Header Image
Home Manager News
@[email protected]

Latest home manager news.

Unofficial.

Last posted 1 day ago
Posts 299
Followers 568
Following ▼ 0
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 7 months ago
Posts 11,776
Followers 12
Following ▼ 0
Header Image

Part and Sysadmin of @milliways
Develop in C / C++ / Python / Rust / Nix / ...
Work as Time Lord and known IEEE1588.

Last posted 2 weeks ago
Posts 187
Followers 83
Following ▼ 0
Header Image

The NiX is a stage for almost every form of music, provided it is made with love and skill: blues, Americana, roots, soul, jazz, country, rockabilly and all cross-pollinations in these genres. The NiX is an experience in itself, it's more, it's NiXenMeeR! Enschede, the Netherlands

Last posted 2 weeks ago
Posts 3
Followers 0
Following ▼ 0
Header Image
Nix Meetup Dresden
@[email protected]

Wir sind ein semi-regulär stattfindendes Treffen in . Meistens gibt es kleine Vorträge und wir tauschen uns über neue Entwicklungen, best practices und "Wie macht man eigentlich XYZ" aus.
Die Treffen werden im Discourse und im Kalender des C3D2 announced.

Last posted 1 week ago
Posts 5
Followers 36
Following ▼ 0