python/typing_cheat/infer.py by Ciro Santilli 37 Updated +Created
python/typing_cheat/union.py by Ciro Santilli 37 Updated +Created
Python Protocol by Ciro Santilli 37 Updated +Created
python/pytorch/matmul.py by Ciro Santilli 37 Updated +Created
NumPy does not automatically use the GPU for it: stackoverflow.com/questions/49605231/does-numpy-automatically-detect-and-use-gpu, and PyTorch is one of the most notable compatible implementations, as it uses the same memory structure as NumPy arrays.
Sample runs on P51 to observe the GPU speedup:
$ time ./matmul.py g 10000 1000 10000 100
real    0m22.980s
user    0m22.679s
sys     0m1.129s
$ time ./matmul.py c 10000 1000 10000 100
real    1m9.924s
user    4m16.213s
sys     0m17.293s
PyTorch model by Ciro Santilli 37 Updated +Created
torchvision by Ciro Santilli 37 Updated +Created
Contains several computer vision models, e.g. ResNet, all of them including pre-trained versions on some dataset, which is quite sweet.
HHL algorithm by Ciro Santilli 37 Updated +Created
QMUL research group by Ciro Santilli 37 Updated +Created
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).
Synchron by Ciro Santilli 37 Updated +Created
Video 1.
Syncron explanation video by Syncron (2018)
Source.
Video 2.
Rodney & Phil Use Our Brain Computer Interface by Syncron (2022)
Source. It might be amazing for those dudes, but it still has a long way to go.
Integer factorization algorithms better than Shor's algorithm by Ciro Santilli 37 Updated +Created
A group of Chinese researchers have just published a paper claiming that they can—although they have not yet done so—break 2048-bit RSA. This is something to take seriously. It might not be correct, but it’s not obviously wrong.
We have long known from Shor’s algorithm that factoring with a quantum computer is easy. But it takes a big quantum computer, on the orders of millions of qbits, to factor anything resembling the key sizes we use today. What the researchers have done is combine classical lattice reduction factoring techniques with a quantum approximate optimization algorithm. This means that they only need a quantum computer with 372 qbits, which is well within what’s possible today. (The IBM Osprey is a 433-qbit quantum computer, for example. Others are on their way as well.)
CEA Paris-Saclay by Ciro Santilli 37 Updated +Created
Centerpiece of the CEA since the beginning of the French nuclear weapons program, headquarters since 2006.
As of 2023 the place was blurred on Google Maps satellite view, no wonder.
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

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