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

Misc

• The Standard by GORUCK team