PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend #meditation Yin #maker 🇪🇺an

{
"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"],
}

I'm interested in #Linux, #FOSS, data storage/management systems (#btrfs, #gitAnnex, #git), unfucking our society and a bit of gaming (#planetside2, #trackmania, #guildwars2, #BeatSaber).

I help maintain #Nixpkgs / #NixOS.

I use #emacs. I ride a #brompton. I like trains.

Can be found IRL @cccda.

Personal account: @umetA

You can’t change the people around you, but you can change the people around you.
#fedi22 #fotos #Blogg #Buch #Kunst #NixMussTunMehr

I like hardware and software I can tinker with.

Interested in decentralization, overlay networks, cryptography, hardware.

Posts mainly in Russian, and occasionally in English. Boosts on the other hand are mostly English.

Свободу российским политзаключённым. Те кто стоят за репрессиями обязательно за это ответят. И за остальное тоже. 🦄☮️@

★★★☆☆ 🇺🇸
★☆☆☆☆ 🇩🇪
★☆☆☆☆ 🇯🇵
★★★★★ 🇷🇺
★☆☆☆☆ 🇷🇸

#fedi22 #decentralization #encryption #linux #nixos #foss #selfhosting #electronics

Writing Android keyboards (https://codeberg.org/natkr/flickboard) for fun, Kubernetes operators for money. Sometimes helps maintain https://kube.rs. Enjoys (the idea of) Nix.

Swedish, but bad at it.

Queer. Fascists can go pound sand.

I like to build simple, secure and resilient information systems to empower and connect people. I believe that this is best done with Free Software, open data standards, open protocols, and restrained craftsmanship.

I am happiest when I get to do this work with those fighting fascism, ethnic-cleaning, genocide and protecting our environment.

To make a living, I provide consulting and coaching services for software, data, and security engineering.

#guix #nix #nixos #scheme #lisp #commonlisp #clojure #emacs #orgmode #privacy

🧑🏿 Millennial black cis guy
🖋️ #Writer and #novelist
💻 #Linux and #OpenSource geek (I use #NixOS btw)
🧘 #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

SRE at reMarkable. Acmeist with a cloud fetish. Hates the slow. Maker. Brewer. Reader. Gamer. Writer. Specialisation is for insects. tfr #nim #prometheus #kubernetes #nix #monitoring #golang

Velotafeur, mais geek avant tout, hacker, Devops, auteur & contributeur du libre. Python, Docker, NixOS/Archlinux addict #JeSuisUnDesDeux #velotaf #LiberezLaData

Montpellier · bruno.adele.im

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 ]

Rustacean & NixOS Enthusiast [DE/EN/EO]

TLA⁺ core developer. Love formal methods & distributed systems!

Living in Seattle, WA, USA. Non-technical hobbies include BJJ, birdwatching, and mushroom foraging.

Other random facts: vim user, nix/arch dual-booter, dual Canadian/US citizen, loose-leaf tea drinker, cyclist, living kidney donor, vegetarian, ecosocialist dreaming of a 2000 watt society! he/him

a mages technologia of the order nixos

this account will be used to post about genosse.eu and other projects this one partakes in.

3rd person pronouns user

building infrastructure for fun and no profit!

all opinions are those of your cat

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
#meshtastic 🦀 #nixos #reticulum
(Photo: Steve Carter @GetCarter )

Part and Sysadmin of @milliways
Develop in C / C++ / Python / Rust / Nix / ...
Work as Time Lord and known IEEE1588.

my opinions are those of your lawyers, I am not an employer, and most importantly I am not *YOUR* employer.

I am forklift certified

#nixos #bi

🇺🇦

Just a 20-something guy from #India 🇮🇳. Some things that I'm interested in are #Linux, #NixOS, #FOSS, #Privacy, #Security, #ClimateChange, #Veganism. I also boost stuff related to #politics and #cats.

Second account for #KPop #Kdrama etc. stuff is at @brisingr05.

He/Him | Recovering Android Engineer | Baby Rustacean and Nix enjoyer | Ask me for pictures of my dog!

Human of the French variety
Worked on BIM software and some crusty payroll application.
Posts mostly in English, sometimes French, rarely German
Arch and Haiku (got filtered by NixOS, shall try again!)

/!\ May not be the brightest tool in the shed /!\
Hit me with that gay shit™

Profile pic was taken with a thermal camera
Header is Place des Arts in Montréal