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
Reposted by Andre Videla
That's not going to work crocodiles can't read
May 9, 2023 at 1:17 PM
That's not going to work crocodiles can't read
Any Japanese/Spanish podcast recommendation?
May 9, 2023 at 7:51 AM
Any Japanese/Spanish podcast recommendation?
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!
I bought two of those when I had the chance
May 6, 2023 at 8:50 AM
I bought two of those when I had the chance
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
Hello everyone who just started following!
April 28, 2023 at 5:31 AM
Hello everyone who just started following!