Forwarded from Hacker News
Immersive Math (🔥 Score: 151+ in 2 hours)
Link: https://readhacker.news/s/67E9E
Comments: https://readhacker.news/c/67E9E
Link: https://readhacker.news/s/67E9E
Comments: https://readhacker.news/c/67E9E
小島みなこの競プロ日常
(但是用mathlib就好卡…)
I then push everything back up to the master Github repository. The blueprint will take quite some time (about half an hour) to rebuild, but eventually it does, and the dependency graph (which Blueprint has for some reason decided to rearrange a bit) now shows “ruzsa-nonneg” in green