#ocaml on 2017-12-06 — irc logs at freenode.irclog.whitequark.org

2017-11-24 19:05 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:19 enterprisey has quit [Ping timeout: 248 seconds]

00:28 zolk3ri has quit [Quit: leaving]

00:31 enterprisey has joined #ocaml

00:36 infinity0_ has joined #ocaml

00:36 infinity0 has quit [Killed (kornbluth.freenode.net (Nickname regained by services))]

00:36 infinity0 has joined #ocaml

00:36 infinity0_ is now known as infinity0

00:43 orbifx has quit [Ping timeout: 240 seconds]

00:49 mengu has joined #ocaml

00:54 mengu has quit [Ping timeout: 248 seconds]

01:08 rks` has quit [Ping timeout: 260 seconds]

01:08 rks` has joined #ocaml

01:08 dreadedfrog has joined #ocaml

01:09 jmiven has quit [Ping timeout: 260 seconds]

01:11 jmiven has joined #ocaml

01:13 dreadedfrog has quit [Ping timeout: 255 seconds]

01:18 dreadedfrog has joined #ocaml

01:19 rostero has joined #ocaml

01:23 dreadedfrog has quit [Ping timeout: 248 seconds]

01:28 dreadedfrog has joined #ocaml

01:32 dreadedfrog has quit [Ping timeout: 248 seconds]

01:32 jao has quit [Remote host closed the connection]

01:33 sh0t has quit [Ping timeout: 240 seconds]

01:35 jao has joined #ocaml

01:38 dreadedfrog has joined #ocaml

01:42 dreadedfrog has quit [Ping timeout: 240 seconds]

