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

2017-06-08 20:16 companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:01 zpe has joined #ocaml

00:01 infinity0_ has joined #ocaml

00:01 infinity0 is now known as Guest42597

00:01 infinity0_ is now known as infinity0

00:01 Guest42597 has quit [Killed (weber.freenode.net (Nickname regained by services))]

00:19 iitalics has joined #ocaml

00:26 ziyourenxiang has quit [Ping timeout: 240 seconds]

00:30 keep_learning has joined #ocaml

00:30 Guest65934 has quit [Read error: Connection reset by peer]

00:33 average has quit [Remote host closed the connection]

00:36 sh0t has joined #ocaml

00:39 zpe has quit [Ping timeout: 260 seconds]

00:41 jlam_ has joined #ocaml

00:44 jlam has quit [Ping timeout: 240 seconds]

00:46 iitalics has quit [Quit: /thread]

00:52 mfp__ has quit [Ping timeout: 255 seconds]

00:54 spew has quit [Quit: foobar]

00:57 copy_ has quit [Quit: Connection closed for inactivity]

00:59 jao has joined #ocaml

01:13 sgronblo has quit [Read error: Connection reset by peer]

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

01:13 nahra has joined #ocaml

01:27 _whitelogger has joined #ocaml

01:30 jlam__ is now known as jlam

01:35 zpe has joined #ocaml

01:41 silver has quit [Read error: Connection reset by peer]

01:45 shinnya has quit [Ping timeout: 240 seconds]

02:02 sh0t has quit [Remote host closed the connection]

02:05 jao has quit [Ping timeout: 240 seconds]

02:05 tienson has joined #ocaml

02:16 pyx has joined #ocaml

02:17 pyx has quit [Client Quit]

02:18 raphaelss has quit [Ping timeout: 260 seconds]

02:23 zpe has quit [Ping timeout: 240 seconds]

02:25 govg has quit [Ping timeout: 240 seconds]

02:26 pierpa has quit [Quit: Page closed]

02:28 lizzin has joined #ocaml

02:29 lizzin is now known as Guest30402

02:29 sgronblo has joined #ocaml

02:32 jlam__ has joined #ocaml

02:32 jlam_ has quit [Ping timeout: 240 seconds]

02:34 jlam has quit [Ping timeout: 268 seconds]

02:35 jlam has joined #ocaml

02:35 johnelse_ has quit [Ping timeout: 240 seconds]

02:39 raphaelss has joined #ocaml

03:03 cranmax has quit [Quit: Connection closed for inactivity]

03:21 zpe has joined #ocaml

03:29 MercurialAlchemi has joined #ocaml

03:30 sgronblo has quit [Read error: No route to host]

03:36 enterprisey has joined #ocaml

03:42 sgronblo has joined #ocaml

03:52 ghasshee_ has joined #ocaml

04:12 zpe has quit [Ping timeout: 260 seconds]

04:15 ghasshee_ has quit [Quit: leaving]

04:19 enterprisey has quit [Remote host closed the connection]

04:37 tienson has quit [Ping timeout: 268 seconds]

04:41 olibjerd has joined #ocaml

04:52 govg has joined #ocaml

04:55 MercurialAlchemi has quit [Ping timeout: 240 seconds]

05:08 cthuluh has quit [Ping timeout: 276 seconds]

05:08 zpe has joined #ocaml

05:23 Guest30402 has quit [Quit: leaving]

05:25 cthuluh has joined #ocaml

05:44 MercurialAlchemi has joined #ocaml

05:49 freusque has joined #ocaml

05:53 olibjerd has quit [Quit: olibjerd]

05:54 zpe has quit [Ping timeout: 260 seconds]

06:04 enterprisey has joined #ocaml

06:12 malkss has joined #ocaml

06:12 <malkss> Anyone think they can break my hashing function? (this is just a fun challenge I made): http://ideone.com/nSJa45 Goal: Determine the plaintext of the following hash: d0c0c93dcff308d1

