Exploring Self-Embedded Knitting Programs with Twine
This paper delves into the concept of manufacturing quines, which explicitly embeds the intricate details of the fabrication process in the design of an object; the goal is for the programs that manufacture the object to also produce themselves within the object. We highlight how concretizing the design process of an object in the real object can help reconstruct items and remind us of the reality that all objects must be manufactured, incurring labour and environmental costs. By drawing inspiration from self-reproducing programs, we outline a new language design centred around quines for knitting, a versatile technique in fabric construction, with both historical significance and recent advances in programmable whole-garment machines for their manufacture. We show some preliminary results of using this language design to create knitted quines, and discuss how this interesting question might be further advanced.
Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change
11:00 - 12:30 | FARM Session 2FARM at Vashon 2 Chair(s): John Leo Halfaya Research, Mae Milano University of California at Berkeley | ||
11:00 30mTalk | Exploring Self-Embedded Knitting Programs with Twine FARM Amy Zhu University of Washington, Adriana Schulz University of Washington, Zachary Tatlock University of Washington DOI Pre-print | ||
11:30 30mTalk | Homotopy Type Theory for Sewn Quilts FARM DOI Pre-print | ||
12:00 30mTalk | Demo: Sonic Catalog of Rare Diseases FARM Stephen Taylor University of Illinois Urbana-Champaign, Aditi Kantipuly Centers for Disease Control and Prevention DOI |