i saw an airport ad saying "forward thinkers bring their AI game" and this sentence has been bouncing against the edges of my skull ever since just like that windows 3d text wallpaper
and it’s finally done! this section took me the longest so far (an entire month). it was sometimes frustrating (i hate Fins), but i’ve really enjoyed the cardinality exercises, and the final exercise about permutations tied everything up in a very satisfying way.
goodbye Set theory; hello integers
[Section 3.6 solutions by gaear...](
yay, i can finally set my dm settings to no one, so i just did (since uk age gate means i can’t access the tab). if i didn’t see your dm, im sorry — pls email if it’s something important
ok this was a bit brutal but i learned a lot. will hopefully simplify it for next souls doing it. it was particularly affirming to find that my initial ad-hoc helpers matched preexisting stuff in Mathlib 1:1
[Scaffolding for Exercise 3.6.1...](
i like how the npm ecosystem works in general (packages are good) but if you deal with it regularly you should probably code in a vm or a clean operating system with no sensitive tokens
RE:
