Computer science bibliography Updated +Created
Dirac adjoint Updated +Created
Linux source tree Updated +Created
In v4.2, look under arch/x86/:
  • include/asm/pgtable*
  • include/asm/page*
  • mm/pgtable*
  • mm/page*
There seems to be no structs defined to represent the pages, only macros: include/asm/page_types.h is specially interesting. Excerpt:
#define _PAGE_BIT_PRESENT   0   /* is present */
#define _PAGE_BIT_RW        1   /* writeable */
#define _PAGE_BIT_USER      2   /* userspace addressable */
#define _PAGE_BIT_PWT       3   /* page write through */
arch/x86/include/uapi/asm/processor-flags.h defines CR0, and in particular the PG bit position:
#define X86_CR0_PG_BIT      31 /* Paging */
Hund's second rule Updated +Created
Constructed language Updated +Created
Connected space Updated +Created
Jewish Christian Updated +Created
It is those early splinter groups that make it so clear that religion is fake. We believed in Judaism. Now we believe in Jesus. Oh, but wait, actually Judaism is now semi fake, and we don't live by Jewish law anymore.
Conservation laws in Schrodinger equations Updated +Created
TODO is there any good intuitive argument or proof of conservation of energy, momentum, angular momentum?
Conservation of the square amplitude in the Schrodinger equation Updated +Created
Proof that the probability 1 is conserved by the time evolution:
It can be derived directly from the Schrödinger equation.
Bibliography:
Busy beaver Updated +Created
The busy beaver game consists in finding, for a given , the turing machine with states that writes the largest possible number of 1's on a tape initially filled with 0's. In other words, computing the busy beaver function for a given .
There are only finitely many Turing machines with states, so we are certain that there exists such a maxium. Computing the Busy beaver function for a given then comes down to solving the halting problem for every single machine with states.
Some variant definitions define it as the number of time steps taken by the machine instead. Wikipedia talks about their relationship, but no patience right now.
The Busy Beaver problem is cool because it puts the halting problem in a more precise numerical light, e.g.:
C3 Oxford physics course Updated +Created
Causality in quantum mechanics Updated +Created
In simple terms, if you believe in the Schrödinger equation and its modern probabilistic interpretation as described in the Schrödinger picture, then at first it seem that there is no strict causality to the outcome of experiments.
People have then tried to recover that by assuming that there is some inner sate beyond the Schrödinger equation, but these ideas are refuted by Bell test experiments, unless we give up the principle of locality, which feels more important, especially in special relativity, where faster-than-light implies time travel, which breaks causality even more dramatically.
The de Broglie-Bohm theory is a deterministic but non-local formulation of quantum mechanics.
Cascading Style Sheets Updated +Created
Challenger bank Updated +Created
Craig Silverstein Updated +Created
Video 1.
How Google began by Craig Silverstein part 1 (2006)
Source. Talk given at the University of North Carolina. A possibly official invitation from the time: www.ibiblio.org/pjones/blog/googles-craig-silverstein-at-unc-1026/.
Semi-boring academic overview, but without reproducibility, or in a way that is too hidden for Ciro to have the patience to find it out.
Claims 1600 files found.
Mentions some upload mechanisms, notably AtomSea & EMBII and Satoshi uploader.
Cook-Levin theorem Updated +Created
Cherwell (newspaper) Updated +Created
Largest text ordinal inscription Updated +Created
Text is the only reasonbly interesting content that Ciro Santilli has seen in the ordinals, as opposed to images which are boring. They haven'g found a way to commercialize it yet it seems, thank God. Glad to have researcehd this a bit!
Shame that the plaintext ones don't show up too well on ordinals.com!
The largest inscriptions with mime text/* are:

There are unlisted articles, also show them or only show them.