3B1B: Recruiting, both for myself and for other companies (potentially yours)3blue1brown.substack.com·4 pts·hyperbrainer·0
I started an open source project in 2004. This week, it hit 30000 GitHub starsmedium.com·11 pts·hyperbrainer·0
Gmail's upgraded search results help you find the emails you want, fasterblog.google·10 pts·hyperbrainer·6
VictorTaelin: SupGen is a coding AI runs on 1 core CPU can prove theoremstwitter.com·38 pts·hyperbrainer·5
Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture (1994) [pdf]sites.math.rutgers.edu·2 pts·hyperbrainer·1