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

(Following/ boosting is not necessarily agreeing/approving).

🇪🇺 European

Cloud computing, web development, multimedia, languages and pen and paper. Sometimes computer graphics. Mainly 🦀 Rust, Go and TypeScript.

❄️ Nixpkgs committer
🔬 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

#OpenSource and #OpenData fanboy & contributor (#KDE, #NixOS, #OpenStreetMap)

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

Internet software developer

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

🇫🇷🇬🇧
Linux, Python and Homelab enthusiast

Languages: DE, EN

Over 11 years experience in Rust development and Nix/OS. 17 years experience in SW and F/LOSS development.
Works with Rust professionally and fulltime <3

Proud to be Antifa, like my grandfather, who was killed fighting fascism in WWII, and was posthumously awarded the Air Medal and the Purple Heart.
#microcontroller #firmware #C #CPlusPlus
#FPGA #VHDL #Verilog #SDR (SW Defined Radio)
#retrocomputing
#nonpareil HP calculator simulation at #microcode level
Maker (with John Doran) of #NixieTube #RPN #calculator
CHM PDP-1 Restoration Team
cis male
atheist
Damned dirty ape
Not a tame programmer
Some assembly required
No user serviceable parts inside

Trying to live life more offline with my online being small tech or self hosted any my social media being the fediverse. My first love (other than family) is to give new life to old technology. I build software. I’m also a massive Linux nerd and NixOS stopped me distro hopping 🥰

giant nerd software engineer

Will rant on #rust, #NixOS, and types whenever possible

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

MSc ML @ #TUDa 🎓 • OSS advocate 🧑‍💻
German 🇩🇪 • 22 • #NixOS ❄️
Visit me at https://nx2.site 👋

grosses Maul und nix dahinter.

Der Zweck eines Systems ist, was es tut.

@kami_kadse
@[email protected]

Hobbybäcker und Läufer.
Wahlduisburger mit einer Vorliebe für gutes Essen. Kuchen geht immer 😀
Beruflich mache ich irgendwas mit IT - im ÖD, also nix für Weicheier und ein Zeichen von Leidensfähigkeit. 
Professioneller Facepalmer - manchmal braucht der Mensch mehr Finger.
 #laufen #brotbacken #sauerteig #duisburg

#haskell #nix

Back-end @ Back Market
Free software, linux, NixOS, programming

autism extraordinaire 🇵🇱

fond of nix, zig, niri, neovim, clap (audio plugin api)

yap to me about free software and pretentious music

A retired high-tech glassblower, lifelong learner and critical digital humanist, I glean meaning from experiences and tell stories.
Born in Hollywood the year James Dean died, grew up in Nixon's Whittier as Disney's land metasticized in nearby Orange County.
I worked in "Surveillance Valley" for 20 years.
Now back in Whittier.

https://justmytoots.com/@mcorbettwilso[email protected]

Harvard Student. #linux lover. Avid NixOS and Arch Linux Fan. #FSF supporter.

PhD student with Ralf Hinze, Jurriaan Rot & Niels van der Weide 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

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding #Haskell and am a member of the #NixOS Haskell team and 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

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.

#programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself #indieweb #rss #blogging