Jonas Chevalier 🦙 :Twitter_Verified_Badge: zimbatm@gts.zimbatm.com

Software engineer (Nix, NixOS, Disnix, libiff, etc.)

nixpkgs enthusiast from Germany

Category Theory Agda Haskell Nix Emacs Recursion Schemes Generic Programming Language Acquisition New Masculinities Vegan Sustainable Skeptic Friend Meditation Yin Maker 🇪🇺an

I have a long standing passion for computers, technology and an unquenchable thirst for understanding, in incredible detail, how these technologies function. I have experience that extends from embedded systems, micro-architecture design, and instruction set architectures, all the way to both front and backend web application development and automated deployment to both public clouds and private infrastructure.

Debian GNU/linux User and Web Developer

#linux, #FOSS, #debian, #vim 🛡️ 🔓

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

Scala :scala: / Java :java: / Python :python: Engineer based in San Francisco Bay Area. Interests in NixOS :nixos: , Functional Programming , Haskell, Swift Lang. Life long fan of all things unix, linux and FOSS. ex- C Programmer. As controversial as it is I am also a big Apple fanboy.

🏴󠁧󠁢󠁥󠁮󠁧󠁿 Originally from London, England! 🏴󠁧󠁢󠁥󠁮󠁧󠁿

My posts are licensed CC-BY-NC-ND - see https://creativecommons.org/licenses/by-nc-nd/4.0/

makes Lean at Lean FRO