#ocaml on 2025-03-03 — irc logs at libera.irclog.whitequark.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 Tuplanolla has quit [*.net *.split]

00:02 euphores has quit [*.net *.split]

00:02 agentcasey_ has quit [*.net *.split]

00:02 nirvdrum74 has quit [*.net *.split]

00:02 eilvelia has quit [*.net *.split]

00:02 tomku has quit [*.net *.split]

00:02 JSharp has quit [*.net *.split]

00:02 Mister_Magister has quit [*.net *.split]

00:02 igemnace has quit [*.net *.split]

00:02 companion_cube has quit [*.net *.split]

00:02 sailorCat has quit [*.net *.split]

00:02 mange has quit [*.net *.split]

00:02 cr1901 has quit [*.net *.split]

00:02 wickedshell has quit [*.net *.split]

00:02 mal`` has quit [*.net *.split]

00:02 ski has quit [*.net *.split]

00:02 Opus has quit [*.net *.split]

00:02 anpad has quit [*.net *.split]

00:02 Armael has quit [*.net *.split]

00:02 infinity0 has quit [*.net *.split]

00:02 vicfred has quit [*.net *.split]

00:02 casastorta has quit [*.net *.split]

00:02 divya has quit [*.net *.split]

00:02 kurfen has quit [*.net *.split]

00:02 troydm has quit [*.net *.split]

00:02 mercxry has quit [*.net *.split]

00:02 madcabbage has quit [*.net *.split]

00:02 hsw__ has quit [*.net *.split]

00:02 pie_ has quit [*.net *.split]

00:02 jbowen has quit [*.net *.split]

00:02 mstevens has quit [*.net *.split]

00:02 pippijn has quit [*.net *.split]

00:02 buoy49__ has quit [*.net *.split]

00:02 ocabot has quit [*.net *.split]

00:02 remexre has quit [*.net *.split]

00:02 emp has quit [*.net *.split]

00:02 dmoerner has quit [*.net *.split]

00:02 dylanj has quit [*.net *.split]

00:02 thizanne has quit [*.net *.split]

00:02 germ- has quit [*.net *.split]

00:02 discocaml has quit [*.net *.split]

00:02 YuGiOhJCJ has quit [*.net *.split]

00:02 user_ has quit [*.net *.split]

00:02 chiselfuse has quit [*.net *.split]

00:03 arya_elfren has quit [*.net *.split]

00:03 henrytill has quit [*.net *.split]

00:03 janvhs has quit [*.net *.split]

00:03 whereiseveryone has quit [*.net *.split]

00:03 xvilka has quit [*.net *.split]

00:03 tranzystorekk has quit [*.net *.split]

00:03 ggb has quit [*.net *.split]

00:03 philipwhite has quit [*.net *.split]

00:03 lane has quit [*.net *.split]

00:03 polykernel has quit [*.net *.split]

00:03 berberman has quit [*.net *.split]

00:03 Techcable has quit [*.net *.split]

00:03 bacam has quit [*.net *.split]

00:03 Duns_Scrotus has quit [*.net *.split]

00:03 copy has quit [*.net *.split]

00:03 jsoo has quit [*.net *.split]

00:03 lthms has quit [*.net *.split]

00:03 lobo has quit [*.net *.split]

00:03 SquidDev has quit [*.net *.split]

00:03 steenuil has quit [*.net *.split]

00:03 Ekho has quit [*.net *.split]

00:03 kron has quit [*.net *.split]

00:03 cross has quit [*.net *.split]

00:03 sadiq has quit [*.net *.split]

00:03 jutty has quit [*.net *.split]

00:03 semarie has quit [*.net *.split]

00:03 nlocalhost has quit [*.net *.split]

00:03 ridcully has quit [*.net *.split]

00:03 xgqt has quit [*.net *.split]

00:03 jyc has quit [*.net *.split]

00:03 slothby has quit [*.net *.split]

00:03 rak has quit [*.net *.split]

00:03 theblatte has quit [*.net *.split]

00:03 deadmarshal_ has quit [*.net *.split]

00:03 seeg has quit [*.net *.split]

00:03 Ankhers has quit [*.net *.split]

00:03 b0o has quit [*.net *.split]

00:03 rustyne has quit [*.net *.split]

00:03 sleepydog has quit [*.net *.split]

00:03 pmk has quit [*.net *.split]

00:03 mima has quit [*.net *.split]

00:03 bibi_ has quit [*.net *.split]

00:03 myrkraverk has quit [*.net *.split]

00:03 terrorjack has quit [*.net *.split]

