03:30 <discocaml> <manooch2> Does anyone have any opinions on Jane streets statement saying its at a disadvantage when using OCaml?

03:59 <discocaml> <abstract.domain> that's some weird twitter telephone game from a podcast interview

04:03 <discocaml> <Max Korp (Frisk)> Wasn't it something about using c interop to avoid gc pressure or something?

04:04 <discocaml> <hockletock> https://signalsandthreads.com/performance-engineering-on-hard-mode/#4146 has the context, the fundamental disadvantage is a lack of "mechanical sympathy" for optimizations that require precise control over the exact representation of data and memory (re)use

04:05 <discocaml> <hockletock> using c interop was actually one of the escape hatches they found useful, in comparison to e.g. trying to call C from Java ocaml has low overhead

04:55 <companion_cube> @manooch2 what do you mean?!

05:01 <discocaml> <Kali> like this article, for instance (which seems to be factually incorrect in some areas...) https://www.efinancialcareers.com/news/2023/11/ocaml-vs-c-high-frequency-trading

05:14 <companion_cube> seems pretty much like what's said on the podcast…

05:14 <companion_cube> the "you can't fire me" is more of a joke tho

07:01 <discocaml> <manooch2> That’s what some worker said or smth, I guess it was just fluff from what someone else said

08:02 <discocaml> <bluddy5> Great illustration of how fake news is formed. An employee makes a fairly minor comment on a technical podcast, and that becomes the headline of an article, which sets the tone for discussions on social networks.

08:41 <greenbagels> octachron: is your answer here still accurate https://stackoverflow.com/a/71718980

08:42 <octachron> yes

09:20 <greenbagels> thanks for the prompt reply!

11:22 <Anarchos> how to build dune with the -g flags applied on .c files compilation ?

13:53 <discocaml> <yanek.sakura> why the stdlib is lacking so much?

14:18 <discocaml> <octachron> I don't know what you mean by "lacking so much" .The `stdlib` is designed by consensus, and it only aims to provide universal modules that are used by everyone. Non-universal modules are provided by other libraries.

14:20 <discocaml> <octachron> There is also the fact that the stdlib is a slow moving library, with limited review time, and very(too) strong backward-compatibility guarantees.

15:10 <neiluj> Hi! So I've got a loop (recursive function) that keeps allocating memory on the heap (let rec loop (x1, x2, x3, .., x6) = if cond then (x1, .., x6) else loop (f (x1, x2, x3, ..., x6))) , but actually the memory consumption should be constant: (only keep x1, ..., x6)

15:10 <neiluj> the function f allocates stuff to compute the new x's

15:12 <neiluj> but when running the function, the memory keeps growing, the GC sometimes runs but the used memory never shrinks, it only plateaus and then grows again

15:23 <octachron> Check the reachable words size of your function arguments? But otherwise it mostly sounds like you are overlooking a GC root somewhere.

15:43 <neiluj> thnaks, gonna check the reachable words size of functions arguments

15:43 <neiluj> what do you mean by "overlooking a GC root"?

15:44 <neiluj> the functions called in the loop are ctypes bindings

16:24 <neiluj> wow that's weird the issue seems to be gone but I don't get why

16:25 <neiluj> nice 'cause I was seriously reconsidering my choice of ocaml for numerical stuff :)

21:07 <Anarchos> I need to identify where in code a call to 'dune exec' launches a 'spawn_unix' with 'ocamlc.opt -config' program.

22:52 <dh`> grep is your friend

22:53 <Anarchos> dh` i try but it is really spageti code…

23:05 <companion_cube> maybe `strace -k`?

23:08 <Anarchos> i have no k option on strace

23:14 <companion_cube> Ah well

23:16 <Anarchos> i found two occurences where "ocamlc -config" is launched : one in dune_load and one in ocaml_toolchain.

23:17 <Anarchos> Those two are laucnhed through Process.run, which calls spawn_unix().