HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Launch HN: Synthetic Minds (YC S18) – Program Synthesis to Protect Dapps
42 comments
8 years ago
saurabh20n
99 points
2.
▲
Tell HN: Learn about the state-of-the-art in Program Synthesis
7 comments
7 years ago
saurabh20n
24 points
3.
▲
Tell HN: Learn about the State of the Art in Program Synthesis
discuss
7 years ago
rbodik
5 points
4.
▲
From Sudoku Solver to Program Synthesis
synthetic-minds.com
22 comments
7 years ago
saurabh20n
48 points
5.
▲
Using program synthesis to secure smart contracts (2018)
synthetic-minds.com
discuss
7 years ago
saurabh20n
41 points
6.
▲
Verifying smart contracts in Libra’s Move language
synthetic-minds.com
5 comments
7 years ago
saurabh20n
21 points
7.
▲
State of the art in Program Synthesis: Sep 19-20, 2019
synthetic-minds.com
discuss
7 years ago
saurabh20n
4 points
8.
▲
Verifying smart contracts in Libra's Move language
synthetic-minds.com
discuss
7 years ago
saurabh20n
4 points