#ocaml on 2022-09-20 — 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:16 John_Ivan_ has joined #ocaml

00:20 John_Ivan has quit [Ping timeout: 260 seconds]

00:29 szkl has quit [Quit: Connection closed for inactivity]

00:31 hackinghorn has quit [Ping timeout: 264 seconds]

01:10 hackinghorn has joined #ocaml

01:16 waleee has quit [Ping timeout: 265 seconds]

02:16 chrisz has quit [Ping timeout: 264 seconds]

02:17 chrisz has joined #ocaml

02:40 rgrinberg has joined #ocaml

03:15 bobo_ has joined #ocaml

03:16 spip has quit [Ping timeout: 264 seconds]

03:35 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:57 rgrinberg has joined #ocaml

04:41 Haudegen has joined #ocaml

04:46 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:12 waleee has joined #ocaml

05:13 ensyde has joined #ocaml

05:20 waleee has quit [Ping timeout: 264 seconds]

05:56 azimut has quit [Ping timeout: 258 seconds]

05:56 williewi` has quit [Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)]

06:26 mbuf has joined #ocaml

06:59 Serpent7776 has joined #ocaml

07:28 gopiandcode has quit [Read error: Connection reset by peer]

07:34 gopiandcode has joined #ocaml

07:55 olle has joined #ocaml

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

08:14 jpds1 has joined #ocaml

08:23 orbifx has joined #ocaml

08:31 kakadu has joined #ocaml

08:31 rwmjones|HOL is now known as rwmjones

08:32 kakadu has quit [Client Quit]

08:38 bartholin has joined #ocaml

08:49 <gopiandcode> was anyone at ICFP last week? It was great fun!

09:23 <octachron> I was, and I agree that it was great to meet people once again.

09:50 szkl has joined #ocaml

10:00 bgs has quit [Remote host closed the connection]

10:14 jpds1 has quit [Remote host closed the connection]

10:15 jpds1 has joined #ocaml

10:30 adanwan_ has quit [Remote host closed the connection]

10:31 adanwan has joined #ocaml

10:37 hackinghorn has quit [Ping timeout: 244 seconds]

10:48 haesbaert has quit [Remote host closed the connection]

10:54 waleee has joined #ocaml

11:17 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

11:19 terrorjack has joined #ocaml

11:22 orbifx has quit [Quit: orbifx]

11:26 hackinghorn has joined #ocaml

11:28 orbifx has joined #ocaml

11:42 enjolras has quit [Ping timeout: 255 seconds]

11:51 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

11:51 jsoo has quit [Quit: ZNC 1.8.2 - https://znc.in]

11:51 hrberg has quit [Quit: No Ping reply in 180 seconds.]

11:51 emp_ has joined #ocaml

11:51 TheRuralJuror has joined #ocaml

11:51 jsoo_ has joined #ocaml

11:51 adrien has quit [Ping timeout: 268 seconds]

11:51 immutable_ has joined #ocaml

11:51 asm has quit [Ping timeout: 268 seconds]

11:51 rks` has quit [Ping timeout: 268 seconds]

11:51 pippijn has quit [Ping timeout: 268 seconds]

11:51 bacam has quit [Ping timeout: 268 seconds]

11:51 kurfen has quit [*.net *.split]

11:51 slothby has quit [*.net *.split]

11:51 immutable has quit [*.net *.split]

11:51 ardon has quit [*.net *.split]

11:51 sm2n has quit [*.net *.split]

11:51 ensyde has quit [*.net *.split]

11:51 pieguy128 has quit [*.net *.split]

11:51 emp has quit [*.net *.split]

11:51 andreypopp has quit [*.net *.split]

11:51 hrberg_ has joined #ocaml

11:51 mclovin has quit [*.net *.split]

11:51 szkl has quit [*.net *.split]

11:51 noddy has quit [*.net *.split]

11:51 dwt_ has quit [*.net *.split]

11:51 orbifx has quit [*.net *.split]

11:51 Serpent7776 has quit [*.net *.split]

11:51 Soni has quit [*.net *.split]

11:51 genpaku has quit [*.net *.split]

11:51 m5zs7k has quit [*.net *.split]

