▲ 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
[+] ultimate_worrier@lemmy.dbzer0.com 3 points 4 months ago (2 children) [deleted] permalink fedilink source hideshow 2 child comments replies: [–] colourlessidea@sopuli.xyz 3 points 4 months ago Wow had no idea about this. Thanks for sharing! permalink fedilink source parent [+] 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 load more comments (-1 replies)
[–] colourlessidea@sopuli.xyz 3 points 4 months ago Wow had no idea about this. Thanks for sharing! permalink fedilink source parent
[+] 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
all 4 comments