i have one of their galaxy infinity-puzzles, which is double sided and topologically a klein bottle https://mathstodon.xyz/@nervous_jesse/111495346941900141
these puzzles are absolutely beautiful and a joy to interact with, btw, in case you’re wondering if they’re worth the money.
nervous system is also one of the few examples outside of the games industry that i point to when explaining applications of the kind of “generative art” i work on
hey any of you PL nerds who understand topology wanna help me write a dependently typed library for procedurally generating puzzles with cool topologies 🤓
Follow
@chrisamaphone what does "dependently typed" mean? Not a term from the topology I know
@chrisamaphone ok, was looking in the wrong domain :)
https://en.wikipedia.org/wiki/Dependent_type