Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Sargos
on April 24, 2022
|
parent
|
context
|
favorite
| on:
$34M permanently locked into AkuDreams contract fo...
Most important smart contracts like MakerDAO are formally verified already and there are ways to code smart contracts in functional and other safer languages.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
