Proofy
Quickly validate and verify your email lists.
Can ZK rescue symbolic AI’s tools from LLMs consigning them to obsolescence?
2023-08-20
Algebra of Programs: Proof of equality of programs [video]
2023-08-19
Google announces new algorithm that makes FIDO encryption quantum-proof
2023-08-18
Check my P=NP proof for errors
2023-08-18
Proof That LLMs Understand
2023-08-17
Show HN: Sync Everything – A Firefox Extension to Synchronize Videos with P2P
2023-08-17
Ask HN: Best tool to proof-read technical documentation?
2023-08-16
Math proof draws new boundaries around black hole formation
2023-08-16
Show HN: Correctify – A tool for proofeading restaurant menus and documents
2023-08-15
Joel David Hamkins on philosophy of mathematics, truth, proof, infinity
2023-08-15
