Proofy
Quickly validate and verify your email lists.
Ask HN: Best books or courses to self study undergrad math subjects?
2023-05-08
ChatGPT – Open AI API for Proofreading Markdown Blog Posts
2023-05-08
Ask HN: Books or courses to understand college level mathematics?
2023-05-07
Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean (2019) [video]
2023-05-07
Ask HN: Deepfakes and publishing sha256sums of historical videos to a blockchain
2023-05-03
6000 years old Writing Proof found in India
2023-05-03
Adding Support for HashiCorp Cloud Agent to OS Terraform Enterprise Alternative
2023-05-01
Show HN: Code-Narrator: Automating Documentation with GPT-4
2023-04-28
Ask HN: Is writing a math proof like programming without ever running your code?
2023-04-27
Ask HN: Any evidence that our elected officials aren't calling the shots?
2023-04-27
