unexpectedtrap

Karma: 54
Created: 3 years ago

Recent Submissions

1. ▲ Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalized (github.com) 2 points · 1 month ago · 0 comments
2. ▲ 9aout: Native Plan 9 binaries on Linux (github.com) 3 points · 3 years ago · 0 comments

All submissions on HN · View profile on HN