06:12 <malkss> This is an attempt to solve it: https://pastebin.com/raw/5cWSdmxe

06:21 enterprisey has quit [Remote host closed the connection]

06:24 Simn has joined #ocaml

06:42 alfredo has joined #ocaml

06:43 <malkss> Anyone think they can break my hashing function? (this is just a fun challenge I made): http://ideone.com/nSJa45 Goal: Determine the plaintext of the following hash: d0c0c93dcff308d1

06:43 <malkss> This is an attempt to solve it: https://pastebin.com/raw/5cWSdmxe

06:43 <malkss> 100USD up for grabs to anyone who manages to solve it :)

06:45 vramana has joined #ocaml

06:45 barcabuona has quit [Ping timeout: 246 seconds]

06:45 <adrien> this is C code, it's not really related to ocaml

06:46 <Armael> also, breaking a hash function usually means finding a collision

06:47 <Armael> er, being able to generate collisions for arbitrary hashes*

06:49 barcabuona has joined #ocaml

06:50 zpe has joined #ocaml

06:53 <malkss> Armael: preimage attack you mean?

06:53 <Armael> err yea

06:55 <malkss> Armael: Try find a cool algorithm or mathematical way of breaking it

07:12 malkss has quit [Ping timeout: 260 seconds]

07:15 rossberg_ has quit [Ping timeout: 255 seconds]

07:27 rossberg_ has joined #ocaml

07:36 ygrek_ has quit [Ping timeout: 240 seconds]

07:38 AltGr has joined #ocaml

07:43 zpe has quit [Ping timeout: 260 seconds]

07:48 olibjerd has joined #ocaml

08:05 argent_smith has joined #ocaml

08:14 freusque has quit [Quit: WeeChat 1.7.1]

08:19 freusque has joined #ocaml

08:19 kakadu has joined #ocaml

08:25 johnelse has joined #ocaml

08:29 olibjerd has quit [Quit: olibjerd]

08:30 olibjerd has joined #ocaml

08:32 mfp__ has joined #ocaml

08:35 cranmax has joined #ocaml

08:36 olibjerd has quit [Ping timeout: 260 seconds]

08:40 zpe has joined #ocaml

08:54 kakadu_ has joined #ocaml

08:57 kakadu has quit [Ping timeout: 268 seconds]

09:07 minn has joined #ocaml

09:14 sgronblo has quit [Ping timeout: 240 seconds]

09:15 butts_butts has joined #ocaml

09:18 foocraft has joined #ocaml

09:18 foocraft has quit [Changing host]

09:18 foocraft has joined #ocaml

09:23 Sim_n has joined #ocaml

09:26 olibjerd has joined #ocaml

09:27 Simn has quit [Ping timeout: 260 seconds]

09:33 zpe has quit [Ping timeout: 260 seconds]

09:34 hkghkghkghkghk has joined #ocaml

09:34 <minn> I'm having trouble with pfff and ocamlgraph on 4.02.0 using OPAM (apparently pfff-commons-graph/lib.cma and ocamlgraph/graph.cma disagree over the interface Graph). I'm not really sure how to resolve the issue (I tried recompiling everything).

09:35 hkghkghkghkghk has quit [Client Quit]

09:36 <kakadu_> Folks, do you see any obvious issue related to benchmarking in the piece of code https://paste.in.ua/2782/ ?

09:36 <kakadu_> I worried about the fact that after switching from /usr/bin/time to Unix.gettimeofday the code that previously was slower became faster

09:39 <companion_cube> you might want to use an accurate monotonic clock instead, btw

09:39 <companion_cube> for micro benchmarks

09:39 <companion_cube> sth like ptime or oclock

09:40 <kakadu_> https://github.com/dbuenzli/ptime ?

09:41 <companion_cube> yeah

09:41 <companion_cube> or, you know, use an existing benchmark lib like benchmark or core_bench

