Ciro Santilli @cirosantilli 35

Two observers travel at fixed speed relative to each other. They synchronize origins at x=0 and t=0, and their spacial axes are perfectly aligned. This is a subset of the Lorentz group. TODO confirm it does not form a subgroup however.

The second protein to have its structure determined, after myoglobin, by X-ray crystallography, in 1965.

Breaks up peptidoglycan present in the bacterial cell wall, which is thicker in Gram-positive bacteria, which is what this enzyme seems to target.

Part of the inate immune system.

It is present on basically everything that mammals and birds excrete, and it kills bacteria, both of which are reasons why it was discovered relatively early on.

The language all browsers converted to as of 2019, and therefore the easiest one to distribute and most widely implemented programming language.

Hopefully will be killed by WebAssembly one day.

Because JavaScript is a relatively crap/ad-hoc language, it ended up some decent tooling to make up for that, e.g. stuff like linting via ESLint and reformatting through Prettier is much more widespread than in other languages.

JavaScript data structure are also quite a bit anemic, which makes libraries such as lodash incredibly popular. But most of that stuff should be in the stdlib.

Our JavaScript examples can be found at:

One of the first big interpreted programming languages to go a bit further than Bash' word replacement insanity.

To the modern viewer, it feels like a middle ground between Bash and Python.

It was completely insane however, and it just died: Python is much saner, and Bash, although totally insane still golfs better, especially on the file manipulation context.

This ISA basically completely dominated the smartphone market of the 2010s and beyond, but it started appearing in other areas as the end of Moore's law made it more economical logical for large companies to start developing their own semiconductor, e.g. Google custom silicon, Amazon custom silicon.

It is exciting to see ARM entering the server, desktop and supercomputer market circa 2020, beyond its dominant mobile position and roots.

Ciro Santilli likes to see the underdogs rise, and bite off dominant ones.

The excitement also applies to RISC-V possibly over ARM mobile market one day conversely however.

Basically, as long as were a huge company seeking to develop a CPU and able to control your own ecosystem independently of Windows' desktop domination (held by the need for backward compatibility with a billion end user programs), ARM would be a possibility on your mind.

This makes it clear how the Lie bracket can be seen as a "measure of non-commutativity"

Because the Lie bracket has to be a bilinear map, all we need to do to specify it uniquely is to specify how it acts on every pair of some basis of the Lie algebra.

Then, together with the Baker-Campbell-Hausdorff formula and the Lie group-Lie algebra correspondence, this forms an exceptionally compact description of a Lie group.

Highlighted at the Origins of Precision by Machine Thinking (2017).

Some sources say that this is just the part that says that the norm of a $L^2$ function is the same as the norm of its Fourier transform.

Others say that this theorem actually says that the Fourier transform is bijective.

The comment at math.stackexchange.com/questions/446870/bijectiveness-injectiveness-and-surjectiveness-of-fourier-transformation-define/1235725#1235725 may be of interest, it says that the bijection statement is an easy consequence from the norm one, thus the confusion.

TODO does it require it to be in $L^1$ as well? Wikipedia en.wikipedia.org/w/index.php?title=Plancherel_theorem&oldid=987110841 says yes, but courses.maths.ox.ac.uk/node/view_material/53981 does not mention it.

Maximum current that can flow across a Josephson junction, as can be directly seen from the Josephson equations.

Is a fixed characteristic value of the physical construction of the junction.