#ocaml on 2024-07-13 — 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/

01:15 jabuxas has joined #ocaml

01:30 waleee has quit [Ping timeout: 256 seconds]

01:57 torretto_ has joined #ocaml

02:00 torretto has quit [Ping timeout: 260 seconds]

02:09 YuGiOhJCJ has joined #ocaml

02:43 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

02:47 terrorjack has joined #ocaml

03:21 jabuxas has quit [Ping timeout: 256 seconds]

03:25 toastal has joined #ocaml

03:47 YuGiOhJCJ has quit [*.net *.split]

03:47 torretto_ has quit [*.net *.split]

03:47 chiselfuse has quit [*.net *.split]

03:50 torretto has joined #ocaml

03:53 chiselfuse has joined #ocaml

04:51 pi3ce has joined #ocaml

05:00 <discocaml> <ankit191_31204> Hello Everybody 🙏 , newbie here

05:23 tomku has quit [Remote host closed the connection]

05:23 tomku has joined #ocaml

05:32 Tuplanolla has joined #ocaml

05:45 toastal has left #ocaml [Disconnected: Hibernating too long]

05:57 tomku has quit [Remote host closed the connection]

05:58 tomku has joined #ocaml

06:52 bartholin has joined #ocaml

08:26 Franciman has joined #ocaml

08:27 alexherbo2 has joined #ocaml

08:28 Franciman has left #ocaml [#ocaml]

08:31 toastal has joined #ocaml

08:31 grobe0ba has quit [Server closed connection]

08:31 grobe0ba has joined #ocaml

08:33 keyle has quit [Server closed connection]

08:33 keyle has joined #ocaml

08:40 toastal has left #ocaml [Error from remote client]

08:40 toastal has joined #ocaml

08:42 toastal has left #ocaml [Error from remote client]

08:43 toastal has joined #ocaml

08:56 szkl has joined #ocaml

09:11 Putonlalla has quit [Server closed connection]

09:12 Putonlalla has joined #ocaml

09:21 sadiq has quit [Server closed connection]

09:21 sadiq has joined #ocaml

09:38 tremon has joined #ocaml

09:42 dylanj has quit [Server closed connection]

09:43 dylanj has joined #ocaml

09:46 toastal has left #ocaml [Error from remote client]

09:50 Serpent7776 has joined #ocaml

10:03 dreadedfrog has joined #ocaml

10:27 dreadedfrog has quit [Read error: Connection reset by peer]

10:28 dreadedfrog has joined #ocaml

10:55 dreadedfrog has quit [Remote host closed the connection]

11:20 zozozo has quit [Server closed connection]

11:20 zozozo has joined #ocaml

11:34 alexherbo2 has quit [Ping timeout: 256 seconds]

11:51 ohperitel has quit [Server closed connection]

11:51 ohperitel has joined #ocaml

12:15 chiselfuse has quit [Remote host closed the connection]

12:16 chiselfuse has joined #ocaml

12:35 szkl has quit [Quit: Connection closed for inactivity]

12:46 czy has joined #ocaml

13:12 czy has quit [Ping timeout: 258 seconds]

13:47 toastal has joined #ocaml

13:57 waleee has joined #ocaml

14:13 dev2 has joined #ocaml

15:15 Serpent7776 has quit [Ping timeout: 264 seconds]

15:20 waleee has quit [Ping timeout: 258 seconds]

15:39 dhil has joined #ocaml

15:41 tomku has quit [Remote host closed the connection]

15:43 bibi_ has joined #ocaml

15:52 tomku has joined #ocaml

15:53 bibi_ has quit [Quit: Konversation terminated!]

15:55 bibi_ has joined #ocaml

16:07 dme2_ has quit [Server closed connection]

16:07 dme2 has joined #ocaml

16:14 jabuxas has joined #ocaml

16:47 czy has joined #ocaml

16:56 Serpent7776 has joined #ocaml

17:19 bartholin has quit [Quit: Leaving]

17:19 dhil has quit [Ping timeout: 258 seconds]

17:21 <Soni> does ocaml support worlds? this stuff https://csd.cmu.edu/sites/default/files/phd-thesis/CMU-CS-08-126.pdf

