[mathstuf]

I'm reminded of the 00's era joke that Microsoft could burn billions of dollars, pivot to becoming a vacuum cleaner manufacturer, and finally make something that doesn't suck.

I don't think Google dying would be good (lots of things would have to migrate infra suddenly), but the adtech being split off into something else would certainly be a welcome turn of events, IMO. I'm tired of seeing promising ideas killed because they only made 7-figure numbers in a spreadsheet where it'd have been viable on its own somewhere it wasn't a rounding error.