Zermelo-Fraenkel set theory Updated 2025-07-16
One of the first formal proof systems. This is actually understandable!
This is Ciro Santilli-2020 definition of the foundation of mathematics (and the only one he had any patience to study at all).
TODO what are its limitations? Why were other systems created?
Media rationale of Ciro Santilli's website Updated 2025-07-16
Meritocracy Updated 2025-07-16
Schrödinger equation for a one dimensional particle Updated 2025-07-16
We select for the general Equation "Schrodinger equation":giving the full explicit partial differential equation:
- , the linear cartesian coordinate in the x direction
- , which analogous to the sum of kinetic and potential energy in classical mechanics
Equation 1.
Schrödinger equation for a one dimensional particle
. The corresponding time-independent Schrödinger equation for this equation is:
Equation 2.
time-independent Schrödinger equation for a one dimensional particle
. Silk Road investigator Updated 2025-09-09
Bitcoin Forum Updated 2025-07-16
Founded by Satoshi Nakamoto, making it the earliest and one of the most important Bitcoin communities. TODO official in any way? Who founded it?
Some notable appearances:
- in 2010, it is where Laszlo's pizzas offer was announced
- it was used e.g. on the Mt. Gox investigation: youtu.be/tJ-TsrK6SuY?t=2018
- Jimmy Zhong's investigation: youtu.be/pxvd1YOMGxU?t=1004
Yeast artificial chromosome Updated 2025-07-16
How to hardcode subtitle into a video with FFmpeg? Updated 2025-07-16
To change font size: stackoverflow.com/questions/21363334/how-to-add-font-size-in-subtitles-in-ffmpeg-video-filterThe default appears to be 24, so just multiply that by whatever seems like a reasonable factor.
ffmpeg -i input.mp4 -vf "subtitles=subtitle.srt:force_style='Fontsize=64'" output.mp4
Note howver that .ass subtitle files can contain style information, which ffmpeg respects. Aegisub can produce and preview such styles, making .ass one of the best options.
Skew-symmetric form Updated 2025-07-16
Quantum tunnelling Updated 2025-07-16
Examples:
- flash memory uses quantum tunneling as the basis for setting and resetting bits
- alpha decay is understood as a quantum tunneling effect in the nucleus
Supercomputer by owner Updated 2025-07-16
Superfluid helium-4 Updated 2025-07-16
Also sometimes called helium II, in contrast to helium I, which is the non-superfluid liquid helium phase.
Superfluid helium Resonance Experiment by Dietterich Labs (2019)
Source. CAIDA/commoncrawl-host-ip-mapper Updated 2025-07-16
Human spinal cord Updated 2025-07-16
Particle in a box Updated 2025-07-16
Angry Video Game Nerd Updated 2025-07-16
www.youtube.com/watch?v=h6DtVHqyYts Big Rigs: Over the Road Racing (PC) (2014) is perhaps his best video.
EC2 instance type Updated 2025-07-16
Amazon's informtion about their own intances is so bad and non-public that this was created: instances.vantage.sh/
Inward Bound by Abraham Pais (1988) Updated 2025-07-16
The book unfortunately does not cover the history of quantum mechanics very, the author specifically says that this will not be covered, the focus is more on particles/forces. But there are still some mentions.
Lie algebra of Updated 2025-07-16
We can reach it by taking the rotations in three directions, e.g. a rotation around the z axis:then we derive and evaluate at 0: therefore represents the infinitesimal rotation.
Note that the exponential map reverses this and gives a finite rotation around the Z axis back from the infinitesimal generator :
Repeating the same process for the other directions gives:We have now found 3 linearly independent elements of the Lie algebra, and since has dimension 3, we are done.
Spin half Updated 2025-07-16
Leads to the Dirac equation.
Unlisted articles are being shown, click here to show only listed articles.