Blog

Browse all tags

An Introduction to Girard's Geometry of Interaction

A mathematical abstraction of proofs for an autonomous explanation of logic
formal logicproof theorylinear logic

Bitcoin in a few words

Simple explanations for very lazy people
cryptocurrenciesblockchaindistributed computingcryptographyanarcho-capitalism

Monads in a few words

Simple explanations for very lazy people
monadsfunctional programmingocaml

Typst in a few words

Simple explanations for very lazy people
typsttypesettingtutorial

Mes stratégies pour réussir un examen à l'université

Quelques astuces simples et observations venant de mon propre parcours universitaire
frenchuniversityexams