#ocaml on 2025-01-17 — 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:19 <discocaml> <darrenldl> they only generate quite correct code for things people have done a million times in python or javascript. even for c# it still fails regularly for me

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

00:58 Tuplanolla has joined #ocaml

01:16 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

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

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

02:31 pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

02:34 pi3ce has joined #ocaml

03:15 pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

03:17 pi3ce has joined #ocaml

03:34 keyboard has joined #ocaml

03:41 terrorjack45 has quit [Quit: The Lounge - https://thelounge.chat]

03:44 terrorjack45 has joined #ocaml

05:09 mbuf has joined #ocaml

05:33 agentcas- has joined #ocaml

05:34 agentcasey has quit [Ping timeout: 245 seconds]

05:41 casastortaAway has quit [Quit: ZNC 1.9.1 - https://znc.in]

05:41 casastorta has quit [Quit: ZNC 1.9.1 - https://znc.in]

05:43 casastorta has joined #ocaml

05:44 casastorta has quit [Client Quit]

05:46 casastorta has joined #ocaml

05:49 casastortaAway has joined #ocaml

07:45 mange has quit [Ping timeout: 276 seconds]

08:09 bartholin has joined #ocaml

08:22 Serpent7776 has joined #ocaml

08:27 agentcas- has quit [Ping timeout: 276 seconds]

08:44 bartholin has quit [Quit: Leaving]

08:45 pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

08:47 pi3ce has joined #ocaml

08:58 Haudegen has joined #ocaml

09:23 mbuf has quit [Remote host closed the connection]

11:08 nlocalhost has quit [Remote host closed the connection]

11:08 nlocalhost has joined #ocaml

11:10 mbuf has joined #ocaml

11:56 m5zs7k has quit [Ping timeout: 252 seconds]

11:59 m5zs7k has joined #ocaml

12:15 cr1901 has quit [Ping timeout: 276 seconds]

12:30 nlocalhost has quit [Remote host closed the connection]

12:30 Anarchos has joined #ocaml

12:30 nlocalhost has joined #ocaml

12:33 Inline has quit [Quit: Leaving]

12:46 spynxic has quit [Ping timeout: 252 seconds]

12:46 Inline has joined #ocaml

12:51 spynxic has joined #ocaml

12:59 spynxic has quit [Ping timeout: 264 seconds]

13:07 alexherbo2 has joined #ocaml

13:10 agentcasey has joined #ocaml

13:12 Mister_Magister has quit [Ping timeout: 244 seconds]

13:12 Mister_Magister_ has joined #ocaml

13:14 Mister_Magister_ is now known as Mister_Magister

13:22 Mister_Magister_ has joined #ocaml

13:22 spynxic has joined #ocaml

13:23 spynxic has quit [Remote host closed the connection]

13:23 Mister_Magister has quit [Ping timeout: 272 seconds]

13:25 Mister_Magister_ is now known as Mister_Magister

13:32 spynxic has joined #ocaml

13:38 Haudegen has quit [Quit: Bin weg.]

14:06 mbuf has quit [Quit: Leaving]

14:34 alexherbo2 has quit [Remote host closed the connection]

14:34 alexherbo2 has joined #ocaml

14:38 alexherbo2 has quit [Remote host closed the connection]

14:38 alexherbo2 has joined #ocaml

14:42 alexherbo2 has quit [Remote host closed the connection]

14:44 Haudegen has joined #ocaml

14:47 gentauro has quit [Read error: Connection reset by peer]

14:52 gentauro has joined #ocaml

15:23 kurfen has quit [Ping timeout: 260 seconds]

15:27 kurfen has joined #ocaml

15:58 pi3ce has quit [Read error: Connection reset by peer]

16:00 pi3ce has joined #ocaml

16:25 cr1901 has joined #ocaml

16:28 germ has quit [Read error: Connection reset by peer]

16:28 germ has joined #ocaml

16:30 mbuf has joined #ocaml

16:30 euphores has quit [Ping timeout: 246 seconds]

16:38 euphores has joined #ocaml

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

16:40 euphores has quit [Max SendQ exceeded]

16:40 euphores has joined #ocaml

17:06 <discocaml> <gooby_diatonic> They are nice for maths proofs

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

17:31 euphores has joined #ocaml

18:05 Haudegen has joined #ocaml

18:06 bartholin has joined #ocaml

18:19 mbuf has quit [Quit: Leaving]

18:45 symdrome has joined #ocaml

19:02 pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

19:05 pi3ce has joined #ocaml

20:01 casastortaAway has quit [Quit: ZNC 1.9.1 - https://znc.in]

20:01 casastorta has quit [Quit: ZNC 1.9.1 - https://znc.in]

20:03 casastorta has joined #ocaml

20:03 casastorta has quit [Remote host closed the connection]

20:07 casastorta has joined #ocaml

20:09 casastorta has quit [Client Quit]

20:10 casastorta has joined #ocaml

20:10 casastortaAway has joined #ocaml

20:13 casastorta has quit [Remote host closed the connection]

20:13 casastortaAway has quit [Remote host closed the connection]

20:30 Inline has quit [Quit: Leaving]

20:34 Inline has joined #ocaml

20:36 casastorta has joined #ocaml

20:44 Haudegen has quit [Quit: Bin weg.]

21:30 Everything has joined #ocaml

21:38 rgrinberg has joined #ocaml

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

22:16 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

22:39 bartholin has quit [Quit: Leaving]

23:19 rgrinberg has joined #ocaml

23:30 luc4 has joined #ocaml

23:34 pi3ce has quit [Ping timeout: 264 seconds]

23:39 <luc4> Hello! I'm getting this segfault while making some changes to an open source app: https://pastebin.com/kT59x9B4. It started to happen when I introduced threads to make a sync call async. Anyone who can explain what this backtrace may mean?

23:40 Everything has quit [Quit: leaving]

23:43 rgrinberg has quit [Read error: Connection reset by peer]

23:44 rgrinberg has joined #ocaml

23:55 Anarchos has quit [Quit: Vision[]: i've been blurred!]

23:57 Tuplanolla has joined #ocaml