[2021.03.31] Deo Optimo Maximo

[2021.03.30] Cancelling

[2021.03.29] Collaborations

[2021.03.28] Bad Sleep

[2021.03.27] Open Library

[2021.03.26] Connect Four

[2021.03.25] Reinforcement Learning Virtual School

[2021.03.24] Sentier du Littoral

[2021.03.23] Generating Proofs

[2021.03.22] Busy Week

[2021.03.21] Turkestan Russe

[2021.03.20] Cycling Tunnels

[2021.03.19] New Lockdown

[2021.03.18] Interviewing Again

[2021.03.17] More cycling

[2021.03.16] Proof assistants now and then

[2021.03.15] arXiv

[2021.03.14] dot2tex

[2021.03.13] Modularity

[2021.03.12] asyncio

[2021.03.11] Internships

[2021.03.10] Le Mug et Les Fourmis

[2021.03.09] Belgian Beer

[2021.03.08] International Women's day put another way

[2021.03.07] Croissants

[2021.03.06] Becoming a Mathematician Again

[2021.03.05] Totalitarian Seminar

[2021.03.04] More Residuation Magic

[2021.03.03] Merry Weather

[2021.03.02] Residuated Binars

[2021.03.01] Python Client to Isabelle Server