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

grosses Maul und nix dahinter.

Der Zweck eines Systems ist, was es tut.

@kami_kadse
@kamikadse161

internet dinosaur. dev.

compares everything to IRC.

#nixos #emacs #cpp

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 )

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

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

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

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 ]

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 👍🦄

The #peertube 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 #rankett on irc.hybridirc.com.

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

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

https://t.co/gO0YakkaE2

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

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

Talk to me about #linux, #nixos, #vim, #ergokeyboards, #selfhosting or whatever you like

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!

Latest home manager news.

Unofficial.

#NixOS #Nix #HomeManager

> 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

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

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

Wir sind ein semi-regulär stattfindendes Treffen in #Dresden. 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.