#mirage on 2014-07-30 — irc logs at freenode.irclog.whitequark.org

00:14 philtor has quit [Ping timeout: 255 seconds]

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

00:41 thomasga has joined #mirage

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

00:46 mort___ has joined #mirage

00:46 mort___ has quit [Remote host closed the connection]

00:46 englishm has joined #mirage

00:47 englishm_ has joined #mirage

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

01:10 echo_oddly has quit [Ping timeout: 272 seconds]

01:27 brson has quit [Quit: leaving]

01:45 philtor has joined #mirage

02:14 englishm_ has quit [Remote host closed the connection]

02:14 englishm has quit [Quit: Leaving.]

02:14 englishm has joined #mirage

02:19 englishm has quit [Ping timeout: 250 seconds]

02:19 englishm has joined #mirage

02:25 englishm1 has joined #mirage

02:28 englishm_ has joined #mirage

02:31 englishm1 has quit [Ping timeout: 250 seconds]

02:32 englishm1 has joined #mirage

02:32 englishm has quit [Ping timeout: 250 seconds]

02:33 philtor has quit [Ping timeout: 245 seconds]

03:27 LCubed has joined #mirage

03:30 LCubed has quit [Remote host closed the connection]

03:39 englishm_ has quit [Ping timeout: 272 seconds]

03:39 englishm1 has quit [Ping timeout: 250 seconds]

03:53 echo_oddly has joined #mirage

04:11 echo_oddly has quit [Ping timeout: 272 seconds]

04:59 mort___ has joined #mirage

05:18 avsm has joined #mirage

05:50 avsm has quit [Quit: Leaving.]

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

06:24 echo_oddly has joined #mirage

06:38 echo_oddly has quit [Ping timeout: 250 seconds]

06:51 avsm has joined #mirage

07:00 mort___ has joined #mirage

07:08 AltGr has joined #mirage

08:20 thomasga has joined #mirage

08:22 jonludlam has joined #mirage

08:52 avsm has quit [Quit: Leaving.]

08:57 avsm has joined #mirage

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

09:16 thomasga has joined #mirage

09:18 andreas has joined #mirage

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

09:37 jonludlam has quit [Ping timeout: 250 seconds]

09:44 rektide_ has joined #mirage

09:44 rektide has quit [*.net *.split]

09:49 thomasga has joined #mirage

09:53 jonludlam has joined #mirage

09:57 dbuenzli has joined #mirage

10:07 dsheets has joined #mirage

10:08 cr409 has joined #mirage

10:20 jonludlam has quit [Remote host closed the connection]

10:22 avsm has quit [Quit: Leaving.]

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

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

10:44 dbuenzli has quit [Quit: Leaving.]

10:57 dbuenzli has joined #mirage

11:16 dbuenzli has quit [Quit: Leaving.]

11:20 avsm has joined #mirage

11:51 dezzy has quit [Ping timeout: 240 seconds]

11:54 dezzy has joined #mirage

12:08 dbuenzli has joined #mirage

12:08 dbuenzli1 has joined #mirage

12:08 dbuenzli has quit [Read error: Connection reset by peer]

12:14 thomasga has joined #mirage

12:24 jonludlam has joined #mirage

12:28 agarwal1975 has quit [Quit: agarwal1975]

12:29 dezzy has quit [Read error: Connection reset by peer]

12:30 dezzy has joined #mirage

12:33 dbuenzli1 has quit [Quit: Leaving.]

12:33 avsm has quit [Quit: Leaving.]

12:42 dbuenzli has joined #mirage

12:42 dbuenzli1 has joined #mirage

12:42 dbuenzli has quit [Read error: Connection reset by peer]

12:54 englishm has joined #mirage

12:54 englishm has quit [Changing host]

12:54 englishm has joined #mirage

12:54 englishm_ has joined #mirage

13:24 andreas has quit [Ping timeout: 250 seconds]

13:38 andreas has joined #mirage

13:39 avsm has joined #mirage

13:45 thomasga has quit [Quit: Leaving.]

13:56 avsm has quit [Quit: Leaving.]

14:03 thomasga has joined #mirage

14:05 andreas has quit [Ping timeout: 264 seconds]

14:07 andreas has joined #mirage

14:10 jonludlam has quit [Ping timeout: 260 seconds]

14:17 stevej has quit [Ping timeout: 245 seconds]

14:21 travisbrady has joined #mirage

14:24 jonludlam has joined #mirage

14:54 mcclurmc_ has quit [Remote host closed the connection]

15:00 jonludlam has quit [Ping timeout: 250 seconds]

15:11 tlockney_away is now known as tlockney

15:11 tlockney is now known as tlockney_away

15:14 jonludlam has joined #mirage

15:16 englishm has quit [Ping timeout: 240 seconds]

15:16 englishm_ has quit [Ping timeout: 260 seconds]

15:18 englishm has joined #mirage

15:18 tlockney_away is now known as tlockney

15:21 englishm1 has joined #mirage

15:50 jonludlam has quit [Remote host closed the connection]

15:55 englishm has quit [Remote host closed the connection]

15:55 englishm1 has quit [Quit: Leaving.]

15:56 englishm has joined #mirage

16:02 agarwal1975 has joined #mirage

16:04 andreas has quit [Ping timeout: 272 seconds]

16:12 andreas has joined #mirage