01:51 jmiven has quit [Quit: co'o]

01:52 jmiven has joined #ocaml

01:57 dreadedfrog has joined #ocaml

02:00 danieli has quit [Remote host closed the connection]

02:02 dreadedfrog has quit [Ping timeout: 260 seconds]

02:05 silver has quit [Read error: Connection reset by peer]

02:19 dreadedfrog has joined #ocaml

02:24 dreadedfrog has quit [Ping timeout: 240 seconds]

02:29 dreadedfrog has joined #ocaml

02:31 enterprisey has quit [Read error: Connection reset by peer]

02:35 dreadedfrog has quit [Ping timeout: 276 seconds]

02:35 shinnya has quit [Ping timeout: 276 seconds]

02:35 mfp has quit [Ping timeout: 250 seconds]

02:40 dreadedfrog has joined #ocaml

02:45 dreadedfrog has quit [Ping timeout: 255 seconds]

03:22 KeyJoo has quit [Ping timeout: 258 seconds]

03:29 rostero has quit [Quit: Connection closed for inactivity]

03:37 enterprisey has joined #ocaml

03:52 inr_ has joined #ocaml

03:53 inr has quit [Ping timeout: 240 seconds]

03:59 ilovezfs_ has quit [Ping timeout: 240 seconds]

04:00 ilovezfs_ has joined #ocaml

04:06 sepp2k has quit [Ping timeout: 255 seconds]

04:06 navaja has joined #ocaml

04:08 mbuf has joined #ocaml

04:09 alphor has quit [Ping timeout: 240 seconds]

04:10 picolino_ has joined #ocaml

04:11 alphor has joined #ocaml

04:12 picolino has quit [Ping timeout: 240 seconds]

04:15 navaja has quit [Read error: Connection reset by peer]

04:22 sepp2k has joined #ocaml

04:29 KeyJoo has joined #ocaml

04:33 dreadedfrog has joined #ocaml

04:38 dreadedfrog has quit [Ping timeout: 260 seconds]

04:40 pierpa has quit [Quit: Page closed]

04:44 malina has quit [Quit: Throwing apples of Montserrat]

05:04 dreadedfrog has joined #ocaml

05:05 jao has quit [Ping timeout: 255 seconds]

05:08 dreadedfrog has quit [Ping timeout: 240 seconds]

05:24 dreadedfrog has joined #ocaml

05:27 jimmyrcom_ has quit [Ping timeout: 276 seconds]

05:28 dreadedfrog has quit [Ping timeout: 240 seconds]

05:32 sepp2k has quit [Ping timeout: 240 seconds]

05:34 dreadedfrog has joined #ocaml

05:39 dreadedfrog has quit [Ping timeout: 268 seconds]

05:41 kerrhau has quit [Ping timeout: 268 seconds]

05:44 dreadedfrog has joined #ocaml

05:48 zmt00 has quit [Quit: Leaving]

05:49 dreadedfrog has quit [Ping timeout: 276 seconds]

05:49 sepp2k has joined #ocaml

05:50 sepp2k has quit [Client Quit]

05:50 nightblues has quit [Ping timeout: 240 seconds]

05:53 dreadedfrog has joined #ocaml

05:59 dreadedfrog has quit [Ping timeout: 276 seconds]

06:01 govg has joined #ocaml

06:03 dreadedfrog has joined #ocaml

06:06 nightblues has joined #ocaml

06:08 dreadedfrog has quit [Ping timeout: 240 seconds]

06:13 dreadedfrog has joined #ocaml

06:18 dreadedfrog has quit [Ping timeout: 240 seconds]

06:22 BitPuffin|osx has joined #ocaml

06:23 dreadedfrog has joined #ocaml

06:29 dreadedfrog has quit [Ping timeout: 260 seconds]

06:34 dreadedfrog has joined #ocaml

06:38 dreadedfrog has quit [Ping timeout: 248 seconds]

06:50 zolk3ri has joined #ocaml

06:52 dreadedfrog has joined #ocaml

06:57 dreadedfrog has quit [Ping timeout: 255 seconds]

07:25 raphaelss has quit [Remote host closed the connection]

07:26 argent_smith has joined #ocaml

07:40 dreadedfrog has joined #ocaml

07:45 dreadedfrog has quit [Ping timeout: 248 seconds]

07:48 cbot_ has quit [Quit: Leaving]

07:50 dreadedfrog has joined #ocaml

07:54 freusque has joined #ocaml

07:55 dreadedfrog has quit [Ping timeout: 240 seconds]

08:00 dreadedfrog has joined #ocaml

08:05 dreadedfrog has quit [Ping timeout: 248 seconds]

08:07 banjiewen has quit [Ping timeout: 240 seconds]

08:08 mengu has joined #ocaml

08:09 enterprisey has quit [Read error: Connection reset by peer]

08:09 banjiewen has joined #ocaml

08:12 sspi has quit [Ping timeout: 240 seconds]

08:13 rjungemann has quit [Ping timeout: 240 seconds]

08:14 rjungemann has joined #ocaml

08:15 mankyKitty has quit [Ping timeout: 240 seconds]

08:26 johnelse has quit [Ping timeout: 255 seconds]

08:28 TarVanimelde has joined #ocaml

08:28 mattg has quit [Ping timeout: 240 seconds]

08:30 mattg has joined #ocaml

08:32 AltGr has joined #ocaml

08:34 johnelse has joined #ocaml

08:35 mengu has quit [Remote host closed the connection]

08:44 ygrek has joined #ocaml

08:47 sapristi has joined #ocaml

09:01 adi_____ has quit [Ping timeout: 240 seconds]

09:02 adi_____ has joined #ocaml

09:04 sapristi_ has joined #ocaml

09:05 danieli has joined #ocaml

09:06 sapristi has quit [Ping timeout: 240 seconds]

09:06 mengu has joined #ocaml

09:17 mengu has quit [Remote host closed the connection]

09:17 mengu has joined #ocaml

09:22 mengu has quit [Ping timeout: 248 seconds]

09:22 mengu has joined #ocaml

09:29 sapristi has joined #ocaml

09:31 sapristi_ has quit [Ping timeout: 276 seconds]

09:37 shiyas has joined #ocaml

09:43 TarVanimelde has quit [Quit: TarVanimelde]

10:00 TheLemonMan has joined #ocaml

10:04 shiyaz has joined #ocaml

10:06 shiyas has quit [Ping timeout: 255 seconds]

10:10 sspi has joined #ocaml

10:14 Serpent7776 has joined #ocaml

10:15 dtornabene has joined #ocaml

10:18 jeroud has quit [Ping timeout: 240 seconds]

10:19 mankyKitty has joined #ocaml

10:20 jeroud has joined #ocaml

10:24 _andre has joined #ocaml

10:25 mfp has joined #ocaml

10:26 inr_ is now known as inr

11:02 andreas_ has joined #ocaml

11:03 sapristi has quit [Ping timeout: 268 seconds]

11:05 troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]

