Ciro Santilli @cirosantilli 37

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.

 Read the full article

Applied mathematics research institute Created 2025-03-20 Updated 2025-07-16

 Read the full article

lenet Created 2025-03-17 Updated 2025-07-16

 View more

This 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 tkinter GUI 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.txt

Download and extract MNIST train, test accuracy, and generate the ONNX lenet.onnx:

./train.py

Extract MNIST images as PNG:

./extract_pngs.py

Infer some individual images using the ONNX:

./infer.py data/MNIST/png/test/0/*.png

Draw on a GUI and see live inference using the ONNX:

./draw.py

TODO: the following are missing for this to work:

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

 Read the full article

safe superintelligence inc. Created 2025-03-17 Updated 2025-07-16

 View more

ssi.inc/

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.

 Read the full article

Dynein Created 2025-03-17 Updated 2025-07-16

 Read the full article

Kinesin Created 2025-03-17 Updated 2025-07-16

 View more