Our champion suggested writing ∫dx ∫dy ∫dz … instead of ∫∫∫… dz dy dx. @samth @rjnw As people who are closer to interpreters than integrals, do you think this change would make the paper easier to read?

I don’t think it makes a difference to me

I personally think it would make the paper harder to read. I heavily dislike that particular notation (which is very popular in physics). If I were writing a physics paper, I might have to resign myself to that, but a PPL paper? I don’t think so!

I have been reading all the diffs - very nice improvements. If there had been something I did not like, I would have said something, but there hasn’t been a need.

Please get ready to test an artifact for reproducibility in a couple of days.

Ok.

Does platform matter? We did have issues about that in the past.

I think my Maple is broken on some of my machines, so I’ll work on fixing that ahead of time, so that I’m ready to test when the time comes.

Actually, I should ask: what version of Maple is on karst now? I should use the same!

I wrote some instructions in the README file for hakaru-benchmarks https://github.com/rjnw/hakaru-benchmarks/blob/master/README.md

If you have ubuntu you can already try it, otherwise I will upload a virtual box image soon, I am rerunning all the benchmarks with the latest changes Ken pushed

if make setup succeeds without any errors you should be good to run all the benchmarks

I personally prefer the original notation

I am surprised that you’re even considering switching from a (weird) but well-bracketed notation to notation that is the equivalent of () expr. In my own notes, I add a delimiter to my sums, to make them well-bracketed too!