Microsoft Windows by Ciro Santilli 35 Updated +Created
A monopolistic operating system that only exists in the 2010's because of the IBM-linked historical lock-in and constant useless changes of the Microsoft Word document format to prevent cross operability.
It offers no technical advantages over free Linux distros in the late 2010's, and it is barely impossible to buy a non-Mac computer without paying for it, which should be illegal. European Union, time to use your regulatory powers.
The following anecdote illustrates Windows' pervasiveness. Ciro Santilli was once tutoring a high school student in Brazil, and decided to try and get her into programming. When the "Windows is not free" subject came up, the high school student was shocked: "I paid 100 dollars for this?". She never even knew it was there. To her, it was "just a computer".
Laws should really be passed forcing OEMs to allow you to not buy Microsoft Windows when buying a computer, European Union, why have you failed me in 2016??? en.wikipedia.org/wiki/Bundling_of_Microsoft_Windows
blog.zorinaq.com/i-contribute-to-the-windows-kernel-we-are-slower-than-other-oper/ I Contribute to the Windows Kernel. We Are Slower Than Other Operating Systems. Here Is Why. by Marc Bevand (2013) has some interesting remarks:
There's also little incentive to create changes in the first place. On linux-kernel, if you improve the performance of directory traversal by a consistent 5%, you're praised and thanked. Here, if you do that and you're not on the object manager team, then even if you do get your code past the Ob owners and into the tree, your own management doesn't care. Yes, making a massive improvement will get you noticed by senior people and could be a boon for your career, but the improvement has to be very large to attract that kind of attention.
Video 1.
Bomb disposal robot by The IT Crowd
. Source.
Video 2.
Gabe Newell Blue Screen
. Source. During Game Developers Choice Awards acceptance presentation. TODO year.
Micro Bit GPIO by Ciro Santilli 35 Updated +Created
Pinout overview: makecode.microbit.org/device/pins Basically 0, 1, and 2 are the truly generic ones. They can also serve as ADCs.
Quantum computer simulator by Ciro Santilli 35 Updated +Created
Bibliography:
ZX-calculus by Ciro Santilli 35 Updated +Created
How can we easily prove that that quantum circuit equals the state:
?
The naive way would be to just do the matrix multiplication as explained at Section "Quantum computing is just matrix multiplication".
However, ZX-calculus provides a simpler way.
And even more importantly, sometimes it is the only way, because in a real circuit, we would not be able to do the matrix multiplication
What we do in ZX-calculus is we first transform the original quantum circuit into a ZX graph.
This is always possible, because we can describe how to do the conversion simply for any of the Clifford plus T gates, which is a set of universal quantum gates.
Then, after we do this transformation, we can start applying further transformations that simplify the circuit.
It has already been proven that there is no efficient algorithm for this (TODO source, someone said P-sharp complete best case)
But it has been proven in 2017 that any possible equivalence between quantum circuits can be reached by modifying ZX-calculus circuits.
There are only 7 transformation rules that we need, and all others can be derived from those, universality.
So, we can apply those rules to do the transformation shown in Wikipedia:
Figure 1.
GHZ circuit as ZX-diagram
. Source.
and one of those rules finally tells us that that last graph means our desired state:
because it is a Z spider with and .
Video 1.
Working with PyZX by Aleks Kissinger (2019)
Source. This video appears to give amazing motivation on why you should care about ZX-calculus, it mentions
Qubit by Ciro Santilli 35 Updated +Created
Saylor Academy by Ciro Santilli 35 Updated +Created
This is an interesting initiative which has some similarities to Ciro Santilli's OurBigBook project.
The fatal flaw of the initiative in Ciro Santilli's opinion is the lack of user-generated content. We will never get there without UGC and algorithms, never.
Also as of 2021, it mostly useless business courses: learn.saylor.org unfortunately.
But it has several redeeming factors which Ciro Santilli aproves of:
The founder Michael J. Saylor looks a bit crooked, Rich people who create charitable prizes are often crooked comes to mind. But maybe he's just weird.
Video 1.
Michael Saylor interview by Lex Fridman (2022)
Source.
At the timestamp:
When I go, all my assets will flow into a foundation, and the foundation's mission is to make education free for everybody forever.
What statement... maybe he's actually not crooked, maybe it was just an accounting mistake... God, why.
If only Ciro Santilli knew how to contact him and convince him that his current approach is innefective and that Ciro has something better! Michael, please Google into this page some day, Ciro Santilli needs funding for OurBigBook.com. A hopeless Tweet at: twitter.com/cirosantilli/status/1548350114623660035. Also tried to hit his saylor@strategy.com.
Single particle double slit experiment by Ciro Santilli 35 Updated +Created
This experiment seems to be really hard to do, and so there aren't many super clear demonstration videos with full experimental setup description out there unfortunately.
For single-photon non-double-slit experiments see: single photon production and detection experiments. Those are basically a pre-requisite to this.
photon experiments:
Non-elementary particle:
Video 1.
Single Photon Interference by Veritasium (2013)
Source. Claims to do exactly what we want, but does not describe the setup precisely well enough. Notably, does not justify how he knows that single photons are being produced.
Metagenomics by Ciro Santilli 35 Updated +Created
Experiments that involve sequencing bulk DNA found in a sample to determine what species are present, as opposed to sequencing just a single specific specimen. Examples of samples that are often used:
One related application which most people would not consider metagenomics, is that of finding circulating tumor DNA in blood to detect tumors.
Spin (physics) by Ciro Santilli 35 Updated +Created
Spin is one of the defining properties of elementary particles, i.e. number that describes how an elementary particle behaves, much like electric charge and mass.
Possible values are half integer numbers: 0, 1/2, 1, 3/2, and so on.
The approach shown in this section: Section "Spin comes naturally when adding relativity to quantum mechanics" shows what the spin number actually means in general. As shown there, the spin number it is a direct consequence of having the laws of nature be Lorentz invariant. Different spin numbers are just different ways in which this can be achieved as per different Representation of the Lorentz group.
Video 1. "Quantum Mechanics 9a - Photon Spin and Schrodinger's Cat I by ViaScience (2013)" explains nicely how:
Video 1.
Quantum Mechanics 9a - Photon Spin and Schrodinger's Cat I by ViaScience (2013)
Source.
Video 3.
Understanding QFT - Episode 1 by Highly Entropic Mind (2023)
Source. Maybe he stands a chance.
Huygens-Fresnel principle by Ciro Santilli 35 Updated +Created
Post-order depth-first search by Ciro Santilli 35 Updated +Created
Has the property of visiting all descendants before the parent.
Positive definite matrix by Ciro Santilli 35 Updated +Created
The dot product is a positive definite matrix, and so we see that those will have an important link to familiar geometry.
De novo DNA synthesis company by Ciro Santilli 35 Updated +Created
Eat Just by Ciro Santilli 35 Updated +Created
Counter-Strike: Global Offensive by Ciro Santilli 35 Updated +Created

There are unlisted articles, also show them or only show them.