ccshan
2017-11-16 09:07:09

While I’m at this: sorry the picture on my whiteboard is wrong, but it’s better for time to be the horizontal axis and accuracy to be the vertical axis, because it’s more intuitive for higher to be better.


ccshan
2017-11-16 10:02:03

Two more comments about 4.2: First, please work out the example above Section 4.1 (probably give the sequence of rewrites) and use it to explain the Add and Index rules. Second, I don’t understanding the word “outermosting” and that sentence seems no verb. Thanks!


ccshan
2017-11-16 10:04:19

(Another part of my first comment above is that enumerate item 2 (the Index rule) should have o and n renamed to i and m)


samth
2017-11-16 13:05:38

Why do the two plots have different slopes?


carette
2017-11-16 14:34:24

Main ‘algorithm’ in 4.2 rewritten as a figure. Variables renamed. Various other minor things pointed out above done as well.


carette
2017-11-16 14:35:06

Still to do: Work out example for 4.1 to illustrate things. Hopefully there will be space for that.


samth
2017-11-16 14:35:48

Is that change pushed?


carette
2017-11-16 15:19:30

The figure? Yes.


carette
2017-11-16 15:54:49

And now the worked example as well.


carette
2017-11-16 15:56:55

I have to attend to various things now (drive, meeting #1, teach grad class, meeting #2) which means I will be online quite sporadically between now and 4:00. Then I’ll have a window until 5:00, which will go back to sporadic until 8:30, then I’ll be back online solidly.


carette
2017-11-16 15:57:27

I do believe that section 4 (all of it) is in much better shape now.


samth
2017-11-16 15:59:58

Reading over things, a few thoughts


samth
2017-11-16 16:00:12
  1. I think the early part of 3 should use the word “monad”

samth
2017-11-16 16:01:53
  1. we should make some statement about how much of the calculus and probability theory you need to understand to get something out of the paper

samth
2017-11-16 16:02:00

and what to do if you don’t know that stuff


samth
2017-11-16 16:02:58
  1. we should say why “we convert (1) into <nested integrals>” makes sense

samth
2017-11-16 17:16:09

@rjnw what’s the benchmarking status?


samth
2017-11-16 17:16:31

@ccshan @pravnar are you around LH?


ccshan
2017-11-16 17:16:51

Sorry I just woke up, but I’m heading that way


samth
2017-11-16 17:17:07

sounds good, I’ll see you then


samth
2017-11-16 17:17:10

I’m reading over 2


ccshan
2017-11-16 17:17:55

Ok, and if you have a perspective on how much math background is needed, let me know


pravnar
2017-11-16 17:23:49

@samth I also woke up late. I will be in LH within the hour.


samth
2017-11-16 17:23:58

sounds good


ccshan
2017-11-16 17:53:24

I want to say somewhere that Section 3 merely requires CALC I and the ability to apply that knowledge recursively.


samth
2017-11-16 17:53:58

I think the comment 3 above I made requires more than that


ccshan
2017-11-16 17:57:32

I pushed a couple of sentences there to explain the intuition behind the integrals


samth
2017-11-16 19:26:39

I’ve pushed some edits to Sec 2


samth
2017-11-16 19:26:47

as well as an additional box in the figure


samth
2017-11-16 19:26:56

@rjnw and I are in my office


samth
2017-11-16 19:27:27

Current benchmark status: we have numbers for Linear Regression, Clinical Trials, GmmGibbs


samth
2017-11-16 19:27:44

LDA and NaieveBayes have some problems


samth
2017-11-16 19:27:50

working on those at the moment


ccshan
2017-11-16 19:28:27

Yall want coffee?


ccshan
2017-11-16 19:28:33

(sorry, on my way from home)


samth
2017-11-16 19:28:44

i need to get lunch


samth
2017-11-16 19:28:49

so I will maybe see you there


pravnar
2017-11-16 19:30:47

I’m in my office, working on making NaiveBayes and LDA produce numbers


samth
2017-11-16 19:59:31

@pravnar sounds good, because then we’ll have at least some numbers for those


pravnar
2017-11-16 20:08:24

Because I did goof’ed and appended to a file instead of writing over it. So this plot is based on corrupted numbers…


carette
2017-11-16 21:03:22

I was looking over AugurV2 — are we comparing against it? Or just citing? Their “GMM” (Figure 1) is really short. Is it the same as ours?


ccshan
2017-11-16 21:17:34

Yes, except they take pis as an argument whereas we choose theta randomly.


ccshan
2017-11-16 21:17:46

We should compare against them but haven’t gotten around to it.


carette
2017-11-16 21:23:59

I was just impressed by the brevity.


ccshan
2017-11-16 21:24:28

You’ll see where the brevity comes from if you do a line-by-line/word-by-word comparison.


ccshan
2017-11-16 21:25:30

For example their lambda is shorter and omits types. They don’t need the “if” we use to encode an assertion. And they don’t draw theta from a Dirichlet, so they don’t need the definition of Dirichlet.


carette
2017-11-16 21:26:01

I’m going to drive home now, as it seems like as good a time as any. Then I’ll read/edit through all the pieces, especially the ones that I haven’t read/edited yet.


carette
2017-11-16 21:27:27

Right - so it would be interesting to use the same model (in a comparison), so as to compare apples with apples. Our Plate notation is shorter than their notation for the same, for example.


ccshan
2017-11-16 21:27:35

Great, thanks. It’s time to proofread for math mistakes, overfull boxes, unfulfilled promises, undefined terms, grammar and spelling.


ccshan
2017-11-16 21:28:27

(By the way, you might have noticed that I’m increasingly a fan of moving the point to the front (of the sentence/paragraph/section/paper).)


carette
2017-11-16 21:29:02

I’ll fix all the things that I can - margin notes for the rest?


ccshan
2017-11-16 21:29:23

Sure - something that doesn’t affect the formatting.


ccshan
2017-11-16 21:29:42

(If you put margin notes that take a long time to address, of course they won’t be addressed.)


carette
2017-11-16 21:29:43

Yes, I have seen that trend. I am not against it. Unless it turns a sentence into the passive voice, then I am.


ccshan
2017-11-16 21:29:57

The main use of passive voice is to move the point to the front.


carette
2017-11-16 21:31:29

Then I am not so happy. I much, much prefer the active voice, it really makes things much more readable.


ccshan
2017-11-16 21:31:49

For example, you wrote “Then further case expressions are translated to either…” and that’s great because the point is there are further case expressions.


carette
2017-11-16 21:32:35

I am not rabid about it :wink:


carette
2017-11-16 21:33:12

In that paragraph, there was a natural flow, and it made more sense to go with it.


carette
2017-11-16 21:34:29

Point taken.


carette
2017-11-16 21:34:48

Anyways, actually going now.


carette
2017-11-17 01:33:48

#hakaru Are we keeping the radar chart?


carette
2017-11-17 01:34:15

Also, when are we expecting the numbers and plots to be added?


ccshan
2017-11-17 01:53:32

I’m editing Section 1. We’re working on numbers.


carette
2017-11-17 01:54:44

Make sure to pull - I’ve tweaked section 1. I’m working on 2.


ccshan
2017-11-17 02:05:25

Your changes to \dbltextfloatsep and \textfloatsep don’t seem to save any pages.


carette
2017-11-17 02:05:59

No pages, but about 15 lines.


carette
2017-11-17 02:06:16

And will matter increasingly as we add more figures.


carette
2017-11-17 02:25:22

I’ve reread 3 and 4. I’ve read these so many times already, I can’t see things to fix right now. I’ve read 5 and related work - pushed super-minor tweaks.


carette
2017-11-17 02:26:42

Unfortunately, I am feeling quite unwell. I am unlikely to be able to stay up very late.


ccshan
2017-11-17 02:31:25

I don’t even see any lines saved. FWIW, Sam and I today discovered that your TeXLive version and TeX version/variant might affect the output. Because for example the class file backs off to using Computer Modern if it doesn’t have the font it wants. And the default integral sign changed in newtxmath versions.


ccshan
2017-11-17 02:33:10

Also I don’t see any changes to the related work section, btw


carette
2017-11-17 02:33:55

I think the 2 minor changes were in section 5, nothing in related work.


carette
2017-11-17 02:34:38

I am not surprised that versions matter.


carette
2017-11-17 02:35:11

Right now, it is probably best if I stop editing — the way I’m feeling, I’m way more likely to make stupid errors than to improve things.


carette
2017-11-17 02:35:37

Was waiting for plots to show up to help finalize, but seems like I won’t be able to. Sorry.


pravnar
2017-11-17 03:20:23

@samth Here’s a Julia LDA model: https://github.com/hakaru-dev/tcp/blob/master/lda.jl