11:51 jonasbits has quit [*.net *.split]

11:51 drakonis has quit [*.net *.split]

11:51 pqwy[m] has quit [*.net *.split]

11:51 theblatte has quit [*.net *.split]

11:51 amk has quit [*.net *.split]

11:51 emp_ has quit [*.net *.split]

11:51 waleee has quit [*.net *.split]

11:51 bobo_ has quit [*.net *.split]

11:51 chrisz has quit [*.net *.split]

11:51 Techcable has quit [*.net *.split]

11:51 noonien has quit [*.net *.split]

11:51 perrierjouet has quit [*.net *.split]

11:51 tizoc has quit [*.net *.split]

11:51 xgqt has quit [*.net *.split]

11:51 jtm has quit [*.net *.split]

11:51 sthaan has quit [*.net *.split]

11:51 justache has quit [*.net *.split]

11:51 pie_ has quit [*.net *.split]

11:51 grobe0ba has quit [*.net *.split]

11:51 energizer has quit [*.net *.split]

11:51 x88x88x has quit [*.net *.split]

11:51 drewolson has quit [*.net *.split]

11:51 Menchers has quit [*.net *.split]

11:51 ocabot has quit [*.net *.split]

11:51 companion_cube has quit [*.net *.split]

11:51 Putonlalla has quit [*.net *.split]

11:51 chroma[m] has quit [*.net *.split]

11:51 jmiven has quit [*.net *.split]

11:51 infinity0 has quit [*.net *.split]

11:51 vsiles has quit [*.net *.split]

11:51 xenu has quit [*.net *.split]

11:51 dstein64 has quit [*.net *.split]

11:51 JSharp has quit [*.net *.split]

11:51 Fardale has quit [*.net *.split]

11:51 rak has quit [*.net *.split]

11:51 nore has quit [*.net *.split]

11:51 jackhill has quit [*.net *.split]

11:51 nfc has quit [*.net *.split]

11:51 hrberg_ has quit [*.net *.split]

11:51 jsoo_ has quit [*.net *.split]

11:51 qwr has quit [*.net *.split]

11:51 midgard has quit [*.net *.split]

11:51 hannes has quit [*.net *.split]

11:51 greenbagels has quit [*.net *.split]

11:51 johnel has quit [*.net *.split]

11:51 Leonidas has quit [*.net *.split]

11:51 pukkamustard has quit [*.net *.split]

11:51 ski has quit [*.net *.split]

11:51 nerdypepper has quit [*.net *.split]

11:51 CalimeroTeknik has quit [*.net *.split]

11:51 notnotdan has quit [*.net *.split]

11:51 afrosenp1i has quit [*.net *.split]

11:51 bronsen has quit [*.net *.split]

11:51 hackinghorn has quit [*.net *.split]

11:51 hsw has quit [*.net *.split]

11:51 quernd has quit [*.net *.split]

11:51 mjacob has quit [*.net *.split]

11:51 Myrl has quit [*.net *.split]

11:51 ohperitel has quit [*.net *.split]

11:51 Absalom has quit [*.net *.split]

11:51 ralu1 has quit [*.net *.split]

11:51 Exa has quit [*.net *.split]

11:51 Armael has quit [*.net *.split]

11:51 dmbaturin has quit [*.net *.split]

11:51 omni has quit [*.net *.split]

11:51 ks_ has quit [*.net *.split]

11:51 copy has quit [*.net *.split]

11:51 b0o has quit [*.net *.split]

11:51 eax_ has quit [*.net *.split]

11:51 pluviaq has quit [*.net *.split]

11:51 sleepydog has quit [*.net *.split]

11:51 jakzale has quit [*.net *.split]

11:51 seeg has quit [*.net *.split]

11:51 ggb has quit [*.net *.split]

11:51 philipwhite has quit [*.net *.split]

11:51 OCamlPro[m] has quit [*.net *.split]

11:51 cbarrett has quit [*.net *.split]

11:51 Boarders___ has quit [*.net *.split]

11:51 welterde has quit [*.net *.split]

11:51 sim642 has quit [*.net *.split]

11:51 dinosaure has quit [*.net *.split]

11:51 daimrod1 has quit [*.net *.split]

