133 awesome Nix accounts on Mastodon that posted recently.

HoldMyType
@[email protected]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
Sandro
@[email protected]
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
Home Manager News
@[email protected]Aires
@[email protected]🧑🏿 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
Alex
@[email protected]
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
Markus
@[email protected]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
Hendrik Bunke
@[email protected]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
Martin Majc0 OM0MO Brechtl
@[email protected]{
"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"],
}
xanderio
@[email protected]nixpkgs | rust | elixir
@entropia | 🏳️🌈
GroßStadtPflanze
@[email protected]
📚🍨🚲🍫 ★ 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
Jeezy
@[email protected]Rust 🦀 NixOS ❄️ YouTube 📺 Palestine 🇵🇸
I yap incessantly about post-open source licensing philosophy
goiḃniu
@[email protected]Gaeilge, NixOS, Bogearraí saora, Eite chlé, Esperanto, Rothaíocht, Rotharcharr (Velomobile)
sé/siad
Abhinav 🌏
@[email protected]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 🌻
@[email protected]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 👍🦄
adingbatponder
@[email protected]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 )
mages technologia 16a
@[email protected]# 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
Sr. Estegosaurio 🦕
@[email protected]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).
Diamond
@[email protected]Go Developer, Nix Enthusiast | it/she 🏳️⚧️ | CSU Fullerton 2024 | Google STEP Intern 2022, SWE Intern 2023
SyöminenJaPyöräily
@[email protected]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.