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…

Tags

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