Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
UncleMeat
on July 25, 2017
|
parent
|
context
|
favorite
| on:
Learn Ethereum smart contract programming
Type checking can be represented as abstract interpretation. It is the mostly widely used kind of formal verification that exists.
Consider applying for YC's Summer 2025 batch! Applications are open till May 13
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
