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

Some lefti , NixOS , Linux , Chaos

I write (and sometimes rant) here about my DevOps experience at work, the hackspace and at home.

Don't be afraid of colorful flags 🏳️‍🌈🏳️‍⚧️🚩🏴

"If the rules are the problem, the rules must change!" ~ don't know

Latest home manager news.

Unofficial.

#NixOS #Nix #HomeManager

🧑🏿 Millennial black cis guy
🖋️ #Writer and #novelist
💻 #Linux and #OpenSource geek (I use #Nix/#NixOS btw)
🎮 #ElderScrollsOnline
🧘 #Buddhist, hippie, #BurningMan )'(
🦁 #Furry
💑🏿 #Pansexual

💑🏾 https://spectrum.avris.it/5IMo
💕 https://cake.avris.it/pD4

Profile pic: a drawing of a mischievous lion with green eyes and a big golden mane, by @YemmieArts

Profile banner: two lions in trans colors facing opposite directions defiantly. Source: https://e926.net/posts/1550976

er/he, #fdroid contributor, likes #nixos and #arch, also quite interested in #politics, #foss, #golang

Find me under @j_r too

#fedi22 tfr

I tinker with code, music, art, electronics, synths, and things in 3D.

#music #ambient #AmbientMusic #experimental #electronic #BandCamp #NewMusic #synths #eurorack

https://www.tiktok.com/@nixienoise
https://ko-fi.com/nixienoise

Das Einfangen von Momenten und das Spiel mit Licht und Farben faszinieren mich immer wieder aufs Neue.

Wichtig. No #altText = No boost. Inklusion statt Nixklusion.

Header: Face of a black cat
Profile: black and white selfie of me

tootfinder

Developer, teacher, researcher (or in between all of this, can't tell exactly). #OpenScience, #Education, #School, #Linux (#Fedora #Silverblue, #NixOS), #Python, #functionalprogramming. 3 #Kids, PhD, #Cycling, #noCar. #Werder, #Bremen.

Find older toots at my first Mastodon instance: https://social.tchncs.de/@hbunke

Please do not DM me here. You may use
**Signal**: hbunke.44
or
**Matrix**: @hbunke:matrix.org
or even my professionel email address which you can find at https://tib.eu/hbunke

{
"role" : “#infosec #OT #IT #consultant",
"certifications" : ["#CISA", "#CRISC", "#CISSP", "#CEH"],
"interests" : ["#python", "#nixos", "#linux", "#qubes", "#graphene", "#securityonion", "#proxmox", "#openwrt", "#opnsense", "#routeros"],
"hobbies" : ["#photography", "#hamradio", "#amateurradio", "#hillwalking", "#climbing", "volleyball"],
"HAMcallsign" : "OM0MO",
“location” : [“#Devin”, "#Bratislava", “#Slovakia”, "#Europe"],
"photolinks" : ["https://www.flickr.com/photos/martinbrechtl", "https://unsplash.com/@Majc0", "https://www.qrz.com/db/OM0MO"],
}

nixpkgs | rust | elixir

@entropia | 🏳️‍🌈

📚🍨🚲🍫
★ ICH bin NICHT schuld, wenn's Wetter schlecht ist. ★

 Account beim toten Vogel gelöscht. Wenn mein Handle dort auftaucht, bin es nicht ich! ★

 Nix als Rosinen im Kopf. Albernheit wird unterbewertet. 
#ADHS seit 1/2 Jahrhundert.

🚲 Trekking-, Falt- und Lastenradbesitzerin (Pegasus mit Alfine 11, Birdy red, Nihola). sie/ihr she/her, weiß (aber nicht käsig)

, @​​​Hamburg 
❤︎ Berlin/NYC

‼️Hätte gern mehr Frauen in meiner TL & mehr Verfolger*INNEN.
 [tootfinder] #tauschy 20

Rust 🦀 NixOS ❄️ YouTube 📺 Palestine 🇵🇸

I yap incessantly about post-open source licensing philosophy

https://linktree.lgug2z.com

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

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

If you want to follow me, please make sure your profile has some info that helps me learn about you.

#fedi22 #programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself

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, Gerechtigkeit, Datenschutz, 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 )

# about

hiiii,,,

this is 16af93's account (short 16a, also uses a bunch of other names) and it posts stuff:tm: ranging from technology and the occasional politics over trains to yearning and shitposts

## labels

some labels that apply to it:
gay(bi/pan)🏳️‍🌈, trans 🏳️‍⚧️, polyamorous, kinky, neurospicy, techfuck :neobot_laptop: , traveler 🇪🇺🚆, train enjoyer, very fucking gay 🥺

## technologies and other techfuck things

it uses nixos and is currently in the process of rebuilding the infrastructure it once had, and writes python code (since years and since late 2023 even as its job!)

## contacting it

its DMs and other messengers (prefered signal, but it also uses briar, veilid, email) are always open for entities to write it and it is always happy to meet new entities in physical form (it loves visiting places)

## re: critter, entity, person/people

it prefers using terms like 'entity' or 'critter' over 'people'/'person' as not every entity identifies as human or person (like itself!). if this is a problem for you then it can't really help you

A random from Europe, CS student (currently getting destroyed in uni).
Really interested in programming, privacy, security & philosophy. Plus other cool things.

Fellow #NixOS adept.

No need to be shy, I only have my account private due to bots and stuff. I don't bite. (most of the time).

Go Developer, Nix Enthusiast | it/she 🏳️‍⚧️ | CSU Fullerton 2024 | Google STEP Intern 2022, SWE Intern 2023

Essen und Radfahren

No alt Text? No boost! 🤷‍♀️

Folgeanfragen werden nur angenommen, wenn ich so ungefähr erahnen kann, warum Du mir folgen willst. Und auch dann nur, wenn sonst nix dagegen spricht :-P

Bildbeschreibung Header: Auf einer Seebrücke am Meer steht ein Lastenrad mit Tourengepäck.

Bildbeschreibung Profilbild: Nussschnecken auf einem Kuchengitter.