Posts

The (aux anthropic) module

The Anthropic Messages API, offline

Read more →

The (aux cml) module

Events, threads, synchronous variables, the library and I/O

Read more →

The (aux hakaru10) modules

Random sources, distributions, the language, exact inference and examples

Read more →

The (aux kanren) modules

Arithmetic, dates, presentation of answers and a union-find miniKanren

Read more →

The (aux games dice-of-doom) module

Dice of Doom

Read more →

The (aux machine) modules

Environments, the SC machine and the SECD machine

Read more →

The (aux schemer seasoned) module

The Seasoned Schemer

Read more →

The (aux continuation) modules

Classic operators, escapers, amb and Collatz sequences

Read more →

The (aux category) modules

Monads: list, maybe, probability, ziplist, difference lists and state

Read more →

The (aux timsort) module

Sorting and the trace buffer

Read more →