07:20 <d_bot> <Andrey Zhukov> Hi all, could please you share your sphere in which you are working and using OCaml? Is it used most often in HFT?

11:54 <d_bot> <arctumn> Not in Ocaml, but i use a lot of F#, so I can replicate some behaviors when I'm doing the back-end of the project I'm doing in my company (we use .NET)

16:42 <d_bot> <hockletock> From the paper "Retrofitting Parallelism onto OCaml":

16:42 <d_bot> <hockletock> "We ... record in a domain-local minor remembered set the writes from old to younger minor heap objects. ... In OCaml, the allocation pointer starts at the end of the minor heap area, and objects are allocated in the minor heap by subtracting the allocation pointer by the required size. During a write r := v, if both r and v are objects in the minor heap, and r is at a higher address than v, then r is older than v. We add r to

16:42 <d_bot> <hockletock> I'm sure I have something very basic backwards, but isn't r := v writing a younger heap object to an older one rather than vice versa? Is the meaning of := supposed to be capturing a pointer to v inside r rather than setting r's value to v?

17:05 <d_bot> <mbacarella> I'm not aware of any HFTs besides Jane Street using it.(are you?) A few crypto plays use it: Tezos, O(1) Labs and Skolem.

17:05 <d_bot> <mbacarella>

17:05 <d_bot> <mbacarella> There's Lexi which makes finance products.

17:05 <d_bot> <mbacarella>

17:05 <d_bot> <mbacarella> Solvuu is building a big data biotech platform in OCaml.

17:05 <d_bot> <mbacarella>

17:05 <d_bot> <mbacarella> I'm not that familiar with what other industry is doing. Like Facebook invests in it but it's mostly a mystery to me from the outside.

17:07 <d_bot> <mbacarella> Oh I guess you asked what we ourselves are working on. I'm not really at liberty to discuss at the moment 😁

17:31 <d_bot> <octachron> @hockletock , setting the contents of `r` to `v` and making `r` points to `v` is the same thing (for non immediate objects)..

18:22 <d_bot> <darrenldl> i am using ocaml to develop tooling/language for security protocol formal analysis in an academic setting

18:22 <d_bot> <darrenldl> (no clue how useful that answer is since im not in industry, but eh : v