Spent most of the day with friends/social. Not much to report

Spent 1h looking into Infra-Bayesianism (important research for embedded agency), looks really ripe for distilling and I have most of the mathematical background needed. I'll dedicate a few hours to this tomorrow

Spent another 1h reading random stuff, and 1h chatting on the math discord. was recommended some good textbooks which you can find on libgen.