#mirage on 2016-04-25 — 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:17 tomboy64 has quit [Quit: Uhh ... gotta go.]

00:17 tomboy64 has joined #mirage

00:31 tomboy64 has quit [Quit: Uhh ... gotta go.]

00:32 tomboy64 has joined #mirage

00:37 noddy has quit [Ping timeout: 246 seconds]

00:46 yegods has quit [Read error: Connection reset by peer]

00:58 yegods has joined #mirage

01:09 dsheets has joined #mirage

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

01:28 mcclurmc has quit [Quit: Leaving]

01:46 yegods has quit [Ping timeout: 250 seconds]

01:57 mcclurmc has joined #mirage

01:57 mcclurmc has quit [Remote host closed the connection]

02:01 yegods has joined #mirage

02:03 yegods has quit [Remote host closed the connection]

02:07 sigjuice has quit [Ping timeout: 246 seconds]

02:09 sigjuice has joined #mirage

02:44 mcclurmc has joined #mirage

03:11 mcclurmc has quit [Remote host closed the connection]

04:02 aantron has quit [Remote host closed the connection]

05:21 insitu has joined #mirage

05:35 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:11 jermar has joined #mirage

06:14 dsheets has joined #mirage

06:19 dsheets has quit [Ping timeout: 250 seconds]

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

06:39 jermar has joined #mirage

06:39 noddy has joined #mirage

06:50 jermar has quit [Ping timeout: 260 seconds]

07:08 insitu has joined #mirage

07:20 dsheets has joined #mirage

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

07:29 noddy has quit [Ping timeout: 250 seconds]

08:03 jermar has joined #mirage

08:23 wildsebastian has joined #mirage

08:30 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:33 dsheets has joined #mirage

08:36 insitu has joined #mirage

08:36 insitu has quit [Read error: Connection reset by peer]

08:37 insitu has joined #mirage

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

09:00 dsheets has joined #mirage

09:01 dsheets has quit [Remote host closed the connection]

09:02 dsheets has joined #mirage

10:09 dsheets has quit [Remote host closed the connection]

10:11 dsheets has joined #mirage

10:30 yegods has joined #mirage

10:40 yegods has quit [Remote host closed the connection]

10:42 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

10:56 yegods has joined #mirage

11:01 tomboy64 has quit [Ping timeout: 276 seconds]

11:02 mort___ has joined #mirage

11:03 tomboy65 has joined #mirage

11:07 tomboy65 has quit [Ping timeout: 252 seconds]

11:09 tomboy64 has joined #mirage

11:15 insitu has joined #mirage

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

11:17 dsheets has joined #mirage

11:18 yegods has quit [Remote host closed the connection]

11:29 yegods has joined #mirage

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

11:43 mort___ has quit [Quit: Leaving.]

11:44 aantron has joined #mirage

11:47 yegods has quit [Ping timeout: 268 seconds]

11:55 yegods has joined #mirage

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

12:30 yegods has quit [Read error: Connection reset by peer]

12:30 insitu has joined #mirage

12:30 yegods has joined #mirage

12:52 mort___ has joined #mirage

12:55 dsheets has joined #mirage

13:00 insitu has quit [Ping timeout: 250 seconds]

13:00 pyvpx has quit [Ping timeout: 250 seconds]

13:01 <mort___> hannes: there?

13:03 <hannes> no, but here... not there..

13:03 yegods has quit [Ping timeout: 260 seconds]

13:03 insitu has joined #mirage

13:07 demonimin has quit [Ping timeout: 250 seconds]

13:07 demonimin has joined #mirage

13:07 pyvpx has joined #mirage

13:08 wildsebastian has quit [Ping timeout: 250 seconds]

13:09 yegods has joined #mirage

13:14 mato has quit [Ping timeout: 250 seconds]

13:14 mato has joined #mirage

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

13:19 mort___ has joined #mirage

13:20 <mort___> sorry was afk :)

13:20 <mort___> so— about ocaml-pcap and the mess i made of it...

13:21 <mort___> i'm trying to put together a cleaned up master that doesn't have all the random commits i made in PR #3

