2020-02-28 10:40:15 (GMT)
... is how our friends Ahmed and Giles spell the name of the prover. ;)
2020-02-28 10:48:10 (GMT)
Well at least they cite and mention it. ;)
2020-02-28 10:49:38 (GMT)
what paper are you talking about?
2020-02-28 10:49:58 (GMT)
Polymorphic Vampire.
2020-02-28 10:50:21 (GMT)
ooh ok. are the verdicts out for LPAR?
2020-02-28 10:50:31 (GMT)
On an unrelated note, I'm reviewing a paper where the abstract claims their new approach is "up to 65.09x faster" than their old one.
2020-02-28 10:50:54 (GMT)
wait... they probably mean %
2020-02-28 10:51:5 (GMT)
No they mean times.
2020-02-28 10:51:35 (GMT)
well if you are ever looking for postdocs, now you now where to look :)
2020-02-28 10:51:36 (GMT)
Right, if you solve a problem in 0.1 second that used to take 6.5 second before. Happens all the time.
2020-02-28 10:52:28 (GMT)
No, absolutely not. I can see they are completely clueless. Four digits of precision preceeded by the mother of all killers, "up to"???
2020-02-28 10:52:39 (GMT)
In the abstract?
2020-02-28 10:52:46 (GMT)
I was joking :)
2020-02-28 10:53:59 (GMT)
Sorry. ;)
2020-02-28 10:54:58 (GMT)
Once Larry Paulson forwarded to me one of these open journal emails from India and asked me "should we submit our paper there?" I thought he was serious and started explaining politely that this might not be the best venue!!
2020-02-28 10:55:37 (GMT)
Now I know him better and know that's very much in character. E.g. he posts (or used to post) fake news on a daily basis on Facebook, ironically.
2020-02-28 11:24:32 (GMT)
From the 65.09398x paper cited above: "Our key insight is that we can enhance the performance of recurring constraint-based data structure repair, by introducing memoization."
2020-02-28 11:24:49 (GMT)
Our key insight? WTF? ;)
2020-02-28 11:25:24 (GMT)
And memoization is in italics and cited, as if it was the latest invention. ;)
2020-02-28 11:57:33 (GMT)
yeah, does not sound like a really good paper :)
2020-02-28 15:2:25 (GMT)
Petar Vukmirovic said:
well if you are ever looking for postdocs, now you now where to look :)
just got to teach them about number of significant digits :stuck_out_tongue_wink:
2020-02-28 15:3:58 (GMT)
Ah zut, also missed the joke…
2020-02-28 15:4:53 (GMT)
So, should we specify a more "interesting" spelling of zipper? ZipperP0s1tioℕ or something like that, to make things more interesting for citations? :)
2020-03-10 16:27:6 (GMT)
Jasmin Blanchette said:
... is how our friends Ahmed and Giles spell the name of the prover. ;)
Oops, writing the name after "ZenonModulo" did something funny to my brain! Fixed.