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.

Rust programmer, Haskell enthusiast

Software developer at Stronghold Investment Management in Austin and erstwhile electronic musician https://nertzy.com

Author of the Ruby gems pg_search and with_model

Formerly: Olin College ('06, Partner), Spiceworks, Pivotal Labs

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

If you want to follow me, please make sure your profile has some info that helps me learn about you.

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/.

Rust, NixOS, Minimal/Techno/Trance/PsyTrance

:rust: :nixos: :neovim: :ms_music_notes:

Languages: EN , DE

Works on Rust OSS professionally and fulltime <3

(Came from mastodon.technology, joined mastodon first in 2018)

Hi.

I'm Ben.

For fun I ride my bike around Berlin and build pretty things with LEDs and microcontrollers.

I'm also interested in programming language design/theory stuff - my maths degree intersecting with my programming interest/job

Also in my spare time, I help run a refugee reception service in Berlin for people arriving from Ukraine.

future trophy husband

curious expert yak-shaver, posts about technology, food, life. yearns for maths, health and the outdoors.

Making Nix easier.