13:23 <mort___> does anyone have an objection to that? is anyone actively using the current master branch and would find it annoying to have yet another pointless API change?

13:24 <hannes> mort___: I use the latest release, as do most people I'd think

13:24 <mort___> yeah, that's what i figured

13:24 <hannes> and you should never depend on a current/master branch for some API... rather stick to the API of the latest release

13:24 <hannes> thus: no objection from me

13:24 <hannes> :

13:24 <mort___> cool :)

13:25 <hannes> :) and thx for caring about it

13:25 <mort___> i'll try not to balls it up so badly this time…!

13:25 mato has quit [Ping timeout: 268 seconds]

13:25 mato has joined #mirage

13:37 wildsebastian has joined #mirage

13:46 yegods has quit [Ping timeout: 240 seconds]

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

13:57 dsheets has joined #mirage

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

13:57 dsheets has joined #mirage

14:01 yegods has joined #mirage

14:02 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:04 seangrove has joined #mirage

14:11 wildseba1 has joined #mirage

14:14 noddy has joined #mirage

14:14 wildsebastian has quit [Ping timeout: 276 seconds]

14:46 yegods has quit [Read error: Connection reset by peer]

14:47 yegods has joined #mirage

14:51 yegods has quit [Read error: Connection reset by peer]

14:51 yegods has joined #mirage

14:52 tomboy64 has quit [Ping timeout: 260 seconds]

14:53 dsheets has quit [Remote host closed the connection]

14:56 yegods has quit [Read error: Connection reset by peer]

14:57 <mort___> hannes: ok, my master branch now has my bad PR reverted and all djs55 good stuff reapplied (i think)

14:58 <mort___> before i dive off into the wilderness again — what i was trying to do with the bad PR was add support for a bunch of other packet formats. would you think that useful to add to this library, or something best done in some kind of aggregate library that uses this one for pcap parsing alone and pulls in others for other packet formats?

14:58 tomboy64 has joined #mirage

14:59 dsheets has joined #mirage

15:03 <hannes> mort___: two scenarios: you want to implement protocol X --> the wire format of X should be in library X.wire_structs (to be reusable by other things)

15:04 <hannes> second: you just want to be able to parse Y, Z, A, B, and C: implement as a single independent library where people who want to work on protocol Y, Z, A, B can later carve it out into their own library

