Electronics development and production, Python, NixOS

Internet software developer

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

(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

🇫🇷🇬🇧
Linux, Python and Homelab enthusiast

Security software engineer @ Edgeless Systems | #nixpkgs maintainer
#infosec #golang #Nix #NixOS #ReproducibleBuilds #ConfidentialComputing #Virtualization

🙋‍♂️ They/Them

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

Be excellent to each other.

Tech: #Apple, #nix, #SBC, #RetroGaming, #3DPrinting

Interested in home automation, Apple, web development, programming, network engineering, retro computing, hiking, and electronic music.

#HomeAssistant #KNX #ESPHome #macOS #iOS #MikroTik #Unifi #WebDev #HomeLab #Podman #ZFS #NixOS #systemd #OpenStreetMap

Messages supprimés au bout de 2 mois pour délester l’instance, mes photos restent dispo sur Ipernity (lien en bio)

#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

- 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

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

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

Wohne in #Hameln. Interessiere mich für die Lokalereignisse meiner Stadt und den #Journalismus dazu. War fast drei Jahrzehnte lokal aktiv beim Bund für Umwelt und Naturschutz Deutschland. Habe als #Polizei Gewerkschafter (GdP) meine Ämter weitergegeben. Engagiere mich aber in den Themenfeldern Gefahren für unsere #Demokratie und die Geschichte der Weimarer Republik (Polizei und #Reichsbanner Schwarz-Rot-Gold) Anmerkung: Hat nix mit „Reichsbürgern“ zu tun. Ist quasi das Gegenteil.

Rust, Nix, Open Source, ♥️ Systems and PL

I like building things for the web! Hope that's okay. (he/him)


Author of https://castling.club, #Rust & #NixOS enthousiast.

I'm interested in #Linux, #FOSS, data storage/management systems (#btrfs, #gitAnnex, #git), unfucking our society and a bit of gaming (#planetside2, #trackmania, #guildwars2, #BeatSaber).

I help maintain #Nixpkgs/‍#NixOS.

I use #emacs. I ride a #brompton. I like trains.

I prefer the truth – even if it is inconvenient.

Can be found IRL @cccda @RaumZeitLabor

If you need an open ear, you can talk to me about anything – no judgement.

Personal account: @umetA

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

internet dinosaur. dev.

compares everything to IRC.

#nixos #emacs #cpp

Macsico. Und sonst nix. Nicht immer objektiv, nicht immer folgerichtig, teilweise sogar vollkommen subjektiv.