#pldi — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #pldi, aggregated by home.social.
-
An interesting resource for learning #TypeTheory and adjacent areas like #CategoryTheory:
“learn-tt”, Daniel Gratzer (https://github.com/jozefg/learn-tt).