ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Fri 8 Sep 2023 11:00 - 11:30 at Vashon 2 - FARM Session 2 Chair(s): John Leo, Mae Milano

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 Sep

Displayed 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
30m
Talk
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
30m
Talk
Homotopy Type Theory for Sewn Quilts
FARM
Charlotte Clark Worcester Polytechnic Institute, Rose Bohrer Worcester Polytechnic Institute
DOI Pre-print
12:00
30m
Talk
Demo: Sonic Catalog of Rare Diseases
FARM
Stephen Taylor University of Illinois Urbana-Champaign, Aditi Kantipuly Centers for Disease Control and Prevention
DOI