#mirage on 2016-04-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:20 dsheets has joined #mirage

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

00:29 wildseba1 has joined #mirage

00:33 wildseba1 has quit [Ping timeout: 250 seconds]

00:56 seliopou_ is now known as seliopou

01:05 brson_ has quit [Ping timeout: 260 seconds]

01:09 wiredsister has quit [Ping timeout: 276 seconds]

01:10 copumpkin has joined #mirage

01:30 dsheets has joined #mirage

01:35 dsheets has quit [Ping timeout: 250 seconds]

01:43 wiredsister has joined #mirage

03:19 dsheets has joined #mirage

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

04:13 dsheets has joined #mirage

04:18 dsheets has quit [Ping timeout: 250 seconds]

04:29 pyvpx_ has joined #mirage

04:30 _longines has quit [Ping timeout: 276 seconds]

04:31 pyvpx has quit [Ping timeout: 276 seconds]

04:31 ansiwen_ has joined #mirage

04:32 ansiwen has quit [Ping timeout: 276 seconds]

04:35 _longines_ has joined #mirage

04:46 _longines_ is now known as _longines

04:46 copumpkin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

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

05:43 wiredsister has quit [Ping timeout: 248 seconds]

06:03 smkz_ has joined #mirage

06:04 dograt has joined #mirage

06:08 dograt_ has quit [*.net *.split]

06:08 smkz has quit [*.net *.split]

06:08 dobson has quit [*.net *.split]

06:11 dobson has joined #mirage

06:12 smkz_ is now known as smkz

06:39 jermar has quit [Remote host closed the connection]

06:51 jermar has joined #mirage

07:20 wildsebastian has joined #mirage

07:39 rudenoise has joined #mirage

07:43 jermar has quit [Ping timeout: 244 seconds]

08:02 jermar has joined #mirage

08:53 bsb-the-1 is now known as bsb

09:02 djs55 has joined #mirage

09:13 dsheets has joined #mirage

09:21 pyvpx_ is now known as pyvpx

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

09:33 ansiwen_ has quit [Ping timeout: 252 seconds]

09:34 ansiwen has joined #mirage

09:38 djs55 has joined #mirage

09:40 mattg has quit [Read error: Connection reset by peer]

09:45 mattg has joined #mirage

10:29 <rudenoise> Anyone got time for a quick Lwt question?

10:30 <hannes> sure!

10:31 <rudenoise> I'm wondering how I'd achieve something similar to Promise.all() from JavaScript, is it Lwt_mvar?

10:32 <hannes> Lwt.choose I'd say...

10:32 <hannes> or Lwt.join

10:33 <hannes> the mvars are similar to erlang-style mailboxes where you put and take values...

10:33 <hannes> if you want to sync multiple tasks [t1..tn], you either want that any finished (Lwt.choose) or all (Lwt.join)

10:36 <rudenoise> So I start with a list of repos and need to make a request for data about each, then add the responses (once all resolved) to a new list. Which I currenlty do with Lwt_list.map_s https://github.com/rudenoise/mirage-dashboard/blob/master/src/mirage_dashboard.ml#L49

10:36 <rudenoise> It works but is quite slow as (I assume) it handles each request/response in turn

10:37 <hannes> use map_p :)

10:37 <hannes> (the map_s is the sequential map, map_p the parallel one)

10:38 <rudenoise> Ha! That's done it, thanks Hannes!

10:38 <hannes> you're welcome

10:38 <rudenoise> I'll read the docs a little more closely next time.

10:40 <hannes> oh, no worries. asking questions is perfectly fine. this channel is too quite anyways (seems like most camels are sleeping) ;)

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

10:48 djs55 has joined #mirage

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

11:21 seliopou has quit [Ping timeout: 244 seconds]

11:23 seliopou has joined #mirage

11:23 dsheets has joined #mirage

11:24 mort___ has joined #mirage

11:27 djs55 has quit [Quit: Leaving.]

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

12:03 apache2_ has joined #mirage

12:06 apache2 has quit [Ping timeout: 250 seconds]

12:19 dsheets has joined #mirage

12:45 djs55 has joined #mirage

13:03 yegods has joined #mirage

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

13:12 mort___ has joined #mirage

13:14 djs551 has joined #mirage

13:16 Druup has joined #mirage

13:17 Drup has quit [Ping timeout: 276 seconds]

13:17 djs55 has quit [Ping timeout: 276 seconds]

13:17 seliopou_ has joined #mirage

13:17 seliopou has quit [Ping timeout: 276 seconds]

13:17 mattg has quit [Ping timeout: 276 seconds]

