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

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

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)

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

🇺🇦

🙋‍♂️ They/Them

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

Be excellent to each other.

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/

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.

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

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

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

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

Interests:
#cats #linux #hardware #programming #opensource #games #gamedev #godot #manga #anime #trains #lego

Operating Systems:
#nixos at home and in production
#debian and #macos9 in powermac
#postmarketos in old devices

Programming languages:
Like = #python #rustlang #assembler #dartlang
Its complicated = #clang #cpp #cpplang #java #csharp
Dislike = php javascript bash lua

Human languages:
ENG, SPA, EUS

rawr x3 profile in progress foss guy

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.

⚥
♾️❤️

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

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

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.