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

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

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

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

Hi, ich bin Pascal, ein Schüler aus Ludwigshafen am Rhein.

Ich
- fotografiere gern
- nutze #NixOS
- programmiere in #Python, #RustLang , #Kotlin & #JS

https://socialfolio.me/Cameo007

https://keyoxide.org/aspe:keyoxide.org:UMQXUAGZD2FKDDS4ZROP3XHXIE

Das ist nur für #Keyoxide:
$argon2id$v=19$m=512,t=256,p=1$5yi1Ae3rShdIUkDtt6l2kA$r/Kwm0dOTQlnjY2jKuZGQcKA27r5CN5omVn0Zx5UKMg

Tootfinder darf hier suchen.

Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

🇫🇷🇬🇧
Linux, Python and Homelab enthusiast

Free‑software advocate passionate about digital rights, privacy, security, and programming. I use Linux, GrapheneOS, Tor, Proton, Mullvad VPN, NixOS, and Signal etc. to safeguard my freedoms.

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

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

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

names: Rain (レイン), Luka (ルカ), Anna (アナ)

- likes programming in Rust, Java ​
- using NixOS and maintainer for nixpkgs
- NixOS servermaid
- foxgirl between feral and domesticated, likes cuddling, will hug a Blåhaj and hide her face with it sometimes
- 🏴‍☠️
- does 3d art and drawing
- experimenting with music with LMMS and a MIDI keyboard (need to repair)
- electronics projects with rust for ESP32 :3
- ATX kink
adult.

you can flirt with this one, pet it or put it on a leash

rail girls ❤️🛤️

might post nudes

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

Perpetually distracted software engineer.

Protocols, not Platforms.
Comma Abuser.

I use NixOS, btw.

#swift #accessibility #gamedev #steamdeck #sumo #linux

Machine learning #ML, #Rust, #macOS, #NixOS.
If AI is the future, it must be open.

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

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

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

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

#golang; #rust; #nix; #nixos; #k8s; #docker; #security; #privacy; #foss; amateur socializer; reader; pet parent; occasionally #gaming; #queer

interested in language, phonetics, conlangs, maps, geography, evolution, self help, privacy, anonymity, foss, Linux : nixos, void, opensuse, rhino ; weird music genres, rust, cod, fedi, anime, cinema, socionics, data analysis, interlingue, management

I am NOT lazy, quitter, indecisive, sorry NOW

MBTI : ENFP
Socionics : IEE-H

Rust developer.

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