The website was dead as of February 2025. Last archive: web.archive.org/web/20240418004442/http://www.themathgenome.com/ Pings:They were seeking help on May 2024:
so its likely the followup death. LinkedIn post gives basic stack: MERN stack, Heroku, Supabase/MongoDB Atlas.
A discussion on the Lean Zulip: leanprover.zulipchat.com/#narrow/stream/113488-general/topic/The.20Math.20Genome.20Project/near/352639129. Lean people are not convinced about the model in general it seems however.
TODO not viewable without login?
Has conjectures feature.
Built by this dude John Mercer:He must be independently wealthy or something to do such a project? What a hero. But he seems to have jobs. On the side? Hardcore.
Ciro Santilli asked: discord.com/channels/1096393420408360989/1096393420408360996/1137047842159079474Owner:So apparently there will be proof checking, but no dependencies between proofs, you still have to pull request everything back and face the pain.
Does the website actually automatically check the formal proofs, or is this intended to be implemented at some point? And if yes, is it intended to allow proofs to depend on other proofs of the website (possibly by other people)
Hi Ciro, yes we will be releasing in-browser proof assistant environments/checkers (e.g. Lean). Our goal is not to replace the underlying open-source repos (e.g. Mathlib) so the main dependency will be on the current repos; then when statement formalizations and proofs come in and are certified they can be PR'd to the respective repos. So we will be the source of truth for the informal latex code but only a stepping stone and orchestration layer on the way to the respective formal libraries.
Bibliography:
The Schrodinger equation Hamiltonian has to be Hermitian Updated 2025-05-23 +Created 1970-01-01
The Schrödinger equation Hamiltonian has to be a Hermitian so we will have only positive energies I think: quantumcomputing.stackexchange.com/questions/12113/why-does-a-hamiltonian-have-to-be-hermitian
Contains the full state of the quantum system.
This is in contrast to classical mechanics where e.g. the state of mechanical system is given by two real functions: position and speed.
The wave equation in position representation on the other hand encodes speed in "how fast does the complex phase spin around", and direction in "does it spin clockwise or counterclockwise", as described well at: Video "Visualization of Quantum Physics (Quantum Mechanics) by udiprod (2017)". Then once you understand that, it is more compact to just view those graphs with the phase color coded as in Video "Simulation of the time-dependent Schrodinger equation (JavaScript Animation) by Coding Physics (2019)".
sudo apt build-dep cataclysm-dda-curses cataclysm-dda-data cataclysm-dda-data
git clone https://github.com/CleverRaven/Cataclysm-DDA
cd Cataclysm-DDA
git checkout cdda-experimental-2022-01-27-0622
mkdir build
cd build
cmake -DCMAKE_BUILD_TYPE=Release -DTILES=ON -DSOUND=ON -DLOCALIZE=OFF ..
make -j`nproc`:part_index_’ may be used uninitialized [-Werror=maybe-uninitialized]
55 | return part_index_;-Werror check, they don't test GCC new enough regularly. CIA 2010 covert communication websites activegameinfo.com Updated 2025-05-23 +Created 1970-01-01
whoisxmlapi WHOIS history March 22, 2011:
- Registrar Name: NETWORK SOLUTIONS, LLC.
- Created Date: January 26, 2010 00:00:00 UTC
- Updated Date: November 27, 2010 00:00:00 UTC
- Expires Date: January 26, 2012 00:00:00 UTC
- Registrant Name: Corral, Elizabeth|ATTN ACTIVEGAMINGINFO.COM|care of Network Solutions
- Registrant Street: PO Box 459
- Registrant City: PA
- Registrant State/Province: US
- Registrant Postal Code: 18222
- Registrant Country: UNITED STATES
- Administrative Name: Corral, Elizabeth|ATTN ACTIVEGAMINGINFO.COM|care of Network Solutions
- Administrative Street: PO Box 459
- Administrative City: Drums
- Administrative State/Province: PA
- Administrative Postal Code: 18222
- Administrative Country: UNITED STATES
- Administrative Email: xc2mv7ur8cw@networksolutionsprivateregistration.com
- Administrative Phone: 5707088780
- Name servers: NS23.DOMAINCONTROL.COM|NS24.DOMAINCONTROL.COM
On a Heuristic Viewpoint Concerning the Production and Transformation of Light by Einstein (1905) Updated 2025-05-23 +Created 1970-01-01
The photoelectric effect paper.
Schrödinger picture example: quantum harmonic oscillator Updated 2025-05-23 +Created 1970-01-01
TODO: use the results from the quantum harmonic oscillator solution to precisely illustrate the discussion at Schrödinger picture with a concrete example.
Scientific Autobiography and Other Papers by Max Planck translated by Frank Gaynor (1949) Updated 2025-05-23 +Created 1970-01-01
Reaches 2 mK[ref]. youtu.be/upw9nkjawdy?t=487 from Video "Building a quantum computer with superconducting qubits by Daniel Sank (2019)" mentions that 15 mK are widely available.
Used for example in some times of quantum computers, notably superconducting quantum computers. As mentioned at: youtu.be/uPw9nkJAwDY?t=487, in that case we need to go so low to reduce thermal noise.
Schrödinger equation for a free one dimensional particle Updated 2025-05-23 +Created 1970-01-01
Schrödinger equation for a one dimensional particle with . The first step is to calculate the time-independent Schrödinger equation for a free one dimensional particle
Then, for each energy , from the discussion at Section "Solving the Schrodinger equation with the time-independent Schrödinger equation", the solution is:Therefore, we see that the solution is made up of infinitely many plane wave functions.
There are unlisted articles, also show them or only show them.