Delft University of Technology Updated +Created
Quantum computers as experiments that are hard to predict outcomes Updated +Created
One possibly interesting and possibly obvious point of view, is that a quantum computer is an experimental device that executes a quantum probabilistic experiment for which the probabilities cannot be calculated theoretically efficiently by a nuclear weapon.
This is how quantum computing was originally theorized by the likes of Richard Feynman: they noticed that "Hey, here's a well formulated quantum mechanics problem, which I know the algorithm to solve (calculate the probability of outcomes), but it would take exponential time on the problem size".
The converse is then of course that if you were able to encode useful problems in such an experiment, then you have a computer that allows for exponential speedups.
This can be seen very directly by studying one specific quantum computer implementation. E.g. if you take the simplest to understand one, photonic quantum computer, you can make systems for which you need exponential time to calculate the probabilities that photons will exit through certain holes and not others.
The obvious aspect of this idea is by coming from quantum logic gates are needed because you can't compute the matrix explicitly as it grows exponentially: knowing the full explicit matrix is impossible in practice, and knowing the matrix is equivalent to knowing the probabilities of every outcome.
Drug liberalization Updated +Created
Ciro Santilli supports full legalization of all drugs, because he feels that it would be better overall for the world to have cheaper drugs and more drug addicts, but way, way less organized crime.
These should be extremely controlled of course, with extremely high taxes that puts their price just below the current illegal market, and a complete ban on any positive advertising.
Ciro believes that maybe the government could even go as far as giving free drugs to drug addicts so they don't have to rob to get a fix.
This is notably considering that drug-led organized crime completely dominates and corrupts the politics of many production and trafficking zones, which are already generally poor fucked up places to start with:Ciro's experiences in Brazil such as mentioned at São Remo, the favela next to USP, although much less extreme than the above, also come to mind.
Drug traffic corrupts everything. It prevents development of honest people. It is a cancer, which we have failed time and time a gain to cure. The only cure is to accept the other less insidious of addiction.
Bibliography:
webpack/sass Updated +Created
Narrative device Updated +Created
Basically a synonym of trope, but without the negative connotation.
History of quantum mechanics bibliography Updated +Created
Normed vector space Updated +Created
Quantum field theory simulations Updated +Created
TODO why is it so hard to find anything non perturbative :-(
On a quantum computer...:
Video 1.
Are we living in the matrix? by David Tong (2020)
Source. Talks about how the Nielsen-Ninomiya theorem means it is impossible to simulate QFT on a computer in the case of a lattice gauge theory.
Human reproductive cue Updated +Created
Real coordinate space of dimension four Updated +Created
Important 4D spaces:
Sexual organ Updated +Created
Dream argument Updated +Created
Trading card game Updated +Created
Formal proof Updated +Created
A proof in some system for the formalization of mathematics.
Dimension Updated +Created
Personal life of Richard Feynman Updated +Created
The Day Today Updated +Created
Formal system Updated +Created
Turing machine regex tape notation Updated +Created
Turing machine regex tape notation is Ciro Santilli's made up name for the notation used e.g. at:Most of it is just regular regular expression notation, with a few differences:
  • denotes the right or left edge of the (zero initialized) tape. It is often omitted as we always just assume it is always present on both sides of every regex
  • A, B, C, D and E denotes the current machine state. This is especially common notation in the context of the BB(5) problem
  • < and > next to the state indicate if the head is on top of the left or right element. E.g.:
    11 (01)^n <A 00 (0011)^{n+2}
    indicates that the head A is on top of the last 1 of the last sequence of n 01s to the left of the head.
This notation is very useful, as it helps compress long repeated sequences of Turing machine tape and extract higher level patterns from them, which is how you go about understanding a Turing machine in order to apply Turing machine acceleration.
Year 1 Updated +Created

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