Hacker News
- Algebraic Semantics for Machine Knitting https://uwplse.org/2025/03/31/Algebraic-Knitting.html 11 comments
Linked pages
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- Fermat's Last Theorem - Wikipedia http://en.wikipedia.org/wiki/Fermat's_Last_Theorem 41 comments
- Braid group - Wikipedia http://en.wikipedia.org/wiki/Braid_group 16 comments
- Yang–Baxter equation - Wikipedia https://en.wikipedia.org/wiki/Yang%E2%80%93Baxter_equation 0 comments
Related searches:
Search whole site: site:uwplse.org
Search title: UW PLSE | Algebraic Semantics for Machine Knitting
See how to search.