i have one of their galaxy infinity-puzzles, which is double sided and topologically a klein bottle mathstodon.xyz/@nervous_jesse/

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 🤓

@chrisamaphone what does "dependently typed" mean? Not a term from the topology I know

Sign in to participate in the conversation
CleverLibre Social

CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.