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/

• 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

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"

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

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

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

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

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

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

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

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

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

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

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

Tech by the people, for the people.

Washing up ⌨️ #RISCV #RiscvAssembly washing up #Raspberrypi sorting socks 🗜️ #tibber taxi service #HomeLab #macOS shopping
⚛️ #physics cooking 🧮 #mathematics homework 🧘🏻‍♂️ #iyoga #choir #iyengaryoga
#meshtastic 🦀 #nixos #reticulum #radicle 👾
(Photo: Steve Carter @GetCarter )
@homelab

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

★ Es gibt nix Gutes, ausser 😷 toot es
★ Boosted means boss move
★ Weckt mich wenn Revolution ist
★ Alpaca 🦙 Ozelot 🐆 Axolotl 🦎
★ Allen alles
★ Auf allen Spektren

"hard to like"

Community care for mental health, mutual aid for all.

Life is difficult in these times, feel free to ask me for help.

write: D/E/F/ read: Sp/It/Port

#Muskodus #Twexit #LongCovid #UrbanLoveWarrior #TootFinder #FamilyAbolitionist

Hi!

NixOS newbie, Nvim lover, film enthusiast and orchard keeper amateur

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

Post in English and Chinese.