HHL algorithm by Ciro Santilli 37 Updated +Created
QMUL research group by Ciro Santilli 37 Updated +Created
Prime k-tuple conjecture by Ciro Santilli 37 Updated +Created
There are infinitely many prime k-tuples for every admissible tuple.
Generalization of the Twin prime conjecture.
As of 2023, there was no specific admissible tuple for which it had been proven that there infinite of, only bounds of type:
there are infinitely 2-tuple instances with at most a finite bound
But these do not specify which specific tuple, e.g. Yitang Zhang's theorem.
ResNet v1 vs v1.5 by Ciro Santilli 37 Updated +Created
catalog.ngc.nvidia.com/orgs/nvidia/resources/resnet_50_v1_5_for_pytorch explains:
The difference between v1 and v1.5 is that, in the bottleneck blocks which requires downsampling, v1 has stride = 2 in the first 1x1 convolution, whereas v1.5 has stride = 2 in the 3x3 convolution.
This difference makes ResNet50 v1.5 slightly more accurate (~0.5% top1) than v1, but comes with a small performance drawback (~5% imgs/sec).
Digital computer by Ciro Santilli 37 Updated +Created
Marxen-Buntrock machine by Ciro Santilli 37 Updated +Created
Best busy beaver machine known since 1989 as of 2023, before a full proof of all 5 state machines had been carried out.
Paper extracted to HTML by Heiner Marxen: turbotm.de/~heiner/BB/mabu90.html
Turing machine that halts if and only if Collatz conjecture is false by Ciro Santilli 37 Updated +Created
Intuitively we see that the situation is fundamentally different from the Turing machine that halts if and only if the Goldbach conjecture is false because for Collatz the counter example must go off into infinity, while in Goldbach conjecture we can finitely check any failures.
Amazing.
Condensed matter physics course of the University of Oxford by Ciro Santilli 37 Updated +Created
This could refer to several more specific courses, see the tagged articles for a list.
Skelet machine #1 is infinite by Ciro Santilli 37 Updated +Created
Non formal proof with a program March 2023: www.sligocki.com/2023/03/13/skelet-1-infinite.html Awesome article that describes the proof procedure.
The proof uses Turing machine acceleration to show that Skelet machine #1 is a Translated cycler Turing machine with humongous cycle paramters:
  • start between 50-200 M steps, not calculated precisely on the original post
  • period: ~8 billion steps
Geographical division of England by Ciro Santilli 37 Updated +Created
Countries of the United Kingdom by Ciro Santilli 37 Updated +Created
Regions of England by Ciro Santilli 37 Updated +Created
South East England by Ciro Santilli 37 Updated +Created
County in South East England by Ciro Santilli 37 Updated +Created
Pendon Museum by Ciro Santilli 37 Updated +Created
Video 1.
Model Village at Pendon Museum by the BBC (1975)
Source.
Video 2.
The History of Pendon Museum by World of Railways (2012)
Source. The founder was Australian. His family was wealthy, and he liked cycled around the Vale.
Degree of a polynomial by Ciro Santilli 37 Updated +Created

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