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
#nobot #nobridge
time matters when it pays off
> https://git.sr.ht/~carnotweat/modshelltovm
#rust #nix , bits of #haskell #ocaml

★ 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

#Muskodus #Twexit #LongCovid #UrbanLoveWarrior #TootFinder #FamilyAbolitionist

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 ]

Mastodon lebt, Twitter ist tot. 🦄

Synapsenkitzler Audios/Videos gibts auf https://www.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 #opensource. Hat nix mit Synapsenkitzler zu tun.)

Tech by the people, for the people.

Washing up ⌨️ #RISCV #RiscvAssembly washing up #Raspberrypi #raspi sorting socks #projects #SBC 🗜️ #make ⚙️ #maker #tibber taxi service #HomeLab #macOS #ubuntu shopping
⚛️ #physics cooking 🧮 #mathematics #maths homework 🧘🏻‍♂️ #iyoga #choir #iyengaryoga
Pro nouns: but verbs are good too if used right. #meshtastic :meshtastic: 🦀 #nixos

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

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

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

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

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

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

Latest home manager news.

Unofficial.

#NixOS #Nix #HomeManager

Episodic computerposting

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

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

> 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

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

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

https://t.co/gO0YakkaE2