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

🇪🇺 European

Cloud computing, web development, multimedia, languages and pen and paper. Sometimes computer graphics. Mainly 🦀 Rust, Go and TypeScript.
I use ❄️ Nix btw.

🔬 MSc Computer Science (2019-2022 @uniheidelberg).
👨‍💻 Co-founder of @alugha.

Toots in German and English.
#MastoAdmin at @admin.

#fedi22 #rustlang #programming #linux #macos #tech #cats #nixos #rust #golang #typescript #devops #sysadmin #kubernetes searchable

I am a lecturer at #AUC (Amsterdam University College).

I teach #PoliticalEcology & #EarthScience.

I spend too much time playing around with #linux, #emacs.

I have a small blog: https://mishathings.org

I like to make #music: https://mishathings.org/music/

I play a small role in @BIJ1 #Amsterdam

Some tags of my life in random order: #Heiloo #Colombia #Nieuwmarkt #Medellin #London #SOAS #India #Bombay #AbyaYala

(Boosting is not necessarily (fully) agreeing/approving).

Support Technician & Eternal learner
🇫🇷🇬🇧 Speaker
🐧 Linux explorer
🐍 Python tinkerer
👩‍💻 Homelab enthusiast

Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

Just an arctic fox doing infosec. Also doing DIY electronics and photography.

I may talk your ear off if I know you, or something about the matter. While I do I work on it, don't say I didn't warn you!

Posts may be in English or sometimes German.

⁂

See also my Pixelfed account @varbin for pictures of fursuting, DIY electronics and macro shots of flora.

Treasurer of @Port39 — the hackerspace in Stralsund.

⁂

“We can disagree and still love each other unless your disagreement is rooted in my oppression and denial of my humanity and right to exist.” — James Baldwin

⁂

I used ⁂ before it was cool.

Background image FN2A3630 is CC-BY-SA 4.0 licensed by Nixette at Wikimedia Commons (https://commons.wikimedia.org/wiki/File:FN2A3630.jpg)

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

main interests: #programming, #music, #cooperatives

more specifically: #rust, #elm, #nixos, #guitar, #oldtime, #fiddle, #banjo, #cooperative, #linux, #musician

https://interstitial.coop

#fedi22

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 ]

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.

Hay, I'm bricked and I love using and contributing to open-source software. So far I have specialized in NixOS configurations, accessible websites and Discord bots, but I always love to learn something new!

Der mit den Kurzgesagt-Hoodies

Macht was mit SAP, Linux und Web. Von allem ein bisschen was aber nix richtig.
Winkt dem KI-Hype-Train beim Vorbeifahren.
Hat sich aus Versehen einen Nick ausgesucht, den niemand aussprechen kann 🥲

Free hugs and cuddles

WICMP ✅
EH ✅✅
FSCK ✅
ASM ✅
GPN ✅✅✅
HO ✅✅
MRMCD ✅✅
DHCP ✅✅
C3 ✅✅🔜

NGI Zero is a grant making program for R&D of free and open source technologies, coordinated by @nlnet in collab with @fsfe @APC @ps @techcultivation @ros @fsi @nixos_org @ISOCSwitzerland @apell @ow2 Tolerant Networks HAN Uni Brno Uni & OFE | Delivers technology for the #NextGenerationInternet
Account = run by NLnet
IMG: C. Jeschke | Unsplash

• fluffy dragon netrunner making computers do cursed things • punches NixOS so hard that it runs on WSL

• Avatar by https://nitter.net/Sir_Lorart

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

Nix and NixOS Geek
Love Linux, FOSS, Devops etc❤️🙌
Exploring, Learning and Implementations quench my curiosity than anything else

Basically a passionate Linux and Nix guy😁
Love to solve problems
Bassist on Hiatus
Love Music, Anime, Good stories etc
Basically a being who admires and love to be creative

#nix #nixos #linux #FOSS #devops
#containers #python #shells #nushell #podman #nushell #opensource #atuin

internet dinosaur. dev.

compares everything to IRC.

#nixos #emacs #cpp

Tech: #Apple, #nix, #SBC, #RetroGaming, #3DPrinting

Your average online transbian :) A little weird and very dumb, sorry about that!

Obsessed with yuri, nix, and minidiscs, with a little bit of evangelion, hyper light drifter and others mixed in.

PFP from "The Girlfriend Project" by Sahyu, Protokrawl et al.
Header from here (they deleted their account :/): https://www.reddit.com/r/hyperlightdrifter/comments/vlv2of/a_massive_wallpaper_i_made_back_in_2019_inspired/

Technical IT consultant
Bicycle enthusiast
interested in Linux and FOSS (not exclusively)