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).

Security software engineer @ Edgeless Systems | #nixpkgs maintainer
#infosec #golang #Nix #NixOS #ReproducibleBuilds #ConfidentialComputing #Virtualization

Ich bin unbeaufsichtigt. Queer. HIV. (Er/ihm) they/them.

Manchmal bin ich #Autor, manchmal #Nerd und manchmal hänge ich einfach nur so an der Straßenecke herum und schimpfe auf Heteros. Demimale aber eigentlich geht dich das auch nix an.

#39C3 Content-Team-Hausmeister/Referent*innenbetreuung

🇪🇺 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

🏳️‍🌈🏳️‍⚧️

Fortschritt, Nachhaltigkeit, Fürsorge | Progress, Sustainability, Care

🛠️ Aramaki – a federated DevOps control plane

❤️ Cynefin, CAS, Python, NixOS, batou, Ceph, Qemu, Linux, pycountry

... and in a former life: Zope and ZODB

Founder and CEO at flyingcircus.io

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

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

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

🧑🏿 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

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/Structured Recursion Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend Boulderer #meditation Yin #maker 🇪🇺an

Internet software developer

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

Computing enthusiast, distributed systems developer, GM of D&D and Lancer, NixOS and Kubernetes user, Rust and Elixir enjoyer, Deadlock player

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

Hi!

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

Three anxious sysadmins in a trenchcoat. DevOpsSec mercenary. CTO of Antifa.
#nix #rust #python #ruby #linux

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

Some lefti , NixOS , Linux , Chaos , Pragmatist

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

❄️ NixOS 🤩 (Security, Infra, Python and Release-Manager 22.11/23.05)

Day: Network & Infrastructure.
Night: FOSS, Home Automation

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

I mostly pouet about software development, do bad puns, and troll acquaintances. Also #haskell, #nix, #rust and alikes.

My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.

Currently freelance at the French NAP: https://transport.data.gouv.fr

(he/him) Environmental Scientist/Meteorologist @umphy. Built a low-cost CO₂ sensor network to monitor natural CO₂ emissions (dissertation: http://dx.doi.org/10.15496/publikation-117538), now developing meteorological payloads for multicopters.

#Linux #NixOS #FOSS #SailfishOS

#vim #git #gitAnnex #TeXLaTeX #OpenSCAD #SolveSpace

#Python
#hledger #plainTextAccounting

(tfr)