13:17 demonimin_ has quit [Ping timeout: 276 seconds]

13:17 effractur has quit [Ping timeout: 276 seconds]

13:18 effractu1 has joined #mirage

13:18 demonimin has joined #mirage

13:20 mattg has joined #mirage

13:34 jerith_ is now known as jerith

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

13:38 mort___1 has joined #mirage

13:38 mort___ has quit [Read error: Connection reset by peer]

13:38 dsheets has joined #mirage

13:47 hannes has quit [Quit: Coyote finally caught me]

13:48 ansiwen has quit [Ping timeout: 264 seconds]

13:48 mort___1 has quit [Quit: Leaving.]

13:48 yegods_ has joined #mirage

13:48 ansiwen has joined #mirage

13:49 yegods has quit [Ping timeout: 264 seconds]

14:07 <engil> ohai

14:07 <engil> Druup: following what you said the other day, I tested creating a custom device to run various shell commands at configure time

14:08 <engil> the result being https://github.com/Engil/mirage-skeleton/commit/0a0d0c8bdc282fa75c82eeebd2a363cf8de86b0a

14:08 mort___ has joined #mirage

14:08 <engil> But I think I miss something, do I really need to provide the module in the end to the application's main module ?

14:11 <Druup> engil: you don't, you can just add it as a dependency

14:14 aantron has joined #mirage

14:19 <Druup> engil: alternatively, you can specify it as a job

14:19 <Druup> it would be nice to have that in functoria directly, actually

14:26 <engil> thanks, that works well that way :)

14:26 <engil> (as a deps)

14:27 <engil> I think I'll keep this solution, way better than crafting some random shell script

14:28 <engil> what do you mean by having that in functoria directly ?

14:29 <Druup> engil: having a combinator that, given a shell line, would make a device running it a configure time

14:29 <Druup> at*

14:30 <Druup> sidenote: you don't even need this Shellconfig module

14:30 <Druup> just return something like "Functoria.Runtime" as module :)

14:30 <Druup> Functoria_runtime*

14:32 djs55 has joined #mirage

14:32 dsheets_ has joined #mirage

14:33 djs551 has quit [Ping timeout: 260 seconds]

14:34 <engil> oh, okay, great :), I could put pretty much whatever I want I think since I'm using my device only as a dep

14:34 <engil> (if i'm not mistaking)

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

14:48 <Druup> Yes :)

15:52 henrytill_ is now known as henrytill

15:52 henrytill has joined #mirage

15:52 henrytill has quit [Changing host]

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

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

16:03 rudenoise has left #mirage [#mirage]

16:04 djs55 has joined #mirage

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

16:19 wildsebastian has quit [Ping timeout: 276 seconds]

16:22 dsheets_ has quit [Ping timeout: 276 seconds]

16:23 wiredsister has joined #mirage

16:23 djs55 has joined #mirage

16:23 brson has joined #mirage

16:23 dsheets has joined #mirage

16:25 djs55 has quit [Client Quit]

16:27 djs55 has joined #mirage

16:29 demonimin has quit [Quit: No Ping reply in 180 seconds.]

16:31 demonimin has joined #mirage

16:41 effractu1 is now known as effractur

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

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

17:02 dsheets has joined #mirage

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

17:07 djs55 has joined #mirage

17:09 dsheets has joined #mirage

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

17:29 <reynir> I've had problems with doing ~7000 requests using map_p

17:43 Druup is now known as Drup

17:43 dsheets has joined #mirage

17:47 brson_ has joined #mirage

17:50 yegods has joined #mirage

17:50 brson has quit [Ping timeout: 276 seconds]

17:50 yegods_ has quit [Ping timeout: 276 seconds]

18:09 wildsebastian has joined #mirage

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

19:10 justincormack_ is now known as justincormack

19:21 rudenoise has joined #mirage

19:29 hannes has joined #mirage

19:31 hannes has quit [Client Quit]

20:50 hannes has joined #mirage

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

21:01 wiredsister has quit [Ping timeout: 268 seconds]

21:14 rudenoise has left #mirage [#mirage]

21:24 dsheets has joined #mirage

21:28 dsheets has quit [Ping timeout: 260 seconds]

21:39 dsheets has joined #mirage

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

21:53 rsFF has quit [Ping timeout: 250 seconds]

21:56 effractur has quit [Ping timeout: 268 seconds]

21:57 effractur has joined #mirage

21:58 rsFF has joined #mirage

22:19 dsheets has joined #mirage

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

23:08 wildsebastian has quit [Quit: WeeChat 1.4]

23:10 mort___ has joined #mirage