5
Formal methods and the future of programming (blog.janestreet.com)
submitted 4 months ago by to c/ocaml@discuss.tchncs.de
2 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] [S] 0 points 4 months ago

This community and the linked story are about programming. The moral classification of the author's employer, in my opinion, does not belong here.

  • permalink
  • fedilink
  • source
  • parent