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

Open on gts.zimbatm.com

I like to build little tools: direnv, treefmt, ...

Bringing open source to companies with Numtide.

Interests: gaming, films, Haskell, Nix, Anti-capitalism, the Small Web, cooking.

student, security software engineer, ctf @fluxfingers

Rust programmer, Haskell enthusiast

Software Engineer (or at least I try). 

My interests range from Open Source, Ethereum, Nix, and Businesses. 

Creator of Ethereum.nix!

And whenever possible I enjoy a good 🍺

Hello there, I am Janik a human being (probably).

I'm currently in an Apprenticeship where I have fun while developing in production.

In my spare time I'm active @Nerdberg
The German Redcross
And do some #NixOS development
I also like to do event stuff for chaos-ish events.
🐈

Software-Entwickler, Content Creator, Minimalist, Gamer, Aktivist

A normal human with regular interests.

Nonbinary trans (they/them), still discovering.

Music! Food! Yelling! Software! Other stuff!

Living in Seattle

Student at ENS Ulm in computer science, mathematics, geopolitics and public policies : formal verification maximalist.

President & core contributor at https://mangaki.fr, an open source recommender system for anime & mangas.

Contributor to the NixOS project and Lean theorem prover.

Often available for nerdsnipping or contracting for fun subjects, check my interests on my website!

Profoundly unsatisfied on politics discourse, anti-fascist, fan of https://catala-lang.org/.

I use this account primarily for my interest in technologies

IT consultant, Munich. he/him/they.

Private account, my opinions.