#mirage on 2015-01-14 — 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:01 MrScout has quit [Remote host closed the connection]

00:06 NhanH has joined #mirage

00:08 vpm_ has joined #mirage

00:09 cojy has joined #mirage

00:11 kdef has quit [Quit: Leaving]

00:14 MrScout has joined #mirage

00:14 MrScout has quit [Remote host closed the connection]

00:15 MrScout has joined #mirage

00:16 AltGr has joined #mirage

00:19 jonludlam has quit [Quit: Coyote finally caught me]

00:30 lambdahands has joined #mirage

00:31 kamalmarhubi_ has joined #mirage

00:32 tom39291 has joined #mirage

00:36 __marius______ has joined #mirage

00:41 <rgrinberg> vbmithr: back to oasis?

00:41 <rgrinberg> lol

00:44 tom39291 has quit [Read error: Connection reset by peer]

00:48 tom39291 has joined #mirage

00:53 dkibi has quit [Remote host closed the connection]

01:02 lambdahands has quit [Ping timeout: 256 seconds]

01:06 lambdahands has joined #mirage

01:07 IbnFirnas has joined #mirage

01:11 lambdahands has quit [Ping timeout: 245 seconds]

01:13 MrScout has quit [Ping timeout: 245 seconds]

01:15 cebka has quit [Ping timeout: 244 seconds]

01:16 cebka has joined #mirage

01:20 tom39291 has quit [Ping timeout: 244 seconds]

01:25 _whitelogger_ has joined #mirage

01:28 rgrinberg has quit [Quit: Leaving.]

01:31 lambdahands has joined #mirage

01:38 lambdahands has quit [Ping timeout: 256 seconds]

01:40 rgrinberg has joined #mirage

02:13 lambdahands has joined #mirage

02:24 __marius______ has quit [Ping timeout: 244 seconds]

02:25 __marius______ has joined #mirage

02:32 AltGr has quit [Ping timeout: 244 seconds]

02:51 mort___ has quit [Read error: Connection reset by peer]

02:52 mort___ has joined #mirage

02:52 tom39291 has quit [Read error: Connection reset by peer]

02:54 tom39291 has joined #mirage

02:54 cojy has quit [Ping timeout: 244 seconds]

02:55 cebka has quit [Ping timeout: 244 seconds]

02:57 cojy has joined #mirage

02:58 __marius______ has quit [Read error: Connection reset by peer]

03:00 __marius______ has joined #mirage

03:00 Leonidas has quit [Ping timeout: 244 seconds]

03:00 Leonidas has joined #mirage

03:12 cebka has joined #mirage

03:14 Leonidas has quit [Ping timeout: 244 seconds]

03:21 thomasga has quit [Quit: Leaving.]

03:29 _whitelogger_ has joined #mirage

03:39 _whitelogger_ has quit [Excess Flood]

03:39 _whitelogger_ has joined #mirage

03:45 NhanH has quit [Ping timeout: 244 seconds]

03:47 NhanH has joined #mirage

03:52 kamalmarhubi_ has quit [Ping timeout: 244 seconds]

03:53 kamalmarhubi_ has joined #mirage

03:53 rgrinberg has quit [Quit: Leaving.]

03:55 rgrinberg has joined #mirage

04:03 Leonidas_ has joined #mirage

04:11 brson has joined #mirage

05:12 brson has quit [Quit: leaving]

05:22 _whitelogger_ has joined #mirage

05:51 vanila has joined #mirage

06:29 mekaj has quit [Ping timeout: 244 seconds]

06:33 Guest74383 has joined #mirage

06:33 Guest74383 has quit [Changing host]

06:33 Guest74383 is now known as reynir

06:36 mekaj has joined #mirage

06:46 Leonidas_ is now known as Leonidas

06:54 lambdahands has quit [Ping timeout: 244 seconds]

07:02 mekaj has quit [Ping timeout: 244 seconds]

07:05 mekaj has joined #mirage

07:08 tom39291 has quit [Read error: Connection reset by peer]

07:12 tom39291 has joined #mirage

07:26 rgrinberg has quit [Quit: Leaving.]

07:28 mekaj has quit [Ping timeout: 244 seconds]

07:31 mekaj has joined #mirage

07:37 rgrinberg has joined #mirage

08:22 seangrove has quit [Read error: Connection reset by peer]

08:22 thomasga has joined #mirage

08:30 dsheets is now known as dsheets__

08:30 dsheets__ is now known as dsheets

08:32 dsheets has quit [Quit: Leaving]

08:36 seangrove has joined #mirage

08:47 mekaj has quit [Ping timeout: 244 seconds]

08:53 mekaj has joined #mirage

09:10 larhat has joined #mirage

09:15 <vbmithr> rgrinberg: well… :)

09:15 <vbmithr> rgrinberg: when it gets messy, you need messy tools :p

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

09:22 rgrinberg has quit [Quit: Leaving.]

09:32 dsheets has joined #mirage

09:41 mekaj has quit [Ping timeout: 244 seconds]

09:42 vanila has quit [Ping timeout: 240 seconds]

09:43 vanila has joined #mirage

09:48 mekaj has joined #mirage

09:50 lambdahands has joined #mirage

09:52 thomasga has joined #mirage

09:55 lambdahands has quit [Ping timeout: 264 seconds]

09:57 cebka has quit [Ping timeout: 244 seconds]

09:57 vanila has quit [Ping timeout: 245 seconds]

09:58 cebka has joined #mirage

10:00 mekaj has quit [Ping timeout: 244 seconds]

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

