Hacker News new | past | comments | ask | show | jobs | submit | from login

State of the art in Program Synthesis: Sep 19-20, 2019 (synthetic-minds.com) 4 points by saurabh20n on Sept 18, 2019 | past Verifying smart contracts in Libra’s Move language (synthetic-minds.com) 21 points by saurabh20n on Sept 12, 2019 | past | 5 comments Verifying smart contracts in Libra's Move language (synthetic-minds.com) 4 points by saurabh20n on Sept 11, 2019 | past Using program synthesis to secure smart contracts (2018) (synthetic-minds.com) 41 points by saurabh20n on May 14, 2019 | past From Sudoku Solver to Program Synthesis (synthetic-minds.com) 48 points by saurabh20n on Feb 21, 2019 | past | 22 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: