Everyone who writes safety critical software should read this

[deadalnix]

On Wednesday, 30 October 2013 at 18:35:44 UTC, Russel Winder 
wrote:
> Has any programming language ever had psychology of programming 
> folk
> involved from the outset rather than after the fact as a "patch 
> up"
> activity?

Yes, sadly I can't remember the name. Very insightful project. 
Probably won't be successful in itself, but a lot have to be 
learned from the experiment.