11:51 klu has quit [*.net *.split]

11:51 conjunctive has quit [*.net *.split]

11:51 Johann has quit [*.net *.split]

11:51 kandu_ has quit [*.net *.split]

11:51 towel_ has quit [*.net *.split]

11:51 mal`` has quit [*.net *.split]

11:51 ebb has quit [*.net *.split]

11:51 adanwan has quit [*.net *.split]

11:51 jpds1 has quit [*.net *.split]

11:51 immutable_ has quit [*.net *.split]

11:51 TheRuralJuror has quit [*.net *.split]

11:51 terrorjack has quit [*.net *.split]

11:51 mbuf has quit [*.net *.split]

11:51 gdd has quit [*.net *.split]

11:51 dh` has quit [*.net *.split]

11:51 dian has quit [*.net *.split]

11:51 micro has quit [*.net *.split]

11:51 rom1504 has quit [*.net *.split]

11:51 tristanC has quit [*.net *.split]

11:51 lisq has quit [*.net *.split]

11:51 megeve has quit [*.net *.split]

11:51 gahr has quit [*.net *.split]

11:51 rwmjones has quit [*.net *.split]

11:54 Serpent7776 has joined #ocaml

11:54 Techcable has joined #ocaml

11:54 kurfen has joined #ocaml

11:54 rks` has joined #ocaml

11:54 hrberg_ has joined #ocaml

11:54 jsoo_ has joined #ocaml

11:54 immutable_ has joined #ocaml

11:54 TheRuralJuror has joined #ocaml

11:54 orbifx has joined #ocaml

11:54 emp_ has joined #ocaml

11:54 adanwan has joined #ocaml

11:54 jpds1 has joined #ocaml

11:54 hackinghorn has joined #ocaml

11:54 szkl has joined #ocaml

11:54 terrorjack has joined #ocaml

11:54 xgqt has joined #ocaml

11:54 sleepydog has joined #ocaml

11:54 dwt_ has joined #ocaml

11:54 amk has joined #ocaml

11:54 theblatte has joined #ocaml

11:54 pie_ has joined #ocaml

11:54 Absalom has joined #ocaml

11:54 jmiven has joined #ocaml

11:54 hsw has joined #ocaml

11:54 infinity0 has joined #ocaml

11:54 justache has joined #ocaml

11:54 midgard has joined #ocaml

11:54 Menchers has joined #ocaml

11:54 gdd has joined #ocaml

11:54 grobe0ba has joined #ocaml

11:54 ralu1 has joined #ocaml

