#mirage on 2015-04-08 — 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:37 nate_prime has joined #mirage

00:38 nate_prime has quit [Client Quit]

00:46 AltGr has joined #mirage

00:53 rgrinberg has joined #mirage

00:58 rgrinberg has quit [Ping timeout: 264 seconds]

01:10 rgrinberg has joined #mirage

01:12 tlockney is now known as tlockney_away

01:15 <Drup> rgrinberg: in practice, how functorized mirage applications are ?

01:20 brson has quit [Quit: leaving]

01:27 brson has joined #mirage

01:31 nullcat has joined #mirage

02:02 dsheets has quit [Ping timeout: 265 seconds]

02:02 sigjuice has quit [Ping timeout: 265 seconds]

02:02 welterde has quit [Ping timeout: 265 seconds]

02:02 mcclurmc has joined #mirage

02:03 mcclurmc_ has quit [Read error: Connection reset by peer]

02:03 mcclurmc_ has joined #mirage

02:07 mcclurmc has quit [Ping timeout: 250 seconds]

02:07 sigjuice has joined #mirage

02:09 <rgrinberg> Drup: not the best person to ask but i'd say pretty functorized if they developed a whole code gen system

02:09 <rgrinberg> to instantiate these functors

02:09 <rgrinberg> http://openmirage.org/blog/mirage-1.1-released

02:11 <Drup> I saw that, yes

02:13 <rgrinberg> Drup: trying to think of something representative

02:14 <Drup> I'm dumping my though in a blog post for my non-exhisting blog, will show you later

02:14 dsheets has joined #mirage

02:15 <rgrinberg> Drup: https://github.com/mirage/mirage-decks

02:25 <Drup> I'll look tomorrow

02:25 welterde has joined #mirage

02:28 brson has quit [Quit: leaving]

03:12 tlockney_away is now known as tlockney

03:54 rgrinberg has quit [Ping timeout: 264 seconds]

03:57 rgrinberg has joined #mirage

04:51 rgrinberg has quit [Ping timeout: 255 seconds]

04:58 rgrinberg has joined #mirage

04:59 MrScout has quit [Ping timeout: 245 seconds]

05:02 tlockney is now known as tlockney_away

05:29 MrScout has joined #mirage

05:55 rgrinberg has quit [Ping timeout: 276 seconds]

05:57 rgrinberg has joined #mirage

06:14 MrScout has quit [Quit: Leaving...]

08:01 mort___ has joined #mirage

08:20 dsheets has quit [Ping timeout: 250 seconds]

08:20 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

08:50 andreas2 has quit [Ping timeout: 245 seconds]

08:53 rgrinberg has quit [Ping timeout: 244 seconds]

08:56 dsheets has joined #mirage

09:08 larhat has quit [Quit: Leaving.]

09:10 nojb has joined #mirage

09:29 andreas has joined #mirage

09:49 thomasga has joined #mirage

09:50 rgrinberg has joined #mirage

09:54 rgrinberg has quit [Ping timeout: 252 seconds]

09:56 yomimono_ has quit [Ping timeout: 245 seconds]

10:15 larhat has joined #mirage

10:29 yomimono_ has joined #mirage

10:34 yomimono_ has quit [Ping timeout: 245 seconds]

10:42 nojb has quit [Quit: nojb]

10:59 yomimono_ has joined #mirage

11:05 yomimono_ has quit [Ping timeout: 276 seconds]

11:23 nojb has joined #mirage

11:27 rgrinberg has joined #mirage

11:32 rgrinberg has quit [Ping timeout: 265 seconds]

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

12:17 AltGr has left #mirage [#mirage]

12:23 yomimono_ has joined #mirage

12:44 thomasga has joined #mirage

12:58 rgrinberg has joined #mirage

13:03 rgrinberg has quit [Ping timeout: 245 seconds]

13:03 rgrinberg has joined #mirage

13:05 yomimono_ has quit [Ping timeout: 250 seconds]

13:12 yomimono_ has joined #mirage

13:23 nojb has quit [Quit: nojb]

13:36 nojb has joined #mirage

13:55 <mort___> thomasga: there?

