Blog

• An introduction to Girard's geometry of interaction

  2025-08-12

  A mathematical abstraction of proofs for an autonomous explanation of logic

  • formal logic
  • proof theory
  • linear logic
• Bitcoin in a few words

  2024-11-24

  Simple explanations for very lazy people

  • cryptocurrencies
  • blockchain
  • distributed computing
  • cryptography
  • anarcho-capitalism
• Monads in a few words

  2024-09-05

  Simple explanations for very lazy people

  • monads
  • functional programming
  • ocaml
• Typst in a few words

  2024-09-04

  Simple explanations for very lazy people

  • typst
  • typesetting
  • tutorial
• Mes stratégies pour réussir un examen à l'université

  2024-08-11

  Quelques astuces simples et observations venant de mon propre parcours universitaire

  • french
  • university
  • exams