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.

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.

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