About this blog
Hello! I am a French computer scientist specialized in formal methods.
This blog is mostly about security, types, functional programming and free software.
I recently wrote about the following things:
- 02 Jun 2025 Using rclone mount with systemd on nixos
- 26 Jul 2024 Introducing tree-sitter-dune
- 03 Aug 2020 Fuzzing OCamlFormat with AFL and Crowbar