11:06 troydm has joined #ocaml

11:09 ygrek has quit [Ping timeout: 248 seconds]

11:11 dreadedfrog has joined #ocaml

11:15 dreadedfrog has quit [Ping timeout: 240 seconds]

11:16 kakadu has joined #ocaml

11:18 kakadu_ has joined #ocaml

11:18 mengu has quit [Remote host closed the connection]

11:19 mengu has joined #ocaml

11:21 kakadu has quit [Ping timeout: 248 seconds]

11:23 mengu has quit [Remote host closed the connection]

11:23 mengu has joined #ocaml

11:23 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

11:24 kakadu has joined #ocaml

11:27 mbuf has quit [Quit: Leaving]

11:28 kakadu_ has quit [Ping timeout: 248 seconds]

11:28 freyr has joined #ocaml

11:34 govg has quit [Ping timeout: 240 seconds]

11:36 raphaelss has joined #ocaml

11:36 nahra has joined #ocaml

11:38 govg has joined #ocaml

11:40 silver has joined #ocaml

11:41 sepp2k has joined #ocaml

11:44 raphaelss has quit [Remote host closed the connection]

11:52 sapristi has joined #ocaml

11:58 mengu has quit [Remote host closed the connection]

11:59 mengu has joined #ocaml

12:01 mengu has quit [Remote host closed the connection]

12:02 mengu has joined #ocaml

12:03 ygrek has joined #ocaml

12:43 navaja has joined #ocaml

12:48 navaja has quit [Read error: Connection reset by peer]

12:59 dreadedfrog has joined #ocaml

13:03 maufred has quit [Ping timeout: 260 seconds]

13:06 maufred has joined #ocaml

13:15 maufred has quit [Ping timeout: 255 seconds]

13:16 maufred has joined #ocaml

13:16 <tizoc> https://twitter.com/jay_f0xtr0t/status/930560415582564353 <- does anyone here know anything about this? (talk available anywhere, or an article covering the topic, or even some code applying it?)

13:24 maufred has quit [Ping timeout: 276 seconds]

13:24 maufred has joined #ocaml

13:26 dtornabene has quit [Quit: Leaving]

13:27 nomicflux has joined #ocaml

13:34 superherointj has joined #ocaml

13:35 shinnya has joined #ocaml

13:46 Jesin has quit [Quit: Leaving]

13:51 nomicflux has quit [Quit: nomicflux]

13:52 sh0t has joined #ocaml

14:01 Guest60956 has quit [Ping timeout: 246 seconds]

14:22 moei has quit [Quit: Leaving...]

14:30 malina has joined #ocaml

14:52 freyr has quit [Quit: Lost terminal]

14:55 shinnya has quit [Ping timeout: 260 seconds]

14:56 KeyJoo has quit [Ping timeout: 248 seconds]

15:00 Jesin has joined #ocaml

15:01 jao has joined #ocaml

15:02 dreadedfrog has quit [Ping timeout: 240 seconds]

15:07 malina has quit [Remote host closed the connection]

15:08 dreadedfrog has joined #ocaml

