🇫🇷🇬🇧
Linux, Python and Homelab enthusiast

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

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

I trust code more than politics.

Always busy with computer, tech stuff and mostly #linux #arch #nixos and #python #freebsd
Interested in energy reduction, measurement. A little politics but mostly fun and itchy remarks which trigger thinking. So read and keep smiling 🙂
Posts are deleted periodically, toots are time bound, just as humans.

Locked account but feel free to ask to follow, I will follow back
#nobots please

https://justmytoots.com/@justdude@mastodon.nl

Gibt nix

#photography #quadcopters #hiking #cycling #climbing #bouldering #linux #nixos #rust #nobot

[⁂](https://symbol.fediverse.info/en)
Interests: #linux #politik #vegan #datenschutz #verbraucherschutz #privacy #NixOS #decentralization #opensource #unplugTrump #LineageOS #nobridge

🐧 ❄️

An annoying Rust person, reluctant Nix user, linguistics/etymology fan, "Need for Speed: Most Wanted" enjoyer, and apparently trans

🙋‍♂️ They/Them

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

Be excellent to each other.

Rust developer.

CTF player (web, rev) with kalmarunionen
NixOS enthusiast.
EN/日本/PL

I mostly pouet about software development, do bad puns, and troll acquaintances. Also #haskell, #nix, #rust and alikes.

My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.

Currently freelance at the French NAP: https://transport.data.gouv.fr

SRE at reMarkable. Acmeist with a declarative fetish. Hates the slow. Maker. Coder. Reader. Gamer. Writer. Specialisation is for insects. tfr #nim #prometheus #kubernetes #nix #monitoring #golang

Oh, bueno. Vengo a husmear por aquí. Las redes de Meta me agobiaron, Tweeter siempre fue un asco, y el resto no se sienten como lugares seguros...

🇻🇪 Tengo 22 años. He vivido crónicamente online desde los 11. Me gustan los tiburones y la naturaleza. Soy anarquista y algo distraídx.

I use NixOS, btw

Preguntame de música si quieres que hable largo y tendido.
ヾ(・ᆺ・✿)ﾉﾞ

Messages supprimés au bout de 2 mois pour délester l’instance

#ResistGenAI #NoAI
#photography
#ErgoL (ex #bépo) #splitkeyboard #mechanicalkeyboard
#jeuxvidéo
#nvim #rustlang
#NixOS #Linux

« La vie, c’est comme une balançoire : il y a des hauts et des bas, mais il y aura toujours un enfoiré pour te foutre le cul par terre. » — Moi

(he/him) Environmental Scientist/Meteorologist @umphy. Built a low-cost CO₂ sensor network to monitor natural CO₂ emissions (dissertation: http://dx.doi.org/10.15496/publikation-117538), now developing meteorological payloads for multicopters.

#Linux #NixOS #FOSS #SailfishOS

#vim #git #gitAnnex #TeXLaTeX #OpenSCAD #SolveSpace

#Python
#hledger #plainTextAccounting

(tfr)

Previously known as @maikel

An 88.4 kilograms bundle of joy powered by Elvanse, cis gay mixed race male, Spain/UK based, adopted Brit.

Into: minimalism, decretionism, mutualism, left-wing politics, decent public services, Elixir, Kotlin, Nixos, FOSS, EU products, vantablack sense of humour, fitness, healthcare and impailed-billionaire cooking recipes.

#nobots

#ADHD #Elixir #Spain #Minimalism #UK #Linux #Nixos #FreeBSD #Kotlin #Fitness

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

❄️ NixOS 🤩 (Security, Infra, Python and Release-Manager 22.11/23.05)

Day: Network & Infrastructure.
Night: FOSS, Home Automation

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

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google on http://github.com/google/googlesql

If you want to follow me, please make sure your profile has some info that helps me learn about you.

#programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself #indieweb #rss #blogging

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