00:03 trillion_exabyte has quit [*.net *.split]

00:03 gebn has quit [*.net *.split]

00:03 bcksl has quit [*.net *.split]

00:03 CalimeroTeknik has quit [*.net *.split]

00:03 cawfee has quit [*.net *.split]

00:03 leah2 has quit [*.net *.split]

00:03 spynxic has quit [*.net *.split]

00:03 za3k has quit [*.net *.split]

00:03 energizer has quit [*.net *.split]

00:03 lisq has quit [*.net *.split]

00:03 Soni has quit [*.net *.split]

00:03 keyboard has quit [*.net *.split]

00:03 quernd1 has quit [*.net *.split]

00:03 ohperitel has quit [*.net *.split]

00:03 dh` has quit [*.net *.split]

00:03 GreaseMonkey has quit [*.net *.split]

00:03 oisota has quit [*.net *.split]

00:03 keyle_ has quit [*.net *.split]

00:03 delyan_ has quit [*.net *.split]

00:03 nyuhu has quit [*.net *.split]

00:03 dmbaturin has quit [*.net *.split]

00:03 drakonis has quit [*.net *.split]

00:03 mrglow has quit [*.net *.split]

00:03 gentauro has quit [*.net *.split]

00:03 m5zs7k has quit [*.net *.split]

00:03 pi3ce has quit [*.net *.split]

00:03 Exa has quit [*.net *.split]

00:03 end has quit [*.net *.split]

00:03 chrisz has quit [*.net *.split]

00:03 xenu has quit [*.net *.split]

00:03 Leonidas has quit [*.net *.split]

00:03 Putonlalla has quit [*.net *.split]

00:03 johnel has quit [*.net *.split]

00:03 noddy has quit [*.net *.split]

00:03 grobe0ba has quit [*.net *.split]

00:03 farn__ has quit [*.net *.split]

00:03 soni_ is now known as soni

00:05 slondr has quit [Ping timeout: 240 seconds]

00:05 ursa-major has quit [Ping timeout: 240 seconds]

00:06 slondr has joined #ocaml

00:06 lane has joined #ocaml

00:07 Ekho has joined #ocaml

00:07 kron has joined #ocaml

00:07 cross has joined #ocaml

00:07 steenuil has joined #ocaml

00:07 sadiq has joined #ocaml

00:08 vicfred has joined #ocaml

00:08 ggb_ has joined #ocaml

00:08 troydm has joined #ocaml

00:08 Armael has joined #ocaml

00:08 mstevens has joined #ocaml

00:08 YuGiOhJCJ has joined #ocaml

00:08 jbowen has joined #ocaml

00:08 mange has joined #ocaml

00:08 anpad has joined #ocaml

00:08 madcabbage has joined #ocaml

00:08 wickedshell has joined #ocaml

00:08 cr1901 has joined #ocaml

00:08 hsw__ has joined #ocaml

00:08 user_ has joined #ocaml

00:08 remexre has joined #ocaml

00:08 mal`` has joined #ocaml

00:08 casastorta has joined #ocaml

00:08 chiselfuse has joined #ocaml

00:08 ski has joined #ocaml

00:08 kurfen has joined #ocaml

00:08 divya has joined #ocaml

00:08 emp has joined #ocaml

00:08 dmoerner has joined #ocaml

00:08 Opus has joined #ocaml

00:08 infinity0 has joined #ocaml

00:08 dylanj has joined #ocaml

00:08 discocaml has joined #ocaml

00:08 mercxry has joined #ocaml

00:08 buoy49__ has joined #ocaml

00:08 ocabot has joined #ocaml

00:08 pie_ has joined #ocaml

00:08 germ- has joined #ocaml

00:08 thizanne has joined #ocaml

00:08 pippijn has joined #ocaml

00:08 ggb_ is now known as ggb

00:08 ursa-major has joined #ocaml

00:08 ursa-major has quit [Max SendQ exceeded]

00:08 discocaml has quit [Excess Flood]

00:08 whereiseveryone has joined #ocaml

00:08 euphores has joined #ocaml

00:08 eilvelia has joined #ocaml

00:08 nirvdrum74 has joined #ocaml

00:08 Tuplanolla has joined #ocaml

00:08 tomku has joined #ocaml

00:08 igemnace has joined #ocaml

00:08 sailorCat has joined #ocaml

00:08 JSharp has joined #ocaml

00:08 companion_cube has joined #ocaml

00:08 agentcasey_ has joined #ocaml

00:08 soni is now known as 042AA7T69

00:08 jutty has joined #ocaml

00:08 ridcully has joined #ocaml

00:08 semarie has joined #ocaml

00:08 xgqt has joined #ocaml

00:08 nlocalhost has joined #ocaml

00:08 jyc has joined #ocaml

00:09 Techcable has joined #ocaml

00:09 henrytill has joined #ocaml

00:09 xvilka has joined #ocaml

00:09 janvhs has joined #ocaml

00:09 philipwhite has joined #ocaml

00:09 polykernel has joined #ocaml

00:09 tranzystorekk has joined #ocaml

00:09 berberman has joined #ocaml

00:09 arya_elfren has joined #ocaml

00:09 Duns_Scrotus has joined #ocaml

00:09 bacam has joined #ocaml

00:09 lthms has joined #ocaml

00:09 copy has joined #ocaml

00:09 lobo has joined #ocaml

00:09 SquidDev has joined #ocaml

00:09 jsoo has joined #ocaml

00:09 bibi_ has joined #ocaml

00:09 Soni has joined #ocaml

00:09 terrorjack has joined #ocaml

00:09 myrkraverk has joined #ocaml

00:09 trillion_exabyte has joined #ocaml

00:09 bcksl has joined #ocaml

00:09 gebn has joined #ocaml

00:09 CalimeroTeknik has joined #ocaml

00:09 cawfee has joined #ocaml

00:09 za3k has joined #ocaml

00:09 leah2 has joined #ocaml

00:09 spynxic has joined #ocaml

00:09 lisq has joined #ocaml

00:09 energizer has joined #ocaml

00:09 trillion_exabyte has quit [Max SendQ exceeded]

00:09 mrglow has joined #ocaml

00:09 grobe0ba has joined #ocaml

00:09 pi3ce has joined #ocaml

00:09 Exa has joined #ocaml

00:09 m5zs7k has joined #ocaml

00:09 Putonlalla has joined #ocaml

00:09 noddy has joined #ocaml

00:09 Leonidas has joined #ocaml

00:09 johnel has joined #ocaml

00:09 gentauro has joined #ocaml

00:09 chrisz has joined #ocaml

00:09 farn__ has joined #ocaml

00:09 xenu has joined #ocaml

00:09 end has joined #ocaml

00:11 GreaseMonkey has joined #ocaml

00:11 delyan_ has joined #ocaml

00:11 quernd1 has joined #ocaml

00:11 keyboard has joined #ocaml

00:11 keyle_ has joined #ocaml

00:11 oisota has joined #ocaml

00:11 ohperitel has joined #ocaml

00:11 nyuhu has joined #ocaml

00:11 dh` has joined #ocaml

