More squares and triangles

My latest pretty proof

It's Zelda time!!

That's also the way I go about it. Hard to balance between a "correct" refactoring and a "fast one". Trying to go fast sometimes introduce errors that take just as long to resolve as going slowly

That's not going to work crocodiles can't read

Thank you! I'll give those a try :D

Any Japanese/Spanish podcast recommendation?

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

Good place to work on a string-diagram programming language based on polynomial functors

Big Misato energy

Came back from Japan with a nice selection of pens and inks for my notes

manhole.bmp

bench.bmp

Shibuya.bmp

bike.bmp

stop.bmp

sakura.bmp

Not sure what to do with this account yet, so here are some gameboy camera pictures

Hello everyone who just started following!