Lua 5.5.0 is out!
Declarations for global variables, named vararg tables, more compact arrays, and major garbage collections done incrementally
Posted on December 22, 2025
(Last modified on July 8, 2026)
|
1 min
|
Massimo Nocentini
Functions and Jordan canonical forms of Riordan matrices
Posted on March 15, 2019
(Last modified on July 10, 2026)
|
1 min
|
Massimo Nocentini Donatella Merlini
The Reasoned Schemer
miniKanren, microKanren and some implementations
Posted on March 9, 2018
(Last modified on July 10, 2026)
|
7 min
|
Daniel P. Friedman William E. Byrd Oleg Kiselyov Jason Hemann
Algebraic Generating Functions for Languages Avoiding Riordan Patterns
Posted on January 21, 2018
(Last modified on July 10, 2026)
|
1 min
|
Massimo Nocentini Donatella Merlini
BiRank
Towards Ranking on Bipartite Graphs
Posted on September 20, 2016
(Last modified on June 18, 2026)
|
2 min
|
Xiangnan He Ming Gao Min-Yen Kan Dingxian Wang
Axioms for Centrality
Posted on August 9, 2013
(Last modified on February 12, 2026)
|
2 min
|
Paolo Boldi Sebastiano Vigna
Aggregation predicates for µkanren
Groups, window functions, sets and enumerations
Posted on September 9, 2012
(Last modified on July 10, 2026)
|
3 min
|
Massimo Nocentini
miniKanren, live and untagged
Quine generation via relational interpreters
Posted on September 9, 2012
(Last modified on July 10, 2026)
|
9 min
|
William E. Byrd Eric Holk Daniel P. Friedman
Teaching the art of computer programming
Posted on May 6, 2011
(Last modified on July 10, 2026)
|
1 min
|
Frank Ruskey
Pure, declarative, and constructive arithmetic relations
A declarative pearl
Posted on April 14, 2008
(Last modified on July 10, 2026)
|
1 min
|
William E. Byrd Oleg Kiselyov Daniel P. Friedman Chung-Chieh Shan