#ocaml on 2022-08-22 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:07 gentauro has quit [Read error: Connection reset by peer]

00:07 gentauro has joined #ocaml

00:20 Soni has quit [Ping timeout: 252 seconds]

00:20 darchitect has quit [Ping timeout: 248 seconds]

00:22 darchitect has joined #ocaml

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

00:37 rgrinberg has joined #ocaml

00:37 rgrinberg has quit [Client Quit]

00:38 rgrinberg has joined #ocaml

00:43 waleee has quit [Ping timeout: 252 seconds]

01:01 John_Ivan has quit [Quit: Ghost of the future.]

01:37 jlrnick has joined #ocaml

01:39 Haudegen has quit [Ping timeout: 256 seconds]

02:13 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:26 chrisz has quit [Ping timeout: 268 seconds]

02:27 chrisz has joined #ocaml

02:37 jlrnick has quit [Ping timeout: 244 seconds]

02:53 jlrnick has joined #ocaml

02:58 jlrnick has quit [Ping timeout: 256 seconds]

03:10 jlrnick has joined #ocaml

03:11 John_Ivan has joined #ocaml

03:14 rgrinberg has joined #ocaml

03:15 jlrnick has quit [Ping timeout: 255 seconds]

03:25 jpds1 has joined #ocaml

03:26 zebrag has quit [Quit: Konversation terminated!]

03:28 jlrnick has joined #ocaml

03:28 jpds has quit [Ping timeout: 268 seconds]

04:30 jlrnick has quit [Ping timeout: 244 seconds]

04:46 trev has joined #ocaml

04:55 williewillus has quit [Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)]

05:00 jlrnick has joined #ocaml

05:30 Serpent7776 has joined #ocaml

05:32 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:33 jlrnick has quit [Ping timeout: 256 seconds]

05:45 rgrinberg has joined #ocaml

05:59 gopiandc1 has quit [Read error: Connection reset by peer]

06:00 Serpent7776 has quit [Ping timeout: 256 seconds]

06:05 gopiandc1 has joined #ocaml

06:26 jpds1 has quit [Remote host closed the connection]

06:27 jpds1 has joined #ocaml

06:38 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:46 rgrinberg has joined #ocaml

06:48 faultline has joined #ocaml

07:05 jlrnick has joined #ocaml

07:12 Techcable has quit [Remote host closed the connection]

07:13 azimut has quit [Ping timeout: 268 seconds]

07:13 Techcable has joined #ocaml

07:19 gopiandc1 has quit [Ping timeout: 256 seconds]

07:20 gopiandc1 has joined #ocaml

07:36 hannes has joined #ocaml

07:44 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:49 Serpent7776 has joined #ocaml

07:50 jpds1 has quit [Remote host closed the connection]

07:50 jpds1 has joined #ocaml

07:54 olle has joined #ocaml

07:54 bartholin has joined #ocaml

07:57 rgrinberg has joined #ocaml

08:15 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:20 jpds1 has quit [Remote host closed the connection]

08:21 jpds1 has joined #ocaml

08:32 gopiandc1 has quit [Ping timeout: 256 seconds]

08:32 gopiandc1 has joined #ocaml

08:33 wonko has joined #ocaml

08:35 cedric has joined #ocaml

08:46 orbifx has joined #ocaml

08:53 kakadu has joined #ocaml

08:57 gopiandc1 has quit [Ping timeout: 256 seconds]

08:58 gopiandc1 has joined #ocaml

09:13 gopiandc1 has quit [Ping timeout: 244 seconds]

09:14 gopiandc1 has joined #ocaml

09:51 mbuf has joined #ocaml

09:53 Serpent71 has joined #ocaml

09:56 Serpent7776 has quit [Ping timeout: 268 seconds]

10:12 Miyu-saki has joined #ocaml

10:14 gopiandc1 has quit [Ping timeout: 248 seconds]

10:15 gopiandc1 has joined #ocaml

10:19 wonko has quit [Ping timeout: 256 seconds]

10:27 sagax has quit [Ping timeout: 256 seconds]

10:28 spip has joined #ocaml

10:29 bobo_ has quit [Ping timeout: 256 seconds]

10:34 Soni has joined #ocaml

10:52 wonko has joined #ocaml

11:01 cedric has quit [Quit: Konversation terminated!]

11:03 wonko has quit [Ping timeout: 256 seconds]

11:15 Haudegen has joined #ocaml

11:29 waleee has joined #ocaml

11:42 wonko has joined #ocaml

11:44 gopiandc1 has quit [Ping timeout: 244 seconds]

11:46 gopiandc1 has joined #ocaml

12:34 gwizon has joined #ocaml

12:43 wonko has quit [Ping timeout: 255 seconds]

12:58 szkl has joined #ocaml

13:03 rwmjones has quit [Ping timeout: 264 seconds]

13:08 gwizon has quit [Ping timeout: 268 seconds]

13:18 jpds1 has quit [Ping timeout: 268 seconds]

13:18 gwizon has joined #ocaml

13:18 jpds1 has joined #ocaml

13:55 orbifx has quit [Ping timeout: 268 seconds]

14:00 kakadu_ has joined #ocaml

14:02 adanwan_ has quit [Quit: _]

14:03 adanwan has joined #ocaml

14:03 kakadu has quit [Ping timeout: 248 seconds]

14:09 jlrnick has quit [Ping timeout: 256 seconds]

14:26 wonko has joined #ocaml

14:35 waleee has quit [Quit: WeeChat 3.6]

