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