#mirage on 2016-05-12 — irc logs at freenode.irclog.whitequark.org

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

01:06 doecnt has quit [Ping timeout: 276 seconds]

01:24 dsheets has joined #mirage

01:29 dsheets has quit [Ping timeout: 265 seconds]

01:44 brson has quit [Quit: leaving]

01:45 abeaumont has joined #mirage

01:49 dsheets has joined #mirage

01:54 dsheets has quit [Ping timeout: 265 seconds]

02:10 dsheets has joined #mirage

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

02:23 dsheets has joined #mirage

02:27 dsheets has quit [Ping timeout: 240 seconds]

02:50 dsheets has joined #mirage

02:54 dsheets has quit [Ping timeout: 276 seconds]

03:01 dsheets has joined #mirage

03:06 dsheets has quit [Ping timeout: 250 seconds]

04:31 brson has joined #mirage

04:54 rgrinberg has quit [Ping timeout: 265 seconds]

04:57 insitu has joined #mirage

05:19 dsheets has joined #mirage

05:23 copy` has quit [Quit: Connection closed for inactivity]

05:24 dsheets has quit [Ping timeout: 250 seconds]

05:24 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:34 insitu has joined #mirage

06:00 jermar has quit [Ping timeout: 265 seconds]

06:04 dsheets has joined #mirage

06:08 dsheets has quit [Ping timeout: 260 seconds]

06:15 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:33 brson has quit [Ping timeout: 276 seconds]

06:40 brson has joined #mirage

06:46 tet has quit [Ping timeout: 252 seconds]

06:54 tet has joined #mirage

07:10 andreas23 has quit [Quit: Leaving.]

07:20 dsheets has joined #mirage

07:25 dsheets has quit [Ping timeout: 276 seconds]

07:26 insitu has joined #mirage

07:31 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:38 insitu has joined #mirage

07:39 insitu has quit [Client Quit]

07:52 insitu has joined #mirage

07:56 insitu has quit [Client Quit]

07:59 dsheets has joined #mirage

08:00 dsheets has quit [Remote host closed the connection]

08:01 insitu has joined #mirage

08:05 dsheets has joined #mirage

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

08:15 mort___ has joined #mirage

08:29 jermar has joined #mirage

08:41 andreas23 has joined #mirage

08:42 insitu has joined #mirage

08:59 insitu has quit [Read error: Connection reset by peer]

08:59 insitu_ has joined #mirage

09:00 brson has quit [Ping timeout: 244 seconds]

09:08 brson has joined #mirage

09:11 insitu_ has quit [Ping timeout: 265 seconds]

09:25 mort___ has left #mirage [#mirage]

09:26 insitu has joined #mirage

09:29 brson has quit [Ping timeout: 260 seconds]

09:34 djs55 has joined #mirage

09:36 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:37 brson has joined #mirage

09:39 djs551 has joined #mirage

09:39 djs55 has quit [Read error: Connection reset by peer]

09:42 <maker> how do I replace a call to Unix.sleep to make my code work in Mirage?

09:43 <maker> (yes, it's one of those few cases where it's sane to use a sleep call. I am polling over a specific resource. Also perhaps it's good to mention that I'm using Lwt already)

09:45 djs551 has quit [Read error: Connection reset by peer]

09:45 djs55 has joined #mirage

09:50 <hannes> maker: OS.sleep I think (defined in mirage-platform, implemented by both unix and xen backends)

09:55 demonimin has quit [Ping timeout: 276 seconds]

09:55 demonimin has joined #mirage

10:12 brson has quit [Ping timeout: 240 seconds]

10:29 brson has joined #mirage

10:30 brson has quit [Read error: Connection reset by peer]

10:35 vpm has quit [Ping timeout: 240 seconds]

10:35 vpm has joined #mirage

10:47 copy` has joined #mirage

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

11:03 mort___ has joined #mirage

11:07 mort___ has quit [Client Quit]

11:08 mort___ has joined #mirage

11:36 dsheets has quit [Remote host closed the connection]

11:54 insitu has joined #mirage

11:57 rgrinberg has joined #mirage

12:02 mort___ has quit [Quit: Leaving.]

12:06 dsheets has joined #mirage

12:09 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

12:11 insitu has joined #mirage

12:11 dsheets has quit [Ping timeout: 276 seconds]

12:14 insitu has quit [Client Quit]

12:20 insitu has joined #mirage

12:22 insitu has quit [Client Quit]

12:22 insitu has joined #mirage

12:24 insitu_ has joined #mirage

12:26 insitu has quit [Ping timeout: 246 seconds]

12:27 rgrinberg has quit [Quit: WeeChat 1.5]

