c/ocaml · by apoisel@discuss.tchncs.de · 91dFormal methods and the future of programming https://blog.janestreet.com/formal-methods-at-jane-street-index/5 points · 2 comments · view on lemmy.world
2 Comments
ultimate_worrier@lemmy.dbzer0.com · 3 pts · 90d
colourlessidea@sopuli.xyz · 3 pts · 90d
Wow had no idea about this. Thanks for sharing!
oranadoz@framapiaf.org · 2 pts · 90d
apoisel@discuss.tchncs.de · 0 pts · 90d
This community and the linked story are about programming. The moral classification of the author's employer, in my opinion, does not belong here.