UVa Online Judge by Ciro Santilli 37 Updated +Created
Project Euler by Ciro Santilli 37 Updated +Created
They don't have an actual online judge system, all problems simply have an integer or floating point solution and they just check that you've found the value.
The only metric that matters is who solved the problem first after publication, e.g.: projecteuler.net/fastest=454. The "language" in which problems were solved is just whatever the user put in their profile, they can't actually confirm that.
Project Euler problems typically involve finding or proving and then using a lemma that makes computation of the solution feasible without brute force. As such, they live in the intersection of mathematics and computer science.
Code solutions by individuals:Basically no one ever had the patience to solve them all. What we need is a collaborative solution.
projecteuler.net says it started as a subsection in mathschallenge.net, and in 2006 moved to its own domain. WhoisXMLAPI WHOIS history says it was registered by domainmonster.com but details are anonymous. TODO: sample problem on mathschallenge.net on Wayback Machine? Likely wouldn't reveal much anyways though as there is no attribution to problem authors on that site.
www.hackerrank.com/contests/projecteuler/challenges holds challenges with an actual judge and sometimes multiple test cases so just printing the final solution number is not enough.
Exercism by Ciro Santilli 37 Updated +Created
Necessary evil by Ciro Santilli 37 Updated +Created
Programming problem collection website by Ciro Santilli 37 Updated +Created
The Alan Turing Institute by Ciro Santilli 37 Updated +Created
Inria by Ciro Santilli 37 Updated +Created
They 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 37 Updated +Created
lenet by Ciro Santilli 37 Updated +Created
This is a small fork of activatedgeek/LeNet-5 by Ciro Santilli adding better integration and automation for:
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:
safe superintelligence inc. by Ciro Santilli 37 Updated +Created
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.
Dynein by Ciro Santilli 37 Updated +Created
Kinesin by Ciro Santilli 37 Updated +Created
Video 2.
Kinesin Motor Protein 3D Animation by Art of the cell
. Source.
Microtubule vs Microfilament by Ciro Santilli 37 Updated +Created
Actin by Ciro Santilli 37 Updated +Created
Microtubule motors by Ciro Santilli 37 Updated +Created
There are two families:
  • kinesin moves in one direction
  • dynein moves in the other direction
Myosin by Ciro Santilli 37 Updated +Created
Family of proteins that walks on actin microfilaments.
Responsible for muscle contraction.
Microtubule by Ciro Santilli 37 Updated +Created
Microfilament by Ciro Santilli 37 Updated +Created

Unlisted articles are being shown, click here to show only listed articles.