More squares and triangles
June 30, 2023 at 9:06 AM
More squares and triangles
My latest pretty proof
June 28, 2023 at 2:38 PM
My latest pretty proof
That proof used to look awful, it now looks almost exactly like its paper version!
May 8, 2023 at 12:08 PM
That proof used to look awful, it now looks almost exactly like its paper version!
Good place to work on a string-diagram programming language based on polynomial functors
May 4, 2023 at 1:38 PM
Good place to work on a string-diagram programming language based on polynomial functors
Came back from Japan with a nice selection of pens and inks for my notes
May 1, 2023 at 3:44 PM
Came back from Japan with a nice selection of pens and inks for my notes
Not sure what to do with this account yet, so here are some gameboy camera pictures
April 28, 2023 at 5:39 AM
Not sure what to do with this account yet, so here are some gameboy camera pictures