salkahfi 235 karma 339d on HN HN profile →
Coverage
We've seen 3 of ~234 submissions
Full eval: 0 Lite-only: 0 Unevaluated: 3
3 stories
1. Completing the formal proof of higher-dimensional sphere packing (www.math.inc)
4 points by salkahfi 4 hours ago | 1 comments | skipped
2. Closing the code review loop with Bugbot Autofix (cursor.com)
1 points by salkahfi 4 days ago | 0 comments | skipped
3. The Isomorphic Labs Drug Design Engine unlocks a new frontier beyond AlphaFold (www.isomorphiclabs.com)
1 points by salkahfi 4 days ago | 0 comments | skipped