Table of Contents

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.

Categories

Tags

Authors

Pages

• La preghiera del Signore _{June 25, 2026}
• The Standard _{September 1, 2020}
• Il Grido _{November 2, 2018}
• Nuovi strani amici _{March 31, 2017}
• (Solo) Chi ama educa _{September 28, 2012}
• You’ve got to find what you love _{June 12, 2005}
• Any Given Sunday _{June 12, 2005}
• Il Colombre _{August 1, 1992}
• Eppure battono alla porta _{August 1, 1992}
• Sette piani _{March 1, 1937}
• _{January 1, 0001}

Posts

• Neovim _{July 3, 2026}
• The SBRAL data structure _{April 10, 2026}
• Pattern matching _{February 24, 2026}
• The Wolfram Engine _{February 17, 2026}
• Running PostgreSQL natively vs into containers _{February 6, 2026}
• The (aux hansei) module _{February 5, 2026}
• The (aux nondeterministic) module _{February 5, 2026}
• The (aux stream) module _{February 5, 2026}
• Learning tests for Scheme _{February 5, 2026}
• The (aux unittest) module _{February 5, 2026}
• TAOCP: Volume 4, Fascicle 6. _{January 28, 2026}
• The Stanford GraphBase and CWEB _{January 25, 2026}
• Rust bindings for Postgres _{January 23, 2026}
• Scheme lang: Chez, 48 and Chicken _{January 22, 2026}
• Rust bindings for igraph _{January 12, 2026}
• Hyperfunctions _{January 8, 2026}
• Lua 5.5.0 is out! _{December 22, 2025}
• Functions and Jordan canonical forms of Riordan matrices _{March 15, 2019}
• The Reasoned Schemer _{March 9, 2018}
• Algebraic Generating Functions for Languages Avoiding Riordan Patterns _{January 21, 2018}
• BiRank _{September 20, 2016}
• Axioms for Centrality _{August 9, 2013}
• miniKanren, live and untagged _{September 9, 2012}
• Aggregation predicates for µkanren _{September 9, 2012}
• Teaching the art of computer programming _{May 6, 2011}
• Pure, declarative, and constructive arithmetic relations _{April 14, 2008}
• The igraph software package for complex network research _{January 1, 2006}
• Final shift for call/cc _{September 17, 2002}
• Call with Current Continuation Patterns _{February 1, 2001}
• Cogen in six lines _{June 15, 1996}
• The Seasoned Schemer _{January 31, 1996}
• The Little Schemer _{January 30, 1996}
• Adding generic functions to Scheme _{April 1, 1995}
• Representing monads _{February 1, 1994}
• Handling control _{June 1, 1993}