Get the latest tech news
Algebraic Semantics for Machine Knitting
Post Metadata As programming languages researchers, we’re entitled to a certain level of mathematical rigor behind the languages we write and analyze. Programming languages have semantics, which are definitions of what statements in the language mean.
There are also carrier strands that move throughout the machine, winding through, around, and past the loops of needles to create stitches, which I’ll later compare to basic operations in traditional programming languages. In fact, for our specific question of whether two operations commute, the problem seems almost trivial: similar to pure functional programming languages, there’s no global state or aliasing in machine knitting. Big thanks to my advisors at UW, Gilbert Bernstein and Adriana Schulz, for being flexible as a first-year PhD student learns category theory and topology through the lens of machine knitting.
Or read this on Hacker News