13:55 <thomasga> yup

13:56 <mort___> how do i try out different cohttp versions easily?

13:56 <mort___> so i can pin it down for opam-repository

13:56 <mort___> given installation is via mirage cli invocation of opam

13:56 <thomasga> can you pin cohttp before running the mirage invocation?

13:57 <thomasga> or I can maybe just look into the CHANGElog :p

13:58 <thomasga> S.make appeared in 0.14.0 it seems

13:58 <thomasga> Server.make I mean

13:59 <Drup> oh, thomasga, I was looking for you. Tell me when you have a bit of time.

13:59 <thomasga> I can find some time :p

14:26 rgrinberg has quit [Ping timeout: 256 seconds]

14:27 nojb has quit [Quit: nojb]

14:41 rgrinberg has joined #mirage

14:43 nojb has joined #mirage

15:24 kdef has joined #mirage

15:55 mort___ has quit [Ping timeout: 256 seconds]

16:17 tlockney_away is now known as tlockney

16:20 yomimono_ has quit [Ping timeout: 252 seconds]

16:21 rgrinberg has quit [Ping timeout: 264 seconds]

16:21 tlockney is now known as tlockney_away

16:31 rgrinberg has joined #mirage

16:46 nullcat_ has joined #mirage

16:47 nullcat_ has quit [Client Quit]

16:48 nullcat has joined #mirage

16:57 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

16:58 larhat has quit [Quit: Leaving.]

17:01 nojb has quit [Quit: nojb]

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

17:08 dsheets has quit [Ping timeout: 264 seconds]

17:11 thomasga has joined #mirage

17:22 andreas has quit [Quit: Leaving.]

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

17:30 brson has joined #mirage

17:34 thomasga has joined #mirage

17:41 nojb has joined #mirage

18:05 nullcat has joined #mirage

18:13 nullca___ has joined #mirage

18:16 nullcat has quit [Ping timeout: 248 seconds]

18:17 MrScout has joined #mirage

18:31 nojb has quit [Quit: nojb]

18:42 rgrinberg has quit [Ping timeout: 245 seconds]

18:54 rgrinberg has joined #mirage

18:56 brson has quit [Quit: leaving]

18:57 brson has joined #mirage

19:07 nullca___ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

19:29 rgrinberg has quit [Ping timeout: 246 seconds]

19:45 magthe has joined #mirage

19:48 magthe has quit [Quit: WeeChat 1.1.1]

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

20:10 nojb has joined #mirage

20:11 thomasga has joined #mirage

20:12 tlockney_away is now known as tlockney

20:14 thomasga has quit [Client Quit]

20:16 thomasga has joined #mirage

20:16 MrScout has quit [Remote host closed the connection]

20:17 MrScout has joined #mirage

20:19 MrScout_ has joined #mirage

20:19 MrScout has quit [Read error: Connection reset by peer]

20:21 nullcat_ has joined #mirage

20:26 rgrinberg has joined #mirage

20:33 rgrinberg has quit [Ping timeout: 264 seconds]

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

20:56 nullcat_ has joined #mirage

21:00 nullcat_ has quit [Client Quit]

21:01 nullcat_ has joined #mirage

21:10 rgrinberg has joined #mirage

21:15 rgrinberg has quit [Ping timeout: 252 seconds]

21:17 rgrinberg has joined #mirage

21:19 yomimono_ has joined #mirage

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

21:37 javamonn has joined #mirage

21:38 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

21:44 MrScout_ has quit [Remote host closed the connection]

21:45 nullcat has joined #mirage

21:59 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

22:00 MrScout has joined #mirage

22:03 brson has quit [Quit: leaving]

22:07 brson has joined #mirage

22:13 javamonn has quit [Remote host closed the connection]

22:16 nullcat_ has joined #mirage

22:17 javamonn has joined #mirage

22:22 tlockney is now known as tlockney_away

22:41 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

22:41 tlockney_away is now known as tlockney

22:44 nullcat_ has joined #mirage

22:50 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

23:44 rgrinberg has quit [Ping timeout: 252 seconds]

23:45 rgrinberg has joined #mirage

23:57 tlockney is now known as tlockney_away