12:28 insitu_ has quit [Ping timeout: 244 seconds]

12:29 mort___ has joined #mirage

12:29 rgrinberg has joined #mirage

12:29 mort___ has left #mirage [#mirage]

12:36 dsheets has joined #mirage

12:41 djs55 has joined #mirage

12:45 insitu has joined #mirage

12:59 djs551 has joined #mirage

12:59 djs55 has quit [Read error: Connection reset by peer]

13:04 djs551 has quit [Read error: Connection reset by peer]

13:04 djs55 has joined #mirage

13:06 djs55 has quit [Read error: Connection reset by peer]

13:06 djs551 has joined #mirage

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

13:17 brson has joined #mirage

13:18 insitu has joined #mirage

13:20 insitu has quit [Client Quit]

13:21 brson has quit [Client Quit]

13:21 brson has joined #mirage

13:22 insitu has joined #mirage

13:22 insitu has quit [Client Quit]

13:23 dsheets has quit [Remote host closed the connection]

13:25 djs551 has quit [Read error: Connection reset by peer]

13:25 djs55 has joined #mirage

13:26 dsheets has joined #mirage

13:30 djs55 has quit [Read error: Connection reset by peer]

13:30 djs55 has joined #mirage

13:39 insitu has joined #mirage

13:42 insitu has quit [Client Quit]

13:43 insitu has joined #mirage

14:16 mort___ has joined #mirage

14:31 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:45 mort___ has quit [Quit: Leaving.]

14:48 mcclurmc has joined #mirage

14:48 andreas23 has quit [Quit: Leaving.]

14:55 mort___ has joined #mirage

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

15:13 demonimin has quit [Remote host closed the connection]

15:14 brson has joined #mirage

15:20 demonimin has joined #mirage

15:33 copy` has quit [Quit: Connection closed for inactivity]

15:35 mort___ has quit [Quit: Leaving.]

15:37 dsheets has quit [Remote host closed the connection]

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

15:40 mort___ has joined #mirage

15:43 dsheets has joined #mirage

15:44 djs55 has joined #mirage

15:53 doecnt has joined #mirage

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

16:29 djs55 has joined #mirage

16:30 jermar has quit [Quit: Leaving]

16:30 dsheets has quit [Remote host closed the connection]

16:35 andreas23 has joined #mirage

16:36 doecnt has quit [Ping timeout: 260 seconds]

16:37 mort___ has quit [Quit: Leaving.]

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

16:41 andreas23 has quit [Ping timeout: 276 seconds]

17:01 andreas23 has joined #mirage

17:05 brson has quit [Quit: leaving]

17:07 dsheets has joined #mirage

17:14 dsheets has quit [Ping timeout: 260 seconds]

17:19 dsheets has joined #mirage

17:24 djs55 has joined #mirage

17:28 doecnt has joined #mirage

17:33 dsheets has quit [Remote host closed the connection]

17:41 djs551 has joined #mirage

17:41 djs55 has quit [Read error: Connection reset by peer]

17:42 dsheets has joined #mirage

17:43 djs551 has quit [Read error: Connection reset by peer]

17:44 djs55 has joined #mirage

17:45 dsheets has quit [Remote host closed the connection]

17:46 dsheets has joined #mirage

17:48 dsheets has quit [Remote host closed the connection]

17:49 djs55 has quit [Read error: Connection reset by peer]

17:50 djs55 has joined #mirage

17:55 djs551 has joined #mirage

17:55 djs55 has quit [Read error: Connection reset by peer]

17:57 djs55 has joined #mirage

17:57 djs551 has quit [Read error: Connection reset by peer]

17:58 djs55 has quit [Client Quit]

18:06 dsheets has joined #mirage

18:11 dsheets has quit [Ping timeout: 246 seconds]

18:14 dsheets has joined #mirage

18:16 dsheets has quit [Remote host closed the connection]

18:27 dsheets has joined #mirage

18:41 doecnt has quit [Ping timeout: 244 seconds]

19:38 brson has joined #mirage

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

20:59 dsheets has joined #mirage

21:04 dsheets has quit [Remote host closed the connection]

21:07 rgrinberg has quit [Ping timeout: 250 seconds]

21:12 dsheets has joined #mirage

21:17 dsheets has quit [Ping timeout: 250 seconds]

22:04 rgrinberg has joined #mirage

22:14 dsheets has joined #mirage

22:21 dsheets has quit [Remote host closed the connection]

22:25 rgrinberg has quit [Ping timeout: 250 seconds]

22:35 insitu has joined #mirage

22:39 rgrinberg has joined #mirage

23:02 dsheets has joined #mirage

23:06 dsheets has quit [Ping timeout: 250 seconds]

23:13 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]