Brysen Pfingsten
where else to find them
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics | miniKanren and Relational Programming Workshop 2025 | 2025-10-17 |
Presents a deterministic small-step semantics that models miniKanren’s interleaving at goal-level granularity using delay/go control, left/right disjunctions… | ||
| Six Ways to Implement Divisibility by Three in miniKanren | miniKanren 2024 | 2024-09-06 |
Compares six concrete miniKanren implementations that decide n ≡ 0 (mod 3) over Oleg numerals, including multiplication-by-3, recursive plus-by-3, digit-sum… | ||
| nothing matches | ||