Enter the void *

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.


algebra avr bot comonad conway ctf ddr debian emulator fuzzing haskell lenses life linux lvm meta nabomamo ocaml python rails secretsanta security slack stripe tex types zsh