ProofWiki Updated 2025-07-16
MediaWiki-based.
This appears to be the creator: github.com/externl "Joe George".
ProtonMail asks for login every time in the browser Updated 2025-07-16
It is fucking annoying!
- www.reddit.com/r/ProtonMail/comments/pn21dn/have_to_log_in_every_time_i_restart_the_browser/
- www.reddit.com/r/ProtonMail/comments/6qwm9w/automatic_login_to_protonmail_from_browser/
- protonmail.uservoice.com/forums/945460-general-ideas/suggestions/48228635-mail-proton-me-should-automatically-login-to-last
Not just on browser close. Whenever Ciro Santilli pastes proton.me/ on the browser bar and click enter. Chromium 123.
More precisely: pasting mail.proton.me on the browser bar redirects to account.proton.me/switch each time. From there, selecting different accounts leads to different mail.proton.me/u/<UID>/inbox, e.g. mail.proton.me/u/41/inbox is my main one. If I paste mail.proton.me/u/41/inbox on the browser, then it works directly.
PsiQuantum founding myth Updated 2025-07-16
Jeremy O'Brien told his peers that he had the best tech, and that he should get it all.
Some well connected peers from well known universities did not agree however, and also bid for the money, and won.
Jeremy was defeated. And pissed.
Makes for a reasonable the old man lost his horse.
www.ft.com/content/afc27836-9383-11e9-aea1-2b1d33ac3271 British quantum computing experts leave for Silicon Valley talks a little bit about them leaving, but nothing too juicy. They were called PsiQ previously apparently.More interestingly, the article mentions that this was party advised by early investor Hermann Hauser, who is known to be preoccupied about UK's ability to create companies. Of course, European Tower of Babel.
The departure of some of the UK’s leading experts in a potentially revolutionary new field of technology will raise fresh concerns over the country’s ability to develop industrial champions in the sector.
Psychology Updated 2025-07-16
Public domain scientific paper by year Updated 2025-07-16
Here we list public domain academic papers. They must be public domain in the country of origin, not just the US, which had generally less stringent timings with the 95 year after publication rule rather than life + 70, which often ends up being publication + 110/120. Once these are reached, they may be upload to Wikimedia Commons!
- 2018
- Max Planck's works in Germany (1947 + 70)
- 2026
- Albert Einstein's works in Germany (1955 + 70)
- 2031:
- Max von Laue's works in Germany (1960 + 70)
- 1912: Interferenz-Erscheinungen bei Röntgenstrahlen (Interference phenomena in X-rays). Scan: archive.org/details/sitzungsberichte1912knig/page/n393/mode/2up. Clean upload: archive.org/details/interferenz-erscheinungen-bei-rontgenstrahlen
- Max von Laue's works in Germany (1960 + 70)
- 2032:
- 2042
- 1927: www.nature.com/articles/119558a0 The Scattering of Electrons by a Single Crystal of Nickel. (1971 + 70), Germer's death. Scan: archive.org/details/sim_nature-uk_1927-04-16_119_2998/page/554/mode/2up. Clean upload: archive.org/details/the-scattering-of-electrons-by-a-single-crystal-of-nickel. The Davisson-Germer experiment!
- 2049
- 1922 Stern-Gerlach experiment papers such as The experimental proof of directional quantization in the magnetic field. Stern died in 1969, Gerlach died in 1979, so 1979 + 70
- 2056
- 1961 Experimental Evidence for Quantized Flux in Superconducting Cylinders. Published in the US, so 1961 + 95.
Public transport Updated 2025-07-16
Publish or perish Updated 2025-07-16
Punched card Updated 2025-07-16
Using Punch Cards by Bubbles Whiting (2016)
Source. Interview at the The Centre for Computing History. Management Updated 2025-07-16
DealBook Conference 2015 - Activist Investing by New York Times Events (2015)
Source. At this timestamp, Carl Icahn tells an anecdote of how he found that an entire 12-floor building of the American Car and Foundry Company which he had recently bought was not doing anything useful, and fired the entire building. P versus NP problem Updated 2025-07-16
Interesting because of the Cook-Levin theorem: if only a single NP-complete problem were in P, then all NP-complete problems would also be P!
We all know the answer for this: either false or independent.
Program the Micro Bit in C Updated 2025-07-27
Official support is abysmal, very focused on MicroPython and their graphical UI.
The setup impossible to achieve as it requires setting up the Yotta, just like the impossible to setup Compile MicroPython code for Micro Bit locally on Ubuntu 22.04 with your own firmware setup.
So we just use github.com/lancaster-university/microbit-samples + github.com/carlosperate/docker-microbit-toolchain:.hex file size for the hello world was 447 kB, much better than the MicroPython hello world downloaded from the website which was about 1.8 MB!
docker pull ghcr.io/carlosperate/microbit-toolchain:latest
git clone https://github.com/lancaster-university/microbit-samples
cd microbit-samples
git checkout 285f9acfb54fce2381339164b6fe5c1a7ebd39d5
# Select a sample, builds one at a time. The default one is the hello world.
cp source/examples/hello-world/* source
# Build and flash.
docker run -v $(pwd):/home --rm ghcr.io/carlosperate/microbit-toolchain:latest yotta build
cp build/bbc-microbit-classic-gcc/source/microbit-samples-combined.hex "/media/$USER/MICROBIT/"If you try it again for a second time from a clean tree, it fails with:presumably because after Yotta died it started using GitHub as a registry... sad. When will people learn. Apparently we were at 5000 API calls per hour. But if you don't clean the tree, you will be just fine.
warning: github rate limit for anonymous requests exceeded: you must log in Program Raspberry Pi Pico W with MicroPython Updated 2025-07-26
Then there are two appraoches:
- thonny if you like clicking mouse buttons:and select the interpreter as the Pico.
pipx install thonny - ampy if you like things to just run from the CLI: How to run a MicroPython script from a file on the Raspberry Pi Pico W from the command line?
Processor (computing) Updated 2025-07-16
Probable observation of the Josephson superconducting tunneling effect Updated 2025-07-16
Paper by Philip W. Anderson and John M. Rowell that first (?) experimentally observed the Josephson effect.
Paywalled by the American Physical Society as of 2023 at: journals.aps.org/prl/abstract/10.1103/PhysRevLett.10.230
They used tin-oxide-lead tunnel at 1.5 K. TODO oxide of what? Why two different metals? They say that both films are 200 nm thick, so maybe it is:
-----+------+------+-----
... Sn | SnO2 | PbO2 | Pb ...
-----+------+------------
100nm 100nmA reconstruction of their circuit in Ciro's ASCII art circuit diagram notation TODO:
DC---R_10---X---GThere are not details of the physical construction of course. Reproducibility lol.
Prize Updated 2025-07-16
Generally, prizes that pay big lumps of money to well established individuals are a bit useless, it would be better to pay smaller sums to struggling beginners in the field, of which there are aplenty.
The most important part about prizes should not be the money, nor the recognition, but rather explaining better what the laureates did. In this, most prizes fail. Thus Ciro Santilli's project idea: Project to explain each Nobel Prize better.
Prisoner's dilemma Updated 2025-07-16
Primitive recursive function Updated 2025-07-16
In intuitive terms it consists of all integer functions, possibly with multiple input arguments, that can be written only with a sequence of:and such that
- variable assignments
- addition and subtraction
- integer comparisons and if/else
- for loops
for (i = 0; i < n; i++)n does not change inside the loop body, i.e. no while loops with arbitrary conditions.n does not have to be a constant, it may come from previous calculations. But it must not change inside the loop body.Primitive recursive functions basically include every integer function that comes up in practice. Primitive recursive functions can have huge complexity, and it strictly contains EXPTIME. As such, they mostly only come up in foundation of mathematics contexts.
The cool thing about primitive recursive functions is that the number of iterations is always bound, so we are certain that they terminate and are therefore computable.
This also means that there are necessarily functions which are not primitive recursive, as we know that there must exist uncomputable functions, e.g. the busy beaver function.
Adding unbounded while loops of course enables us to simulate arbitrary Turing machines, and therefore increases the complexity class.
More finely, there are non-primitive total recursive functions, e.g. most famously the Ackermann function.
Pragmatism Updated 2025-07-16
The opposite of idealism.
Powder vs single crystal X-ray crystallography Updated 2025-07-16
Post-quantum cryptography company Updated 2025-07-16
There are unlisted articles, also show them or only show them.