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

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

🧑🏿 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

PhD Candidate @ UT Dallas in the Functional Genomics Lab
nf-core maintainer
Office mate to @monimiller

#FunctionalGenomics #Bioinformatics #Emacs #Nextflow @nf_core #NixOS #JuliaLang #Rugby #fedi22

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

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

Ops @ Hachyderm | Circuit wrangler

she/her
#guix #nixos #makers #electronics #denmark

Rust 🦀 NixOS ❄️ YouTube 📺 Palestine 🇵🇸

I yap incessantly about post-open source licensing philosophy

https://linktree.lgug2z.com

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding #haskell, #nix, #nixos, am a co-maintainer of nixpkgs.haskellPackages and a member of the #GHC Steering Committee. Apart from that I love choir singing, ballroom dancing and playing #TTRPGs.

Try out my projects:

https://code.maralorn.de/maralorn/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de

Senior Graphics programmer at Nixxes Software. Previously TT Games and WeirdBeard Games. Now located in Australia after a decade in the Netherlands.

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

I am I will soon study game development at HKU.
I fucking love , and mango juice.

is queer

Feel free to interact with my posts however you wish (as long as it doesn't break my instance's rules and for the lewd/nsfw stuff you are not a minor).
If I dislike it I will tell you.
If I hate it I will probably block you.
If I love your response though I will favourite and or boost the fuck out of it be warned I am like fucking evil spirit I will haunt your account.

Any lewd or nsfw posts/comments I make are lighthearted or jokingly I am quite private about those things if I cross a line let me know though

Of course we do not have to agree with each other.

You and I both just have our views that's all.
I prefer the ways of the water and the wind.

Who watches the watchmen?

Free as in freedom thus also as in price

Met een vleugje zuivel

#Ancom #NoLLM #NoBlockchain #CopyLeft #Nix

I'm very interested in free software and licensing of art and the written word. I'm a member-owner of a local brewpub cooperative. I use SDF and Tilde pub-nixes as well as self host what I can.

At 19:00 UTC Monday through Friday I'm on AnonRadio.net doing a 30 minute news show. I read news I've found around the web.

My preferred pronouns are He/Him/His.

# 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

3D Generalist and Animator. Creating art to fund mutual aid and open source infrastructure. CC-BY-SA and AGPL. https://reddit.com/r/CRboxes admin.