Readings shared December 20, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/20-readings_shared_12-20-24 #ITP #Mizar #Math #Haskell #Python #AI
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.