Lemdro.id
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
apoisel@discuss.tchncs.deM to OCaml@discuss.tchncs.deEnglish · 2 months ago

Formal methods and the future of programming

blog.janestreet.com

external-link
message-square
3
link
fedilink
5
external-link

Formal methods and the future of programming

blog.janestreet.com

apoisel@discuss.tchncs.deM to OCaml@discuss.tchncs.deEnglish · 2 months ago
message-square
3
link
fedilink
I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
alert-triangle
You must log in or register to comment.
  • ultimate_worrier@lemmy.dbzer0.com
    link
    fedilink
    English
    arrow-up
    3
    ·
    2 months ago

    How does anyone take Jane Street seriously anymore after they have been found to be manipulating markets for YEARS? Sam Bankman Fried was not an outlier. He was specifically trained by Jane Street to illegally manipulate markets.

    https://www.marketcalls.in/market-regulations/detailed-analysis-of-jane-streets-market-manipulation-strategies.html

    • colourlessidea@sopuli.xyz
      link
      fedilink
      English
      arrow-up
      3
      ·
      2 months ago

      Wow had no idea about this. Thanks for sharing!

    • 🏴A bas la propriété lucrative@framapiaf.org
      link
      fedilink
      arrow-up
      2
      ·
      2 months ago

      deleted by creator

      • apoisel@discuss.tchncs.deOPM
        link
        fedilink
        English
        arrow-up
        1
        arrow-down
        1
        ·
        2 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.

OCaml@discuss.tchncs.de

ocaml@discuss.tchncs.de

Subscribe from Remote Instance

Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !ocaml@discuss.tchncs.de

An industrial-strength functional programming language with an emphasis on expressiveness and safety. Website: www.ocaml.org

Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 1 user / day
  • 2 users / week
  • 5 users / month
  • 46 users / 6 months
  • 1 local subscriber
  • 368 subscribers
  • 142 Posts
  • 4 Comments
  • Modlog
  • mods:
  • apoisel@discuss.tchncs.de
  • UI: 0.19.11
  • BE: 0.19.12
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org