Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
jappgar
59 days ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
It is definitely harder to refactor Haskell than it is Typescript. Both are "safe" but one is slightly safer, and much harder to work with.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
