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