Systemic Tinkerer, Logic Juggler.
#GameDev, #GameAI, #dkgame
@framebunker, ex @GameAINorth, ex @unity. Occasional @nixos_org contributor.
Phrases opinions badly, blocks dumb shit.
The best software development toolkit for Nix and Flakes ❄️
Fedimin | Privacy Advocate | FOSS Lover
I ❤ Change
🇧🇩
#fedi22 #privacy #foss #freedom #photography #fedimin #mastoadmin
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable
emacsclient --eval '(my-refresh-foo-bar)'
{
"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"],
}
Environmental Scientist/Meteorologist @umphy. Built a low-cost CO₂ sensor network to monitor natural CO₂ emissions: https://doi.org/10.1127/metz/2022/1125 ☁️
#Linux #NixOS #ArchLinux #FOSS #SailfishOS
#PinePhone #PinebookPro #Arduino #RaspberryPi #ESP8266
#vim #git #gitAnnex #TeXLaTeX #OpenSCAD
#Python
#hledger #plainTextAccounting
(tfr)
Inmitten aller Herausforderungen entdeckte ich meine große Leidenschaft für die Hobbyfotografie. Das Einfangen von Momenten und das Spiel mit Licht und Farben faszinieren mich immer wieder aufs Neue. Wenn du noch mehr über mich erfahren möchtest, frag einfach nach!
Wichtig. No #altText = No boost. Inklusion statt Nixklusion.
Header: Face of a black cat
Profile: Bumblebee sitting on a blossom (monochrome image)
Senior Graphics programmer at Nixxes Software. Previously TT Games and WeirdBeard Games. Aussie grown dev in NL
I am a mathematical physicist and software developer.
I love choir singing and ballroom dancing.
I spend most of my time coding #haskell, #nix, #nixos.
Have you tried out one of my projects:
https://git.maralorn.de/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de