Diffie-Hellman vs ECDH Updated 2025-07-16
ECDH has smaller keys. youtu.be/gAtBM06xwaw?t=634 mentions some interesting downsides:
Automated theorem proving by halting problem reduction Updated 2025-07-16
If you can reduce a mathematical problem to the Halting problem of a specific turing machine, as in the case of a few machines of the Busy beaver scale, then using Turing machine deciders could serve as a method of automated theorem proving.
That feels like it could be an elegant proof method, as you reduce your problem to one of the most well studied representations that exists: a Turing machine.
However it also appears that certain problems cannot be reduced to a halting problem... OMG life sucks (or is awesome?): Section "Turing machine that halts if and only if Collatz conjecture is false".
Turing machine compiler Updated 2025-07-16
Specific values of the Busy beaver function Updated 2025-07-16
The following things come to mind when you look into research in this area, especially the search for BB(5) which was hard but doable:
- it is largely recreational mathematics, i.e. done by non-professionals, a bit like the aperiodic tiling. Humbly, they tend to call their results lemmas
- complex structure emerges from simple rules, leading to a complex classification with a few edge cases, much like the classification of finite simple groups
Bibliography:
University of Oxford alumnus Updated 2025-07-16
University of Bristol research group Updated 2025-07-16
Closed Tape Language decider Updated 2025-07-16
Described at: www.sligocki.com/2022/06/10/ctl.html
Translated cycler Turing machine Updated 2025-07-16
Cycler Turing machine Updated 2025-07-16
Bibliography: discuss.bbchallenge.org/t/decider-cyclers/33
Example: bbchallenge.org/279081.
These are very simple, they just check for exact state repetitions, which obviously imply that they will run forever.
Unfortunately, cyclers may need to run through an initial setup phase before reaching the initial cycle point, which is not very elegant.
Oxford Instruments Updated 2025-07-16
They are pioneers in making superconducting magnets, physicist from the university taking obsolete equipment from the uni to his garage and making a startup kind of situation. This was particularly notable for this time and place.
They became a major supplier for magnetic resonance imaging applications.
Exobrain Updated 2025-07-16
Plane wave function Updated 2025-07-16
In this solution of the Schrödinger equation, by the uncertainty principle, position is completely unknown (the particle could be anywhere in space), and momentum (and therefore, energy) is perfectly known.
The plane wave function appears for example in the solution of the Schrödinger equation for a free one dimensional particle. This makes sense, because when solving with the time-independent Schrödinger equation, we do separation of variable on fixed energy levels explicitly, and the plane wave solutions are exactly fixed energy level ones.
QEMU JavaScript port Updated 2025-07-16
This is especially interesting for user mode emulation.
User mode emulation Updated 2025-07-16
User mode emulation refers to the ability of certain emulators to emulate userland code running on top of a specific operating system, usually Linux.
For example, QEMU allows you to run a variety of userland ELF programs directly on it, without an underlying Linux kernel running.
User mode emulation is achieved by implementing system calls and special filesystems such as
/dev manually on the emulator one by one.The general tradeoff is that simulation is less acurate as it may lack certain highly advanced kernel functionality you haven't implemented yet. But it is much easier to run executables with it, and you don't have to wait for boot to finish before running, you just run executables directly from the command line.
JavaScript CPU microarchitecture simulator Updated 2025-07-16
Ray Sidney Updated 2025-07-16
Said to be the 5th Google employee, and Eileen Gu's father: gossipnextdoor.com/meet-ray-sidney-eileen-guus-alleged-dad/
Early Google employee Updated 2025-07-16
Bibliography:
ChatGPT produces:Omid Kordestani - Joined in 1999 as Google’s first business hire, focusing on sales and revenue generation.
- Heather Cairns (Employee #4) - Joined in 1998. She handled HR and was one of the earliest administrative hires.
- Harry Cheung (Employee #5) - Joined in 1999. An early engineer.
- Gerald Aigner (Employee #6) - Hired in 1999. Worked as a software engineer.
- Susan Wojcicki (Employee #16) - Joined in 1999. She rented her garage to Larry and Sergey in 1998 and later became an integral part of Google's business and advertising teams.
- Marissa Mayer (Employee #20) - Hired in 1999. Played a major role in Google Search and design.
Key exchange Updated 2025-07-16
Step busy beaver Updated 2025-07-16
Neil Fernandez Updated 2025-07-16
Article likely written by him: www.theguardian.com/commentisfree/2010/feb/22/home-schooling-register-families
“Especially my father. He was doing most of it and he is a savoury, strong character. He has strong beliefs about the world and in himself, and he was helping me a lot, even when I was at university as an undergraduate.”An only child, Arran was born in 1995 in Glasgow, where his parents were studying at the time. His father has Spanish lineage, having a great grandfather who was a sailor who moved from Spain to St Vincent in the Carribean. A son later left the islands for the UK where he married an English woman. Arran’s mother is Norwegian.
One of the articles says his father has a PhD. TODO where did he work? What's his PhD on? Photo: www.topfoto.co.uk/asset/1357880/
www.thetimes.co.uk/article/the-everyday-genius-pxsq5c50kt9:
There are unlisted articles, also show them or only show them.