Both the title and the subtitle have been inspired to the Raymond Smullyan’s book and to Alexander Stepanov’s website, respectively. Thank you both.

Table of Contents

All the content hosted in this site is structurally divided in:

• posts, mainly talking about technical stuff;
• pages, mainly talking about personal stuff;
• categories and tags.

By the way, some more refinements are given in the following sections.

Computer Science

• Papers
  • Final shift for call/cc
• Books
  • The Reasoned Schemer
• Posts
  • Neovim
  • A logic language for business logic

Christian faith

The following content is given in Italian:

• Trattato sulla preghiera del Padre Nostro di san Cipriano di Cartagine
• Di padre in figlio: Conversazioni sul rischio di educare di Franco Nembrini

Misc

• The Standard by GORUCK team