FARM 2023
| title | author | length |
|---|---|---|
| Weighted Refinement Types for Counterpoint Composition | Youyou Cong | 27m |
Proposes weighted refinement types that attach a numeric weight to each predicate (use -∞ for forbidden rules) and implements a type system for first‑species… | ||
| The Beauty and Elegance of Functional Reactive Animation | Ivan Perez | 31m |
Functional Reactive Programming is presented as a temporal abstraction where the core objects are signal functions that must be causal, implemented here with… | ||
| Demo: A functional EDSL for mathematics visualization that compiles to JavaScrip... | Allister Beharry | 21m |
Sylvester is an F# embedded EDSL that compiles F# quotations to JavaScript in a Jupyter kernel and provides one functional interface for symbolic math, SMT… | ||
| Exploring Self-Embedded Knitting Programs with Twine | Amy Zhu, Adriana Schulz, Zachary Tatlock | 28m |
Project designs a color-based language called twine language that encodes knitting instructions directly into fabric, using industrial knitting machines… | ||
| Homotopy Type Theory for Sewn Quilts | Charlotte Clark, Rose Bohrer | 27m |
A new imperative language called PieceWork models quilts as shapes built from edges, implements three core operations—mark, cut, sew—and ships a prototype plus… | ||
| Demo: Sonic Catalog of Rare Diseases | Stephen Taylor, Aditi Kantipuly | 29m |
A working sonic catalog maps 230 promoter sequences from a rare‑disease spreadsheet into musical events using Max and Kyma; the sonification plays a number of… | ||
| Humanity: From Survival to Revival | Cecila Suhr | 15m |
[FARM'23] Humanity: From Survival to Revival
Cecila Suhr
Humanity: From Survival to Revival is an award-winning (2023 Best of Competition Award in… | ||
| Keynote: Perfectly Imperfect: Music, Math and the Keyboard | Gloria Cheng | 54m |
A practical tour of keyboard tuning and rhythm: a double‑manual 1789 Pascal Taskin copy built after 500 hours in a garage demonstrates Pythagorean vs mean‑tone… | ||
| As music overheard, as image made light. | Andrea Mazzariello | 16m |
[FARM'23] As music overheard, as image made light.
Andrea Mazzariello
In September 2022 I released an album called War Footing. I subsequently built an… | ||
| Accelerometers as an Instrument | Marcin Paczkowski | 20m |
Hand-worn devices transmit three-axis accelerometer data over Wi‑Fi from a microcontroller to a computer and drive gesture-to-sound mapping. Sound is rendered… | ||
| Aurora: Goddess of Dawn | Joy Lee | 28m |
[FARM'23] Aurora: Goddess of Dawn
Joy Lee
“AURORA: GODDSS OF DAWN” is an immersive audiovisual live performance experience inspired by spectacular nature… | ||
| nothing matches | ||