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.

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

• posts, mainly talking about technical stuff;
• pages, mainly talking about personal stuff;
• categories
  • Youtube
  • Computer Science
• tags.

Table of Contents

• Papers
  • Final shift for call/cc
• Books
  • The Reasoned Schemer
  • The Art Of Computer Programming
    • Satisfiability fascicle
• Tools
  • Neovim
  • A logic language for business logic

The following content is given in Italian, grouped by authors:

• san Cipriano di Cartagine
  • Trattato sulla preghiera del Padre Nostro
• Franco Nembrini
  • (Solo) Chi ama educa
  • Il Grido

Misc

• The Standard by GORUCK team