11:54 dh` has joined #ocaml

11:54 quernd has joined #ocaml

11:54 energizer has joined #ocaml

11:54 companion_cube has joined #ocaml

11:54 ocabot has joined #ocaml

11:54 Putonlalla has joined #ocaml

11:54 dstein64 has joined #ocaml

11:54 drewolson has joined #ocaml

11:54 x88x88x has joined #ocaml

11:54 johnel has joined #ocaml

11:54 Leonidas has joined #ocaml

11:54 greenbagels has joined #ocaml

11:54 hannes has joined #ocaml

11:54 jackhill has joined #ocaml

11:54 nfc has joined #ocaml

11:54 nore has joined #ocaml

11:54 rak has joined #ocaml

11:54 Fardale has joined #ocaml

11:54 xenu has joined #ocaml

11:54 JSharp has joined #ocaml

11:54 mbuf has joined #ocaml

11:54 bobo_ has joined #ocaml

11:54 qwr has joined #ocaml

11:54 waleee has joined #ocaml

11:54 pukkamustard has joined #ocaml

11:54 noonien has joined #ocaml

11:54 genpaku has joined #ocaml

11:54 noddy has joined #ocaml

11:54 Soni has joined #ocaml

11:54 perrierjouet has joined #ocaml

11:54 chrisz has joined #ocaml

11:54 jtm has joined #ocaml

11:54 sthaan has joined #ocaml

11:54 eax_ has joined #ocaml

11:54 ski has joined #ocaml

11:54 philipwhite has joined #ocaml

11:54 jonasbits has joined #ocaml

11:54 ggb has joined #ocaml

11:54 jakzale has joined #ocaml

11:54 chroma[m] has joined #ocaml

11:54 pqwy[m] has joined #ocaml

11:54 OCamlPro[m] has joined #ocaml

11:54 drakonis has joined #ocaml

11:54 b0o has joined #ocaml

11:54 pluviaq has joined #ocaml

11:54 seeg has joined #ocaml

11:54 m5zs7k has joined #ocaml

11:54 tizoc has joined #ocaml

11:54 bronsen has joined #ocaml

11:54 afrosenp1i has joined #ocaml

11:54 notnotdan has joined #ocaml

11:54 CalimeroTeknik has joined #ocaml

11:54 nerdypepper has joined #ocaml

11:54 ohperitel has joined #ocaml

11:54 Myrl has joined #ocaml

11:54 mjacob has joined #ocaml

11:54 copy has joined #ocaml

11:54 ks_ has joined #ocaml

11:54 omni has joined #ocaml

11:54 dmbaturin has joined #ocaml

11:54 Armael has joined #ocaml

11:54 Exa has joined #ocaml

11:54 sim642 has joined #ocaml

11:54 dinosaure has joined #ocaml

11:54 welterde has joined #ocaml

11:54 Boarders___ has joined #ocaml

11:54 ebb has joined #ocaml

11:54 cbarrett has joined #ocaml

11:54 mal`` has joined #ocaml

11:54 towel_ has joined #ocaml

11:54 Johann has joined #ocaml

11:54 kandu_ has joined #ocaml

11:54 conjunctive has joined #ocaml

11:54 klu has joined #ocaml

11:54 rwmjones has joined #ocaml

11:54 daimrod1 has joined #ocaml

11:54 megeve has joined #ocaml

11:54 lisq has joined #ocaml

11:54 rom1504 has joined #ocaml

11:54 tristanC has joined #ocaml

11:54 micro has joined #ocaml

11:54 gahr has joined #ocaml

11:54 dian has joined #ocaml

11:54 vsiles has joined #ocaml

11:54 hrberg_ has quit [Max SendQ exceeded]

11:54 ansiwen has quit [Quit: ZNC 1.7.1 - https://znc.in]

11:54 andreypopp has joined #ocaml

11:54 mclovin has joined #ocaml

11:54 slothby has joined #ocaml

11:54 pieguy128 has joined #ocaml

11:54 adanwan has quit [Quit: _]

11:55 pieguy128 has quit [Max SendQ exceeded]

11:55 olle has quit [*.net *.split]

11:55 John_Ivan_ has quit [*.net *.split]

11:55 SquidDev has quit [*.net *.split]

11:55 gentauro has quit [*.net *.split]

11:55 reynir has quit [*.net *.split]

11:55 wagle has quit [*.net *.split]

11:55 troydm has quit [*.net *.split]

11:55 Geekingfrog has quit [*.net *.split]

11:55 habnabit_ has quit [*.net *.split]

11:55 pieguy128 has joined #ocaml

11:55 adanwan has joined #ocaml

11:55 ansiwen has joined #ocaml

11:55 ardon has joined #ocaml

11:55 Johann has quit [Ping timeout: 240 seconds]

11:55 sm2n has joined #ocaml

11:56 Johann has joined #ocaml

11:58 bacam has joined #ocaml

11:58 chroma[m] has quit [Ping timeout: 268 seconds]

11:58 OCamlPro[m] has quit [Ping timeout: 264 seconds]

11:59 mclovin has quit [Ping timeout: 264 seconds]

12:00 John_Ivan_ has joined #ocaml

12:00 pippijn_ has joined #ocaml

12:00 habnabit_ has joined #ocaml

12:00 SquidDev has joined #ocaml

12:00 gentauro has joined #ocaml

12:00 Geekingfrog has joined #ocaml

12:00 reynir has joined #ocaml

12:00 troydm has joined #ocaml

12:00 asm__ has joined #ocaml

12:00 wagle has joined #ocaml

12:00 olle has joined #ocaml

12:00 pqwy[m] has quit [Ping timeout: 250 seconds]

12:11 OCamlPro[m] has joined #ocaml

12:12 TheRuralJuror has quit [Quit: Bin weg.]

12:20 adrien has joined #ocaml

12:30 chroma[m] has joined #ocaml

12:45 asm__ has quit [Changing host]

12:45 asm__ has joined #ocaml

12:46 asm__ is now known as asm

12:47 pqwy[m] has joined #ocaml

12:58 orbifx has quit [Ping timeout: 250 seconds]

13:00 adanwan has quit [Quit: _]

13:00 adanwan_ has joined #ocaml

13:04 hackinghorn has quit [Changing host]

13:04 hackinghorn has joined #ocaml

13:16 orbifx has joined #ocaml

13:21 mclovin has joined #ocaml

13:31 sadiq_ is now known as sadiq

13:31 <sadiq> I am sad I couldn't be there in person.

13:32 <companion_cube> same

13:48 waleee has quit [Ping timeout: 252 seconds]

14:09 Haudegen has joined #ocaml

14:15 JeanMax` has joined #ocaml

