That almost works as a manifesto for Ada SPARK, just replace *polite* with *form... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		MaxBarraclough 9 months ago \| parent \| context \| favorite \| on: NASA has a list of 10 rules for software developme... That almost works as a manifesto for Ada SPARK, just replace polite with formal.

moffkalast 9 months ago [–]

The Nvidia firmware language? I think that one only has two steps:

1. The more you buy the more you save

2. Black leather jacket

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact