Y Hacker News new | ask | show | jobs

user: korbonits created: 2017-12-06 karma: 13 submissions: 0 points | 0 comments 0 points | 0 comments Who verifies the verifier? Notes on DeepMind's formal proof-search paper 1 points | 0 comments The Verification Problem (On OpenAI's Erdős Disproof) 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Textio Flow Launched Today 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments The Languages of Black Panther 1 points | 0 comments 0 points | 0 comments 2018 New Year's Resolutions 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Corporate cultural values vs. corporate PR 1 points | 0 comments Hiring language across 25k job descriptions and corporate cultural norms 2 points | 0 comments How Language in Job Listings Could Widen Silicon Valley’s Gender Divide 1 points | 0 comments #NIPS2017 highlights 1 points | 0 comments 0 points | 0 comments