#ocaml on 2023-03-30 — irc logs at libera.irclog.whitequark.org

2023-02-19 03:13 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.0 released(!!1!): https://ocaml.org/releases/5.0.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

01:36 hsw_ has quit [Quit: Leaving]

01:37 hsw has joined #ocaml

02:11 chrisz has quit [Ping timeout: 255 seconds]

02:13 chrisz has joined #ocaml

02:30 spip has quit [Quit: Konversation terminated!]

03:24 trev has joined #ocaml

04:02 m5zs7k has quit [Ping timeout: 250 seconds]

04:03 m5zs7k has joined #ocaml

04:09 companion_cube has quit [Quit: WeeChat 3.6]

04:09 discocaml has quit [Remote host closed the connection]

04:09 ocabot_ has quit [Remote host closed the connection]

04:10 ocabot has joined #ocaml

04:10 companion_cube has joined #ocaml

04:19 mbuf has joined #ocaml

05:08 bgs has joined #ocaml

05:19 bartholin has joined #ocaml

06:05 bgs has quit [Remote host closed the connection]

06:48 mro has joined #ocaml

06:51 Haudegen has joined #ocaml

06:58 olle has joined #ocaml

07:15 xd1le has joined #ocaml

07:29 mro has quit [Remote host closed the connection]

07:30 bartholin has quit [Quit: Leaving]

07:32 mro has joined #ocaml

07:36 wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

07:36 wagle has joined #ocaml

07:39 spip has joined #ocaml

07:51 Serpent7776 has joined #ocaml

08:04 ski has quit [Ping timeout: 260 seconds]

08:05 mro has quit [Remote host closed the connection]

08:08 ski has joined #ocaml

08:09 mro has joined #ocaml

08:11 wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

08:13 wagle has joined #ocaml

08:26 neiluj has joined #ocaml

08:26 <neiluj> #C++-general

08:26 <neiluj> oops sorry

08:26 <olle> :O

08:26 <neiluj> lol

08:38 mro has quit [Remote host closed the connection]

08:39 mro has joined #ocaml

08:41 wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

08:44 wagle has joined #ocaml

08:48 <neiluj> slightly off-topic: do you know practical methods to check concurrent programs? a coworker found a nasty bug occuring with a particular ordering of operations

08:48 <neiluj> apparently TLA is not that practical since it can't model unbounded data structures, plus the number of states are humongous

08:52 <olle> tracing?

09:00 tjnhxmzhmqgytuwt has quit [Quit: You have been kicked for being idle]

09:04 mro has quit [Remote host closed the connection]

09:05 mro has joined #ocaml

09:07 mro has quit [Remote host closed the connection]

09:07 mro has joined #ocaml

09:16 wingsorc has quit [Ping timeout: 255 seconds]

09:30 wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

09:38 Tuplanolla has joined #ocaml

10:09 wagle has joined #ocaml

10:53 oriba has joined #ocaml

10:57 olle has quit [Ping timeout: 268 seconds]

11:01 mro has quit [Remote host closed the connection]

11:07 mro has joined #ocaml

11:13 mro has quit [Remote host closed the connection]

11:22 mro has joined #ocaml

12:40 ardon has quit [Remote host closed the connection]

12:58 haesbaert has quit [Remote host closed the connection]

13:17 olle has joined #ocaml

13:51 oriba has quit [Ping timeout: 250 seconds]

13:57 <sadiq_> neiluj: this is designed for data structures and is under a lot of development at the moment but might be interesting: https://github.com/ocaml-multicore/dscheck/

13:57 sadiq_ is now known as sadiq

14:02 <neiluj> oh nice, thanks for the link!

14:10 <sadiq> np

14:11 <sadiq> https://github.com/ocaml-multicore/dscheck/pull/18 is a pretty exciting change that could make it scale to much more complex systems

14:16 mro has quit [Remote host closed the connection]

14:18 mro has joined #ocaml

15:06 mro has quit [Remote host closed the connection]

15:09 neiluj has quit [Quit: WeeChat 3.7.1]

15:12 xd1le has quit [Quit: xd1le]

15:13 Serpent7776 has quit [Quit: WeeChat 1.9.1]

15:18 oriba has joined #ocaml

15:26 mro has joined #ocaml

15:27 mro has quit [Remote host closed the connection]

15:27 infinity0 has quit [Ping timeout: 248 seconds]

15:28 infinity0 has joined #ocaml

16:09 gareppa has joined #ocaml

16:10 gareppa has quit [Client Quit]

16:26 bgs has joined #ocaml

16:26 mbuf has quit [Quit: Leaving]

16:57 bartholin has joined #ocaml

17:08 trillion_exabyte has quit [Ping timeout: 248 seconds]

17:10 trillion_exabyte has joined #ocaml

17:20 dstein64- has joined #ocaml

17:22 dstein64 has quit [Ping timeout: 255 seconds]

17:22 dstein64- is now known as dstein64

17:23 John_Ivan has joined #ocaml

18:12 dstein64 has quit [Ping timeout: 250 seconds]

18:23 dstein64 has joined #ocaml

18:27 dstein64 has quit [Ping timeout: 255 seconds]

18:35 dstein64 has joined #ocaml

18:44 Stumpfenstiel has joined #ocaml

19:17 zbroyar has quit []

19:48 wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

19:49 wingsorc has joined #ocaml

20:03 wagle has joined #ocaml

20:05 wingsorc has quit [Remote host closed the connection]

20:05 wingsorc has joined #ocaml

20:27 trev has quit [Remote host closed the connection]

20:27 wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

20:30 cedric has joined #ocaml

20:30 wagle has joined #ocaml

20:58 wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

21:00 wingsorc__ has joined #ocaml

21:02 olle has quit [Ping timeout: 260 seconds]

21:02 wingsorc has quit [Ping timeout: 252 seconds]

21:11 trillion_exabyte has quit [Remote host closed the connection]

21:11 trillion_exabyte has joined #ocaml

21:13 wagle has joined #ocaml

21:36 bartholin has quit [Quit: Leaving]

21:37 cedric has quit [Quit: Konversation terminated!]

21:55 bgs has quit [Remote host closed the connection]

22:15 Stumpfenstiel has quit [Ping timeout: 260 seconds]

22:37 wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

22:55 Haudegen has quit [Ping timeout: 250 seconds]

23:39 olle has joined #ocaml

23:42 oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]