15:13 dreadedfrog has quit [Ping timeout: 248 seconds]

15:16 dreadedfrog has joined #ocaml

15:26 ygrek has quit [Ping timeout: 240 seconds]

15:26 FreeBirdLjj has quit [Remote host closed the connection]

15:26 FreeBirdLjj has joined #ocaml

15:32 spew has quit [Quit: Connection closed for inactivity]

15:48 KeyJoo has joined #ocaml

15:51 Jesin has quit [Quit: Leaving]

16:05 <kakadu> tizoc: you should probably ask in the twitter :)

16:07 <tizoc> kakadu: someone did here https://twitter.com/yminsky/status/930745765118476288 but got no answer, I remember yminsky talking about writting an article about that years ago, but I haven't seen anything related to that since then

16:08 superherointj has quit [Quit: Leaving]

16:09 <tizoc> https://twitter.com/yminsky/status/416962584844464128 2013, damn, time flies

16:10 jimmyrcom_ has joined #ocaml

16:17 sapristi has quit [Remote host closed the connection]

16:18 sapristi has joined #ocaml

16:19 <kakadu> We need to ping him more intensively

16:23 <tizoc> :)

16:27 <Drup> there is a small blog post on that

16:27 <Drup> on jst's blog

16:27 <tizoc> Drup: oh, I missed it, checking

16:29 <tizoc> Drup: https://blog.janestreet.com/why-gadts-matter-for-performance/ ?

16:34 <Drup> yeah

16:38 Jesin has joined #ocaml

16:44 moei has joined #ocaml

17:07 sepp2k has quit [Quit: Leaving.]

17:10 mengu has quit [Quit: Leaving...]

17:13 nahra has quit [Remote host closed the connection]

17:13 nahra has joined #ocaml

17:15 Serpent7776 has quit [Quit: Leaving]

17:15 nahra has quit [Remote host closed the connection]

17:16 nahra has joined #ocaml

17:16 zmt00 has joined #ocaml

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

17:20 nahra has joined #ocaml

17:27 mbuf has joined #ocaml

17:47 jnavila has joined #ocaml

17:51 Anarchos has joined #ocaml

17:53 FreeBirdLjj has quit [Remote host closed the connection]

17:55 dreadedfrog has quit [Ping timeout: 260 seconds]

17:57 jnavila has quit [Ping timeout: 240 seconds]

18:05 mbuf has quit [Quit: Leaving]

18:05 FreeBirdLjj has joined #ocaml

18:05 slash^ has joined #ocaml

18:09 raphaelss has joined #ocaml

18:10 ski has quit [Ping timeout: 260 seconds]

18:18 jnavila has joined #ocaml

18:19 shiyaz has quit [Ping timeout: 255 seconds]

18:24 dreadedfrog has joined #ocaml

18:33 andreas_ has quit [Quit: Connection closed for inactivity]

18:34 enterprisey has joined #ocaml

18:38 andreas_ has joined #ocaml

18:40 kakadu has quit [Quit: Konversation terminated!]

18:51 jnavila has quit [Ping timeout: 258 seconds]

18:52 _andre has quit [Ping timeout: 248 seconds]

18:52 _andre has joined #ocaml

18:53 johnelse has quit [Ping timeout: 248 seconds]

19:03 <octachron> I love it when "match x with A -> $a | Y -> $b " yields a type error but not "match x, x with A, _ -> $a | _, B -> $b "

19:11 <rks`> $a, $b ?

19:11 <rks`> also, what's the error?

19:17 ski has joined #ocaml

19:18 <thizanne> I guess it involves some kind of gadt where A and B don't have the same type, but (x, x) can give two different types to x

19:19 jnavila has joined #ocaml

19:21 FreeBirdLjj has quit [Remote host closed the connection]

19:22 <octachron> rks`, GADT + universally quantified types: type 'a t = A: int t | B: float t;; type u = { u.'a. 'a t }

19:23 <octachron> let f {u} = match u with A -> 0 | B -> 0;; yields "float is not compatible with int"

19:23 <rks`> gotcha

