Lobste.rs

24 readers
5 users here now

RSS Feed of lobste.rs

founded 1 month ago
MODERATORS
276
 
 
277
 
 
278
1
Type Tailoring (users.cs.utah.edu)
submitted 1 week ago by [email protected] to c/[email protected]
 
 
279
 
 
280
 
 
281
 
 

The Keynote presentation by Hal Abelson and Gerald Sussman at the fourteenth RacketCon is now available at https://youtu.be/_2qXIDO-cWw Comments

282
 
 
283
 
 
284
 
 
285
 
 
286
 
 
287
 
 
288
 
 
289
 
 
290
 
 
291
 
 

The authors of another paper mentioned the connection between knitting and programming languages which reminded me that compilers for knitting machines are a thing, which blew my mind when I first learned about it. Here’s the first paper I could find on the topic from a quick search. Abstract: Industrial knitting machines can produce finely detailed, seamless, 3D surfaces quickly and without human intervention. However, the tools used to program them require detailed manipulation and understanding of low-level knitting operations. We present a compiler that can automatically turn assemblies of high-level shape primitives (tubes, sheets) into low-level machine instructions. These high-level shape primitives allow knit objects to be scheduled, scaled, and otherwise shaped in ways that require thousands of edits to low-level instructions. At the core of our compiler is a heuristic transfer planning algorithm for knit cycles, which we prove is both sound and complete. This algorithm enables the translation of high-level shaping and scheduling operations into needle-level operations. We show a wide range of examples produced with our compiler and demonstrate a basic visual design interface that uses our compiler as a backend. Comments

292
 
 
293
 
 
294
 
 
295
 
 
296
 
 
297
 
 
298
 
 
299
 
 
300
 
 
view more: ‹ prev next ›