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 bot comonad conway ctf ddr debian emulator haskell lenses life linux lvm meta nabomamo ocaml python rails secretsanta security slack stripe tex types zsh