alt Hacker NewsHave someone refactored it into a more concise and modern version?
Replies
theonemind • today at 3:17 PM
It seems like a frontier model LLM could probably do it in day, probably less. Someone would have to read and correct it, though
Have someone refactored it into a more concise and modern version?
It seems like a frontier model LLM could probably do it in day, probably less. Someone would have to read and correct it, though
Possibly pertinent: Principia Mathematica Maps and Table Site (PM-MATS): https://principia.lib.uiowa.edu/about.html - more description in my top-level comment in this page.