I am a PhD student at the University of Toronto. I am interested in set theory. I find choiceless models the most interesting. More recently, I have been learning about Toronto spaces.

See the braid visualizer here. Basic usage: Connect pegs from top down as is convention. Each set of three pegs denotes a single braid. Multi-levelled for visualization of braid concatenation. To delete a strand, simply redrag the line. Crossings are set to "over" by default, so if you want P1->P2 to be above P2->P1, draw P1->P2 first. Enables saving images of canvas state and compression for desired presentation. Probably breakable.

Here you can watch the digits of pi attempt to traverse a randomly generated maze. This was motivated by the conjectured normality of pi and the Twitch stream "Pi Plays Pokemon" by WinningSequence. You can see it here. Someday I may consider increasing the sequence limit but for now it is just hard-coded into the application.