Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
fallingmeat
on Feb 16, 2025
|
parent
|
context
|
favorite
| on:
NASA has a list of 10 rules for software developme...
fun fact, the same guy (G Holzman) also made the Spin model checker
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
