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

Tech by the people, for the people.

Washing up ⌨️ #RISCV #RiscvAssembly washing up #Raspberrypi sorting socks 🗜️ #tibber taxi service #HomeLab #macOS shopping
⚛️ #physics cooking 🧮 #mathematics homework 🧘🏻‍♂️ #iyoga #choir #iyengaryoga
#meshtastic 🦀 #nixos #reticulum #radicle 👾
(Photo: Steve Carter @GetCarter )
@homelab
LXMF: fa01207bb431ff3aeea472de3e81beab
http://loramesh.i2p/

my opinions are those of your lawyers, I am not an employer, and most importantly I am not *YOUR* employer.

I am forklift certified

#nixos #bi

🇺🇦

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)

🙋‍♂️ They/Them

JavaScript fanboy and expert in bug creation. I also do Nix things.

Be excellent to each other.

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

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

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

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

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

🇫🇷🇬🇧
Linux, Python and Homelab enthusiast

Writing Android keyboards (https://codeberg.org/natkr/flickboard) for fun, Kubernetes operators for money. Sometimes helps maintain https://kube.rs. Enjoys (the idea of) Nix.

Swedish, but bad at it.

Queer. Fascists can go pound sand.

J'aime les #Maths, l'#Informatique, les #JeuxVidéo #JeuxDeSociété, les #JeuxDeRôle, la #SF et la #Fantasy
Je suis en M1 d'informatique à l'École normale supérieure (ENS Ulm)
Je code en #Rust #RustLang, en #OCaml et en #Python
J'utilise #NixOS, ou Windows avec #WSL

Software developer, free software enthusiast, community organizer, "philosopher" and much much more!!!

#python #nixos #linux #devops

I'm a self-aware composite life form comprised of trillions of interdependent microorganisms, a contemporary link in a 4 billion year self-replicating carbon-based chemical process.

Interests: NixOS, Guix, Qubes OS, PostmarketOS, Python, Bash, Lisp, C, Rust, Go, hacking, ham radio, DIY electronics, world cultures, physics, evobio, climate, urban planning, systems theory, political philosophy, feminism, queer theory, theology, synthesizers, prog metal, soul, jazz, sci-fi.

⚥
♾️❤️

Trying to resist the organization by self-hosting. The organization is the organization.

I like in no particular order: #skateboarding, #surf, #tea, #programming, #startrek, #science, #Japan, #initiald, #mahjong, #go, #shogi, #anime, #steinsgate, #kanji, #homelab, #gaming, #nix, #nixos.

🇪🇺🇮🇹🇺🇦🏳️‍🌈

Mobile Linux:
- OnePlus 6 with #postmarketOS (in a drawer 🙁)
- #SteamDeck

Despite many vaccines and monoclonal antibodies, I still can't receive 5G without a smartphone.

Electronics development and production, Python, NixOS

Always working on something — usually in Python or Rust, with Kubernetes and NixOS. Into open source and digital sovereignty. Available for freelance and advisory work.

I am #AntiFA
Astronauts always said upon return from space flight: I Haven’t seen any borders from orbit, just a beautiful blue ball. Therefor: #NoBorders #SlavaUkraini
And: #nvim #homeassistant #floss #esp32_8266 #raspi #grafana #nixos #linux #linuxOnOldAppleHardware #tinkering #python #ClimateCrisisIsHappening #archlinux #hyprland #MechanicalKeyboards #Keyboards
Why the clippy? Watch: https://youtu.be/2_Dtmpe9qaQ?si=K70CP0UXBjyCWiZ4

- Clinical Data Scientist / Forward Deployed Engineer @ Newton's Tree
- PhD Graduate in Haemodynamics + AI
- Previously worked within MRI Physics @ NHS
- Member of the Church of Emacs
- Linux + Gentoo + Nix
- Works with Python, R & SQL
- Plays with Fortran, Common Lisp, Emacs Lisp & Rust

Programmer at ehro.app. Animal rights activist at @observatoireduspecisme. Author of Génies du code, an illustrated book to learn web programming.

I don’t toot often, but when I do it’s in english and sometimes in french.

HTTP/1.1 418 I’m a teapot.

#django #elm #nixos #python #animalrights