anyway the joy of abstraction by eugenia cheng is fantastic so far highly recommend
eugeniacheng.com/math/books/

advent of code in lean is so cool! too burned out this year to do it myself but nice work!!!

me when my graph traversal algorithm has nodes represented every 30cm in the real world

i was extremely disappointed but i _do_ actually fuck around with nintendo hardware so i guess i still work on both

this was kinda interesting but also a pain because it accepts UTF-8 encoding and processed these requests but like it's limiting to non-latin characters. É is 2 bytes and ひ is 3. This also wasn't a problem with most services except this one big major one 🙃🙃🙃

null pointer exception of me just straight up forgetting what im doing sometimes

so does spotify with how much they pay artists

obviously not sponsored but i kinda fuck with koi footwear and believe in crediting my sources so here www.koifootwear.com/collections/...