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:
- 03 Aug 2020 Fuzzing OCamlFormat with AFL and Crowbar
- 01 Feb 2017 NaBoMaMo 2016 writeup
- 12 Jan 2016 In Python, default values are evaluated at import time