@ahuoguo.bsky.social
dailynous.com/2025/12/10/e...
Maybe they should follow PPA and rename it to Sound & Complete (or Box & Diamond)
Maybe they should follow PPA and rename it to Sound & Complete (or Box & Diamond)
Editors at Springer’s Journal of Philosophical Logic Resign, Launch New Open Access Journal - Daily Nous
All of the editors-in-chief and associate editors of Springer Nature's Journal of Philosophical Logic have announced their immediate or pending resignation and the launch, as of today, of a new "diamo...
dailynous.com
December 10, 2025 at 2:27 PM
dailynous.com/2025/12/10/e...
Maybe they should follow PPA and rename it to Sound & Complete (or Box & Diamond)
Maybe they should follow PPA and rename it to Sound & Complete (or Box & Diamond)
Reposted
my student Seong-Heon talking about one of our new projects at NYU!
(We’re at NJPLS today, come say hi)
(We’re at NJPLS today, come say hi)
December 5, 2025 at 4:36 PM
my student Seong-Heon talking about one of our new projects at NYU!
(We’re at NJPLS today, come say hi)
(We’re at NJPLS today, come say hi)
Reposted
(1/4) We are happy to announce the release of our ICFP/SPLASH'25 coverage, totaling over 481 talks and presentations across all co-located events!
youtube.com/@acmsigplan
youtube.com/@acmsigplan
ACM SIGPLAN
Special Interest Group on Programming Languages
The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, ...
youtube.com
December 5, 2025 at 1:52 PM
(1/4) We are happy to announce the release of our ICFP/SPLASH'25 coverage, totaling over 481 talks and presentations across all co-located events!
youtube.com/@acmsigplan
youtube.com/@acmsigplan