09:41 <octachron> minn, unfortunately, it looks like a cross-library module name conflict. The only solution is to temporarily rename the module (and/or open an issue asking for the libraries to properly namespace their modules)

09:41 <reynir> Is there a library or something for micrbenchmarks?

09:42 <reynir> (Ok yea `opam search bench` lists a lot of promising packages)

09:43 * companion_cube uses benchmark

09:45 <minn> octachron: That is unfortunate (and odd, because pfff depends on ocamlgraph as far as I can tell). It's also possible that I'm doing something wrong (i.e., not loading the correct packages or whatever). Thank you :)

09:46 frefity has joined #ocaml

09:50 <octachron> minn, it looks like pfff is using a vendored version of ocamlgraph, have you tried to use it rather than the properly packaged ocamlgraph?

10:08 ziyourenxiang has joined #ocaml

10:14 <minn> octachron: It appears that compiling from source and using the version of ocamlgraph they distribute works. So does switching to 4.01.0 from Ocaml > 4.02.0.

10:15 <minn> (That, or I just don't know enough about the tools to hook everything together properly - definitely possible).

10:23 <octachron> minn, quite possibly the vendored version of ocamlgraph is only compatible with the last version of ocamlgraph available for 4.01 and not with more recent versions of ocamlgraph

10:30 zpe has joined #ocaml

10:31 jao has joined #ocaml

10:37 sgronblo has joined #ocaml

10:51 jao has quit [Ping timeout: 246 seconds]

10:52 zpe has quit [Remote host closed the connection]

10:52 zpe has joined #ocaml

10:52 <kakadu_> okay, I did some measuring with /usr/bin/time and got https://pasteboard.co/1LyPkax4f.png

10:52 <kakadu_> and later I used ocaml benchamrk library and got this: https://pasteboard.co/1M1rJE3H3.png

10:53 <kakadu_> does this mean that programs measured by /usr/bin/time behave like faster programs?

10:54 zpe has quit [Remote host closed the connection]

10:55 <kakadu_> The main thing that worries me that most optimized version (purple) is kind of most optimized when I measure with /usr/bin/time. But it is not like it when I measure with a library

11:03 <orbifx[m]> how do I open|include an `.ml` file in utop?

11:03 <orbifx[m]> ah.. load

11:04 <orbifx[m]> ow that is for bytecode files..

11:05 <orbifx[m]> #use :)

11:09 raphaelss has quit [Ping timeout: 240 seconds]

11:10 frefity has quit [Ping timeout: 240 seconds]

11:21 dtornabene has joined #ocaml

11:29 hashpuppy has quit [Quit: Connection closed for inactivity]

11:30 frefity has joined #ocaml

11:32 <kakadu_> It seems that a library called 'benchmark' uses wall time which is not very good

11:33 <companion_cube> oh, right, I didn't realize

11:33 * companion_cube opens an issue

11:34 <companion_cube> https://github.com/Chris00/ocaml-benchmark/issues/9

11:36 <kakadu_> And dbuenzli uses CLOCK_REALTIME instead of CLOCK_MONOTONIC which is kind of bad too. https://github.com/dbuenzli/ptime/blob/master/src-os/ptime_clock_stubs.c#L129

11:38 samrat_ has joined #ocaml

11:38 <companion_cube> which one is bad?

11:38 <kakadu_> REALTIME

11:38 <adrien> man clock_gettime

11:38 <companion_cube> oh.

11:38 <adrien> iirc

11:38 <adrien> you'll have to scroll a bit

11:38 <companion_cube> I'm surprised that Bünzli made the wrong choice in this kind of library

11:39 <adrien> well, he might have a justification for that :P

11:39 <companion_cube> kakadu_: but I kind of recall that ptime gives access to different clocks?

11:39 <adrien> hmm

11:39 <adrien> wall time is a valid measurement

11:39 <companion_cube> ah maybe it's mtime‽

11:40 <adrien> but both CLOCK_REALTIME and CLOCK_MONOTONIC are kind of wall clocks

11:41 <adrien> are you sure it's not that something uses CPU time instead? i.e. Sys.times

11:41 <adrien> sorry: Sys.time

11:44 cranmax has quit [Quit: Connection closed for inactivity]

11:45 <Drup> yeah, mtime is the monotonic one

11:45 <kakadu_> companion_cube: ptime seems not to give access to different clocks

11:45 <companion_cube> right, so it's mtime

11:57 govg has quit [Ping timeout: 268 seconds]

11:58 govg has joined #ocaml

11:58 _andre has joined #ocaml

12:00 zpe has joined #ocaml

12:02 <mrvn> long live CLOCK_MONOTONIC, may she never go back

12:04 rdutra has joined #ocaml

12:04 rdutra has quit [Client Quit]

12:05 rdutra has joined #ocaml

12:05 foocraft has quit [Quit: Leaving]

12:06 vramana has quit [Quit: vramana]

12:07 barcabuona has quit [Ping timeout: 246 seconds]

12:07 cranmax has joined #ocaml

12:10 nomicflux has joined #ocaml

12:12 barcabuona has joined #ocaml

12:13 sepp2k has joined #ocaml

12:15 raphaelss has joined #ocaml

12:21 silver has joined #ocaml

12:22 al-damiri has joined #ocaml

12:26 samrat_ has quit [Ping timeout: 255 seconds]

12:26 jbrown has joined #ocaml

12:28 mrvn has left #ocaml [#ocaml]

12:34 <orbifx[m]> :P

12:34 nomicflux has quit [Quit: nomicflux]

12:36 raphaelss has quit [Ping timeout: 240 seconds]

12:43 frefity has quit [Quit: Ex-Chat]

12:53 shinnya has joined #ocaml

13:00 jlam_ has joined #ocaml

13:01 jlam has quit [Ping timeout: 240 seconds]

13:11 vramana has joined #ocaml

13:16 jlam has joined #ocaml

13:17 sh0t has joined #ocaml

13:20 jlam_ has quit [Ping timeout: 255 seconds]

13:20 malina has joined #ocaml

13:28 alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]

