Cobalt bomb Updated 2025-07-16
Rust (video game) Updated 2025-07-16
tig (git UI) Updated 2025-07-16
This is good. But it misses some key operations, so much so that makes Ciro not want to learn/use it daily.
Topological quantum computer Updated 2025-07-16
Topological Quantum Computer by Professor John Preskill
. Source. Topological Quantum Computation by Jason Alicea (2021)
Source. Chromosomal crossover Updated 2025-07-16
Crime Updated 2025-09-11
Force Updated 2025-07-16
Generating set of a group Updated 2025-07-16
Mahayana Updated 2025-07-16
Mahayana adds a bunch of stuff on top of the Pali Canon. Most of it appears to be random mysticism. Maybe there is something good in it... maybe.
Molecular biology Updated 2025-07-16
Ciro Santilli believes that molecular biology technologies will be a large part of the next big things as shown at: Section "Molecular biology technologies".
Bibliography:
- www.youtube.com/watch?v=mS563_Teges&list=PLQbPquAyEw4dQ3zOLrdS1eF_KJJbUUyBx Biophysical Techniques Course 2022 by the MRC Laboratory of Molecular Biology. Holy crap that playlist is a tour de force of molecular biology techniques in 2022!
Post-nominal letters Updated 2025-07-16
Semiconductor Updated 2025-07-16
The correlation between software engineers and Buddhism Updated 2025-07-16
Ciro Santilli believes that there is a positive correlation between being a software engineer and liking Buddhist-like things.
Maybe it is linked to minimalism and DRY, which software engineers value so greatly.
Even Ciro had to try an unoriginal Buddhist joke intro in one of this Stack Overflow answers.
Ciro also feels that his "minimal reproducible example" scientific language/concept learning method obsession of breaking things into tiny sub-problems has a strong link with Koans.
Some notable Buddhism/programmer examples:
- www.catb.org/~esr/writings/unix-koans/ "The Unix Koans of Master Foo - Rootless Root (无根的根)" by the legendary Eric Steven Raymond is notable
- thecodelesscode.com/ "The Codeless Code" by anonymous Qi.
- canonical.org/~kragen/tao-of-programming.html
- wiki.c2.com/?MysticalProgrammingKoans
- rubykoans.com/ even evil programming languages adopt them!
- The Zen of Python
Another thing that points the correlation out is the existence of wattsalan.github.io/ on a
github.io about Alan Watts. The Math Genome Project Updated 2025-07-16
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-07-16
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
GDB reverse debugging Updated 2025-07-16
The best open source implementation as of 2020 seems to be: Mozilla rr.
Genius Updated 2025-07-16
This is not a label that Ciro Santilli likes to give lightly. But maybe sometimes, it is inevitable.
Bibliography:
Get nucleotide at a given position of a FASTA file Updated 2025-07-16
Glueball Updated 2025-07-16
GNOME desktop Updated 2025-07-16
Unlisted articles are being shown, click here to show only listed articles.