Awesome Nix accounts on Mastodon.
Nix
Andrew Tropin
@[email protected]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
QuadRadical
@[email protected]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).
👽🐦🦇🐉💻
@[email protected]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/
Zoe : Void -> a
@[email protected]Professional full-time Nix hater and part-time Haskell liker. Former world's fastest Nameless One. Jewish refuge. Transbian menace 🏳️⚧️🏳️🌈. She/Her.
🇺🇦 haxadecimal 🚫👑
@[email protected]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
Andrew Helwer
@[email protected]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
🏳️🌈🎃🇧🇷Luana🇧🇷🎃🏳️🌈
@[email protected]• She/Her • 21 • 🇧🇷, talk 🇧🇷🇬🇧 • Valve & FOSS fangirl • Mermaid 🧜♀️ • Otherkin • 🏳️🌈 Lesbian ⚢ •
Loves #swimming, #cooking, #mermaids and #gaming. #OpenSource everything. #Linux user.
Searchable!
Migrated from @luana
Yann Büchau
@[email protected]
(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)
Pascal Dietrich
@[email protected]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.
Varbin
@[email protected]
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)
Cass Alexandru @TYPES, Zurihac, PLDI
@[email protected]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
Abhinav 🌏
@[email protected]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
radentscheiderin :ferris:
@[email protected]An annoying Rust person, reluctant Nix user, big linguistics/etymology fan, Need for Speed: Most Wanted enjoyer, and also queer I guess
Diogo Correia
@[email protected]Programming and Open-Source Enthusiast.
Studying Cybersecurity @ KTH 🇸🇪 | Studied Comp Sci @ IST 🇵🇹 | CTF Player @ STT & RoyalRoppers
#NixOS #Android #HomeAssistant
vavakado
@[email protected]
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
pr06lefs
@[email protected]main interests: #programming, #music, #cooperatives
more specifically: #rust, #elm, #nixos, #guitar, #oldtime, #fiddle, #banjo, #cooperative, #linux, #musician
chfkch
@[email protected]
Technical IT consultant
Bicycle enthusiast
interested in Linux and FOSS (not exclusively)
scvalex
@[email protected]Computing enthusiast, distributed systems developer, GM of D&D and Lancer, NixOS and Kubernetes user, Rust and Elixir enjoyer, Deadlock player
and
(rn most of the time i feel
)