Post #1652522
2025-07-11 23:41 UTC
"average PL researcher publishes a new separation logic every year" factoid actualy just statistical error. average PL researcher publishes 0 new separation logics per year. Separation Logics Lars, who lives in Aarhus & publishes over 20 new separation logics each day, is an outlier adn should not have been counted
Replies (0)
No replies.