13:28 rdutra has quit [Quit: Leaving.]

13:28 rdutra has joined #ocaml

13:30 jlam_ has joined #ocaml

13:30 nightmared has quit [Ping timeout: 246 seconds]

13:31 freusque has quit [Ping timeout: 255 seconds]

13:32 nightmared has joined #ocaml

13:32 jlam has quit [Ping timeout: 260 seconds]

13:37 samrat_ has joined #ocaml

13:40 freusque has joined #ocaml

13:41 <Leonidas> can't figure out what core_bench does

13:42 <Drup> pixie magic, mostly

13:42 <Drup> and running things in tight loops while taking care of the GC.

13:43 <Leonidas> probably. though I have to admit that it is surprisingly nice to use

13:43 <companion_cube> what does "taking care of the GC" mean in this context?

13:44 dtornabene has quit [Read error: Connection reset by peer]

13:44 <Drup> it mesures the amount of garbage, gc run and afaik, it factors in the average cost of the GC when measuring. It also interleaves runs to average things out, and things like that

13:48 <companion_cube> ok

13:48 <companion_cube> (too bad it still depends on Core…)

13:49 <Drup> yeah

13:56 vramana has quit [Quit: vramana]

13:56 zpe has quit [Remote host closed the connection]

13:56 zpe has joined #ocaml

13:58 samrat_ has quit [Ping timeout: 240 seconds]

13:59 vramana has joined #ocaml

14:00 SpiceGuid has joined #ocaml

14:00 zpe has quit [Ping timeout: 240 seconds]

14:02 zpe has joined #ocaml

14:06 vramana has quit [Quit: vramana]

14:08 vramana has joined #ocaml

14:09 olibjerd has quit [Remote host closed the connection]

14:09 MercurialAlchemi has quit [Ping timeout: 268 seconds]

14:14 olibjerd has joined #ocaml

