Human Brain Project by Ciro Santilli 37 Updated 2025-07-16
www.nature.com/articles/d41586-023-02600-x
Almost since it began, however, the HBP has drawn criticism. The project did not achieve its goal of simulating the whole human brain — an aim that many scientists regarded as far-fetched in the first place. It changed direction several times, and its scientific output became “fragmented and mosaic-like”, says HBP member Yves Frégnac
They overreached it seems.
LA-UR by Ciro Santilli 37 Updated 2025-07-16
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
Ackermann function by Ciro Santilli 37 Updated 2025-07-16
To get an intuition for it, see the sample computation at: en.wikipedia.org/w/index.php?title=Ackermann_function&oldid=1170238965#TRS,_based_on_2-ary_function where in this context. From this, we immediately get the intuition that these functions are recursive somehow.
Video 1.
How To Build A Quantum Computer by Lukas's Lab (2023)
Source.
Super quick overview of the main types of quantum computer physical implementations, so doesn't any much to a quick Google.
He says he's going to make a series about it, so then something useful might actually come out. The first one was: Video "How to Turn Superconductors Into A Quantum Computer by Lukas's Lab (2023)", but it is still too basic.
The author's full name is Lukas Baker, www.linkedin.com/in/lukasbaker1331/, found with Google reverse image search, even though the LinkedIn image is very slightly different from the YouTube one.
As of 2023 he was a PhD student at NYU.
BB(5) by Ciro Santilli 37 Updated 2025-07-16
The last value we will likely every know for the busy beaver function! BB(6) is likely completely out of reach forever.
By 2023, it had basically been decided by the The Busy Beaver Challenge as mentioned at: discuss.bbchallenge.org/t/the-30-to-34-ctl-holdouts-from-bb-5/141, pending only further verification. It is going to be one of those highly computational proofs that will be needed to be formally verified for people to finally settle.
As that project beautifully puts it, as of 2023 prior to full resolution, this can be considered the:
simplest open problem in mathematics
on the Busy beaver scale.
Lindsay Mills by Ciro Santilli 37 Updated 2025-07-16
Video 1.
Snowden Opens Up About His Girlfriend
. Source. TODO interviewed by.
Video 2.
"Citizenfour" winning Best Documentary Feature by Oscars (2014)
Source. Lindsay attended.
Snowden (film) by Ciro Santilli 37 Updated 2025-07-26
Video 1.
Aptitude test scene from the Snowden 2016 film
. Source.
Video 2.
FISA Court Order The Guardian discussion scene from the Snowden 2016 film
. Source.
Video 3.
How is this Possible? scene from the Snowden 2016 film
. Source.
Video 4.
Fresh Brains for You scene from the Snowden 2016 film
. Source.
Pauli-X gate by Ciro Santilli 37 Updated 2025-07-16
The quantum NOT gate swaps the state of and , i.e. it maps:
As a result, this gate also inverts the probability of measuring 0 or 1, e.g.
Equation 2.
Quantum NOT gate matrix
.
Figure 1.
Quantum NOT gate symbol
. Source.
The Oxford mathematics Moodle has detailed course listings, and most PDFs are not paywalled.
E.g. the 2024 course:
WormWideWeb by Ciro Santilli 37 Updated 2025-07-16
wormwideweb.org/
Browse freely moving whole-brain calcium imaging datasets

Unlisted articles are being shown, click here to show only listed articles.