(TXT) [2021.03.31] Deo Optimo Maximo
 (TXT) [2021.03.30] Cancelling
 (TXT) [2021.03.29] Collaborations
 (TXT) [2021.03.28] Bad Sleep
 (TXT) [2021.03.27] Open Library
 (TXT) [2021.03.26] Connect Four
 (TXT) [2021.03.25] Reinforcement Learning Virtual School
 (TXT) [2021.03.24] Sentier du Littoral
 (TXT) [2021.03.23] Generating Proofs
 (TXT) [2021.03.22] Busy Week
 (TXT) [2021.03.21] Turkestan Russe
 (TXT) [2021.03.20] Cycling Tunnels
 (TXT) [2021.03.19] New Lockdown
 (TXT) [2021.03.18] Interviewing Again
 (TXT) [2021.03.17] More cycling
 (TXT) [2021.03.16] Proof assistants now and then
 (TXT) [2021.03.15] arXiv
 (TXT) [2021.03.14] dot2tex
 (TXT) [2021.03.13] Modularity
 (TXT) [2021.03.12] asyncio
 (TXT) [2021.03.11] Internships
 (TXT) [2021.03.10] Le Mug et Les Fourmis
 (TXT) [2021.03.09] Belgian Beer
 (TXT) [2021.03.08] International Women's day put another way
 (TXT) [2021.03.07] Croissants
 (TXT) [2021.03.06] Becoming a Mathematician Again
 (TXT) [2021.03.05] Totalitarian Seminar
 (TXT) [2021.03.04] More Residuation Magic
 (TXT) [2021.03.03] Merry Weather
 (TXT) [2021.03.02] Residuated Binars
 (TXT) [2021.03.01] Python Client to Isabelle Server