I think doing math in pen trains you to make less mistakes

Panpsychist rejection of dualism between information making up the substrate vs information on the substrate

I did not realize Euler was blind in his later years

You could be right, at any rate many more tokens will be spilt by the time we need to answer those questions

Found an awesome collection of translations by Tim Hosgood, of various mathematics papers, including some of Grothendieck's stuff on Nuclear spaces

thosgood.net/translations/

But also I think when most people say "Dyson sphere" these days they're referring to a cloud of solar powered infrastructure around a star, so a starlift would count as one IMO

I think we have enough time before red giant phase to test starlifting on a nearby star with no biological worlds, better to work out the engineering kinks before starting the process on our own sun.

Wouldn't want to accidentally fry our mother biosphere

This was my daydream headcannon when I was a kid

It would probably be valuable to have better language norms around this, I wonder what that would look like

I am yes, we are moots over there

Anathem