10:02 mekaj has joined #mirage

10:14 thomasga has joined #mirage

10:15 mekaj has quit [Ping timeout: 244 seconds]

10:16 mekaj has joined #mirage

10:19 thomasga has quit [Client Quit]

10:28 djs55 has joined #mirage

10:31 thomasga has joined #mirage

10:36 thomasga has quit [Client Quit]

10:43 thomasga has joined #mirage

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

11:11 thomasga has joined #mirage

11:16 vanila has joined #mirage

11:39 <vanila> can I make an ssh listener thing with mirage?

11:40 <vanila> I have a little [toy] service we made and I wanted to ssh in to edit it

11:40 <vanila> I think telnet will be relatively easy (going to try that first) just curious about ssh

11:41 thomasga has quit [Quit: Leaving.]

11:42 <dsheets> vanila, it's a bit old but there's https://github.com/avsm/ocaml-ssh

11:43 <dsheets> won't run under xen, yet, may need some hacking

11:43 <vanila> alright cool :)

12:34 djs55 has quit [Quit: Leaving.]

12:55 dsheets has quit [Ping timeout: 256 seconds]

13:11 dsheets has joined #mirage

13:25 dsheets has quit [Ping timeout: 244 seconds]

13:44 djs55 has joined #mirage

14:00 rlindsgaard has joined #mirage

14:01 jonludlam has joined #mirage

14:07 dsheets has joined #mirage

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

14:47 thomasga has joined #mirage

14:47 larhat has quit [Quit: Leaving.]

14:56 djs55 has joined #mirage

15:03 thomasga has quit [Quit: Leaving.]

15:36 jonludlam has quit [Ping timeout: 264 seconds]

15:39 lambdahands has joined #mirage

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

15:44 thomasga has joined #mirage

15:48 jonludlam has joined #mirage

15:49 amirmc has joined #mirage

15:56 thomasga has quit [Quit: Leaving.]

15:57 thomasga has joined #mirage

16:00 <amirmc> @thomasga Did you see dj55 in the lab at all?

16:00 <thomasga> nope

16:01 <amirmc> ok, I'll give it until 5 past(ish) and then switch to Google Hangout

16:01 talex5 has joined #mirage

16:04 djs55 has joined #mirage

16:04 <mort___> trying to join now

16:04 <mort___> (some confusion over which office to do it in :)

16:04 <mort___> awaitying organizer...

16:04 <mort___> djs55

16:04 <amirmc> me too. he's starting the meeting

16:05 <amirmc> Best if people join from their own offices. :)

16:05 jonludla` has joined #mirage

16:07 jonludlam has quit [Ping timeout: 246 seconds]

16:08 brson has joined #mirage

16:10 rgrinberg has joined #mirage

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

16:18 jonludla` is now known as jonludlam

16:36 mort___ has quit [Ping timeout: 245 seconds]

16:47 talex5 has quit [Quit: Saliendo]

16:47 thomasga has joined #mirage

16:47 amirmc has quit [Quit: Leaving.]

16:55 vpm_ is now known as vpm

16:59 larhat has joined #mirage

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

17:07 djs55 has joined #mirage

17:21 kdef has joined #mirage

17:35 demonimin has joined #mirage

17:36 dsheets has quit [Ping timeout: 272 seconds]

17:37 demonimin_ has quit [Ping timeout: 264 seconds]

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

17:41 mort___ has joined #mirage

17:43 mort___ has quit [Client Quit]

17:45 mort___ has joined #mirage

17:47 jonludlam has quit [Quit: Coyote finally caught me]

17:52 mort___ has quit [Quit: Leaving.]

17:52 larhat has quit [Ping timeout: 246 seconds]

17:52 larhat has joined #mirage

17:53 mort___ has joined #mirage

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

18:04 djs55 has joined #mirage

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

18:19 seangrove has quit [Remote host closed the connection]

18:21 MrScout has joined #mirage

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

18:50 vanila has quit [Quit: Leaving]

19:03 MrScout has quit [Ping timeout: 245 seconds]

19:04 MrScout has joined #mirage

19:08 MrScout has quit [Client Quit]

19:12 larhat has quit [Quit: Leaving.]

19:40 mort___ has joined #mirage

19:48 rgrinberg has quit [Quit: Leaving.]

19:53 rgrinberg has joined #mirage

20:29 djs55 has joined #mirage

20:30 thomasga has joined #mirage

20:35 lambdahands has quit [Read error: Connection reset by peer]

20:40 lambdahands has joined #mirage

20:42 thomasga has quit [Quit: Leaving.]

20:47 thomasga has joined #mirage

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

21:11 rgrinberg has quit [Quit: Leaving.]

21:19 kdef has quit [Quit: Leaving]

21:19 jonludlam has joined #mirage

21:21 djs55 has joined #mirage

21:30 lambdaha1ds has joined #mirage

21:32 lambdahands has quit [Ping timeout: 256 seconds]

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

21:58 rgrinberg has joined #mirage

21:58 thomasga has quit [Quit: Leaving.]

22:05 thomasga has joined #mirage

22:20 kdef has joined #mirage

22:24 djs55 has quit [Quit: Leaving.]

22:50 thomasga has quit [Quit: Leaving.]

23:03 djs55 has joined #mirage

23:10 rgrinberg has quit [Quit: Leaving.]

23:22 djs55 has quit [Quit: Leaving.]

23:26 rgrinberg has joined #mirage

23:41 lambdaha1ds has quit [Ping timeout: 246 seconds]

23:43 lambdahands has joined #mirage