00:11 dmbaturin has joined #ocaml

00:11 drakonis has joined #ocaml

00:17 slothby has joined #ocaml

00:17 theblatte has joined #ocaml

00:17 rak has joined #ocaml

00:17 deadmarshal_ has joined #ocaml

00:17 seeg has joined #ocaml

00:17 Ankhers has joined #ocaml

00:17 b0o has joined #ocaml

00:17 sleepydog has joined #ocaml

00:17 rustyne has joined #ocaml

00:17 mima has joined #ocaml

00:17 pmk has joined #ocaml

00:17 ygrek has joined #ocaml

00:17 discocaml has joined #ocaml

00:17 user_ has quit [Quit: user_]

00:18 pmk has quit [Max SendQ exceeded]

00:18 Ankhers has quit [Max SendQ exceeded]

00:18 b0o has quit [Max SendQ exceeded]

00:18 pmk has joined #ocaml

00:18 b0o has joined #ocaml

00:18 fmira has joined #ocaml

00:18 Ankhers has joined #ocaml

00:19 trillion_exabyte has joined #ocaml

00:24 ursa-major has joined #ocaml

00:25 alfiee has joined #ocaml

00:29 alfiee has quit [Ping timeout: 252 seconds]

01:12 alfiee has joined #ocaml

01:13 Mister_Magister has joined #ocaml

01:16 alfiee has quit [Ping timeout: 244 seconds]

01:22 Tuplanolla has quit [Quit: Leaving.]

01:24 grobe0ba_ has joined #ocaml

01:28 grobe0ba_ has quit [Remote host closed the connection]

01:59 alfiee has joined #ocaml

02:03 alfiee has quit [Ping timeout: 244 seconds]

02:26 hsw__ has quit [Quit: Leaving]

02:45 alfiee has joined #ocaml

02:50 alfiee has quit [Ping timeout: 248 seconds]

03:10 madcabbage has quit [Ping timeout: 260 seconds]

