03:12 <discocaml> <darrenldl> greenbagels: what kind of tasks are you tackling

04:57 <dh`> pcre is not a regular expression library; pcre has the same relation to a regular expression library that C++ has to pascal

16:25 <companion_cube> anyone knows how to test for 32 bits on a 64 bits linux machine? with qemu perhaps

16:37 <octachron> "/proc/cpuinfo"?

16:40 <discocaml> <undu> `uname -a` should be enough

16:40 <discocaml> <undu> but that's the kernel, not what the hardware supports

16:41 <companion_cube> no I mean, run tests for a package but on 32 bits

16:41 <companion_cube> I thought I had something like that in a past project but I'm failing to find it :(

16:43 <octachron> There is the option to run a test in node + js_of_ocaml if you want to test int-size independency.

16:45 <zozozo> companion_cube: you have compiler variants with a +32bit on opam, which iirc install a compiler that compiles down to 32-bit native code (using the 32-bits instructions of your proc i think)

16:45 <companion_cube> that'd do x86_32 but not, like, 3386

16:45 <companion_cube> i386

16:45 <zozozo> indeed

16:46 <companion_cube> octachron: no, I have native code, thank you very much :p

16:46 <zozozo> but it can catch compiler errors specirfic to 32-bit compilation (such as too big constants, etc..)

16:50 <companion_cube> yeah here it's because of opam-CI segfaults :)

16:52 <zozozo> oh....

16:53 <companion_cube> (which occur, on, like ppc64 and a bunch of 32-bit archs)

17:10 <discocaml> <undu> If it's a one-off thing you could spin up qemu with a particular architecture and point it to a live ISO that supports booting in that arch. If you need it for CI, the it's time to start thinking about disk images / virtual disks, similar to containers

17:16 <companion_cube> idk about CI but at least to work on the thing locally

22:41 <aztex> hello does OCaml have a foreign export feature

22:41 <aztex> specifically I have a legacy dune project and I am wondering if I can export a couple of functions from the project such that they can be called from C

22:41 <discocaml> <Kali> https://v2.ocaml.org/manual/intfc.html

22:42 <aztex> this does not talk about dune though

23:30 <companion_cube> It's not going to be great for that tbh

23:31 <companion_cube> I think you can call ocaml from C this way, but you can only do it with one ocaml program at a time, in a way, because the runtime is global

23:40 <discocaml> <curzon5298> Random question but how are people talking through the CCBot?

23:42 <discocaml> <Kali> see the channel description:

23:42 <discocaml> <Kali> > bridges to #ocaml on libera

23:43 <discocaml> <Kali> libera being https://en.wikipedia.org/wiki/Libera_Chat

23:54 <darchitect> hey guys, has anyone tried to do anything with language models and type theory ? What can be done? Are there any interesting research going in tihs direction? Would this help research in programming language design ? P.S. I am a noob in PL research.

23:58 <companion_cube> I personally hope that the fad around LLMs calms down so we can see what they're useful for :p

23:59 <companion_cube> Type theory, idk, I have my doubts