14:45 kevinqiu has joined #ocaml

14:50 samrat_ has joined #ocaml

14:55 Sim_n has quit [Quit: Leaving]

14:56 copy_ has joined #ocaml

14:57 ryanartecona has joined #ocaml

15:03 enterprisey has joined #ocaml

15:08 Denommus has joined #ocaml

15:11 FreeBirdLjj has joined #ocaml

15:17 Simn has joined #ocaml

15:19 freusque has quit [Quit: WeeChat 1.7.1]

15:38 jbrown has quit [Quit: Leaving]

15:38 <n4323> orbitfx: i noticed that #use loads any .cmo corresponding to the .ml given in the path, and does not check that it's up to date with the .ml. beware.

15:40 MercurialAlchemi has joined #ocaml

15:41 tane has joined #ocaml

15:45 jbrown has joined #ocaml

15:47 vramana_ has joined #ocaml

15:48 vramana has quit [Ping timeout: 255 seconds]

15:48 MercurialAlchemi has quit [Ping timeout: 268 seconds]

15:58 MercurialAlchemi has joined #ocaml

16:01 ryanartecona has quit [Quit: ryanartecona]

16:12 sgronblo has quit [Read error: Connection reset by peer]

16:13 SpiceGuid has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.46/20161213183751]]

16:13 jnavila has joined #ocaml

16:16 zpe has quit [Remote host closed the connection]

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

16:27 mfp__ has quit [Ping timeout: 268 seconds]

16:40 mfp__ has joined #ocaml

16:53 jnavila has quit [Ping timeout: 240 seconds]

16:54 ygrek_ has joined #ocaml

16:58 Anarchos has joined #ocaml

17:03 jnavila has joined #ocaml

17:06 kevinqiu` has joined #ocaml

17:06 kevinqiu has quit [Read error: Connection reset by peer]

17:16 shinnya has quit [Ping timeout: 258 seconds]

17:18 kevinqiu` has quit [Read error: Connection reset by peer]

