korbonits

Karma: 13
Created: 8 years ago

Recent Submissions

1. ▲ Who verifies the verifier? Notes on DeepMind's formal proof-search paper (korbonits.com) 1 point · 11 days ago · 0 comments
2. ▲ The Verification Problem (On OpenAI's Erdős Disproof) (korbonits.com) 3 points · 17 days ago · 0 comments
3. ▲ Textio Flow Launched Today (textio.ai) 2 points · 7 years ago · 0 comments
4. ▲ The Languages of Black Panther (junglelightspeed.com) 1 point · 8 years ago · 0 comments
5. ▲ 2018 New Year's Resolutions (korbonits.github.io) 1 point · 8 years ago · 0 comments
6. ▲ Corporate cultural values vs. corporate PR (techmeme.com) 1 point · 8 years ago · 0 comments
7. ▲ Hiring language across 25k job descriptions and corporate cultural norms (businessinsider.com) 2 points · 8 years ago · 0 comments
8. ▲ How Language in Job Listings Could Widen Silicon Valley’s Gender Divide (wsj.com) 1 point · 8 years ago · 0 comments
9. ▲ #NIPS2017 highlights (korbonits.github.io) 1 point · 8 years ago · 0 comments

All submissions on HN · View profile on HN