03:13 ygrek has quit [Remote host closed the connection]

03:13 kurfen has quit [Ping timeout: 252 seconds]

03:14 kurfen has joined #ocaml

03:21 vicfred has quit [Ping timeout: 252 seconds]

03:32 alfiee has joined #ocaml

03:36 alfiee has quit [Ping timeout: 245 seconds]

03:53 madcabbage has joined #ocaml

04:19 alfiee has joined #ocaml

04:23 alfiee has quit [Ping timeout: 248 seconds]

05:05 alfiee has joined #ocaml

05:10 alfiee has quit [Ping timeout: 244 seconds]

05:31 <discocaml> <darrenldl> are you referring to os task/process scheduling or time adjustment?

05:52 alfiee has joined #ocaml

05:56 alfiee has quit [Ping timeout: 246 seconds]

06:02 <dh`> there's wall clock time and elapsed cpu time while your process is scheduled

06:03 <dh`> both should be available, question was which

06:24 <discocaml> <darrenldl> yeah, cant tell if they were looking for wall clock time that is not affected by time drifts etc, i.e. monotonic time via mtime, or time scheduled/occupied

06:39 alfiee has joined #ocaml

06:44 alfiee has quit [Ping timeout: 268 seconds]

07:12 bartholin has joined #ocaml

07:26 alfiee has joined #ocaml

