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.

Tags

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