16:35 AltGr has left #mirage [#mirage]

16:35 englishm has quit [Remote host closed the connection]

16:35 englishm has joined #mirage

16:35 englishm1 has joined #mirage

16:36 <travisbrady> Anyone have thoughts on how hard it would be to build a tool/template/library/whatever so a user could define a cohttp server, a couple routes and handlers and easily deploy to ec2? I think something like that would be very useful.

16:39 <dsheets> travisbrady, sounds like a good idea. seen rgrinberg's opium?

16:39 <travisbrady> I have yes and used it a little. I’d even settle for vanilla cohttp if building a deploying to ec2 were easy.

16:40 <dsheets> i think there may be a gsoc student binding to amazon's api...

16:40 <travisbrady> The idea that you can put these in ec2 auto-scale groups is very appealing.

16:40 <dsheets> twould be rockin

16:44 andreas has quit [Quit: Leaving.]

16:47 thomasga has quit [Ping timeout: 250 seconds]

16:49 <hannes> travisbrady, dsheets: ec2 bindings https://github.com/moonlightdrive/ocaml-ec2

16:50 <dsheets> sweeet

16:50 <travisbrady> I’m less interested in binding to the ec2 api, than I am in being able to build a unikernel http server and trivially deploy to ec2.

16:51 <dsheets> also https://github.com/besport/aws ?

16:52 <dsheets> isn't the binding a prereq to trivial deployment?

16:52 <travisbrady> dsheets: Any rough idea how long it typically takes to boot a unikernel?

16:52 <dsheets> travisbrady, tens of ms

16:52 <dsheets> depends on what you do on start

16:52 <dsheets> also, amazon probably doesn't care about boot time so there may be some provisioning delay

16:52 <travisbrady> Oh wow that’s wonderful. That means you could actually auto-scale to zero and then spin one up if you receive a request.

16:53 <dsheets> that's the idea but ec2 may not be able to deliver that

16:53 <travisbrady> Yes I suspect you’re right.

17:04 brson has joined #mirage

17:05 brson has quit [Client Quit]

17:05 brson has joined #mirage

17:16 travisbrady has quit [Quit: travisbrady]

17:19 philtor has joined #mirage

17:27 englishm2 has joined #mirage

17:27 englishm_ has joined #mirage

17:28 englishm has quit [Ping timeout: 245 seconds]

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

17:28 englishm1 has quit [Ping timeout: 240 seconds]

17:34 dbuenzli1 has quit [Quit: Leaving.]

17:52 travisbrady has joined #mirage

18:12 stevej has joined #mirage

18:13 travisbrady has quit [Quit: travisbrady]

18:15 philtor has quit [Ping timeout: 250 seconds]

18:16 <englishm2> can opium apps be used with mirage / built as unikernels?

18:19 stevej has quit [Quit: ["Textual IRC Client: www.textualapp.com"]]

18:19 stevej has joined #mirage

18:26 englishm has joined #mirage

18:29 englishm_ has quit [Ping timeout: 264 seconds]

18:29 englishm2 has quit [Ping timeout: 250 seconds]

18:30 englishm1 has joined #mirage

18:32 englishm_ has joined #mirage

18:32 travisbrady has joined #mirage

18:33 mcclurmc has joined #mirage

18:33 englishm has quit [Ping timeout: 240 seconds]

18:43 LCubed has joined #mirage

18:54 cr409 has quit [Ping timeout: 260 seconds]

19:02 englishm_ has quit [Remote host closed the connection]

19:02 englishm1 has quit [Quit: Leaving.]

19:02 englishm has joined #mirage

19:03 englishm_ has joined #mirage

19:18 philtor has joined #mirage

20:11 mcclurmc has quit [Read error: Connection reset by peer]

20:13 mcclurmc has joined #mirage

20:18 mcclurmc has quit [Remote host closed the connection]

20:35 dsheets has joined #mirage

20:48 brson has quit [Quit: leaving]

20:50 andreas has joined #mirage

20:56 andreas has quit [Ping timeout: 255 seconds]

21:04 dsheets has quit [Ping timeout: 264 seconds]

21:20 LCubed has quit [Remote host closed the connection]

21:22 mcclurmc has joined #mirage

21:23 dsheets has joined #mirage

21:36 thomasga has joined #mirage

21:37 dsheets has quit [Ping timeout: 240 seconds]

22:02 brson has joined #mirage

22:02 brson has quit [Client Quit]

22:02 brson has joined #mirage

22:26 englishm_ has quit [Remote host closed the connection]

22:26 englishm has quit [Quit: Leaving.]

22:27 englishm has joined #mirage

22:27 englishm has quit [Remote host closed the connection]

22:33 englishm has joined #mirage

22:33 englishm_ has joined #mirage

22:35 jonludlam has joined #mirage

22:45 englishm_ has quit [Remote host closed the connection]

22:45 englishm has quit [Quit: Leaving.]

22:46 englishm has joined #mirage

22:46 englishm_ has joined #mirage

22:46 jonludlam has quit [Read error: Connection reset by peer]

22:50 englishm has quit [Ping timeout: 264 seconds]

22:51 englishm_ has quit [Ping timeout: 250 seconds]

23:26 travisbrady has quit [Quit: travisbrady]

23:42 yomimono has joined #mirage

23:54 travisbrady has joined #mirage