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

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

Velotafeur, mais geek avant tout, hacker, Devops, auteur & contributeur du libre. Python, Docker, NixOS/Archlinux addict #JeSuisUnDesDeux #velotaf #LiberezLaData

Montpellier · bruno.adele.im

Former SysAdmin, Qt C++ dev, python automation tinkerer. Motorcycle rider. Trainee bus driver.

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

Hi!

{
"role" : “#infosec #OT #IT #consultant",
"certifications" : ["#CISA", "#CRISC", "#CISSP", "#CEH"],
"interests" : ["#python", "#nixos", "#linux", "#qubes", "#graphene", "#securityonion", "#proxmox", "#openwrt", "#opnsense", "#routeros"],
"hobbies" : ["#photography", "#hamradio", "#amateurradio", "#hillwalking", "#climbing", "volleyball"],
"HAMcallsign" : "OM0MO",
“location” : [“#Devin”, "#Bratislava", “#Slovakia”, "#Europe"],
"photolinks" : ["https://www.flickr.com/photos/martinbrechtl", "https://unsplash.com/@Majc0", "https://www.qrz.com/db/OM0MO"],
}

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

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

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

🇩🇪 in 🇹🇼

Writing software on disk and in flash. (系統軟體工程師) at Framework Computer

OS: @NixOS_org

Interested in self-hosting, data (visualization), NixOS among other things

I like hardware and software I can tinker with.

Interested in decentralization, selfhosting, overlay networks, cryptography, hardware.

Posts mainly in Russian, and occasionally in English. Boosts on the other hand are mostly English.

Свободу российским политзаключённым. Те кто стоят за репрессиями обязательно за это ответят. И за остальное тоже. 🦄☮️@

★★★☆☆ 🇺🇸
☆☆☆☆☆ 🇩🇪
★☆☆☆☆ 🇯🇵
★★★★★ 🇷🇺
★☆☆☆☆ 🇷🇸

#fedi22 #decentralization #encryption #linux #nixos #foss #selfhosting #electronics

alles und nix

I like to build simple, secure and resilient information systems to empower and connect people. I believe that this is best done with Free Software, open data standards, open protocols, and restrained craftsmanship.

I am happiest when I get to do this work with those fighting fascism, ethnic-cleaning, genocide and protecting our environment.

To make a living, I provide consulting and coaching services for software, data, and security engineering.

#guix #nix #nixos #scheme #lisp #commonlisp #clojure #emacs #orgmode #privacy

A Japanese developer and Data Science student based in the U.S., interested in Open Source, Nix, and Zig.

Nicht mein Zirkus - nicht meine Affen.

Eishockey, dazu Retrogaming, und von allem nix. Des glangt ma.
EC Kassel olé!
#FCKNZS
#noafd

ⓘ 𝘛𝘩𝘪𝘴 𝘶𝘴𝘦𝘳 𝘪𝘴 𝘴𝘶𝘴𝘱𝘦𝘤𝘵𝘦𝘥 𝘰𝘧 𝘣𝘦𝘪𝘯𝘨 𝘱𝘢𝘳𝘵 𝘰𝘧 𝘢 𝘵𝘦𝘳𝘳𝘰𝘳𝘪𝘴𝘵 𝘰𝘳𝘨𝘢𝘯𝘪𝘻𝘢𝘵𝘪𝘰𝘯 𝘤𝘢𝘭𝘭𝘦𝘥 𝘈𝘯𝘵𝘪𝘧𝘢. 𝘗𝘭𝘦𝘢𝘴𝘦 𝘳𝘦𝘱𝘰𝘳𝘵 𝘢𝘯𝘺 𝘴𝘶𝘴𝘱𝘪𝘤𝘪𝘰𝘶𝘴 𝘣𝘦𝘩𝘢𝘷𝘪𝘰𝘳.

Ich spiele für mein Leben gerne und dies am liebsten unter Linux. Verrückt? Ja! Aber es macht riesige Freude. Meine Erlebnisse damit, sowie Berichte über die Mobs und Endgegner die mir dabei so über den Weg laufen, werde ich hier dokumentieren und teilen.

P.S. Für witzigen Sachen und politisch relevanten Themen bin ich auch zu haben.

⚠️ manchmal Kompensationsaccount fürs Reallife

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

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

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

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