@christianp I remember a conference talk on the proof that braid groups are linear. The presenter explained that his proof would use "forks and noodles," and went on to clarify that "noodles" are embedded arcs that represent certain cohomology classes, and "forks" are, "...um, what you use to detect noodles."
Filed that as an issue, I'd love it if Signal and Mastodon could play better together! https://github.com/signalapp/Signal-Desktop/issues/3324
This is my favorite line of the talk, on why one would make a language:
When we write code, we are restructuring our thoughts to fit the language of the computer.
When we design our own languages, we rewire the computer to match the structure of our thoughts.
Researcher @ Microsoft working on quantum computing. Personal account. Open statements are not endorsements.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!