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

Living in Seattle, WA, USA. Non-technical hobbies include BJJ & birdwatching.

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

Nationality: #Canada #Ontario
Likes: #Programmer #Programming #Furry
Fursona: #Birgot #Dragon #Bird #Bat #Thymeis
Sexuality: #CisGender #Asexual #Aegosexual #Fictosexual #Teratophilia
OS(first is current, last is past): #NixOS #Arch #Gentoo #Sabayon #Voyager #Manjaro #LinuxMint #Windows7 #WindowsXP #Windows2000
pronoun thingy: https://en.pronouns.page/@loganer
current profile (cropped by me using gimp) full image done by https://www.reddit.com/user/Mk_Artist/

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

Jugadora Élite del mítico juego Defiance que renació de sus cenizas como el Fénix🔥🐦 que esta en el logo de la compañía que lo trajo de vuelta, Fan de Crono trigger : el agua llama al viento y el viento hace al fuego bailar"

Loves hacking on infrastructure at home or at my local hackspace. Lately especially in love with Nix(OS)
Otherwise touches computers way too much.
Meow
Trying to figure out this whole gender thing.
Posts mostly in English, sometimes German.
Feel free to follow request.

💜 @yuri

Hello, I'm Henry Hiles, a developer specialising in NixOS system administration and Flutter development. I'm proficient with Nix, Dart, and Bash.

I build maintainable, declarative, and reproducible systems with Nix, usually using flakes, flake-parts, and Agenix. However, I can quickly adapt to any other preferred system. I also build high-performance, intuitive apps with Flutter, usually using Riverpod, Freezed, and Flutter Hooks.

I am into #foss, #linux, #nixos, #selfHosting and #postmarketOS.

I occasionally boost posts without alt text (mostly of raccoons or cats, nothing important).

• She/Her • 21 • 🇧🇷, talk 🇧🇷🇬🇧 • Valve & FOSS fangirl • Mermaid 🧜‍♀️ • Otherkin • 🏳️‍🌈 Lesbian ⚢ •





Loves #swimming, #cooking, #mermaids and #gaming. #OpenSource everything. #Linux user.

https://luana.dev.br/

Searchable!

Migrated from @luana

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

[⁂](https://symbol.fediverse.info/en)
Interests: #linux #politik #vegan #datenschutz #verbraucherschutz #privacy #NixOS #decentralization #opensource #unplugTrump #LineageOS #nobridge

🐧 ❄️

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

A Japanese developer and Data Science student based in the U.S. I'm Interested in Open Source, ML, Nix, Zig. I'll share my projects and writing, and look forward to communicating with others here

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.

I prefer the truth – even if it is inconvenient.

Can be found IRL @cccda @RaumZeitLabor

If you need an open ear, you can talk to me about anything – no judgement.

Personal account: @umetA

Member of @dielinke #FCKPTN #GrassyTramTracks #NixOS #Vegan

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

An app developer.
- Ducky Model Editor @ducky
- Crowfi @crowfi

Post in English and Chinese.

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

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

Professional electrical/mechanical engineer and at home tinkerer.

Repairer at several repair cafés in Berlin.

Language: English/Dutch/German

Header shows the Nixie clock I made some years ago (and a vinyl record player behind it).

Ich spiele für mein Leben gerne und dies am liebsten unter Linux. Verrückt? Ja! Aber es macht riesige Freude. Meine Erlebnisse damit, sowie Berichte über die Mobs und Endgegner die mir dabei so über den Weg laufen, werde ich hier dokumentieren und teilen.

P.S. Für witzigen Sachen und politisch relevanten Themen bin ich auch zu haben.

⚠️ manchmal Kompensationsaccount fürs Reallife

grosses Maul und nix dahinter.

Der Zweck eines Systems ist, was es tut.

@kami_kadse
@[email protected]

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

Immer mal wieder neu, die ältesten Spiele und viel Gelaber um nix; Tüddeldraht!