Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
posterboy
on Nov 6, 2016
|
parent
|
context
|
favorite
| on:
Rules for Writing Safety Critical Code (2006)
The field is hardly accessible due to the sheer variety of solvers. Getting an overview first seems more important then jumping right in and getting a feel for a particular solver.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: