OpenLogi
•
openlogi.org
Cerebras CS-4
•
www.cerebras.ai
The Two Factions of C++ (2024)
•
herecomesthemoon.net
Being ambitious and being a dad
•
nicholascharriere.com
Palomar: A registry of Lean verified mathematics
•
terrytao.wordpress.com
Supersonic Trebuchet [video]
•
www.youtube.com
Air Theremin – a browser theremin you play by waving at your webcam
•
theremin.bizibah.com
A 3D fruit fly on macOS desktop powered by the real FlyWire connectome
•
github.com