07:27 agentcasey_ has quit [Quit: ZNC 1.10.x-git-27-bfd731cf - https://znc.in]

07:28 Serpent7776 has joined #ocaml

07:29 agentcasey has joined #ocaml

07:30 alfiee has quit [Ping timeout: 252 seconds]

07:36 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

07:39 accordvenom has joined #ocaml

07:46 accordvenom has quit [Quit: leaving]

07:46 bartholin has quit [Quit: Leaving]

07:53 dh` has quit [Read error: Connection reset by peer]

07:53 agentcasey has quit [Quit: ZNC 1.10.x-git-38-e8c4cda0 - https://znc.in]

07:55 dh` has joined #ocaml

08:12 alfiee has joined #ocaml

08:13 Haudegen has joined #ocaml

08:17 alfiee has quit [Ping timeout: 245 seconds]

08:18 ridcully has quit [Quit: WeeChat 4.5.1]

08:18 ridcully has joined #ocaml

08:59 alfiee has joined #ocaml

09:03 alfiee has quit [Ping timeout: 244 seconds]

09:40 wbooze has joined #ocaml

09:46 alfiee has joined #ocaml

09:51 alfiee has quit [Ping timeout: 276 seconds]

10:17 <discocaml> <gooby_diatonic> The former

10:18 <discocaml> <gooby_diatonic> From what I know CPU time is mostly affected by stuff like cache misses and such but otherwise seems like a good estimate of how long the program has been "executing" from without counting the OS context switching to other things and such

10:18 <discocaml> <gooby_diatonic> But I wasn't sure if that's how Sys.time behaves

10:33 alfiee has joined #ocaml

10:38 alfiee has quit [Ping timeout: 268 seconds]

11:20 <discocaml> <darrenldl> Right yep, yeah the documentation is very light on that level of details indeed

11:22 alfiee has joined #ocaml

11:27 alfiee has quit [Ping timeout: 246 seconds]

11:59 <discocaml> <piziedust237> Hello, we are conducting a short survey to better understand how you use the different editor plugins available for OCaml. Please take a few minutes (ideally 5) to fill out the form.

11:59 <discocaml> <piziedust237>

11:59 <discocaml> <piziedust237> https://docs.google.com/forms/d/e/1FAIpQLSfGGFZBiw4PF7L0yt2DBX8443G5_7aFL5v6wvo6p5MwL-DW8Q/viewform?usp=pp_url&entry.454013858=Discord

12:09 alfiee has joined #ocaml

12:13 alfiee has quit [Ping timeout: 252 seconds]

12:31 mange has quit [Quit: Zzz...]

12:56 alfiee has joined #ocaml

13:00 alfiee has quit [Ping timeout: 252 seconds]

13:24 ygrek has joined #ocaml

13:33 gentauro has quit [Read error: Connection reset by peer]

13:39 gentauro has joined #ocaml

13:43 alfiee has joined #ocaml

13:48 alfiee has quit [Ping timeout: 260 seconds]

14:01 Haudegen has quit [Quit: Bin weg.]

14:05 olle has joined #ocaml

14:21 <discocaml> <_4ad> @piziedust237 it asks what editor I use, but not what editor I would like to use. my normal editor is acme, but I can't use it with OCaml, so I use something else out of necessity, not because I prefer it.

14:30 alfiee has joined #ocaml

14:34 alfiee has quit [Ping timeout: 246 seconds]

14:43 wbooze has quit [Read error: Connection reset by peer]

15:00 wbooze has joined #ocaml

15:17 alfiee has joined #ocaml

15:19 infinity0 has quit [Remote host closed the connection]

15:19 infinity0 has joined #ocaml

15:21 alfiee has quit [Ping timeout: 244 seconds]

15:23 myrkraverk has quit [Ping timeout: 244 seconds]

15:29 myrkraverk has joined #ocaml

16:03 Haudegen has joined #ocaml

16:04 alfiee has joined #ocaml

16:06 <burley> _4ad: why can't you use Acme with OCaml? With a little bit of scripting, you can get repl driven development in Acme and OCaml.

16:08 alfiee has quit [Ping timeout: 244 seconds]

16:17 <discocaml> <_4ad> burley: I can, but it's a pain. The single most annoying thing is that OCaml does not do line:no error messages, which disrupts completely the acme workflow. Additionally using spaces instead of tabs is not supported in acme natively (although I patched mine to kinda work).

16:17 <discocaml> <_4ad> doing a merlin integration in acme is possible, but I don't have the time.

16:41 Haudegen has quit [Quit: Bin weg.]

16:51 alfiee has joined #ocaml

16:55 <burley> _4ad: That makes sense. Debugging in Acme is rough without the error messages in that format.

16:55 alfiee has quit [Ping timeout: 252 seconds]

16:56 wbooze has quit [Ping timeout: 260 seconds]

17:01 <discocaml> <octachron> What is exactly the error message format supported in Acme?

17:09 olle has quit [Ping timeout: 245 seconds]

17:13 <discocaml> <_4ad> `file:line:col error message`, which is the format used by most compilers, C compiler, Rust, etc.

17:23 bartholin has joined #ocaml

17:32 <discocaml> <alyxshang> The Camels, the crabs, the pythons, the dinos, everyone.

17:33 euphores has quit [Quit: Leaving.]

17:33 <discocaml> <alyxshang> A lot of knowledge and help I got for basically nothing and the people who gave me said knowledge did it because they wanted to help - for whatever reason.

17:34 <discocaml> <alyxshang> Not sure how to construe this.

17:34 <discocaml> <alyxshang> It may or may not be, I won't say more, lest I put myself under more pressure.

17:39 alfiee has joined #ocaml

17:42 euphores has joined #ocaml

17:43 alfiee has quit [Ping timeout: 268 seconds]

17:44 Haudegen has joined #ocaml

17:54 <discocaml> <darrenldl> compiler engineers have other computing needs too : v

18:27 alfiee has joined #ocaml

18:31 alfiee has quit [Ping timeout: 248 seconds]

18:47 LainExperiments has joined #ocaml

18:58 LainExperiments6 has joined #ocaml

18:58 LainExperiments7 has joined #ocaml

19:00 LainExperiments has quit [Ping timeout: 240 seconds]

19:03 LainExperiments6 has quit [Ping timeout: 240 seconds]

19:07 dstein64 has quit [Quit: ZNC 1.9.0+deb2build3 - https://znc.in]

19:07 dstein64 has joined #ocaml

19:14 alfiee has joined #ocaml

19:18 alfiee has quit [Ping timeout: 244 seconds]

19:24 LainExperiments has joined #ocaml

19:26 LainExperiments7 has quit [Ping timeout: 240 seconds]

20:00 alfiee has joined #ocaml

20:05 alfiee has quit [Ping timeout: 260 seconds]

20:34 wickedshell has quit [Ping timeout: 268 seconds]

20:49 alfiee has joined #ocaml

20:52 Tuplanolla has joined #ocaml

20:53 alfiee has quit [Ping timeout: 260 seconds]

21:37 alfiee has joined #ocaml

21:41 alfiee has quit [Ping timeout: 260 seconds]

22:23 alfiee has joined #ocaml

22:28 alfiee has quit [Ping timeout: 244 seconds]

22:38 Serpent7776 has quit [Ping timeout: 252 seconds]

22:41 wickedshell has joined #ocaml

22:42 bartholin has quit [Quit: Leaving]

22:48 LainExperiments has quit [Ping timeout: 240 seconds]

23:14 alfiee has joined #ocaml

23:19 LainExperiments has joined #ocaml

23:19 alfiee has quit [Ping timeout: 272 seconds]

23:35 fmira has quit [Remote host closed the connection]

23:36 fmira has joined #ocaml