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:
- 01 Feb 2017 NaBoMaMo 2016 writeup
- 12 Jan 2016 In Python, default values are evaluated at import time
- 20 Aug 2015 A lens-based ST20 emulator