#ocaml on 2025-05-04 — irc logs at libera.catirclogs.org

2024-05-29 14:49 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:02 <discocaml> <cod1r> i feel joy when i see contificate in chat

00:02 <discocaml> <cod1r> #ContificateSimpClub

00:09 Tuplanolla has quit [Quit: Leaving.]

00:15 <discocaml> <contificate> the most prolific jester

00:17 <discocaml> <tornato> @contificate implemented seminaive and parallel joins

00:17 <discocaml> <tornato> we cooking

00:17 <discocaml> <tornato> now how do I get it to be faster than souffle

00:18 <discocaml> <contificate> find a pathological input and tailor your program to beat souffle for that instance

00:19 <discocaml> <contificate> then dismiss souffle outright based on that sample

00:19 <discocaml> <contificate> same way I dismiss HM because my day-to-day program involves exponentially large product types

00:19 <discocaml> <tornato> ill compile it to bytecode

00:19 <discocaml> <contificate> same way I dismiss HM because my day-to-day programming involves exponentially large product types

00:19 <discocaml> <contificate> doesn't souffle compile to C++ that makes usage of all levels of impl details

00:20 <discocaml> <tornato> yes, put souffle from my understanding doesn't take advantage of multiple cores... at least last time I examined their output they didn't

00:22 <discocaml> <tornato> ```

00:22 <discocaml> <tornato> for (;;)

00:22 <discocaml> <tornato> {

00:22 <discocaml> <tornato> signalHandler->setMsg(R"_(T(x,z) :-

00:22 <discocaml> <tornato> G(x,y),

00:22 <discocaml> <tornato> T(y,z).

00:22 <discocaml> <tornato> in file v1.dl [9:1-9:29])_");

00:22 <discocaml> <tornato> if (!(rel_G_adda5e5e6680c563->empty()) && !(rel_delta_T_f3be5a305408b50a->empty()))

00:22 <discocaml> <tornato> {

00:22 <discocaml> <tornato> [&]()

00:22 <discocaml> <tornato> {

00:22 <discocaml> <tornato> CREATE_OP_CONTEXT(rel_delta_T_f3be5a305408b50a_op_ctxt, rel_delta_T_f3be5a305408b50a->createContext());

00:22 <discocaml> <tornato> CREATE_OP_CONTEXT(rel_new_T_b33f0a1653c6a610_op_ctxt, rel_new_T_b33f0a1653c6a610->createContext());

00:22 <discocaml> <tornato> CREATE_OP_CONTEXT(rel_G_adda5e5e6680c563_op_ctxt, rel_G_adda5e5e6680c563->createContext());

00:22 <discocaml> <tornato> CREATE_OP_CONTEXT(rel_T_4d4fd977128f9beb_op_ctxt, rel_T_4d4fd977128f9beb->createContext());

00:22 <discocaml> <tornato> for (const auto &env0 : *rel_G_adda5e5e6680c563)

00:22 <discocaml> <tornato> {

00:22 <discocaml> <tornato> auto range = rel_delta_T_f3be5a305408b50a->lowerUpperRange_10(Tuple<RamDomain, 2>{{ramBitCast(env0[1]), ramBitCast<RamDomain>(MIN_RAM_SIGNED)}}, Tuple<RamDomain, 2>{{ramBitCast(env0[1]), ramBitCast<RamDomain>(MAX_RAM_SIGNED)}}, READ_OP_CONTEXT(rel_delta_T_f3be5a305408b50a_op_ctxt));

00:22 <discocaml> <tornato> for (const auto &env1 : range)

00:22 <discocaml> <tornato> {

00:22 <discocaml> <tornato> if (!(rel_T_4d4fd977128f9beb->contains(Tuple<RamDomain, 2>{{ramBitCast(env0[0]), ramBitCast(env1[1])}}, READ_OP_CONTEXT(rel_T_4d4fd977128f9beb_op_ctxt))))

00:22 <discocaml> <tornato> {

00:22 <discocaml> <tornato> Tuple<RamDomain, 2> tuple{{ramBitCast(env0[0]), ramBitCast(env1[1])}};

00:22 <discocaml> <tornato> rel_new_T_b33f0a1653c6a610->insert(tuple, READ_OP_CONTEXT(rel_new_T_b33f0a1653c6a610_op_ctxt));

00:22 <discocaml> <tornato> }

00:22 <discocaml> <tornato> }();

00:22 <discocaml> <tornato> }

00:22 <discocaml> <tornato> iter++;

00:22 <discocaml> <tornato> }

00:22 <discocaml> <tornato> ```c++

