2020-03-17 16:44:57 (GMT)
As agreed today, here is the PDF of the Bools paper
paper.pdf
2020-03-17 16:45:38 (GMT)
I would really appreaciate if you would give us some feedback :)
2020-03-17 16:47:25 (GMT)
Well I've already contributed at least 50 the's and 45 a(n)'s. I feel I've done my part. ;)
2020-03-17 16:48:20 (GMT)
Haha, thanks a lot :)
I am implementing your changes :)
But we had a meeting today in which we discussed the paper and Sophie, Alex and Simon asked for the pdf :)
2020-03-17 16:48:25 (GMT)
I should probably be listed as a coauthor. ;)
2020-03-17 16:48:44 (GMT)
(just kidding of course)
2020-03-17 16:48:55 (GMT)
I already added you :)
2020-03-17 16:49:4 (GMT)
Hope you are safe in Munich with enough toilet paper!
2020-03-17 16:49:10 (GMT)
Now I'm panicking.
2020-03-17 16:49:38 (GMT)
Yeah Anja took care of that.
2020-03-17 16:49:44 (GMT)
She's very practical.
2020-03-17 16:49:48 (GMT)
For me, TP means theorem prover.
2020-03-17 16:50:19 (GMT)
It is third day there is no single roll in NL
2020-03-17 16:50:24 (GMT)
BTW this happens v. quickly. If I were you, I'd stock up on pasta and TP
2020-03-17 16:50:40 (GMT)
Ah, well, you know what the Germans think about Dutch hygiene...
2020-03-17 16:51:6 (GMT)
But still, no reason to panitsch.
2020-03-17 16:51:47 (GMT)
Panic is a very common last name in Yugoslavia
2020-03-17 16:51:57 (GMT)
When I told Stephan about the brothel closures in Bavaria, starting tomorrow:
"What is a brothel? A kind of soup restaurant? :innocent::innocent::innocent:"
2020-03-17 16:52:9 (GMT)
Isn't your statement counterfactual? ;)
2020-03-17 16:53:54 (GMT)
I seriously see my self in class next year, telling my students "Don't panitsch!"
2020-03-17 16:54:9 (GMT)
"Don't panic" and "take it with a sporty attitude" are my favorite mottos.
2020-03-17 16:54:46 (GMT)
I, for one, use a bidet, and have a collection of not-yet-drunk bottles :muscle:
2020-03-17 16:55:10 (GMT)
I'm like, "yeah sometimes I'll explain something wrong or forget to explain something at all"... "Don't panic."
2020-03-17 16:55:17 (GMT)
Too much detail, Simon.
2020-03-17 16:55:42 (GMT)
Hey who's talking about Theorem Prover shortages?
2020-03-17 16:56:52 (GMT)
Don't panic was at the first slide of almost all of my bachelor professors
(not because of their last name)
2020-03-17 16:57:52 (GMT)
"don't panic" sounds like a double negation in french ;)
2020-03-23 13:31:28 (GMT)
"disagreement pairs" is that the same as the current unification constraints in Zipper? (The pairs of terms that will be added as negative literals in the conclusion)
2020-03-23 14:7:11 (GMT)
style-wise, I think a lot of "the" are missing, but I trust @Jasmin Blanchette will virtual-red-pen them.
2020-03-23 14:8:32 (GMT)
(Ah, that was last week's version, nevermind)
2020-03-23 15:9:4 (GMT)
@Simon Cruanes, I already asked to be added as a coauthor given the quantity of text I wrote (about 500 words, all articles).
2020-03-23 15:9:22 (GMT)
I also told Petar to remove one article. ;)
2020-03-23 15:45:57 (GMT)
not exactly... due to filtering by various indices what unification algorithm will make as unification constraint does not have to be the same as disagreement pair.
2020-03-23 17:14:45 (GMT)
Jasmin Blanchette said:
@Simon Cruanes, I already asked to be added as a coauthor given the quantity of text I wrote (about 500 words, all articles).
The final paragraph of page 1 should read "The backbone of our approach is based on an extension...". I believe you still have work to do.