Fastest gun in the West problem Updated +Created
Reddit toplevel comments are drowned out by comment replies Updated +Created
This is the fatal flaw of Reddit for aQ&A website. If you are not early on replying to the thread, your comment very quickly disappears due to replies to other comments. This greatly amplifies the fastest gun in the West problem.
UVa Online Judge Updated +Created
Project Euler 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 Updated +Created
Necessary evil Updated +Created
Allen Institute for AI Updated +Created
Programming problem collection website Updated +Created
The Alan Turing Institute Updated +Created
Inria 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 Updated +Created
@cirosantilli/_file/lenet 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. 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 Updated +Created
Kinesin Updated +Created
Video 1.
Kinesin protein walking on microtubule by XVIVO
. Source. Clip from Video "The Inner Life of the Cell by XVIVO Scientific Animation (2011)" with captions added in.
Video 2.
Kinesin Motor Protein 3D Animation by Art of the cell
. Source.
Microtubule vs Microfilament Updated +Created
Actin Updated +Created
Microtubule motors Updated +Created
There are two families:
  • kinesin moves in one direction
  • dynein moves in the other direction

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