14:40 Serpent71 has quit [Read error: Connection reset by peer]

14:41 Serpent71 has joined #ocaml

14:53 Serpent7776 has joined #ocaml

14:55 Serpent71 has quit [Ping timeout: 252 seconds]

14:58 zebrag has joined #ocaml

15:02 Serpent71 has joined #ocaml

15:05 Serpent7776 has quit [Ping timeout: 244 seconds]

15:05 John_Ivan_ has joined #ocaml

15:05 Serpent7776 has joined #ocaml

15:09 John_Ivan has quit [Ping timeout: 268 seconds]

15:09 Serpent71 has quit [Ping timeout: 256 seconds]

15:15 wonko has quit [Ping timeout: 248 seconds]

15:18 rgrinberg has joined #ocaml

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

15:45 gareppa has joined #ocaml

15:50 szkl has quit [Quit: Connection closed for inactivity]

15:51 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

15:52 gareppa has quit [Quit: Leaving]

15:53 rgrinberg has joined #ocaml

16:00 h11 has quit [Quit: You have been kicked for being idle]

16:06 raskol has joined #ocaml

16:18 Tuplanolla has joined #ocaml

16:19 Serpent7776 has joined #ocaml

16:27 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:36 orbifx has joined #ocaml

16:41 adanwan has quit [Remote host closed the connection]

16:41 adanwan has joined #ocaml

16:45 raskol has quit [Ping timeout: 252 seconds]

16:47 jpds1 has quit [Remote host closed the connection]

16:47 adanwan has quit [Write error: Broken pipe]

16:47 adanwan has joined #ocaml

16:47 jpds1 has joined #ocaml

16:50 motherfsck has joined #ocaml

16:56 rgrinberg has joined #ocaml

16:58 neiluj has joined #ocaml

16:59 <neiluj> Hi! Wrote this piece of code hastily, wondering if this can be simplified: https://tpaste.us/Vv8J

17:03 <neiluj> this function minimizes abs(2^x 3^y 11^z 19^t - n) for x positive int, y\in{0,1}, z\in{0,1}, t\in{0,1}

17:04 <neiluj> and returns the argument [2^x, 3^y, 11^z, 19^t] that minimizes this expression

17:05 mbuf has quit [Quit: Leaving]

17:17 adanwan has quit [Remote host closed the connection]

17:17 jpds1 has quit [Remote host closed the connection]

17:18 adanwan has joined #ocaml

17:19 jpds1 has joined #ocaml

17:25 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:26 szkl has joined #ocaml

17:39 wonko has joined #ocaml

17:40 <neiluj> simplified the function a bit: https://tpaste.us/m6XL

17:47 azimut has joined #ocaml

17:49 raskol has joined #ocaml

18:04 jpds1 has quit [Ping timeout: 268 seconds]

18:04 jpds1 has joined #ocaml

18:15 jlrnick has joined #ocaml

18:20 jlrnick has quit [Ping timeout: 256 seconds]

18:21 <olle> So for inline test with dune, ppx etc, can I just any tests in any file? I wanna split it up...

18:21 <olle> add tests*

18:24 trev has quit [Remote host closed the connection]

18:39 raskol has quit [Ping timeout: 256 seconds]

18:39 rwmjones has joined #ocaml

18:55 azimut has quit [Remote host closed the connection]

19:00 azimut has joined #ocaml

19:16 jpds1 has quit [Remote host closed the connection]

19:16 Techcable has quit [Ping timeout: 256 seconds]

19:17 jpds1 has joined #ocaml

19:46 waleee has joined #ocaml

19:53 wonko has quit [Ping timeout: 255 seconds]

20:27 wonko has joined #ocaml

20:54 Serpent7776 has quit [Quit: leaving]

21:08 nvaxplus has joined #ocaml

21:10 <nvaxplus> does anyone know if using state in ppx derivers is safe? e.g. let's say I want to writer a deriver which generates serialization or whatever, but if a given type has other types it refers to, I might need to register those first so it knows how to deal with them. Can I store the results in like a HashTbl or whatever?

21:10 <nvaxplus> so the idea is that there would be a global variable for my deriver which keeps track of which types have been registered

21:10 <nvaxplus> or rather, in the module which defines

21:29 wonko has quit [Ping timeout: 248 seconds]

21:48 ralu1 has quit [Ping timeout: 268 seconds]

21:55 orbifx has quit [Quit: orbifx]

21:58 olle has quit [Ping timeout: 268 seconds]

22:15 bartholin has quit [Quit: Leaving]

22:16 ralu1 has joined #ocaml

22:29 spip has quit [Ping timeout: 248 seconds]

22:29 bobo_ has joined #ocaml

22:31 azimut_ has joined #ocaml

22:32 azimut has quit [Ping timeout: 268 seconds]

22:37 nvaxplus has quit [Ping timeout: 248 seconds]

22:43 azimut_ has quit [Remote host closed the connection]

22:44 azimut has joined #ocaml

22:50 nvaxplus has joined #ocaml

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

22:58 neiluj has quit [Quit: Leaving]

23:09 gwizon has quit [Ping timeout: 256 seconds]

23:13 wonko has joined #ocaml

23:18 wonko has quit [Ping timeout: 244 seconds]

23:24 rgrinberg has joined #ocaml

23:29 faultline has quit [Ping timeout: 256 seconds]

23:30 zebrag has quit [Read error: Connection reset by peer]

23:31 zebrag has joined #ocaml

23:57 williewillus has joined #ocaml