Melted Brain 2000ad

It'd be funny if it weren't so depressing that the whole "r/acc" project, "NRx", all the fancy words from Land, Moldbug, all the visions of technological eschatology has just ended up empowering some orange moron who flips the bird to random workers as his government runs the most unsophisticated fash playbook ever

@julesh Spanish unis have started doing just that, many have a bachelor's in AI in the CS school now. For example: https://www.uc3m.es/bachelor-degree/artificial-intelligence#program

Been learning the Lean language/proof assistant and it's pretty cool, the natural number game was pretty fun. Next I'll be working through "functional programming in Lean" and doing the linear algebra and real analysis games.

Between this and his fund possibly having been the match that lit the fire of the '08 GFC, he might have been the single most decisive figure in ending "The End of History"

got the flu feeling like shit