New top story on Hacker News: SQLite is all you need for durable workflows

SQLite is all you need for durable workflows
27 by tomasol | 11 comments on Hacker News.

New top story on Hacker News: ATLAS: Autoformalized Textbook Library At Scale

ATLAS: Autoformalized Textbook Library At Scale
15 by vrm | 1 comments on Hacker News.
https://twitter.com/arnal_charles/status/2060009395107377282 , https://ift.tt/LfWZC2O Paper: Formalizing Mathematics at Scale - https://ift.tt/NLerXMg