FormAPI
Stripe for PDFs
Probably Approximately Correct – A Formal Theory of Learning (2014)
2021-07-05
Ask HN: How to search text across books in Mac
2021-07-05
Show HN: Entish: A language for implementing RPG rules in formal logic
2021-07-04
Where are we going from here? Software engineering needs formal methods
2021-07-03
The Dawn of Formalized Mathematics
2021-07-03
Google is killing the .apk format and it's a bad thing
2021-07-02
The Dawn of Formalized Mathematics
2021-07-01
Untangling the Galaxy. Local Structure, Star Formation History of the Milky Way
2021-07-01
Show HN: Group Interview Program
2021-06-30
Google is moving away from APKs on the Play Store
2021-06-30