17:32 toastal has left #ocaml [Error from remote client]

17:33 _whitelogger has quit [Server closed connection]

17:34 _whitelogger has joined #ocaml

17:44 rwmjones has quit [Server closed connection]

17:45 rwmjones has joined #ocaml

18:13 <discocaml> <sim642> OCaml workshop 2024 will have a talk about ChorCaml, which is an OCaml DSL/library for "choreographic programming", which maybe is related to the worlds thing somehow? Although I don't know if there's any more public information about it yet

18:36 <discocaml> <froyo> Tom Murphy mention in chat

18:36 <discocaml> <Kali> haha i was thinking that too

18:39 <discocaml> <froyo> his yt channel is so peak

18:39 <discocaml> <Kali> yeah, suckerpinch

18:40 <discocaml> <Kali> it's kinda funny to remember he has actual, serious work

18:41 <discocaml> <froyo> very good work at that

18:47 jabuxas has quit [Ping timeout: 245 seconds]

18:50 <discocaml> <ada2k> i've found my first actual non-scheduler use for effects, which also feels like a huge hack

18:54 <discocaml> <Kali> oh?

18:59 <discocaml> <ada2k> batch i/o operations by performing an effect, doing nothing and catching Effect.Unhandled to submit them yourself

18:59 czy has quit [Remote host closed the connection]

19:00 alexherbo2 has joined #ocaml

19:04 bartholin has joined #ocaml

19:07 waleee has joined #ocaml

19:58 czy has joined #ocaml

20:01 haesbaert has quit [Server closed connection]

20:01 haesbaert has joined #ocaml

20:09 czy has quit [Ping timeout: 246 seconds]

20:11 tomku has quit [Ping timeout: 246 seconds]

20:15 jabuxas has joined #ocaml

20:15 xenu has quit [Server closed connection]

20:15 xenu has joined #ocaml

20:17 czy has joined #ocaml

20:19 czy has quit [Remote host closed the connection]

20:22 czy has joined #ocaml

20:23 tomku has joined #ocaml

20:26 czy has quit [Remote host closed the connection]

20:28 czy has joined #ocaml

20:33 czy has quit [Remote host closed the connection]

20:38 czy has joined #ocaml

20:44 czy has quit [Remote host closed the connection]

20:46 czy has joined #ocaml

20:59 czy has quit [Remote host closed the connection]

21:02 czy has joined #ocaml

21:04 palainp has quit [Server closed connection]

21:05 palainp has joined #ocaml

21:08 tomku has quit [Ping timeout: 245 seconds]

21:10 tomku has joined #ocaml

21:20 czy has quit [Remote host closed the connection]

21:21 Tuplanolla has quit [Quit: Leaving.]

21:23 czy has joined #ocaml

21:25 czy has quit [Remote host closed the connection]

21:27 czy has joined #ocaml

21:32 Serpent7776 has quit [Ping timeout: 264 seconds]

21:36 czy has quit [Ping timeout: 265 seconds]

21:50 czy has joined #ocaml

21:54 tomku has quit [Remote host closed the connection]

21:54 tomku has joined #ocaml

21:56 czy has quit [Ping timeout: 245 seconds]

22:08 czy has joined #ocaml

22:11 malte has quit [Remote host closed the connection]

22:12 malte has joined #ocaml

22:14 czy has quit [Ping timeout: 265 seconds]

22:25 czy has joined #ocaml

22:30 czy has quit [Ping timeout: 265 seconds]

22:33 bartholin has quit [Quit: Leaving]

22:38 czy has joined #ocaml

22:42 wingsorc has joined #ocaml

22:43 czy has quit [Ping timeout: 265 seconds]

22:48 czy has joined #ocaml

22:54 czy has quit [Ping timeout: 265 seconds]

23:08 czy has joined #ocaml

23:14 czy has quit [Ping timeout: 265 seconds]

23:26 czy has joined #ocaml

23:35 czy has quit [Ping timeout: 265 seconds]

23:48 czy has joined #ocaml

23:54 czy has quit [Ping timeout: 265 seconds]