❤️❤️ the responses
Quote Tweet
PL twitter: quick, what's the scariest screenshot you can find of a paper with an overwhelming amount of inference rules?
Show this thread
1
1
20
Conversation
Serious question: do people (outside of the paper authors) actually understand what these rules mean?
7
4
I consume PL papers as part of my job, and I do actually get a lot of value out of these rules! Sometimes as a reader they can be hard to parse at first. Like anything it takes a bit of taste to use them effectively as a form of communication.
This said, I *do* think it would be cool to take a step back and think about how we design PL notation in a way that makes communication easier. I definitely think it's an unfortunate barrier to entry, and can be hard to deal with even if you are experienced with it.
3
6
I wonder how we could improve it. part of the issue is the tension between concision and completeness, I think. as indecipherable as judgment rules &c can be at first, I don't think people would prefer, like, 10 pages of English text thoroughly explaining the mechanism.
3
7
Show replies