Attila Egri-Nagy
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
who talks about the same things
- Mark Engelberg4 talks
- Jordan Miller5 talks
- Carin Meier12 talks
- Alex Engelberg2 talks
- Alex Miller11 talks
- Jack Rusher5 talks
| title | conference | date |
|---|---|---|
| Elements of Logic Programming in a Concatenative Functional Language | LOPSTR+PPDP 2026 | 2026-08-27 |
A minimal concatenative functional language called Con-Cat implements a free-monoid syntax and exposes programs as semigroupoid objects so algebraic… | ||
| Computational Exploration of Finite Semigroupoids | miniKanren and Relational Programming Workshop 2025 | 2025-10-17 |
Relational programs (miniKanren via core.logic) implement a package called Ken that enumerates finite semigroupoids as partial composition tables, constructs… | ||
| Recreational Coding | reClojure 2022 | 2022-12-02 |
Starts from a 3x3 magic square summing to 99 and shows a Clojure REPL solution using core.logic that constrains entries to 1..99, finds 2,113 solutions, and… | ||
| Poetry of Programming | Clojure/conj 2017 | 2017-10-12 |
A semester-long Clojure course at a small liberal-arts college teaches beginners the functional core in 37.5 hours over 15 weeks, starting from function… | ||
| nothing matches | ||