iiinova — where your digital self keeps evolving

ahuoguo.bsky.social

@ahuoguo.bsky.social

31 followers 101 following 1 posts

Posts Replies Media

ahuoguo.bsky.social @ahuoguo.bsky.social · 10/12/2025

dailynous.com/2025/12/10/e... Maybe they should follow PPA and rename it to Sound & Complete (or Box & Diamond)

dailynous.com

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...

020

Reposted by @ahuoguo.bsky.social

Sam Westrick @shwestrick.bsky.social · 05/12/2025

my student Seong-Heon talking about one of our new projects at NYU! (We’re at NJPLS today, come say hi)

1102

Reposted by @ahuoguo.bsky.social

SIGPLAN AV @sigplan-av.bsky.social · 05/12/2025

(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

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, ...

1148