They can't even make this basic stuff just work!
BSHUNTER: Detecting and Tracing Defects of Bitcoin Scripts Updated 2025-07-14 +Created 1970-01-01
Publicly released documents from the Los Alamos National Laboratory are marked with this identifier. This is for example the case of each video on ther YouTube channel: www.youtube.com/@LosAlamosNationalLab. E.g. Video "Historic, unique Manhattan Project footage from Los Alamos by Los Alamos National Lab" is marked with "LA-UR 11-4449".
www.osti.gov/biblio/1372821 contains "How to Get an LA-UR: Using RASSTI to Release Your Work" which is of interest: permalink.lanl.gov/object/tr?what=info:lanl-repo/lareport/LA-UR-17-26023. That document documents the acronym's expansion, plus it leaks some internal-only URLs such as lasearch.lanl.gov/oppie/service.
TODO is there somewhere you can search for the document for a given identifier? Some PDFs are listed at: sgp.fas.org/othergov/doe/lanl/index2b.html
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 maximum. 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.:
- the Busy beaver function is the most obvious uncomputable function one can come up with starting from the halting problem
- the Busy beaver scale allows us to gauge the difficulty of proving certain (yet unproven!) mathematical conjectures
Project trying to compute BB(5) once and for all. Notably it has better presentation and organization than any other previous effort, and appears to have grouped everyone who cares about the topic as of the early 2020s.
Very cool initiative!
By 2023, they had basically decided every machine: discuss.bbchallenge.org/t/the-30-to-34-ctl-holdouts-from-bb-5/141
Founded partly due to the influence of Edward Teller who thought Los Alamos National Laboratory was not making good progress on thermonuclear weapons, large part of which was developed there.
The name is a bit obscure if you don't think in very generalized terms right out of the gate. It refers to a linear polynomial of multiple variables, which by definition must have the super simple form of:and then we just put the unknown and each derivative into that simple polynomial:except that now the are not just constants, but they can also depend on the argument (but not on or its derivatives).
Explicit solutions exist for the very specific cases of:
- constant coefficients, any degree. These were known for a long time, and are were studied when Ciro was at university in the University of São Paulo.
- degree 1 and any coefficient
In it, each of the six sides has a clear and simple to understand photon polarization state, either of:
The sphere clearly suggests for example that a rotational or diagonal polarizations are the combination of left/right with the correct phase. This is clearly explained at: Video "Quantum Mechanics 9b - Photon Spin and Schrodinger's Cat II by ViaScience (2013)".
Nice looking and expensive operating system by Apple. Ciro Santilli believes that:
- if you want to be ripped off, just use Microsoft Windows which has more software available
- or if you want to attain Enlightenment, just use Linux, which is free and open source
His combination of politically incorrect dirt talk with amazing quirky decks captures Ciro's imagination.
Anonymous no face-reveal.
The videos are heavily edited with all pauses cut out, which makes them very quick to watch and saves viewer time.
Modern focused, with some occasional newer formats mixed in.
When Wizards publishes several useless sets in a row without a single modern playable card, he's just forced into Standard.
The Busy beaver scale allows us to gauge the difficulty of proving certain (yet unproven!) mathematical conjectures!
To to this, people have reduced certain mathematical problems to deciding the halting problem of a specific Turing machine.
A good example is perhaps the Goldbach's conjecture. We just make a Turing machine that successively checks for each even number of it is a sum of two primes by naively looping down and trying every possible pair. Let the machine halt if the check fails. So this machine halts iff the Goldbach's conjecture is false! See also Conjecture reduction to a halting problem.
Therefore, if we were able to compute , we would be able to prove those conjectures automatically, by letting the machine run up to , and if it hadn't halted by then, we would know that it would never halt.
Of course, in practice, is generally uncomputable, so we will never know it. And furthermore, even if it were computable, it would take a lot longer than the age of the universe to compute any of it, so it would be useless.
However, philosophically speaking at least, the number of states of the equivalent Turing machine gives us a philosophical idea of the complexity of the problem.
The busy beaver scale is likely mostly useless, since we are able to prove that many non-trivial Turing machines do halt, often by reducing problems to simpler known cases. But still, it is cute.
But maybe, just maybe, reduction to Turing machine form could be useful. E.g. The Busy Beaver Challenge and other attempts to solve BB(5) have come up with large number of automated (usually parametrized up to a certain threshold) Turing machine decider programs that automatically determine if certain (often large numbers of) Turing machines run forever.
So it it not impossible that after some reduction to a standard Turing machine form, some conjecture just gets automatically brute-forced by one of the deciders, this is a path to
Chapter 2 paragraph 14:
Formerly, I, Zhuang Zhou, dreamt that I was a butterfly, a butterfly flying about, feeling that it was enjoying itself. I did not know that it was Zhou. Suddenly I awoke, and was myself again, the veritable Zhou. I did not know whether it had formerly been Zhou dreaming that he was a butterfly, or it was now a butterfly dreaming that it was Zhou. But between Zhou and a butterfly there must be a difference. This is a case of what is called the Transformation of Things.'
- web.archive.org/web/20170907092044/http://www2.physics.ox.ac.uk/students/course-materials/c3-condensed-matter-major-option it wasn't paywalled in the past up to 2017, but later became. Bastards.
- www2.physics.ox.ac.uk/sites/default/files/page/2011/10/04/c3-intro-vacprobs17-41753.pdf gives the 2016 structure:
- Crystal Structure & Dynamics 10 lectures Dr Roger Johnston
- Band Theory 10 lectures Prof Michael Johnston
- Magnetism 7 lectures Prof Radu Coldea
- Optical Properties 6 lectures Prof Laura Herz
- Superconductivity 7 lectures Dr Peter Leek and Dr Amalia Coldea. web.archive.org/web/20170912021658/http://www2.physics.ox.ac.uk/sites/default/files/page/2011/10/04/cmpsc-handout-2017-41006.pdf
- qubit.guide/ HTML version od the book.
- github.com/thosgood/qubit.guide. Source code. Written in Bookdown.
- www.arturekert.org/iqis links to the lectures: www.youtube.com/@ArturEkert/playlists Well done in splitting those videos up!
- zhenyucai.com/post/intro_to_qi/
Interesting presentation cycle at Merton BTW: www.arturekert.org/teaching/merton
- www.cell.com/cell-systems/fulltext/S2405-4712(16)30120-X
- www.cell.com/cell-systems/fulltext/S2405-4712(16)30151-X A Genome-Scale Database and Reconstruction of Caenorhabditis elegans Metabolism Gebauer, Juliane et al. Cell Systems , Volume 2 , Issue 5 , 312 - 322
Highly radioactive isotope of caesium with half-life of 30.17 y. Produced from the nuclear fission of uranium, TODO exact reaction, not found in nature.
The fucked thing about this byproduct is that it is in the same chemical family as sodium, and therefore forms a salt that looks like regular table salt, and dissolves in water and therefore easily enters your body and sticks to things.
Another problem is that its half-life is long enough that it doesn't lose radioactivity very quickly compared to the life of a human person, although it is short enough to make it highly toxic, making it a terrible pollutant when released.
This is why for example in the goiânia accident a girl ended up ingesting Caesium-137 after eating an egg after touching the Caesium with her hands.
caesium-137 decay scheme
. Source. 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?
There are unlisted articles, also show them or only show them.