Ari Prakash
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Ahmet Yigit Erdemonce
- Amal Ahmedonce
- Brianna Marshallonce
all 14 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation | FARM 2026 | 2026-08-24 |
CounterChoice is a client-side React web app that takes a user-drawn cantus firmus and uses the finite-choice logic language Dusa to generate first‑species… | ||
| Specifying ABIs with Realizability and Type-Preserving Compilation | PriSC 2026 | 2026-01-11 |
Claims a Realizability model for RichWasm that interprets source types as sets of WebAssembly configurations so a type-preserving compiler yields a memory-safe… | ||
| miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk) | Scheme 2025 | 2025-10-16 |
miniDusa implements Dusa-style finite-choice primitive logic programming as a hosted DSL using syntax-spec in Racket, compiling surface syntax to a core with… | ||
| nothing matches | ||