Search: synthetic-minds.com | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Launch HN: Synthetic Minds (YC S18) – Program Synthesis to Protect Dapps

99 points

8 years ago

2.

Tell HN: Learn about the state-of-the-art in Program Synthesis

24 points

7 years ago

3.

Tell HN: Learn about the State of the Art in Program Synthesis

5 points

7 years ago

4.

From Sudoku Solver to Program Synthesis (synthetic-minds.com)

48 points

7 years ago

5.

Using program synthesis to secure smart contracts (2018) (synthetic-minds.com)

41 points

7 years ago

6.

Verifying smart contracts in Libra’s Move language (synthetic-minds.com)

21 points

7 years ago

7.

State of the art in Program Synthesis: Sep 19-20, 2019 (synthetic-minds.com)

4 points

7 years ago

8.

Verifying smart contracts in Libra's Move language (synthetic-minds.com)

4 points

7 years ago