This community and the linked story are about programming. The moral classification of the author's employer, in my opinion, does not belong here.
comments
comment on
Formal methods and the future of programming
comment on
Formal methods and the future of programming
Wow had no idea about this. Thanks for sharing!
comment on
Formal methods and the future of programming
[deleted]
comment on
Formal methods and the future of programming
[deleted]
comment on
Why I love OCaml
Preaching to the choir here :)