19:30 kakadu has joined #ocaml

19:33 Anarchos has quit [Read error: Connection reset by peer]

19:36 Anarchos has joined #ocaml

19:41 theglass has quit [Ping timeout: 246 seconds]

19:44 Asmadeus has quit [Ping timeout: 252 seconds]

19:44 Asmadeus has joined #ocaml

19:50 mk9 has joined #ocaml

19:56 dch has joined #ocaml

19:57 <dch> my favourite ocaml tool, patdiff, fails to install due to pulling in an old core_extended version.

19:57 <dch> I've tried to pin with opam:

19:57 <dch> opam pin add core_extended v0.9.115.15+07

19:58 <dch> however this fails with `[core_extended] v0.9.115.15+07 unavailable`

19:59 <dch> as its the latest version I'd hope that would work. obviously I'm a pretty new ocamler; what might I be missing?

20:00 <dch> basically if I get this https://github.com/janestreet/core_extended/issues/8 I can build successfully on FreeBSD again.

20:01 ski has quit [Ping timeout: 248 seconds]

20:08 DrWhax_ is now known as DrWhax

20:13 ski has joined #ocaml

20:19 <octachron> dch, if you want to install the last version of core_extended: "opam install core_extended.v0.9.1"

20:24 artart78 has quit [Ping timeout: 255 seconds]

20:24 jun has quit [Ping timeout: 264 seconds]

20:25 jun has joined #ocaml

20:25 pitastrudl has quit [Ping timeout: 276 seconds]

20:25 _andre has quit [Quit: leaving]

20:26 artart78 has joined #ocaml

20:26 artart78 has quit [Changing host]

20:26 artart78 has joined #ocaml

20:27 theglass has joined #ocaml

20:27 theglass has quit [Changing host]

20:28 pitastrudl has joined #ocaml

20:30 <dch> octachron: aah, no space? actually it seems I need to find something that is compatible with 4.0.3 and has that patch in it

20:30 bacam has quit [Ping timeout: 264 seconds]

20:31 enterprisey has quit [*.net *.split]

20:31 dreadedfrog has quit [*.net *.split]

20:31 lopex has quit [*.net *.split]

20:31 solrize has quit [*.net *.split]

20:31 nadako[m] has quit [*.net *.split]

20:31 aspiwack[m] has quit [*.net *.split]

20:31 equalunique[m] has quit [*.net *.split]

20:31 rwmjones has quit [*.net *.split]

20:31 strmpnk has quit [*.net *.split]

20:31 bitbckt has quit [*.net *.split]

20:31 jeffmo has quit [*.net *.split]

20:31 cyraxjoe has quit [*.net *.split]

20:31 slash^ has quit [*.net *.split]

20:31 mfp has quit [*.net *.split]

20:31 mankyKitty has quit [*.net *.split]

20:31 freusque has quit [*.net *.split]

20:31 lobo has quit [*.net *.split]

20:31 fraggle_ has quit [*.net *.split]

20:31 orbifx[m] has quit [*.net *.split]

20:31 M-ErkkiSeppl has quit [*.net *.split]

20:31 pacak has quit [*.net *.split]

20:31 IbnFirnas has quit [*.net *.split]

20:31 ggherdov has quit [*.net *.split]

20:31 _habnabit has quit [*.net *.split]

20:31 cojy has quit [*.net *.split]

20:31 bacam has joined #ocaml

20:33 ggherdov has joined #ocaml

20:33 BitPuffin|osx has quit [Ping timeout: 260 seconds]

20:34 ansiwen[m] has quit [Ping timeout: 240 seconds]

20:34 nkhodyunya has quit [Ping timeout: 240 seconds]

20:34 isaachodes[m] has quit [Ping timeout: 246 seconds]

20:34 rgr[m] has quit [Ping timeout: 252 seconds]

