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:
- 26 Jul 2024 Introducing tree-sitter-dune
- 03 Aug 2020 Fuzzing OCamlFormat with AFL and Crowbar
- 01 Feb 2017 NaBoMaMo 2016 writeup