▲ 5 ▼ Formal methods and the future of programming (blog.janestreet.com) submitted 4 months ago by apoisel@discuss.tchncs.de to c/ocaml@discuss.tchncs.de 2 comments fedilink hide all child comments
[+] oranadoz@framapiaf.org 2 points 4 months ago (1 child) [deleted] permalink fedilink source parent hideshow 1 child comment replies: [–] apoisel@discuss.tchncs.de [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
[–] apoisel@discuss.tchncs.de [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