20:34 regnat[m] has quit [Ping timeout: 240 seconds]

20:34 hdurer[m] has quit [Ping timeout: 246 seconds]

20:34 M-x-matrix[m] has quit [Ping timeout: 255 seconds]

20:34 drsmkl[m] has quit [Ping timeout: 255 seconds]

20:34 multiocracy[m] has quit [Ping timeout: 248 seconds]

20:34 yetanotherion[m] has quit [Ping timeout: 248 seconds]

20:34 smondet[m] has quit [Ping timeout: 248 seconds]

20:35 aantron has quit [Ping timeout: 240 seconds]

20:35 Bluddy[m] has quit [Ping timeout: 246 seconds]

20:35 peddie[m] has quit [Ping timeout: 264 seconds]

20:35 samrat[m] has quit [Ping timeout: 264 seconds]

20:35 M-jimt has quit [Ping timeout: 252 seconds]

20:35 copy` has quit [Ping timeout: 255 seconds]

20:35 M-martinklepsch has quit [Ping timeout: 255 seconds]

20:35 srenatus has quit [Ping timeout: 255 seconds]

20:38 jnavila has quit [Ping timeout: 240 seconds]

20:41 <dch> oh my this is a rabbit hole. system ocaml is 4.0.2 so its time to shave all the ocaml yaks

20:46 dreadedfrog has joined #ocaml

20:47 enterprisey has joined #ocaml

20:47 lopex has joined #ocaml

20:47 solrize has joined #ocaml

20:47 rwmjones has joined #ocaml

20:47 cyraxjoe has joined #ocaml

20:47 bitbckt has joined #ocaml

20:47 jeffmo has joined #ocaml

20:47 strmpnk has joined #ocaml

20:47 mankyKitty has joined #ocaml

20:47 lobo has joined #ocaml

20:47 fraggle_ has joined #ocaml

20:47 mfp has joined #ocaml

20:47 pacak has joined #ocaml

20:47 IbnFirnas has joined #ocaml

20:47 _habnabit has joined #ocaml

20:47 freusque has joined #ocaml

20:47 cojy has joined #ocaml

20:48 enterprisey has quit [Max SendQ exceeded]

20:48 enterprisey has joined #ocaml

20:49 jnavila has joined #ocaml

20:50 noplamodo has quit [Ping timeout: 269 seconds]

20:50 theglass has quit [Ping timeout: 260 seconds]

20:51 dreadedfrog has quit [Ping timeout: 276 seconds]

20:52 noplamodo has joined #ocaml

20:57 theglass has joined #ocaml

20:57 theglass has quit [Changing host]

20:57 theglass has joined #ocaml

21:01 dreadedfrog has joined #ocaml

21:06 dreadedfrog has quit [Ping timeout: 252 seconds]

21:11 dreadedfrog has joined #ocaml

21:14 theglass has quit [Quit: ZNC - http://znc.in]

21:16 dreadedfrog has quit [Ping timeout: 246 seconds]

21:25 maattdd has quit [Ping timeout: 248 seconds]

21:25 dreadedfrog has joined #ocaml

21:25 <thizanne> dch: don't use your system ocaml, install a compiler with opam

21:30 dreadedfrog has quit [Ping timeout: 264 seconds]

21:32 Asmadeus has quit [Ping timeout: 240 seconds]

21:32 Cypi_ has joined #ocaml

21:33 def`_ has joined #ocaml

21:33 Cypi has quit [Disconnected by services]

21:33 Asmadeus has joined #ocaml

21:33 Cypi_ is now known as Cypi

21:35 ayxih has quit [Quit: Leaving]

21:35 dreadedfrog has joined #ocaml

21:36 ayxih has joined #ocaml

21:38 jimmyrcom_ has quit [*.net *.split]

21:38 jmiven has quit [*.net *.split]

21:38 riveter has quit [*.net *.split]

