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.

I recently wrote about the following things:

See the rest…


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