Hack on operating systems and programming languages. He/Him.

Improve tooling for Guile and Guix.

Author of Guix Home, RDE, Arei/Ares Guile IDE.

74830A276C328EC2 at keyserver.ubuntu.com and keys.openpgp.org.

#plt #os #fp #lisp #scheme #clojure #guile #guix #nix #rde #emacs

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

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/

Professional full-time Nix hater and part-time Haskell liker. Former world's fastest Nameless One. Jewish refuge. Transbian menace 🏳️‍⚧️🏳️‍🌈. She/Her.

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

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

• 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

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

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

Hi, ich bin Pascal, ein Schüler aus Ludwigshafen am Rhein.

Ich
- fotografiere gern
- nutze #NixOS
- programmiere in #Python, #RustLang , #Kotlin & #JS

https://socialfolio.me/Cameo007

https://keyoxide.org/aspe:keyoxide.org:UMQXUAGZD2FKDDS4ZROP3XHXIE

Das ist nur für #Keyoxide:
$argon2id$v=19$m=512,t=256,p=1$5yi1Ae3rShdIUkDtt6l2kA$r/Kwm0dOTQlnjY2jKuZGQcKA27r5CN5omVn0Zx5UKMg

Tootfinder darf hier suchen.

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.

⁂

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

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

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google on http://github.com/google/googlesql

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

An annoying Rust person, reluctant Nix user, big linguistics/etymology fan, Need for Speed: Most Wanted enjoyer, and also queer I guess

Programming and Open-Source Enthusiast.
Studying Cybersecurity @ KTH 🇸🇪 | Studied Comp Sci @ IST 🇵🇹 | CTF Player @ STT & RoyalRoppers
#NixOS #Android #HomeAssistant

a rust developer who codes sometimes fun stuff, occasionally makes games. uses linux and sewerslvt as the center of xyr personality lol. 
speaks russian, english and hebrew but almost all the posts are in english. 
hate and love technology at the same time


 and 
 (rn most of the time i feel )
use #gentoo and #nixos


#nobridge

main interests: #programming, #music, #cooperatives

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

https://interstitial.coop

#fedi22

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

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

taugt nix

#golang; #rust; #nix; #nixos; #k8s; #docker; #security; #privacy; #foss; amateur socializer; reader; pet parent; occasionally #gaming; #queer