avsm changed the topic of #mirage to: mirage 2 released! party on!
thomasga has joined #mirage
vanila has quit [Quit: Leaving]
brson has joined #mirage
tlockney is now known as tlockney_away
yomimono has quit [Ping timeout: 246 seconds]
brson has quit [Quit: leaving]
thomasga has quit [Quit: Leaving.]
MrScout has quit [Ping timeout: 250 seconds]
kdef has quit [Quit: Leaving]
brson has joined #mirage
tlockney_away is now known as tlockney
yomimono has joined #mirage
ceh has left #mirage [#mirage]
brson_ has joined #mirage
brson has quit [Ping timeout: 255 seconds]
brson_ has quit [Quit: leaving]
yomimono has quit [Ping timeout: 252 seconds]
tlockney is now known as tlockney_away
avsm has joined #mirage
AltGr has left #mirage [#mirage]
mort___ has joined #mirage
djs551 has joined #mirage
dsheets_ has joined #mirage
<dsheets_> nodes or subgraphs?
<avsm> just the fig captions
<avsm> dsheets_: first one could explain what the shapes mean
<avsm> ideally without disrupting layout too much
<avsm> fig 4
yallop_ has joined #mirage
<dsheets_> avsm, how about that?
<avsm> dsheets_: yallop_: reading
<dsheets_> it seems to reiterate the text, thoguh
<avsm> yallop_: dsheets_: i think thats fine actually; its a concise summary
<avsm> wonder if something similar for fig 9 would be useful; its complex
<dsheets_> ok
<dsheets_> yallop_, do we mention late binding anywhere? we could instantiate with a module which has a run-time registry of bindings
<yallop_> I don't think we say anything about that
<avsm> dsheets_: yallop_: hows my edit to fig 1 caption? still make sense? shorter
<yallop_> still makes sense to me
<avsm> layouts been a little changed with this, will tweak after last caption change
<yallop_> looking at this struct layout detection workflow I'm wondering whether we should have acknowledged Rube Goldberg
<avsm> it needs Mechanical Turk bindings to automate customer support
<dsheets_> ok, it's over 13 pages now
<dsheets_> and there is some col broken code on 9
<dsheets_> now, to add rows to the table
<avsm> ohoh
<avsm> im fixing bibs to trim urls
<avsm> easily gets us back down
<avsm> someone fix the col broken code
<dsheets_> bib counts to limit?
<yallop_> yep
andreas has joined #mirage
djs551 has quit [Quit: Leaving.]
<yallop_> I'm wondering whether we should break the sentence up a bit in the first caption
<yallop_> Struct layout detection: a functor that constructs C type representations is applied to a query generator to generate C code. The C code compiles to an executable oracle that produces an ML module containing layout data. The original functor is applied to this layout module to link the type data into the program.
<yallop_> better/worse?
<dsheets_> better, go for it
<avsm> better
<yallop_> a little less "house that jack built", I think, but I don't know whether that's an improvement
<dsheets_> look at 9, too
<avsm> back to 12 pgs
<avsm> saved some more space in acs
<avsm> acks
<avsm> ok pushed page 6 overflow fix
yallop_ has quit [Ping timeout: 245 seconds]
<dsheets_> more users in table
yallop has joined #mirage
<avsm> uploaded new snap to hotcrp
<yallop> pushed tweaked text and layout for figure 9
<yallop> now we have some spare space again
<avsm> yallop: woah no
<avsm> that messes up
<yallop> ok, shall I revert?
<avsm> yep
<avsm> just check last version i uploaded to hotcrp
<avsm> as of commit d7644dd99d118b16ccc877d2748d65389407155e
<avsm> Author: David Sheets <sheets@alum.mit.edu>
<avsm> Date: Sat Feb 28 10:52:52 2015 +0000
<avsm> cmeleon: some more users
<dsheets_> i put a \newpage before 5.2 and it fixed some awkward sections
<dsheets_> (not committed)
<dsheets_> section titles lined up with page/col breaks better
<dsheets_> but a hole at end of p9
<avsm> leave submitted version i think
<avsm> nothing terribly wrong
<yallop> ok
<dsheets_> ok, ttyl
<yallop> reverted that last change in any case
<avsm> nice work!
avsm has quit [Quit: Leaving.]
yallop has left #mirage [#mirage]
mort___ has quit [Quit: Leaving.]
andreas1 has joined #mirage
andreas has quit [Ping timeout: 250 seconds]
larhat has joined #mirage
larhat has quit [Quit: Leaving.]
vanila has joined #mirage
djs551 has joined #mirage
vpm has quit [Quit: WeeChat 1.1.1]
vpm has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
larhat has joined #mirage
djs551 has quit [Quit: Leaving.]
mort___ has joined #mirage
larhat has quit [Quit: Leaving.]
djs551 has joined #mirage
mort___ has quit [Quit: Leaving.]
seangrove has quit [Ping timeout: 244 seconds]
seangrov` has joined #mirage
mort___ has joined #mirage
seangrov` has quit [Ping timeout: 256 seconds]
vanila has quit [Quit: Leaving]
mort___ has quit [Quit: Leaving.]
nullcat has joined #mirage
nullcat__ has joined #mirage
djs551 has quit [Quit: Leaving.]
nullcat has quit [Ping timeout: 252 seconds]
seangrove has joined #mirage
yomimono has joined #mirage
djs551 has joined #mirage
yomimono has quit [Ping timeout: 256 seconds]
mort___ has joined #mirage
djs551 has quit [Quit: Leaving.]
djs551 has joined #mirage
djs551 has quit [Quit: Leaving.]
djs551 has joined #mirage
dsheets_ has quit [Ping timeout: 250 seconds]
mort___ has quit [Quit: Leaving.]
djs551 has quit [Quit: Leaving.]
dsheets_ has joined #mirage
yomimono has joined #mirage
nullcat__ has quit [Quit: Textual IRC Client: www.textualapp.com]
andreas1 has quit [Quit: Leaving.]