#mirage on 2015-06-02 — irc logs at freenode.irclog.whitequark.org

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

00:05 tlockney is now known as tlockney_away

00:06 AltGr has joined #mirage

00:07 nullcat_ has joined #mirage

00:30 rgrinberg has quit [Ping timeout: 256 seconds]

00:31 kdef has quit [Quit: Leaving]

00:32 brson has quit [Quit: leaving]

00:38 brson has joined #mirage

00:59 tinhead has quit [Remote host closed the connection]

01:17 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

01:23 brson has quit [Quit: leaving]

01:26 rgrinberg has joined #mirage

01:31 rgrinberg has quit [Ping timeout: 240 seconds]

01:35 ericbmerritt has quit [Read error: Connection reset by peer]

01:35 oskarth has quit [Read error: Connection reset by peer]

01:39 ericbmerritt has joined #mirage

01:40 oskarth has joined #mirage

01:49 tlockney_away is now known as tlockney

01:50 smondet has quit [Ping timeout: 272 seconds]

01:50 tlockney is now known as tlockney_away

01:59 tlockney_away is now known as tlockney

02:03 rgrinberg has joined #mirage

03:03 tinhead has joined #mirage

03:08 tinhead has quit [Remote host closed the connection]

03:36 tinhead has joined #mirage

03:41 tinhead has quit [Ping timeout: 265 seconds]

03:49 nullcat_ has joined #mirage

03:55 mcclurmc has quit [Ping timeout: 244 seconds]

03:56 tinhead has joined #mirage

03:56 mcclurmc_ has joined #mirage

03:59 tinhead has quit [Remote host closed the connection]

04:39 tlockney is now known as tlockney_away

04:45 tinhead has joined #mirage

04:53 tinhead has quit [Remote host closed the connection]

05:06 mcclurmc has joined #mirage

05:07 tinhead has joined #mirage

05:10 mcclurmc_ has quit [Ping timeout: 265 seconds]

05:10 tinhead has quit [Remote host closed the connection]

05:14 rgrinberg has quit [Ping timeout: 246 seconds]

05:18 rgrinberg has joined #mirage

05:26 tinhead has joined #mirage

05:27 mcclurmc has quit [Remote host closed the connection]

05:29 tinhead has quit [Remote host closed the connection]

05:31 tinhead has joined #mirage

05:43 MrScout has joined #mirage

05:58 MrScout has quit [Remote host closed the connection]

06:31 tinhead has quit [Remote host closed the connection]

06:39 thomasga has joined #mirage

07:10 rgrinberg has quit [Ping timeout: 246 seconds]

07:26 rgrinberg has joined #mirage

08:03 m__ has joined #mirage

08:14 miragebot has joined #mirage

08:14 <miragebot> [mirage] samoht pushed 2 new commits to master: http://git.io/vkSCK

08:14 <miragebot> mirage/master 89b1c97 lnmx: move "target" log message to Mirage.configure

08:14 <miragebot> mirage/master b0bccd7 Thomas Gazagnaire: Merge pull request #408 from lnmx/target-info...

08:14 miragebot has left #mirage [#mirage]

08:16 mort___ has joined #mirage

08:38 rgrinberg has quit [Ping timeout: 264 seconds]

08:42 quelu has quit [Ping timeout: 246 seconds]

08:50 quelu has joined #mirage

09:09 AltGr has left #mirage [#mirage]

09:26 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

09:34 rgrinberg has joined #mirage

09:39 rgrinberg has quit [Ping timeout: 264 seconds]

10:17 dsheets has quit [Ping timeout: 265 seconds]

10:28 thomasga has quit [Quit: Leaving.]

10:34 rgrinberg has joined #mirage

10:38 thomasga has joined #mirage

10:39 rgrinberg has quit [Ping timeout: 244 seconds]

10:48 thomasga has quit [Quit: Leaving.]

11:08 yomimono has quit [Ping timeout: 258 seconds]

11:35 rgrinberg has joined #mirage

11:40 rgrinberg has quit [Ping timeout: 272 seconds]

11:50 thomasga has joined #mirage

12:06 quelu has quit [Ping timeout: 265 seconds]

12:18 dsheets has joined #mirage

12:26 quelu has joined #mirage

12:28 yomimono has joined #mirage

12:36 rgrinberg has joined #mirage

12:38 justincormack has joined #mirage

