TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Algebraic Semantics for Machine Knitting

246 点作者 PaulHoule大约 1 个月前

8 条评论

dwlg00大约 1 个月前
Braid groups are really interesting, and they also come up in fluid mixing: <a href="https:&#x2F;&#x2F;people.math.wisc.edu&#x2F;~thiffeault&#x2F;talks&#x2F;gordon2022.pdf" rel="nofollow">https:&#x2F;&#x2F;people.math.wisc.edu&#x2F;~thiffeault&#x2F;talks&#x2F;gordon2022.pd...</a>
评论 #43768798 未加载
bregma大约 1 个月前
Back in the 1980s I was taking a foundational computer science course in which we derived Goedel&#x27;s result using Cantor diagonalization. Excellent course. We were watching the TV version of Hitchhiker&#x27;s Guide to the Galaxy at the time, too. One day I had the realization that since any recursively enumerable function could be interpreted as a computer program (given the right interpreter), that the sweater I was wearing was in fact possibly a computer program, and that all knitting (and some crocheting) was in fact just a manifestation of code in another language.<p>I then went on to realize any enumerable set could be similarly interpreted, including the entire countable population of Earth. And we already had the answer (42), but what was the question?
评论 #43764496 未加载
评论 #43764839 未加载
statusfailed大约 1 个月前
I&#x27;ve been hoping for a nice concrete example of braided monoidal categories for ages, who knew that the best one was string diagrams that represent <i>actual string</i>! Great post!<p>@the author - I assume you&#x27;re aware that morphisms in symmetric monoidal categories can be represented using cospans of hypergraphs - do you know if there&#x27;s a similar combinatorial representation for braided monoidal categories?
Y_Y大约 1 个月前
Does anyone know a good emulator for knitting machines? I&#x27;d love to play with these programs, but I&#x27;d like to get some practice before I start messing with real wool.
评论 #43765288 未加载
评论 #43764445 未加载
t-trash大约 1 个月前
Reminds me of the work in the Carnegie Melon Textile Lab on the semantics and scheduling for knitting machine compilers (<a href="https:&#x2F;&#x2F;textiles-lab.github.io&#x2F;publications&#x2F;2023-knitout-semantics&#x2F;" rel="nofollow">https:&#x2F;&#x2F;textiles-lab.github.io&#x2F;publications&#x2F;2023-knitout-sem...</a>)
评论 #43774389 未加载
WillAdams大约 1 个月前
Still kicking myself for not buying a &quot;3D Knitted Chisel Roll&quot; back when Lee Valley had them --- last I checked it might have been possible to import one from Europe, but having a hard time justifying that.....
kappasan大约 1 个月前
Speaking of computational knitting, I recently learned about &quot;solid knitting&quot; [1] which is awesome.<p><a href="https:&#x2F;&#x2F;www.cs.cmu.edu&#x2F;news&#x2F;2024&#x2F;solid-knitting" rel="nofollow">https:&#x2F;&#x2F;www.cs.cmu.edu&#x2F;news&#x2F;2024&#x2F;solid-knitting</a>
评论 #43767306 未加载
评论 #43770638 未加载
ruined大约 1 个月前
the formalization of textile programming really brings computer science full-circle. as a neoluddite i approve
评论 #43764249 未加载
评论 #43764921 未加载