12 awesome Nix projects on Mastodon that posted recently.

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
"hard to like"
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
HoldMyType
@[email protected]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
#nobot #nobridge #noai
send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
#rust #nix , bits of #haskell #ocaml
DP - shamelessly stolen from a an fp video i watched
Bohn Temps: RocketBeans
@[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 ]
kami_kadse
@[email protected]Synapsenkitzler 🌻
@[email protected]Synapsenkitzler (von Synapsen kitzeln) ist meine digitale Spielwiese. Audios/Videos gibts v.a. auf https://www.youtube.com/synapsenkitzler
Man kennt Synapsenkitzler ggf. durch das Lied #Frazy => https://youtu.be/uPV2pUiIEKg das 2010 ausgehend vom Fusionfestival 'viral' ging. S.z.B. https://www.youtube.com/watch?v=saWZ7rfYZVQ&list=PLffsaXue6vjBloIvqzWw63MO5tIJqJ-9O&index=1
(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 ! 🕊️ #MECKFURZ Infos+Download: https://digitalcourage.social/@synapsenkitzler/113930611602015600
Pro #afdverbot 👍🦄
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
adingbatponder
@[email protected]Tech by the people, for the people.
Washing up ⌨️ #RISCV #RiscvAssembly washing up #Raspberrypi sorting socks 🗜️ #tibber taxi service #HomeLab #macOS shopping
⚛️ #physics cooking 🧮 #mathematics homework 🧘🏻♂️ #iyoga #choir #iyengaryoga
Pro nouns: but verbs are good too if used right. #meshtastic 🦀 #nixos #reticulum
(Photo: Steve Carter @GetCarter )
veetee
@[email protected]Determinate Systems, Inc.
@[email protected]Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪
Home Manager News
@[email protected]goiḃniu
@[email protected]Gaeilge, NixOS, Bogearraí saora, Eite chlé, Esperanto, Rothaíocht, Rotharcharr (Velomobile)
sé/siad
dbeley
@[email protected]Back-end @ Back Market
Free software, linux, NixOS, programming