memoization

This paper introduces two library combinators, prune and defrel/bank, that bring bottom-up enumeration with observational deduplication to miniKanren relational programming, improving program-by-example synthesis performance.

A blog post about encoding referential stability as a TypeScript type using phantom brands, so React props can enforce that arrays, callbacks, and objects are stable across renders.

Typst uses constrained memoization (comemo) and pure function design to make the language and compiler work together, achieving efficient incremental compilation and real-time preview. The article details the design ideas of layout caching, module evaluation memoization, function purity, and the introspection system.

A developer introduces a concept called a 'reactor' — an agent session DAG that maintains a memoized world-model using OpenProse markdown files and the openai-agents-sdk, drawing parallels to React and dataflow.