15:11 <mort___> yes— so (1) is what i believe several libs are now working towards (tftp.wire, mindy's recent work with tcpip), and (2) is where i'd gone to with my bad pr

15:11 <mort___> however, i'm now wondering whether ocaml-pcap is the place to do this or not at all

15:12 <mort___> as in, keep ocaml-pcap (which is the repo name for pcap-format ocamlfind lib) to be just pcap specific related stuff

15:12 <mort___> and then having some other as-yet-non-existing lib that aggregates pcap-format, such wire parsers as exist, and provides it's own parser-only implemnetations as needed

15:14 <mort___> since there are non-pcap capture formats that might reasonably be supported in such a tool, and since many people (possibly a majority?) will only want PCAP as it is

15:14 <mort___> plus specific protocols that they may be doing themselves, ie they won't want to pull in some kind of parses-everything tool

15:16 <mort___> i'm tempted therefore to force push my master onto mirage/ocaml-pcap, retaining my bad old-master as mor1-playpen

15:16 <mort___> any objections?

15:16 <mort___> (have checked with djs55, he's ok with this)

15:34 seangrove has quit [Remote host closed the connection]

15:34 seangrove has joined #mirage

15:39 <hannes> sounds good to me. yes, pcap-format should deal with pcap-format

15:46 wildsebastian has joined #mirage

15:46 wildseba1 has quit [Ping timeout: 268 seconds]

15:49 seangrove has quit [Ping timeout: 250 seconds]

16:02 seangrove has joined #mirage

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

16:10 dsheets has quit [Remote host closed the connection]

16:17 yegods has joined #mirage

16:27 dsheets has joined #mirage

16:30 mort___ has joined #mirage

16:34 jermar has quit [Ping timeout: 252 seconds]

16:36 <mort___> hannes: ok, force push done

16:37 <mort___> hopeflly i didn't break anything (again)

16:46 insitu has joined #mirage

17:04 wildsebastian has quit [Ping timeout: 260 seconds]

17:11 brson has joined #mirage

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

17:16 dsheets has joined #mirage

17:18 yegods has quit [Ping timeout: 260 seconds]

17:19 yegods has joined #mirage

17:20 dsheets has quit [Ping timeout: 244 seconds]

17:24 yegods has quit [Ping timeout: 260 seconds]

17:24 yegods has joined #mirage

17:24 mcclurmc has joined #mirage

17:29 yegods has quit [Ping timeout: 260 seconds]

17:29 yegods has joined #mirage

17:31 dsheets has joined #mirage

17:33 yegods has quit [Read error: Connection reset by peer]

17:35 dsheets has quit [Ping timeout: 246 seconds]

17:36 seangrov` has joined #mirage

17:37 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:39 seangrove has quit [Ping timeout: 246 seconds]

17:39 yegods has joined #mirage

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

17:43 wildsebastian has joined #mirage

17:52 dezzy has quit [Ping timeout: 244 seconds]

17:54 dezzy has joined #mirage

18:00 dezzy has quit [Ping timeout: 268 seconds]

18:05 dezzy has joined #mirage

18:10 dezzy has quit [Ping timeout: 260 seconds]

18:11 dezzy has joined #mirage

18:17 noddy has quit [Ping timeout: 260 seconds]

18:18 dezzy has quit [Ping timeout: 240 seconds]

18:20 dezzy has joined #mirage

18:26 dezzy has quit [Ping timeout: 240 seconds]

18:27 dezzy has joined #mirage

18:30 dezzy has quit [Read error: Connection reset by peer]

18:31 noddy has joined #mirage

18:32 dezzy has joined #mirage

18:35 jermar has joined #mirage

18:37 dezzy_ has joined #mirage

18:38 dezzy has quit [Ping timeout: 250 seconds]

18:42 dezzy has joined #mirage

18:43 dezzy_ has quit [Ping timeout: 244 seconds]

18:47 dezzy_ has joined #mirage

18:48 dezzy has quit [Ping timeout: 240 seconds]

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

18:56 dezzy has joined #mirage

19:00 dezzy has quit [Read error: Connection reset by peer]

19:01 dezzy has joined #mirage

19:11 _whitelogger has joined #mirage

19:14 dsheets has joined #mirage

19:16 dezzy_ has joined #mirage

19:16 insitu has joined #mirage

19:17 dezzy has quit [Ping timeout: 276 seconds]

19:19 dsheets has quit [Ping timeout: 250 seconds]

19:21 dezzy has joined #mirage

19:21 dezzy_ has quit [Ping timeout: 252 seconds]

19:26 dezzy_ has joined #mirage

19:26 dezzy has quit [Ping timeout: 260 seconds]

19:31 dezzy_ has quit [Ping timeout: 260 seconds]

19:32 dezzy has joined #mirage

19:34 noddy has quit [Ping timeout: 260 seconds]

19:37 dezzy_ has joined #mirage

19:38 dezzy has quit [Ping timeout: 276 seconds]

19:42 dezzy has joined #mirage

19:42 dezzy_ has quit [Ping timeout: 260 seconds]

19:47 dezzy has quit [Ping timeout: 260 seconds]

19:47 dezzy has joined #mirage

19:52 dezzy_ has joined #mirage

19:52 dezzy has quit [Ping timeout: 250 seconds]

19:57 dezzy has joined #mirage

19:57 dezzy_ has quit [Ping timeout: 276 seconds]

20:03 dezzy has quit [Ping timeout: 260 seconds]

20:04 dezzy has joined #mirage

20:09 dezzy_ has joined #mirage

20:11 dezzy has quit [Ping timeout: 276 seconds]

20:15 dezzy has joined #mirage

20:16 dezzy_ has quit [Ping timeout: 268 seconds]

20:20 yegods has quit [Remote host closed the connection]

20:22 dezzy has quit [Ping timeout: 252 seconds]

20:23 dezzy has joined #mirage

20:25 noddy has joined #mirage

20:28 dezzy has quit [Ping timeout: 260 seconds]

20:28 dezzy has joined #mirage

20:33 dezzy_ has joined #mirage

20:34 dezzy has quit [Ping timeout: 260 seconds]

20:37 mort___ has joined #mirage

20:43 dezzy_ has quit [Ping timeout: 276 seconds]

20:44 dezzy has joined #mirage

20:45 mort___ has left #mirage [#mirage]

20:49 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:49 dezzy has quit [Ping timeout: 250 seconds]

20:51 dezzy has joined #mirage

20:58 dezzy has quit [Ping timeout: 276 seconds]

21:00 dezzy has joined #mirage

21:06 dezzy has quit [Ping timeout: 276 seconds]

21:11 dsheets has joined #mirage

21:14 dsheets_ has joined #mirage

21:15 dsheets_ has quit [Read error: Connection reset by peer]

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

21:21 dezzy has joined #mirage

21:26 dezzy has quit [Ping timeout: 252 seconds]

21:27 dezzy has joined #mirage

21:32 dezzy_ has joined #mirage

21:32 dezzy has quit [Ping timeout: 246 seconds]

21:37 dezzy has joined #mirage

21:37 dezzy_ has quit [Ping timeout: 260 seconds]

21:43 dezzy has quit [Ping timeout: 268 seconds]

21:48 dezzy has joined #mirage

21:53 dezzy has quit [Ping timeout: 240 seconds]

21:53 dezzy has joined #mirage

21:58 tomboy64 has quit [Ping timeout: 250 seconds]

21:58 dezzy has quit [Ping timeout: 250 seconds]

21:59 dezzy has joined #mirage

22:01 seangrov` has quit [Ping timeout: 268 seconds]

22:02 yegods has joined #mirage

22:04 dezzy has quit [Ping timeout: 276 seconds]

22:06 dezzy has joined #mirage

22:08 yegods has quit [Remote host closed the connection]

22:11 dezzy_ has joined #mirage

22:13 dezzy has quit [Ping timeout: 276 seconds]

22:14 dsheets has joined #mirage

22:16 dezzy has joined #mirage

22:17 dezzy_ has quit [Ping timeout: 246 seconds]

22:19 dsheets has quit [Ping timeout: 260 seconds]

22:22 dezzy_ has joined #mirage

22:23 dezzy has quit [Ping timeout: 276 seconds]

22:24 noddy has quit [Ping timeout: 260 seconds]

22:27 dezzy has joined #mirage

22:27 tomboy64 has joined #mirage

22:28 dezzy_ has quit [Ping timeout: 276 seconds]

22:32 dezzy_ has joined #mirage

22:33 dezzy has quit [Ping timeout: 276 seconds]

22:37 dezzy_ has quit [Ping timeout: 250 seconds]

22:37 tomboy64 has quit [Ping timeout: 250 seconds]

22:42 tomboy64 has joined #mirage

22:45 <apache2> oh no you broke my PR! ;)

22:45 <apache2> no :)

22:49 tomboy64 has quit [Ping timeout: 260 seconds]

22:53 noddy has joined #mirage

22:54 dezzy has joined #mirage

22:58 dezzy has quit [Ping timeout: 244 seconds]

22:59 dezzy has joined #mirage

23:00 tomboy64 has joined #mirage

23:02 yegods has joined #mirage

23:04 dezzy has quit [Ping timeout: 252 seconds]

23:13 wildsebastian has quit [Ping timeout: 250 seconds]

23:14 dsheets has joined #mirage

23:15 dezzy has joined #mirage

23:19 dsheets has quit [Ping timeout: 260 seconds]

23:21 dezzy has quit [Ping timeout: 276 seconds]

23:21 dezzy has joined #mirage

23:22 noddy has quit [Ping timeout: 244 seconds]

23:26 dezzy has quit [Ping timeout: 246 seconds]

23:27 dezzy has joined #mirage

23:31 dezzy has quit [Ping timeout: 250 seconds]

23:31 dezzy has joined #mirage

23:46 noddy has joined #mirage