Ciro Santilli @cirosantilli 40

See: internal and spacetime symmetries.

Appears to be analogous to the dot product, but also defined for infinite dimensions.

Interesting because of the Cook-Levin theorem: if only a single NP-complete problem were in P, then all NP-complete problems would also be P!

We all know the answer for this: either false or independent.

It is so close that we can notice its proper motion, and its distance to us will vary significantly across a few tens of thousands of years!

Each elliptic space can be modelled with a real projective space. The best thing is to just start thinking about the real projective plane.

A unique projective space can be defined for any vector space.

The projective space associated with a given vector space $V$ is denoted $\mathbf{P}(V)$.

The definition is to take the vector space, remove the zero element, and identify all elements that lie on the same line, i.e. $\vec{v}=\lambda \vec{w}$

The most important initial example to study is the real projective plane.

Much of this section will be dumped at Section "Website front-end for a mathematical formal proof system" instead.

A wiki that gathers mathematical proofs.

URL: proofwiki.org/wiki/Main_Page

MediaWiki-based.

This appears to be the creator: github.com/externl "Joe George".

It is fucking annoying!

Not just on browser close. Whenever Ciro Santilli pastes proton.me/ on the browser bar and click enter. Chromium 123.

More precisely: pasting mail.proton.me on the browser bar redirects to account.proton.me/switch each time. From there, selecting different accounts leads to different mail.proton.me/u/<UID>/inbox, e.g. mail.proton.me/u/41/inbox is my main one. If I paste mail.proton.me/u/41/inbox on the browser, then it works directly.

Once upon a time, the British Government decided to invest some 80 million into quantum computing.

Jeremy O'Brien told his peers that he had the best tech, and that he should get it all.

Some well connected peers from well known universities did not agree however, and also bid for the money, and won.

Jeremy was defeated. And pissed.

So he moved to Palo Alto and raised a total of $665 million instead as of 2021. The end.

Makes for a reasonable the old man lost his horse.

www.ft.com/content/afc27836-9383-11e9-aea1-2b1d33ac3271 British quantum computing experts leave for Silicon Valley talks a little bit about them leaving, but nothing too juicy. They were called PsiQ previously apparently.More interestingly, the article mentions that this was party advised by early investor Hermann Hauser, who is known to be preoccupied about UK's ability to create companies. Of course, European Tower of Babel.