BookofProofs Updated 2025-07-16
No open signup it seems. TODO CV of owner.
They are making a proof assistant to integrate into the website: github.com/bookofproofs/fpl/, reminds Ciro Santilli of website front-end for a mathematical formal proof system.
Boosted fission weapon Updated 2025-07-16
Born-Oppenheimer approximation Updated 2025-07-16
Bose-Einstein condensate Updated 2025-07-16
Inward Bound by Abraham Pais (1988) page 282 shows how this can be generalized from the Maxwell-Boltzmann distribution
Boston Marathon bombing Updated 2025-07-16
Bounding box Updated 2025-07-16
Bo Ya Updated 2025-07-16
en.wikipedia.org/w/index.php?title=Bo_Ya&oldid=1150295883#The_story_about_Zhiyin:
Bo Ya was good at playing the qin. Zhong Ziqi was good at listening to the qin. When Bo Ya's will was towards high mountains in his playing, Zhong Ziqi would say, "How towering like Mount Tai!" When Bo Ya's will was towards flowing water in his playing, Zhong Ziqi would say, "How vast are the rivers and oceans!" Whatever Bo Ya thought of Ziqi would never fail to understand. Bo Ya said, "Amazing! Your heart and mine are the same!" After Zhong Ziqi died, Bo Ya broke his Guqin because he thought that no one else can understand his music.
Linear map Updated 2025-07-16
One thing that makes such functions particularly simple is that they can be fully specified by specifyin how they act on all possible combinations of input basis vectors: they are therefore specified by only a finite number of elements of .
Every linear map in finite dimension can be represented by a matrix, the points of the domain being represented as vectors.
As such, when we say "linear map", we can think of a generalization of matrix multiplication that makes sense in infinite dimensional spaces like Hilbert spaces, since calling such infinite dimensional maps "matrices" is stretching it a bit, since we would need to specify infinitely many rows and columns.
The prototypical building block of infinite dimensional linear map is the derivative. In that case, the vectors being operated upon are functions, which cannot therefore be specified by a finite number of parameters, e.g.
For example, the left side of the time-independent Schrödinger equation is a linear map. And the time-independent Schrödinger equation can be seen as a eigenvalue problem.
Linker (computing) Updated 2025-07-26
Brazil Updated 2025-07-16
An awesome country, with amazing people and natural resources, and without an evil government like China.
Brazilian Portuguese Updated 2025-07-16
Brazilian real Updated 2025-07-16
Brazilian Student Association Updated 2025-07-16
This is a good initiative. Since the government is incapable of doing shit in this area, individuals have to do it themselves.
They even have a scholarship program...: www.bolsas.gobrasa.org/
Caesium standard Updated 2025-07-16
Uses the frequency of the hyperfine structure of caesium-133 ground state, i.e spin up vs spin down of its valence electron , to define the second.
International System of Units definition of the second since 1967, because this is what atomic clocks use.
TODO why does this have more energy than the hyperfine split of the hydrogen line given that it is further from the nucleus?
Breadboard Updated 2025-07-16
This is how electronic circuits are normally prototyped!
Once you validate them like this, the next step is usually to move on to printed circuit boards for more reliable production setups.
Breadboards are a thing of beauty and wonder.
Point-to-point constructions on woden boards
. Source. Predecessors to breadboards from where the name came. A thing of beauty, so vintage. You could actually write stuff on those with a pencil!
Breadboards - Trash or Treasure? by Keysight (2020)
Source. Lisa Su Updated 2025-07-16
List of instruction set architectures Updated 2025-07-16
List of tropes Updated 2025-07-16
Literature Updated 2025-07-16
Ciro Santilli used to read books when he was younger (Harry Potter up to the 4th, Lord of the Rings), but once you are reading code, technical articles and news the whole day, you really just want to watch videos of people doing useless things on YouTube to rest, enough text.
Buddhism Updated 2025-07-16
Ciro Santilli's favorite religion. He does not believe fully in it, nor has he studied it besides through brief Wikipedia and Googling.
Ciro likes Buddhism because it feels like the least "metaphysical explanations to things you can't see" of the religions he knows.
Ciro also believes that there is a positive correlation between being a software engineer and liking Buddhist-like things, see also: the correlation between software engineers and Buddhism.
Unlisted articles are being shown, click here to show only listed articles.