Ciro Santilli @cirosantilli 40

Solution $Z$ for given $X$ and $Y$ of:where $e$ is the exponential map.

If we consider just real number, $Z=X+Y$, but when X and Y are non-commutative, things are not so simple.

Furthermore, TODO confirm it is possible that a solution does not exist at all if $X$ and $Y$ aren't sufficiently small.

This formula is likely the basis for the Lie group-Lie algebra correspondence. With it, we express the actual group operation in terms of the Lie algebra operations.

Notably, remember that a algebra over a field is just a vector space with one extra product operation defined.

Vector spaces are simple because all vector spaces of the same dimension on a given field are isomorphic, so besides the dimension, once we define a Lie bracket, we also define the corresponding Lie group.

Since a group is basically defined by what the group operation does to two arbitrary elements, once we have that defined via the Baker-Campbell-Hausdorff formula, we are basically done defining the group in terms of the algebra.

Bare metal programming is to run a program without an operating system below it.

Or in other words, it is basically implementing an operating system/firmware yourself ad hoc, together with your actual program.

Affiliation: Massachusetts Institute of Technology.

Doctoral advisor: Murray Gell-Mann.

"Barys" means "heavy" in Greek, because protons and neutrons was what made most of the mass of known ordinary matter, as opposed notably to electrons.

Baryons can be contrasted with:

Someone who is not a pussy.

On Urban Dictionary: www.urbandictionary.com/define.php?term=Based%20God

Someone once called Ciro Santilli that: archive.is/W1ocv. It's an overstatement, considering that Ciro's parents have some money. Not infinite. But still. Changes everything. A real Based God is someone like Charles Bukowski, who had to work decades at the post office.

The more heavily a project relies on it, the more you start to regret it.

1925 by Charles Kay Ogden.

The original gangster.

There's nothing like seeing the hypocrisy of the "Liberté, Égalité, Fraternité" people destroyed.

Interesting how Algeria now supports China's Xinjiang policy in 2019. But of course, dictatorships tend to work together

Ciro Santilli's father, an avid history reader, and in particular interested in the military dictatorship in Brazil through which he lived, once told Ciro how the French torture doctrine was directly adopted by Brazillian military, e.g. then even invited general Paul Aussaresses who had served in Algeria, to help them out with intelligence operations and give courses. Bro, fuck that.

But of course, the Americans weren't too far behind in Guantanamo.

The last value we will likely every know for the busy beaver function! BB(6) is likely completely out of reach forever.

By 2023, it had basically been decided by the The Busy Beaver Challenge as mentioned at: discuss.bbchallenge.org/t/the-30-to-34-ctl-holdouts-from-bb-5/141, pending only further verification. It is going to be one of those highly computational proofs that will be needed to be formally verified for people to finally settle.

As that project beautifully puts it, as of 2023 prior to full resolution, this can be considered the:on the Busy beaver scale.