14:18 JeanMax` has left #ocaml [#ocaml]

14:18 <companion_cube> https://github.com/ocaml-multicore/eio/pull/318/files#r975031956 jeeeez if only Buffer gave us access to the internals

14:18 <companion_cube> 😠

14:23 JeanMax has joined #ocaml

14:23 JeanMax has quit [Remote host closed the connection]

14:24 JeanMax has joined #ocaml

14:25 JeanMax has left #ocaml [#ocaml]

15:02 azimut has joined #ocaml

15:05 dr_df0 has joined #ocaml

15:12 spip has joined #ocaml

15:12 bobo_ has quit [Ping timeout: 252 seconds]

15:28 gopiandcode has quit [Ping timeout: 244 seconds]

15:29 gopiandcode has joined #ocaml

15:37 dr_df0 has quit [Ping timeout: 265 seconds]

15:38 John_Ivan__ has joined #ocaml

15:41 John_Ivan_ has quit [Ping timeout: 265 seconds]

15:41 emp_ has quit [Ping timeout: 252 seconds]

15:45 emp has joined #ocaml

15:55 gentauro has quit [Read error: Connection reset by peer]

15:55 gentauro has joined #ocaml

15:55 Haudegen has quit [Quit: Bin weg.]

16:20 rgrinberg has joined #ocaml

16:40 afrosenp1i is now known as help

16:40 help is now known as afrosenpai

16:40 afrosenpai is now known as help

16:40 help is now known as afrosenpai

17:06 adanwan has joined #ocaml

17:06 adanwan_ has quit [Remote host closed the connection]

17:06 Serpent7776 has quit [Quit: WeeChat 1.9.1]

17:12 Haudegen has joined #ocaml

17:21 williewi` has joined #ocaml

17:24 jtm has quit [Ping timeout: 252 seconds]

17:25 jtm has joined #ocaml

17:30 mbuf has quit [Quit: Leaving]

17:56 bartholin has quit [Quit: Leaving]

18:04 orbifx has quit [Ping timeout: 265 seconds]

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

18:22 szkl has quit [Quit: Connection closed for inactivity]

19:01 sthaan has quit [Read error: Connection reset by peer]

20:30 John_Ivan__ has quit [Read error: Connection reset by peer]

20:33 John_Ivan has joined #ocaml

20:37 waleee has joined #ocaml

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

21:21 adanwan has joined #ocaml

21:46 olle has quit [Ping timeout: 265 seconds]

22:04 Tuplanolla has joined #ocaml

22:17 motherfsck has quit [Ping timeout: 244 seconds]

22:31 motherfsck has joined #ocaml

23:06 JeanMax` has joined #ocaml

23:10 Haudegen has quit [Ping timeout: 264 seconds]

23:15 wilfred has joined #ocaml

23:16 <wilfred> hey folks! Is it just me, or is https://opam.ocaml.org/ down?

23:17 <wilfred> I'm wondering if I should open a task on https://github.com/ocaml/opam/issues or if there's discussion already

23:17 <leah2> down here too

23:20 adanwan has quit [Remote host closed the connection]

23:21 adanwan has joined #ocaml

23:33 <wilfred> opened https://github.com/ocaml/opam/issues/5292 FWIW

23:38 Tuplanolla has quit [Quit: Leaving.]