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

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

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

NGI Zero is a grant making program for R&D of free and open source technologies, coordinated by @nlnet in collab with @fsfe @APC @ps @techcultivation @ros @fsi @nixos_org @ISOCSwitzerland @apell @ow2 Tolerant Networks HAN Uni Brno Uni & OFE | Delivers technology for the #NextGenerationInternet
Account = run by NLnet
IMG: C. Jeschke | Unsplash

Languages: DE, EN

Over 11 years experience in Rust development and Nix/OS. 17 years experience in SW and F/LOSS development.
Works with Rust professionally and fulltime <3

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

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

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

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

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

Interested in self-hosting, data (visualization), NixOS among other things

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

Relentless creator,
making Unconventional tools 🙃
(for lazy devs)

- Black Magic Software -> Incantation to deal surgical panache hit and spark worldwide transformations.

- Software as Common Goods -> To free my homies from global mass harassment.

_________________

Enjoying computer freedom through #linux (mostly #NixOs and #OpenWrt).

Writing #rust everyday.
_____

_with great power_

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

Some lefti , NixOS , Linux , Chaos , Pragmatist

I write (and sometimes rant) here about my DevOps experience at work, the hackspace and at home.

Don't be afraid of colorful flags 🏳️‍🌈🏳️‍⚧️🚩🏴

"If the rules are the problem, the rules must change!" ~ don't know

Nicht mein Zirkus - nicht meine Affen.

Eishockey, dazu Retrogaming, und von allem nix. Des glangt ma.
EC Kassel olé!
#FCKNZS
#noafd

ⓘ 𝘛𝘩𝘪𝘴 𝘶𝘴𝘦𝘳 𝘪𝘴 𝘴𝘶𝘴𝘱𝘦𝘤𝘵𝘦𝘥 𝘰𝘧 𝘣𝘦𝘪𝘯𝘨 𝘱𝘢𝘳𝘵 𝘰𝘧 𝘢 𝘵𝘦𝘳𝘳𝘰𝘳𝘪𝘴𝘵 𝘰𝘳𝘨𝘢𝘯𝘪𝘻𝘢𝘵𝘪𝘰𝘯 𝘤𝘢𝘭𝘭𝘦𝘥 𝘈𝘯𝘵𝘪𝘧𝘢. 𝘗𝘭𝘦𝘢𝘴𝘦 𝘳𝘦𝘱𝘰𝘳𝘵 𝘢𝘯𝘺 𝘴𝘶𝘴𝘱𝘪𝘤𝘪𝘰𝘶𝘴 𝘣𝘦𝘩𝘢𝘷𝘪𝘰𝘳.

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

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

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

I did, why don't you?
Interested about everybody and anything.
Will toot info regarding science, computers, hacking, people, life.
No Input = No Output.
DBA.
#sqlserver #oracle #postgresql #mysql #mssql #nix #oda #dba #nezrouge #oasg #sdfa #pitsecurity #ipsc #volunteering #curling #reading #blackholes #astrophysics #gtd #lockpicking #ham #amateurradio #cb #pihole #raspberrypi