FARM 2025
who it's for
live-coding musicians, creative coders, music software developers, functional programmers, web audio developers, computer music researchers, interactive theorem prover users
topics
TidalCycles to JavaScript; browser live-coding with types; Rust evcxr in Jupyter; FRP audio signal synthesis; stereo-oscillographic visualization; formal blazon type checking; polymorphic turtle graphics DSL; proofs converted to music; VSCode LSP proofView MIDI; environmental sonification mappings; MusicXML to Racket instrument code
| title | author | length |
|---|---|---|
| Weft—Enabling Tidal on the Web | Matthew Kaney, William Payne | 04h 20m |
A Haskell-like interpreter (Weft) compiles TidalCycles syntax into calls that drive Strudel’s JavaScript pattern library, implemented as a single parser, type… | ||
| Software-defined declarative synthesizer live-coding in a jupyter notebook | Stephen Sherratt | 20m |
Live Rust code runs in Jupyter via evcxr and a custom library CAW (Combinatorial Audio Workstation) builds synthesizer modules as Functional Reactive… | ||
| Type-safe Blazon - Enforcing Pedantry in Heraldic Design | Matthew Lutze | 20m |
Miniblazon is a small formal blazon language with a type system that checks four concrete things: valid attitudes for particular charges, no repeated tincture… | ||
| Girard's Paradox as Structure Music | Isidore Mohr | 23m |
A system called Soundproof converts a Girard paradox proof term from lambda pi (bidirectional, de Bruijn indices) into a hierarchical call tree that maps node… | ||
| I Am Your Co-Pilot | Dylan Davis | 18m |
A browser-based audiovisual instrument ties WebGL shaders to AudioJS/ThreeJS FFT analysis so real-time granular synthesis and FM tones drive fractal visuals… | ||
| Generalizing Turtle Geometry: An Extensible Language for Vector Graphics Drawing | Alice Rixte | 21m |
An extensible language called Panda generalizes turtle graphics into a polymorphic DSL implemented in Haskell that generates Bézier paths and SVG-style vector… | ||
| Rocq N'Roll | Roger Burtonpatel, Claire Wang | 20m |
Rocq N’Roll parses Rocq proof tactics into MIDI in real time, using the VS Code LSP (proofView JSON RPC) to extract proof states and uses VSCode LSP proofView… | ||
| Sonic Earth - An Algorithmic Performance Approach to Real-Time Environmental Sonification | Riccardo Mazza | 39m |
A system converts live environmental APIs (about 30 parameters including temperature, humidity, PM, NOx) parsed in Max into algorithmic gestures rendered in… | ||
| How to Score in the Art Racket | Jared Gentner | 27m |
Demonstrates an embeddable front end that turns score annotations into real code: MuseScore + Tonart in Racket exports MusicXML, parses performance-direction… | ||
| nothing matches | ||