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

★ 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

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

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 )

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

internet dinosaur. dev.

compares everything to IRC.

#nixos #emacs #cpp

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

Latest home manager news.

Unofficial.

#NixOS #Nix #HomeManager

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 ]

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

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!

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

electronic music.

No Rush. / Out Now.

Spotify: https://open.spotify.com/album/6qlV1ddV6Yhti1j1tBan1M
SoundCloud: https://soundcloud.com/luumemusic/no-rush
Apple Music: https://music.apple.com/album/no-rush-single/1778857594
Deezer: https://www.deezer.com/album/667826921
YouTube Music: https://music.youtube.com/watch?v=PHQW9cdt4hQ

#electronicmusic #musicproduction #music

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.

> 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.

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