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

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

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

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

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

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

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

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

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

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

Security software engineer @ Edgeless Systems | #nixpkgs maintainer
#infosec #golang #Nix #NixOS #ReproducibleBuilds #ConfidentialComputing #Virtualization

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

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

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

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.

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

• 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

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

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

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

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