https://massimo-nocentini.github.io/post/Recent content in Posts on Massimo NocentiniHugoen-USWed, 21 Oct 2026 11:03:00 +0200https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-anthropic-suite/Wed, 21 Oct 2026 11:03:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-anthropic-suite/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-cml/Wed, 21 Oct 2026 10:47:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-cml/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-hakaru10/Wed, 21 Oct 2026 10:36:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-hakaru10/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-kanren/Wed, 21 Oct 2026 10:28:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-kanren/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-dice-of-doom-suite/Wed, 21 Oct 2026 10:27:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-dice-of-doom-suite/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-machine/Wed, 21 Oct 2026 10:24:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-machine/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-seasoned-schemer-suite/Wed, 21 Oct 2026 10:23:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-seasoned-schemer-suite/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-continuation/Wed, 21 Oct 2026 10:19:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-continuation/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-category/Wed, 21 Oct 2026 10:13:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-category/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-timsort/Wed, 21 Oct 2026 10:09:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-timsort/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-fds/Wed, 21 Oct 2026 10:07:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-fds/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-sxml-suite/Wed, 21 Oct 2026 10:06:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-sxml-suite/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-variable-suite/Wed, 21 Oct 2026 10:05:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-variable-suite/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-tabling-suite/Wed, 21 Oct 2026 10:04:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-tabling-suite/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-commons-suite/Wed, 21 Oct 2026 10:03:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-commons-suite/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-learning-chicken-suite/Wed, 21 Oct 2026 10:02:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-learning-chicken-suite/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-promise-suite/Wed, 21 Oct 2026 10:01:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-promise-suite/https://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-ackermann-suite/Wed, 21 Oct 2026 10:00:00 +0200Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-10-21-scm-testsuite-ackermann-suite/https://massimo-nocentini.github.io/post/cml/Thu, 24 Sep 2026 10:00:00 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/cml/https://massimo-nocentini.github.io/post/payments-graph/Fri, 28 Aug 2026 09:58:04 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/payments-graph/https://massimo-nocentini.github.io/post/simd-survey/Fri, 14 Aug 2026 06:58:04 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/simd-survey/<p>A reading path and a working survey.</p>https://massimo-nocentini.github.io/post/chicken-scheme-impl-notes/Mon, 10 Aug 2026 10:33:23 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/chicken-scheme-impl-notes/<p>The latest CHICKEN release is <a href="https://code.call-cc.org"><em>6.0.0</em></a>, which came out on August 10th, 2026.</p>https://massimo-nocentini.github.io/post/smalltalk/Fri, 17 Jul 2026 09:58:04 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/smalltalk/<p>Pharo is a pure object-oriented programming language and a powerful environment, focused on simplicity and immediate feedback (think IDE and OS rolled into one).</p>https://massimo-nocentini.github.io/post/nvim/Fri, 03 Jul 2026 09:58:04 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/nvim/https://massimo-nocentini.github.io/post/sbral/Fri, 10 Apr 2026 09:58:04 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/sbral/<p>We describe a CHICKEN Scheme implementation of <em>skew binary random-access lists</em> (SBRALs), a purely functional data structure that provides <span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>O</mi><mo stretchy="false">(</mo><mn>1</mn><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">O(1)</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="katex-base"><span class="katex-strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord mathnormal" style="margin-right:0.0278em;">O</span><span class="mopen">(</span><span class="mord">1</span><span class="mclose">)</span></span></span></span> worst-case <code>cons</code>, <code>car</code>, and <code>cdr</code> at the front while supporting <span class="katex"><span class="katex-mathml"><math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>O</mi><mo stretchy="false">(</mo><mi>log</mi><mo>⁡</mo><mi>n</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">O(\log n)</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="katex-base"><span class="katex-strut" style="height:1em;vertical-align:-0.25em;"></span><span class="mord mathnormal" style="margin-right:0.0278em;">O</span><span class="mopen">(</span><span class="mop">lo<span style="margin-right:0.0139em;">g</span></span><span class="mspace" style="margin-right:0.1667em;"></span><span class="mord mathnormal">n</span><span class="mclose">)</span></span></span></span> indexed lookup and persistent update. The module <code>(aux fds sbral)</code> realises the structure as a list of weight-annotated complete binary trees whose sizes follow the skew binary number system. We present the representation, walk through every exported definition, give complexity bounds, and illustrate the invariants with a concrete trace drawn from the accompanying test suite.</p>https://massimo-nocentini.github.io/post/guarded-pattern-matching/Tue, 24 Feb 2026 10:59:04 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/guarded-pattern-matching/https://massimo-nocentini.github.io/post/2026-02-17-wolframengine-docker/Tue, 17 Feb 2026 09:56:03 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-02-17-wolframengine-docker/https://massimo-nocentini.github.io/post/2026-02-06-postgresql-native-vs-docker/Fri, 06 Feb 2026 09:58:04 +0100Massimo Nocentini, Richard Uttnerhttps://massimo-nocentini.github.io/post/2026-02-06-postgresql-native-vs-docker/https://massimo-nocentini.github.io/post/2026-02-05-scm-testsuite-hanseitest/Thu, 05 Feb 2026 10:01:03 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-02-05-scm-testsuite-hanseitest/https://massimo-nocentini.github.io/post/2026-02-05-scm-testsuite-letnondeterministic-suite/Thu, 05 Feb 2026 10:01:02 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-02-05-scm-testsuite-letnondeterministic-suite/https://massimo-nocentini.github.io/post/2026-02-05-scm-testsuite-stream-suite/Thu, 05 Feb 2026 09:58:04 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-02-05-scm-testsuite-stream-suite/https://massimo-nocentini.github.io/post/2026-02-05-scm-testsuite-learning-suite/Thu, 05 Feb 2026 09:58:04 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-02-05-scm-testsuite-learning-suite/https://massimo-nocentini.github.io/post/2026-02-05-scm-testsuite-bootstrap-sut/Thu, 05 Feb 2026 09:56:03 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-02-05-scm-testsuite-bootstrap-sut/https://massimo-nocentini.github.io/post/taocp-satisfiability/Wed, 28 Jan 2026 09:56:03 +0100Donald E. Knuthhttps://massimo-nocentini.github.io/post/taocp-satisfiability/https://massimo-nocentini.github.io/post/2026-01-25-sgb/Sun, 25 Jan 2026 09:56:03 +0100Donald E. Knuthhttps://massimo-nocentini.github.io/post/2026-01-25-sgb/https://massimo-nocentini.github.io/post/2026-01-23-libpq-rs/Fri, 23 Jan 2026 15:43:03 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-01-23-libpq-rs/<p>We provide a new set of bindings over <a href="https://www.postgresql.org/docs/current/libpq.html">Postgresql <code>libpq</code></a> C library, that focuses to be Rusty but stick to the original library as much as possible.</p>https://massimo-nocentini.github.io/post/2026-01-22-chez-scheme/Thu, 22 Jan 2026 10:18:13 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-01-22-chez-scheme/https://massimo-nocentini.github.io/post/2026-01-12-igraph-rust-bindings/Mon, 12 Jan 2026 16:12:22 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-01-12-igraph-rust-bindings/<p>We provide a new Rust crate <a href="https://github.com/massimo-nocentini/igraph-rs">igraph-rs</a>, with the relative <a href="https://massimo-nocentini.github.io/igraph-rs/igraph/">documentation</a>, that supply bindings over the C library <a href="https://github.com/igraph/igraph">igraph</a>.</p>https://massimo-nocentini.github.io/post/2026-02-03-hyperfunctions/Thu, 08 Jan 2026 18:33:23 +0100Donnacha Kidney, Nicolas Wuhttps://massimo-nocentini.github.io/post/2026-02-03-hyperfunctions/https://massimo-nocentini.github.io/post/2026-01-09-lua-5-5-0-is-out/Mon, 22 Dec 2025 10:29:22 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-01-09-lua-5-5-0-is-out/https://massimo-nocentini.github.io/post/functions-jordan-riordan-matrices/Fri, 15 Mar 2019 18:33:23 +0100Massimo Nocentini, Donatella Merlinihttps://massimo-nocentini.github.io/post/functions-jordan-riordan-matrices/https://massimo-nocentini.github.io/post/the-reasoned-schemer/Fri, 09 Mar 2018 10:02:03 +0100Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, Jason Hemannhttps://massimo-nocentini.github.io/post/the-reasoned-schemer/https://massimo-nocentini.github.io/post/algebraic-gf-avoiding-patterns/Sun, 21 Jan 2018 18:33:23 +0100Massimo Nocentini, Donatella Merlinihttps://massimo-nocentini.github.io/post/algebraic-gf-avoiding-patterns/https://massimo-nocentini.github.io/post/2016-09-20-birank-paper/Tue, 20 Sep 2016 10:02:03 +0100Xiangnan He, Ming Gao, Min-Yen Kan, Dingxian Wanghttps://massimo-nocentini.github.io/post/2016-09-20-birank-paper/https://massimo-nocentini.github.io/post/2013-08-09-axioms-for-centrality/Fri, 09 Aug 2013 18:33:23 +0100Paolo Boldi, Sebastiano Vignahttps://massimo-nocentini.github.io/post/2013-08-09-axioms-for-centrality/https://massimo-nocentini.github.io/post/minikanren-live-and-untagged/Sun, 09 Sep 2012 18:33:23 +0100William E. Byrd, Eric Holk, Daniel P. Friedmanhttps://massimo-nocentini.github.io/post/minikanren-live-and-untagged/https://massimo-nocentini.github.io/post/microkanren-aggregators/Sun, 09 Sep 2012 18:33:23 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/microkanren-aggregators/https://massimo-nocentini.github.io/post/teaching-taocp/Fri, 06 May 2011 08:59:04 +0100Frank Ruskeyhttps://massimo-nocentini.github.io/post/teaching-taocp/https://massimo-nocentini.github.io/post/microkanren-arithmetic/Mon, 14 Apr 2008 18:33:23 +0100William E. Byrd, Oleg Kiselyov, Daniel P. Friedman, Chung-Chieh Shanhttps://massimo-nocentini.github.io/post/microkanren-arithmetic/https://massimo-nocentini.github.io/post/2026-01-12-igraph-paper/Sun, 01 Jan 2006 16:12:22 +0100Massimo Nocentinihttps://massimo-nocentini.github.io/post/2026-01-12-igraph-paper/https://massimo-nocentini.github.io/post/2002-09-17-final-shift-for-callcc/Tue, 17 Sep 2002 18:33:23 +0100Martin Gasbichler, Michael Sperberhttps://massimo-nocentini.github.io/post/2002-09-17-final-shift-for-callcc/https://massimo-nocentini.github.io/post/2001-02-01-callcc-patterns/Thu, 01 Feb 2001 18:33:23 +0100Darrell Ferguson, Dwight Deugohttps://massimo-nocentini.github.io/post/2001-02-01-callcc-patterns/https://massimo-nocentini.github.io/post/1996-06-15-thiemann-cogen-in-six-lines/Sat, 15 Jun 1996 08:59:04 +0100Peter J. Thiemannhttps://massimo-nocentini.github.io/post/1996-06-15-thiemann-cogen-in-six-lines/https://massimo-nocentini.github.io/post/1996-01-31-the-seasoned-schemer/Wed, 31 Jan 1996 18:33:23 +0100Daniel P. Friedman, Matthias Felleisenhttps://massimo-nocentini.github.io/post/1996-01-31-the-seasoned-schemer/https://massimo-nocentini.github.io/post/1996-01-31-the-little-schemer/Tue, 30 Jan 1996 18:33:23 +0100Daniel P. Friedman, Matthias Felleisenhttps://massimo-nocentini.github.io/post/1996-01-31-the-little-schemer/https://massimo-nocentini.github.io/post/1995-04-01-tessman-scheme-generic-functions/Sat, 01 Apr 1995 08:59:04 +0100Thant Tessmanhttps://massimo-nocentini.github.io/post/1995-04-01-tessman-scheme-generic-functions/https://massimo-nocentini.github.io/post/1994-02-01-filinski-representing-monads/Tue, 01 Feb 1994 18:33:23 +0100Andrzej Filinskihttps://massimo-nocentini.github.io/post/1994-02-01-filinski-representing-monads/https://massimo-nocentini.github.io/post/1993-06-01-sitaram-handling-control/Tue, 01 Jun 1993 08:59:04 +0100Dorai Sitaramhttps://massimo-nocentini.github.io/post/1993-06-01-sitaram-handling-control/