Unit circle Updated 2025-07-16
SpaceX Updated 2025-07-16
Ciro's Edict #4 Misc tech Updated 2025-07-16
I've finally had enough of Nvidia breaking my Ubuntu 21.10 suspend, so I investigated some more and found a workaround on the NVIDIA forums: stackoverflow.com/questions/58233482/next-js-setting-up-eslint-for-nextjs/70519682#70519682.
Thanks enormously to heroic user humblebee, and once again, Nvidia, fuck you.
The Dropout Updated 2025-07-16
It is good to watch the Out For blood in Silicon Valley (2019) documentary after this to see how the characters look like in real life. Many feel amazingly cast, very close to the original. The only great exception is the Indian dude, who is completely different. Was it that hard to find some indian dude who looked and felt a little more like the real one?
Uncertainty principle Updated 2025-07-16
The wave equation contains the entire state of a particle.
From mathematical formulation of quantum mechanics remember that the wave equation is a vector in Hilbert space.
And a single vector can be represented in many different ways in different basis, and two of those ways happen to be the position and the momentum representations.
More importantly, position and momentum are first and foremost operators associated with observables: the position operator and the momentum operator. And both of their eigenvalue sets form a basis of the Hilbert space according to the spectral theorem.
When you represent a wave equation as a function, you have to say what the variable of the function means. And depending on weather you say "it means position" or "it means momentum", the position and momentum operators will be written differently.
This is well shown at: Video "Visualization of Quantum Physics (Quantum Mechanics) by udiprod (2017)".
Furthermore, the position and momentum representations are equivalent: one is the Fourier transform of the other: position and momentum space. Remember that notably we can always take the Fourier transform of a function in due to Carleson's theorem.
Then the uncertainty principle follows immediately from a general property of the Fourier transform: en.wikipedia.org/w/index.php?title=Fourier_transform&oldid=961707157#Uncertainty_principle
In precise terms, the uncertainty principle talks about the standard deviation of two measures.
We can visualize the uncertainty principle more intuitively by thinking of a wave function that is a real flat top bump function with a flat top in 1D. We can then change the width of the support, but when we do that, the top goes higher to keep probability equal to 1. The momentum is 0 everywhere, except in the edges of the support. Then:
- to localize the wave in space at position 0 to reduce the space uncertainty, we have to reduce the support. However, doing so makes the momentum variation on the edges more and more important, as the slope will go up and down faster (higher top, and less x space for descent), leading to a larger variance (note that average momentum is still 0, due to to symmetry of the bump function)
- to localize the momentum as much as possible at 0, we can make the support wider and wider. This makes the bumps at the edges smaller and smaller. However, this also obviously delocalises the wave function more and more, increasing the variance of x
Bibliography:
- www.youtube.com/watch?v=bIIjIZBKgtI&list=PL54DF0652B30D99A4&index=59 "K2. Heisenberg Uncertainty Relation" by doctorphys (2011)
- physics.stackexchange.com/questions/132111/uncertainty-principle-intuition Uncertainty Principle Intuition on Physics Stack Exchange
BLAST (biotechnology) Updated 2025-07-16
BLAST is a sequence alignment.
The NCBI free-to-use BLAST server: blast.ncbi.nlm.nih.gov/Blast.cgi. Having a centralized query server is fundamental, because the gain of sequence alignment really comes from having one huge database to link information together, which is best centralized.
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:
Unlisted articles are being shown, click here to show only listed articles.