And speaking of analysis of large scientific/mathematical structure, here's a map of the ArXiv using some kind of similarity metric that I have no idea about.
So here's a neat little checklist management system that sure looks a lot like the original goals for the wftk back in 2000: Checklistomania. [github][hnn]
As usual, I have the inchoate feeling that none of this would be a tenth as challenging in Decl. I should work on Decl....
No comments:
Post a Comment