12:41 rgrinberg has quit [Ping timeout: 250 seconds]

12:58 smondet has joined #mirage

12:59 jonludlam has joined #mirage

13:37 rgrinberg has joined #mirage

13:40 agarwal1975 has joined #mirage

13:41 rgrinberg has quit [Ping timeout: 244 seconds]

14:18 mcclurmc has joined #mirage

14:23 mcclurmc has quit [Ping timeout: 256 seconds]

14:33 mcclurmc has joined #mirage

14:37 <m__> is Janestreet core_kernel supposed not to have unix dependencies?

14:38 rgrinberg has joined #mirage

14:43 rgrinberg has quit [Ping timeout: 264 seconds]

14:58 m__ has quit [Quit: Page closed]

14:59 m__ has joined #mirage

15:08 kdef has joined #mirage

15:30 gth_ has joined #mirage

15:37 yomimono has quit [Ping timeout: 276 seconds]

15:38 rgrinberg has joined #mirage

15:43 rgrinberg has quit [Ping timeout: 240 seconds]

15:43 yomimono has joined #mirage

15:49 rgrinberg has joined #mirage

15:51 tinhead has joined #mirage

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

16:21 tlockney_away is now known as tlockney

16:28 yomimono has quit [Ping timeout: 245 seconds]

16:37 MrScout has joined #mirage

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

16:39 thomasga has joined #mirage

16:48 tinhead has joined #mirage

16:48 tinhead has quit [Changing host]

16:49 dsheets has quit [Ping timeout: 265 seconds]

16:50 <raboof> m__: i'm way new to this, but it seems it has some parts depend on Unix (related to timestamps it looks like), but some parts can be used without it

16:51 yomimono has joined #mirage

16:52 tinhead has quit [Remote host closed the connection]

16:54 <m__> yep, it looks like that. A bit of deviation from what the aimed in order to make it usable for mirage: https://blogs.janestreet.com/a-lighter-core/

17:08 m__ has quit [Ping timeout: 246 seconds]

17:09 justincormack has quit [Ping timeout: 255 seconds]

17:10 jonludlam has quit [Ping timeout: 256 seconds]

17:11 yomimono has quit [Ping timeout: 258 seconds]

17:17 mort___ has quit [Ping timeout: 256 seconds]

17:17 tinhead has joined #mirage

17:22 brson has joined #mirage

17:22 dsheets has joined #mirage

17:42 nullcat_ has joined #mirage

18:03 tinhead has quit [Remote host closed the connection]

18:08 tinhead has joined #mirage

18:09 thomasga has quit [Quit: Leaving.]

18:21 mort___ has joined #mirage

18:44 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

18:46 rgrinberg has quit [Ping timeout: 256 seconds]

18:52 tinhead has left #mirage [#mirage]

19:17 kdef has quit [Quit: Leaving]

19:41 rgrinberg has joined #mirage

19:46 rgrinberg has quit [Ping timeout: 256 seconds]

19:50 larhat has joined #mirage

19:56 rgrinberg has joined #mirage

20:03 mort___ has quit [Quit: Leaving.]

20:22 gth_ has quit [Ping timeout: 246 seconds]

20:22 jonludlam has joined #mirage

20:27 nullcat_ has joined #mirage

20:41 kdef has joined #mirage

20:45 larhat has quit [Quit: Leaving.]

20:50 larhat has joined #mirage

20:53 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

20:53 nullcat_ has joined #mirage

20:54 nullcat_ has quit [Client Quit]

20:57 tlockney is now known as tlockney_away

20:59 tlockney_away is now known as tlockney

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

21:06 tinhead has joined #mirage

21:35 tlockney is now known as tlockney_away

21:49 tinhead has quit [Remote host closed the connection]

22:12 tg has quit [Ping timeout: 272 seconds]

22:15 tg has joined #mirage

22:17 mariusae has quit [Ping timeout: 276 seconds]

22:27 kdef has quit [Quit: Leaving]

22:50 larhat has joined #mirage

22:55 tinhead has joined #mirage

22:58 kdef has joined #mirage

23:00 mariusae has joined #mirage

23:03 tinhead_ has joined #mirage

23:07 tinhead has quit [Ping timeout: 258 seconds]

23:28 tlockney_away is now known as tlockney

23:37 larhat has quit [Quit: Leaving.]

23:41 kdef has quit [Quit: Leaving]

23:43 brson has quit [Quit: leaving]