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

interested in #RISC-V #Rust , #Swift, #NixOS , #SIMD, #Firefox, #QUIC, #HTTP/3, #Linux, #io_uring, #JPEG-XL , #AV1, #USD, #Vulkan, #WebGPU

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

Hobbybäcker und Läufer.
Wahlduisburger mit einer Vorliebe für gutes Essen. Kuchen geht immer 😀
Beruflich mache ich irgendwas mit IT - im ÖD, also nix für Weicheier und ein Zeichen von Leidensfähigkeit. 
Professioneller Facepalmer - manchmal braucht der Mensch mehr Finger.
 #laufen #brotbacken #sauerteig #duisburg

Internet software developer

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

🇫🇷🇬🇧
Linux, Python and Homelab enthusiast

Rust developer.

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

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

(doom, sludge, …) metal, macos, nix(os), nix-darwin, binnen:, he/his, neurodingens, werder

You can’t change the people around you, but you can change the people around you.
#fedi22 #fotos #Blogg #Buch #Kunst #NixMussTunMehr

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

#LogicielLibre - #Nixos - #Grapheneos - #Vélotaf - #OSM - #openstreetmap - #MonnaieLibre - #j2s - #BoardGameArena - #SaintNazaire (44)

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)

I talk to machines.

Indie quant developer and algo trader teaching ordinary folks to fuck a system designed to oppress them. Polyglot software engineer (#Haskell, #Erlang, #Scala, #Nix, #NixOS, #Fsharp, #Python) and recovering software engineer in "tech".

Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.

Antifascist, immigrant, gay af. #effice

#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

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