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

YAML engineer by day, Youtube beauty vlogger by night.

I make videos about technology, self-hosting, *nix, home servers and potato routers.

Also into cycling, NixOS, music production and languages

EN, DE, FR, RU

Nix and NixOS Geek
Love Linux, FOSS, Devops etc❤️🙌
Exploring, Learning and Implementations quench my curiosity than anything else

A passionate Linux and Nix guy😁
Love to solve problems
Bassist on Hiatus
Love Music, Anime, Good stories etc
Basically a being who admires and love to be creative

Alt Text:
The profile pic is a character named Hinata Shoyo from the anime Haikyuu and the Banner pic is Nix logo showcasing the account owner is anime and tech otaku.

#nix #nixos #linux #FOSS #Anime

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

🇩🇪 develops rustlang w/ vim
🐧 on nixOS w/ sway
🦜 animates things w/o routine

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

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

Latest Home Manager news.

Unofficial, operated by @katexochen.

Also available on Bluesky, as https://bsky.app/profile/hmnews.bsky.social.

Hosted at https://github.com/katexochen/hmnews-bot.

#NixOS #Nix #HomeManager

Web developer in #Drupal tooting about #Writing, #Linux, and #Programming.

I maintain the Drupal service for #NixOS

Sometimes contributor to #FOSS projects.

Trans rights are human rights. Black lives matter.

Opinions are my own.

Avatar Alt Text: A giant plushie banana slug surrounded by smaller plushie banana slugs. The big slug has a tag that says "I Can't Be Bought".

Banner Alt Text: A mossy green stump with a little cluster of tiny, cream colored mushrooms.

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

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

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

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

GNU Guix is a package manager and GNU/Linux distribution with advanced features like per-user package installations and reproducible development environments. It uses the functional approach pioneered by #nix and adds a system DSL using Guile Scheme.

GNU Guix is a free software project developed by volunteers, under the umbrella of the GNU Project. GNU Guix is committed to respecting and enhancing the freedom of its users #gnu #foss #freesoftware #linux.

Posts by @futurile and Guix volunteers

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

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

Internet software developer

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

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

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

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