solrize

@johncarlosbaez@mathstodon.xyz I remember reading about Peter Scholze saying something like: he no longer thought proving theorems was interesting, and instead he was mostly concerned about finding good new definitions. So that's maybe even a step further than the old description of problem solvers vs theory builders.

@johncarlosbaez@mathstodon.xyz ah thanks. well i still wonder the amount of power. i mean if it's less than a few KW someone could drive out to home depot and get another generator... added: meh, harbor freight had some on sale yesterday. https://www.harborfreight.com/deal-of-the-day

@johncarlosbaez@mathstodon.xyz I wonder how much power it takes to keep one of those fancy clocks running. Is battery or generator backup such a difficult thing? Every hospital, bio lab with a cryo freezer, etc. has something like that.

@jonny N-rays?