Programming problem collection website by 
Ciro Santilli 35 Updated 2025-03-28 +Created 2025-03-20
Ciro Santilli 35 Updated 2025-03-28 +Created 2025-03-20They do some really fun hardcore mathy stuff over there!
Ciro Santilli interned at Inria Centre at Université Côte d'Azur in the early 2010's. It was a disaster, largely his own fault, but also due to our broken educational system. But they do have awesome things as well.
Applied mathematics research institute by Ciro Santilli 35 Updated 2025-03-28 +Created 2025-03-20
Ciro Santilli 35 Updated 2025-03-28 +Created 2025-03-20This is a small fork of activatedgeek/LeNet-5 by Ciro Santilli adding better integration and automation for:
- extracting MNIST images as PNG
- ONNX CLI inference taking any image files as input
- a Python
tkinterGUI that lets you draw and see inference live - running on GPU
Install on Ubuntu 24.10:
sudo apt install protobuf-compiler
cd lenet
virtualenv -p python3 .venv
. .venv/bin/activate
pip install -r requirements-python-3-12.txtDownload and extract MNIST train, test accuracy, and generate the ONNX Extract MNIST images as PNG:Infer some individual images using the ONNX:Draw on a GUI and see live inference using the ONNX:TODO: the following are missing for this to work:
lenet.onnx:./train.py./extract_pngs.py./infer.py data/MNIST/png/test/0/*.png./draw.py- start a background task. This we know how to do: stackoverflow.com/questions/1198262/tkinter-locks-python-when-an-icon-is-loaded-and-tk-mainloop-is-in-a-thread/79502287#79502287
- get bytes from the canvas: all methods are ugly: stackoverflow.com/questions/9886274/how-can-i-convert-canvas-content-to-an-image
Raised $1B at $5B valuation on September 2024, then $2B at $30B on March 2025. Lol!
From their website:
Superintelligence is within reach.
Our singular focus means no distraction by management overhead or product cycles, and our business model means safety, security, and progress are all insulated from short-term commercial pressures.
Kinesin Motor Protein 3D Animation by Art of the cell
. Source. Responsible for muscle contraction.
Zero-knowledge proof vs digital signature by Ciro Santilli 35 Updated 2025-03-28 +Created 2025-03-17
Ciro Santilli 35 Updated 2025-03-28 +Created 2025-03-17 Unlisted articles are being shown, click here to show only listed articles.