throwaway81523 Karma 6,733 Created 5 years ago About Nerd. Recent Submissions 1. ▲ At Long Last, InfoWars Is Ours (theonion.info) 4 points · 3 days ago · 1 comment 2. ▲ Automated Conjecture Resolution with Formal Verification (arxiv.org) 2 points · 11 days ago · 0 comments All submissions on HN · View profile on HN