17:19 kevinqiu` has joined #ocaml

17:25 jnavila has quit [Ping timeout: 255 seconds]

17:32 enterprisey has quit [Ping timeout: 268 seconds]

17:40 tane has quit [Quit: Leaving]

17:41 ryanartecona has joined #ocaml

17:42 jlam has joined #ocaml

17:45 jlam__ has quit [Ping timeout: 246 seconds]

17:45 MercurialAlchemi has quit [Ping timeout: 276 seconds]

17:46 enterprisey has joined #ocaml

17:46 jlam__ has joined #ocaml

17:47 jlam_ has quit [Ping timeout: 276 seconds]

18:11 sgronblo has joined #ocaml

18:13 sgronblo has quit [Read error: Connection reset by peer]

18:18 samrat_ has quit [Ping timeout: 240 seconds]

18:20 raphaelss has joined #ocaml

18:22 jao has joined #ocaml

18:29 FreeBirdLjj has quit [Remote host closed the connection]

18:29 enterprisey has quit [Ping timeout: 276 seconds]

18:37 FreeBirdLjj has joined #ocaml

18:44 cschneid has quit [Ping timeout: 246 seconds]

18:45 TheLemonMan has joined #ocaml

18:45 FreeBirdLjj has quit [Remote host closed the connection]

18:46 FreeBirdLjj has joined #ocaml

18:46 cschneid has joined #ocaml

18:46 jnavila has joined #ocaml

18:50 Leonidas has quit [Quit: Debian 9 happened]

18:51 FreeBirdLjj has quit [Ping timeout: 260 seconds]

18:52 sh0t has quit [Ping timeout: 240 seconds]

18:56 jlam has quit [Killed (adams.freenode.net (Nickname regained by services))]

18:56 jlam__ is now known as jlam

18:56 jlam_ has joined #ocaml

18:57 sh0t has joined #ocaml

19:00 shinnya has joined #ocaml

19:03 Denommus has quit [Quit: rebooting]

19:09 MercurialAlchemi has joined #ocaml

19:12 sgronblo has joined #ocaml

19:12 kakadu_ has quit [Quit: Konversation terminated!]

19:12 sgronblo has quit [Read error: Connection reset by peer]

19:27 jnavila has quit [Ping timeout: 240 seconds]

19:40 jnavila has joined #ocaml

19:41 ryanartecona has quit [Quit: ryanartecona]

19:47 Anarchos has quit [Remote host closed the connection]

19:54 <minn> Is it possible to configure the toplevel to show large values using a pager (e.g., less)?

19:59 Anarchos has joined #ocaml

20:01 Anarchos has quit [Client Quit]

20:04 MercurialAlchemi has quit [Ping timeout: 276 seconds]

20:12 sgronblo has joined #ocaml

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

20:15 sgronblo has quit [Read error: Connection reset by peer]

20:18 Leonidas has joined #ocaml

20:23 ryanartecona has joined #ocaml

20:29 cthuluh has quit [Ping timeout: 255 seconds]

20:31 jlam__ has joined #ocaml

20:33 jlam_ has quit [Ping timeout: 240 seconds]

20:34 jbrown has joined #ocaml

20:35 enterprisey has joined #ocaml

20:36 cthuluh has joined #ocaml

20:36 kakadu has joined #ocaml

20:41 enterprisey has quit [Remote host closed the connection]

20:43 jlam__ has quit [Ping timeout: 268 seconds]

20:44 kakadu_ has joined #ocaml

20:44 kakadu has quit [Ping timeout: 258 seconds]

20:49 Simn has quit [Read error: Connection reset by peer]

20:53 jnavila has quit [Remote host closed the connection]

21:13 sgronblo has joined #ocaml

21:13 TheLemonMan has quit [Quit: Lost terminal]

21:16 sgronblo has quit [Read error: Connection reset by peer]

21:33 olibjerd has quit [Quit: olibjerd]

21:39 olibjerd has joined #ocaml

21:43 sepp2k has quit [Read error: Connection reset by peer]

21:43 sepp2k has joined #ocaml

21:44 mengu has joined #ocaml

21:52 kevinqiu` has quit [Ping timeout: 240 seconds]

21:57 olibjerd has quit [Quit: olibjerd]

21:58 rdutra has quit [Ping timeout: 240 seconds]

22:14 sgronblo has joined #ocaml

22:18 ryanartecona has quit [Quit: ryanartecona]

22:18 sgronblo has quit [Ping timeout: 240 seconds]

22:40 Soni has quit [Ping timeout: 260 seconds]

22:40 minn has quit [Ping timeout: 240 seconds]

22:41 pierpa has joined #ocaml

22:48 enterprisey has joined #ocaml

22:48 kevinqiu` has joined #ocaml

22:49 Soni has joined #ocaml

22:49 kakadu_ has quit [Remote host closed the connection]

22:55 kevinqiu` has quit [Ping timeout: 276 seconds]

22:58 nomicflux has joined #ocaml

23:07 nomicflux has quit [Quit: nomicflux]

23:08 nomicflux has joined #ocaml

23:12 sgronblo has joined #ocaml

23:14 pierpa has quit [Ping timeout: 260 seconds]

23:16 rdutra has joined #ocaml

23:17 sgronblo has quit [Ping timeout: 276 seconds]

23:17 sgronblo has joined #ocaml

23:25 spew has joined #ocaml

23:26 minn has joined #ocaml

23:40 sgronblo has quit [Ping timeout: 255 seconds]

23:41 spew has quit [Quit: foobar]

23:42 ryanartecona has joined #ocaml

23:44 nomicflux has quit [Quit: nomicflux]

23:50 kevinqiu` has joined #ocaml

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

23:53 nomicflux has joined #ocaml

23:53 rdutra has quit [Ping timeout: 276 seconds]

23:54 nomicflux has quit [Client Quit]

23:55 kevinqiu` has quit [Ping timeout: 246 seconds]