21:38 companion_cube has quit [*.net *.split]

21:39 ia0 has quit [*.net *.split]

21:39 dogui has quit [*.net *.split]

21:39 endeavor has quit [*.net *.split]

21:39 letoh has quit [*.net *.split]

21:39 def` has quit [*.net *.split]

21:39 ikanobori has quit [*.net *.split]

21:39 hnrgrgr has quit [*.net *.split]

21:39 antismap has quit [*.net *.split]

21:39 eikke has quit [*.net *.split]

21:39 micro has quit [*.net *.split]

21:39 profan has quit [*.net *.split]

21:39 vbmithr has quit [*.net *.split]

21:39 orbitz has quit [*.net *.split]

21:39 sadiq has quit [*.net *.split]

21:39 Khady has quit [*.net *.split]

21:39 MasseR has quit [*.net *.split]

21:39 so has quit [*.net *.split]

21:40 dreadedfrog has quit [Ping timeout: 250 seconds]

21:40 mk9 has quit [Quit: mk9]

21:40 jnavila has quit [Remote host closed the connection]

21:45 maattdd has joined #ocaml

21:47 kerrhau has joined #ocaml

21:53 <dch> made progress, switched to latest ocaml via opam, now I'm down to re2 failing. IIRC dealt with this in 2015 already..

22:02 jimmyrcom_ has joined #ocaml

22:02 riveter has joined #ocaml

22:02 letoh has joined #ocaml

22:02 jmiven has joined #ocaml

22:02 hnrgrgr has joined #ocaml

22:02 sadiq has joined #ocaml

22:02 ikanobori has joined #ocaml

22:02 ia0 has joined #ocaml

22:02 vbmithr has joined #ocaml

22:02 Khady has joined #ocaml

22:02 companion_cube has joined #ocaml

22:02 micro has joined #ocaml

22:02 eikke has joined #ocaml

22:02 MasseR has joined #ocaml

22:02 dogui has joined #ocaml

22:02 antismap has joined #ocaml

22:02 endeavor has joined #ocaml

22:02 orbitz has joined #ocaml

22:02 profan has joined #ocaml

22:06 ikanobori has quit [Ping timeout: 260 seconds]

22:07 theglass has joined #ocaml

22:07 theglass has quit [Changing host]

22:07 theglass has joined #ocaml

22:08 ikanobori has joined #ocaml

22:08 ikanobori has quit [Changing host]

22:08 ikanobori has joined #ocaml

22:08 ygrek has joined #ocaml

22:18 <lyxia> Do you know any splittable PRNG in OCaml? Something more packaged than Xavier Leroy's springo?

22:20 shinnya has joined #ocaml

22:40 so has joined #ocaml

22:40 dreadedfrog has joined #ocaml

22:45 dreadedfrog has quit [Ping timeout: 240 seconds]

22:47 AltGr has left #ocaml [#ocaml]

22:53 kakadu has quit [Remote host closed the connection]

22:54 barcabuona has joined #ocaml

22:54 tg has quit [Read error: Connection reset by peer]

22:55 Jesin has quit [Quit: Leaving]

22:58 pierpa has joined #ocaml

22:59 silver has quit [Read error: Connection reset by peer]

23:00 silver has joined #ocaml

23:03 maattdd_ has joined #ocaml

23:06 maattdd has quit [Ping timeout: 255 seconds]

23:12 sapristi has quit [Ping timeout: 268 seconds]

23:18 cbot has joined #ocaml

23:29 malina has joined #ocaml

23:31 argent_smith has quit [Quit: Leaving.]

23:35 dreadedfrog has joined #ocaml

23:41 dreadedfrog has quit [Ping timeout: 264 seconds]

23:43 raphaelss has quit [Ping timeout: 248 seconds]

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

23:53 andreas_ has quit [Quit: Connection closed for inactivity]

23:56 tg has joined #ocaml

23:56 zolk3ri has quit [Quit: Lost terminal]