00:22 <discocaml> <tornato> for (;;)

00:22 <discocaml> <tornato> {

00:22 <discocaml> <tornato> signalHandler->setMsg(R"_(T(x,z) :-

00:23 <discocaml> <tornato> G(x,y),

00:23 <discocaml> <tornato> T(y,z).

00:23 <discocaml> <tornato> in file v1.dl [9:1-9:29])_");

00:23 <discocaml> <tornato> if (!(rel_G_adda5e5e6680c563->empty()) && !(rel_delta_T_f3be5a305408b50a->empty()))

00:23 <discocaml> <tornato> {

00:23 <discocaml> <tornato> [&]()

00:23 <discocaml> <tornato> {

00:23 <discocaml> <tornato> CREATE_OP_CONTEXT(rel_delta_T_f3be5a305408b50a_op_ctxt, rel_delta_T_f3be5a305408b50a->createContext());

00:23 <discocaml> <tornato> CREATE_OP_CONTEXT(rel_new_T_b33f0a1653c6a610_op_ctxt, rel_new_T_b33f0a1653c6a610->createContext());

00:23 <discocaml> <tornato> CREATE_OP_CONTEXT(rel_G_adda5e5e6680c563_op_ctxt, rel_G_adda5e5e6680c563->createContext());

00:23 <discocaml> <contificate> the IRC users are no doubt pleased by this code block

00:23 <discocaml> <tornato> oh woops lol

00:23 <discocaml> <tornato> sorry y'all

00:30 <discocaml> <cod1r> 🤣

00:48 wickedshell has quit [Ping timeout: 265 seconds]

00:58 <discocaml> <tornato> No they brag about having an IQ in the top 99.9 percentile though

00:58 <discocaml> <tornato> I think they are making an AI startup rn

00:58 <discocaml> <cod1r> ur talking about cognition

01:00 <discocaml> <tornato> And they are insanely cracked at school and stuff like that, and I guess they developed the excel pivotables feature

01:00 <discocaml> <tornato> But yeah idk how their code looks

01:02 <discocaml> <tornato> Bro low-key tried to get a thesis advisor by saying that they did what the professor did in the paper 20 years ago but better about computing loop invariants using denotational semantics

01:03 <discocaml> <tornato> Never heard back from the advisor

01:29 myrkraverk has joined #ocaml

01:32 myrkraverk_ has quit [Ping timeout: 252 seconds]

02:19 Haudegen has quit [Quit: Bin weg.]

02:41 halloy9898 has quit [Quit: halloy9898]

02:41 halloy9898 has joined #ocaml

03:36 infinity0 has quit [Ping timeout: 276 seconds]

03:36 infinity0 has joined #ocaml

03:38 tomku has quit [Ping timeout: 276 seconds]

03:44 tomku has joined #ocaml

04:29 halloy9898 has quit [Remote host closed the connection]

06:37 euphores has quit [Quit: Leaving.]

06:44 domq has joined #ocaml

06:46 euphores has joined #ocaml

06:52 domq has quit [Quit: domq]

07:14 domq has joined #ocaml

07:21 bartholin has joined #ocaml

07:49 domq has quit [Quit: domq]

08:15 domq has joined #ocaml

09:10 Tuplanolla has joined #ocaml

09:32 pi3ce has quit [Ping timeout: 252 seconds]

09:32 pi3ce has joined #ocaml

09:44 domq has quit [Quit: domq]

10:05 hanker has quit [Ping timeout: 260 seconds]

10:06 YuGiOhJCJ has joined #ocaml

10:36 Serpent7776 has joined #ocaml

10:45 aljazmc has joined #ocaml

10:49 hanker has joined #ocaml

10:51 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

11:07 aljazmc has quit [Quit: Leaving]

11:08 aljazmc has joined #ocaml

11:14 domq has joined #ocaml

11:20 Haudegen has joined #ocaml

11:38 euphores has quit [Ping timeout: 252 seconds]

11:45 euphores has joined #ocaml

11:52 wbooze has quit [Quit: Leaving]

12:34 habnabit_ has quit [Ping timeout: 260 seconds]

12:38 habnabit_ has joined #ocaml

12:42 tremon has joined #ocaml

12:53 aljazmc has quit [Quit: Leaving]

13:18 DerTeufel has quit [Ping timeout: 265 seconds]

13:22 Serpent7776 has quit [Ping timeout: 260 seconds]

13:36 wbooze has joined #ocaml

13:46 DerTeufel has joined #ocaml

14:03 myrkraverk_ has joined #ocaml

14:06 myrkraverk has quit [Ping timeout: 276 seconds]

14:06 ygrek has joined #ocaml

14:15 wickedshell has joined #ocaml

14:16 habnabit_ has quit [Ping timeout: 260 seconds]

14:22 Haudegen has quit [Remote host closed the connection]

14:23 habnabit_ has joined #ocaml

14:24 Haudegen has joined #ocaml

14:25 euphores has quit [Ping timeout: 252 seconds]

14:32 euphores has joined #ocaml

14:36 halloy9898 has joined #ocaml

14:40 halloy9898 has quit [Client Quit]

14:40 halloy9898 has joined #ocaml

14:41 halloy9898 has quit [Client Quit]

14:42 halloy9898 has joined #ocaml

14:47 ygrek has quit [Remote host closed the connection]

14:50 halloy9898 has quit [Quit: halloy9898]

14:52 algm has joined #ocaml

14:55 myrkraverk has joined #ocaml

14:58 myrkraverk_ has quit [Ping timeout: 252 seconds]

15:04 ygrek has joined #ocaml

15:08 myrkraverk_ has joined #ocaml

15:12 myrkraverk has quit [Ping timeout: 268 seconds]

15:34 Serpent7776 has joined #ocaml

15:45 Serpent7776 has quit [Quit: Reconnecting]

15:50 Serpent7776 has joined #ocaml

16:16 droideqa has joined #ocaml

16:35 euphores has quit [Quit: Leaving.]

16:46 euphores has joined #ocaml

16:57 algm has quit [Ping timeout: 265 seconds]

17:06 Anarchos has joined #ocaml

17:36 <discocaml> <crackcomm> Is there a reason why `Fl_package_base.list_packages ()` returns packages that cannot be queried with `Fl_package_base.query`, it works e.g. for `odoc.html` but doesn't for `odoc.document`? There is only a single META file for odoc.

17:49 Anarchos has quit [Quit: Vision[]: i've been blurred!]

17:53 <discocaml> <crackcomm> I think I found the issue, it was missing dependencies, I didn't expect that.

18:23 <discocaml> <sim642> I think it's the same thing that bothered me once: https://github.com/sim642/odep/issues/6

18:45 Anarchos has joined #ocaml

18:57 <discocaml> <crackcomm> yup, that's exactly it

19:06 _jbrown_ has joined #ocaml

19:10 itszor has quit [Ping timeout: 268 seconds]

19:31 myrkraverk has joined #ocaml

19:33 myrkraverk_ has quit [Ping timeout: 252 seconds]

19:42 no-name has quit [Quit: Ping timeout (120 seconds)]

19:43 no-name has joined #ocaml

19:52 myrkraverk_ has joined #ocaml

19:54 myrkraverk has quit [Ping timeout: 248 seconds]

20:14 myrkraverk has joined #ocaml

20:17 myrkraverk_ has quit [Ping timeout: 265 seconds]

20:32 domq has quit [Quit: domq]

20:34 domq has joined #ocaml

20:35 domq has quit [Client Quit]

20:35 szkl has joined #ocaml

20:44 hsw has quit [Read error: Connection reset by peer]

20:44 hsw_ has joined #ocaml

20:49 theblatte has quit [Ping timeout: 272 seconds]

20:49 theblatte has joined #ocaml

20:54 ygrek has quit [Remote host closed the connection]

21:16 YuGiOhJCJ has joined #ocaml

21:42 bartholin has quit [Quit: Leaving]

22:08 Anarchos has quit [Quit: Vision[]: i've been blurred!]

22:12 Serpent7776 has quit [Ping timeout: 244 seconds]

23:21 tremon has quit [Quit: getting boxed in]

23:37 Tuplanolla has quit [Quit: Leaving.]

23:42 Mister_Magister has quit [Quit: bye]

23:49 Haudegen has quit [Quit: Bin weg.]