@andrev.bsky.social
I like trains
More squares and triangles
30.06.2023 09:06 — 👍 1 🔁 0 💬 0 📌 0
My latest pretty proof
28.06.2023 14:38 — 👍 1 🔁 0 💬 0 📌 0It's Zelda time!!
12.05.2023 07:43 — 👍 0 🔁 0 💬 1 📌 0That'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
11.05.2023 18:15 — 👍 1 🔁 0 💬 0 📌 0
That's not going to work crocodiles can't read
09.05.2023 13:17 — 👍 295 🔁 63 💬 9 📌 8Thank you! I'll give those a try :D
09.05.2023 09:12 — 👍 0 🔁 0 💬 0 📌 0Any Japanese/Spanish podcast recommendation?
09.05.2023 07:51 — 👍 0 🔁 0 💬 1 📌 0
That proof used to look awful, it now looks almost exactly like its paper version!
08.05.2023 12:08 — 👍 3 🔁 0 💬 0 📌 0I bought two of those when I had the chance
06.05.2023 08:50 — 👍 0 🔁 0 💬 0 📌 0
Good place to work on a string-diagram programming language based on polynomial functors
04.05.2023 13:38 — 👍 0 🔁 0 💬 0 📌 0
Big Misato energy
04.05.2023 13:37 — 👍 3 🔁 0 💬 1 📌 0
Came back from Japan with a nice selection of pens and inks for my notes
01.05.2023 15:44 — 👍 2 🔁 0 💬 0 📌 0
manhole.bmp
28.04.2023 05:43 — 👍 1 🔁 0 💬 0 📌 1
bench.bmp
28.04.2023 05:42 — 👍 1 🔁 0 💬 0 📌 0
Shibuya.bmp
28.04.2023 05:42 — 👍 1 🔁 0 💬 0 📌 0
bike.bmp
28.04.2023 05:40 — 👍 1 🔁 0 💬 0 📌 0
stop.bmp
28.04.2023 05:40 — 👍 1 🔁 0 💬 0 📌 0
sakura.bmp
28.04.2023 05:40 — 👍 1 🔁 0 💬 0 📌 0
Not sure what to do with this account yet, so here are some gameboy camera pictures
28.04.2023 05:39 — 👍 1 🔁 0 💬 0 📌 0Hello everyone who just started following!
28.04.2023 05:31 — 👍 2 🔁 0 💬 1 📌 0
