Sample implementations:
Even if we cannot do everything in functional, we should at least strive to clearly extract functional substes in what we do.
Aaron, Ciro Santilli will complete your quest to make eduction free. Just legally this time, with the and with the Creative Commons license you helped to create.
Ciro likes how The Internet's Own Boy (2014) explains how Aaron felt like high school was bullshit, and that he could learn whatever he wanted from books, which is one of Ciro's key feelings.
Trying to use gallium arsenide was Seymour Cray's fatal last flaw as mentioned at The Supermen: The Story of Seymour Cray by Charles J. Murray (1997).
The Supermen: The Story of Seymour Cray by Charles J. Murray (1997) page 4 mentions:
Cray wanted his new machine to employ circuits made from a material called gallium arsenide. Gallium arsenide had achieved limited success, particularly in satellite communications and military electronics. But no one had succeeded with it in anything so complicated as a computer. In the computer industry, engineers had developed a saying: "Gallium arsenide is the technology of the future," they would say. "And it always will be."
Ciro Santilli used it for the 2D version of his Ciro's 2D reinforcement learning games.
He quit Mozilla in 2016 to try and commercialize an
rr
extension called Pernosco.But as of 2022, he advertised himself as part of "Google Research", so maybe that went under, sample source: archive.ph/o9622. TODO when did he start? There's apparently an unrelated homonym: www.linkedin.com/in/rob-ocallahan/
He's apparently very religious, and very New Zelandish, twitter.com/rocallahan auto-describes:Terry A. Davis and D. Richard Hipp come to mind. One is tempted to speculate a correlation even, the proportion amongst systems programmers feels so much higher than in other areas of programming! Maybe it is because you have to be a God to do it in the first place.
Christian. Repatriate Kiwi.
Robert O'Callahan interview by Toby Ho (2022)
Source. Alternative to the Lorentz gauge, but less used in general as it is not as nice for relativity invariance.
Homepage: eli.thegreenplace.net/
Also has many great contributions on Stack Overflow: stackoverflow.com/users/8206/eli-bendersky
As of 2016, Eli worked at Google (reference). TODO before that, I had found his earlier info previously but lost it.
Eli focuses mostly on compiler toolchains.
He also has some mathematics stuff, so cute: eli.thegreenplace.net/2015/change-of-basis-in-linear-algebra/
Physics from Symmetry by Jakob Schwichtenberg (2015) page 66 shows one in terms of 4x4 complex matrices.
More importantly though, are the representations of the Lie algebra of the Lorentz group, which are generally also just also called "Representation of the Lorentz group" since you can reach the representation from the algebra via the exponential map.
Bibliography:
- Physics from Symmetry by Jakob Schwichtenberg (2015) chapter 3.7 "The Lorentz Group O (1, 3)"
To talk about something without giving the real name to not scare off the audience Updated 2025-06-17 +Created 1970-01-01
Ciro Santilli hates it when an expert does this!!!
If you estimate that the audience won't know the name of the concept, that's fine, do explain it as well.
But you must also give the name!!!
This also manifests itself when news outlets omit foreign names from headlines, notably Chinese, but likely happens to all non-european languages too.
The variables of the Lagrangian, e.g. the angles of a double pendulum. From that example it is clear that these variables don't need to be simple things like cartesian coordinates or polar coordinates (although these tend to be the overwhelming majority of simple case encountered): any way to describe the system is perfectly valid.
In quantum field theory, those variables are actually fields.
The inverse of the magnetic flux quantum.
Very hot stuff! It's like ISA-portable assembly, but with types! In particular it also it deals with calling conventions for us (since it is ISA-portable). TODO: isn't that exactly what C does? :-) LLVM IR vs C
Documentation: llvm.org/docs/LangRef.html
There are unlisted articles, also show them or only show them.