Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
retr0yrus
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
retr0yrus
8y ago
We will soon have ScAfee but for Dapps! Is it not true that program synthesis will work, as long as a "contract" isn't too large or designed adversarially? Because if that weren't true you'd have a debugger for all