#mirage on 2014-10-23 — irc logs at freenode.irclog.whitequark.org

00:02 brson has joined #mirage

01:13 brson has quit [Ping timeout: 260 seconds]

01:15 brson has joined #mirage

01:17 brson has quit [Client Quit]

01:29 tlockney is now known as tlockney_away

02:24 piffio has quit [Ping timeout: 255 seconds]

02:31 seangrove has quit [Ping timeout: 244 seconds]

03:09 seangrove has joined #mirage

03:17 tlockney_away is now known as tlockney

03:18 piffio has joined #mirage

04:14 AltGr has joined #mirage

04:36 mcclurmc has quit [Remote host closed the connection]

05:27 piffio has quit [Ping timeout: 258 seconds]

05:32 tlockney is now known as tlockney_away

06:10 jerith_ has joined #mirage

06:11 jerith has quit [Ping timeout: 272 seconds]

07:18 hhugo has joined #mirage

07:31 hhugo has quit [Quit: Leaving.]

07:55 djs55 has joined #mirage

09:15 cr409 has joined #mirage

09:34 dsheets has joined #mirage

09:39 dsheets has quit [Ping timeout: 244 seconds]

09:46 andreas has joined #mirage

10:01 cr409 has quit [Ping timeout: 244 seconds]

10:04 cr409 has joined #mirage

10:07 AltGr has left #mirage [#mirage]

10:08 hannes has quit [Quit: Coyote finally caught me]

10:09 dsheets has joined #mirage

10:17 jerith_ is now known as jerith

10:19 hannes has joined #mirage

10:38 djs55 has quit [Quit: Leaving.]

10:49 djs55 has joined #mirage

11:25 djs55 has quit [Read error: Connection reset by peer]

11:25 djs55 has joined #mirage

11:26 djs55 has quit [Read error: Connection reset by peer]

11:26 djs551 has joined #mirage

11:35 djs551 has quit [Quit: Leaving.]

12:30 piffio has joined #mirage

12:41 djs55 has joined #mirage

12:43 <vbmithr> Hi

12:43 <vbmithr> Can someone help me understand why that (: https://github.com/vbmithr/ocaml-benchs/blob/master/thread/thread_ring_async_pipe.ml) blocks ?

12:52 mcclurmc has joined #mirage

13:02 <vbmithr> ls

13:27 jonludlam has quit [Ping timeout: 272 seconds]

13:43 mcclurmc_ has joined #mirage

13:45 mcclurmc has quit [Ping timeout: 265 seconds]

13:46 <vbmithr> (it was completely fucked-up)

14:05 jonludlam has joined #mirage

14:07 <vbmithr> (forget about it, fixed.)

14:42 djs55 has quit [Quit: Leaving.]

14:47 nojb has joined #mirage

14:48 nojb has quit [Client Quit]

14:52 nojb has joined #mirage

15:03 nojb has quit [Remote host closed the connection]

15:04 nojb has joined #mirage

15:04 tlockney_away is now known as tlockney

15:23 nojb has quit [Quit: nojb]

15:23 nojb has joined #mirage

15:44 djs55 has joined #mirage

16:41 andreas has quit [Ping timeout: 265 seconds]

16:47 boogie has joined #mirage

16:55 nojb has quit [Quit: nojb]

17:05 brson has joined #mirage

17:18 dsheets has quit [Ping timeout: 256 seconds]

17:19 hhugo has joined #mirage

17:39 djs55 has quit [Quit: Leaving.]

18:25 hhugo has quit [Quit: Leaving.]

18:32 brson has quit [Quit: leaving]

18:33 hhugo has joined #mirage

18:49 hhugo has quit [Quit: Leaving.]

19:19 hhugo has joined #mirage

19:24 djs55 has joined #mirage

19:40 nojb has joined #mirage

19:43 nojb has quit [Client Quit]

19:47 nojb has joined #mirage

20:12 piffio has quit [Read error: No route to host]

20:13 piffio has joined #mirage

20:16 hhugo has quit [Quit: Leaving.]

20:22 hhugo has joined #mirage

20:34 andreas2 has joined #mirage

20:49 mort___ has joined #mirage

21:05 hhugo has quit [Quit: Leaving.]

21:16 djs55 has quit [Quit: Leaving.]

22:11 andreas has joined #mirage

22:14 andreas2 has quit [Ping timeout: 272 seconds]

22:15 dsheets has joined #mirage

22:19 tlockney is now known as tlockney_away

22:21 mort___ has quit [Quit: Leaving.]

22:22 piffio has quit [Ping timeout: 265 seconds]

22:40 tlockney_away is now known as tlockney

22:55 piffio has joined #mirage

23:10 piffio has quit [Ping timeout: 256 seconds]

23:28 piffio has joined #mirage

23:38 nojb has quit [Quit: nojb]

23:45 nojb has joined #mirage

23:47 tlockney is now known as tlockney_away

23:50 piffio has quit [Ping timeout: 256 seconds]

23:55 nojb has quit [Quit: nojb]