Proofy
Quickly validate and verify your email lists.
Show HN: Cipherem – A Self-Sovereign Social Network for Web3 Enthusiasts
2023-04-25
Gaming, ChatGPT, and Human Use
2023-04-23
Waterproof: Educational Software for Learning How to Write Mathematical Proofs
2023-04-23
Tell HN: Elementary Proof of 2,4 being the only non trivial solution to x^y=y^x
2023-04-22
Ask HN: CLRS or Others?
2023-04-21
Ask HN: Are mathematicians less likely to be impressed by ChatGPT?
2023-04-20
Ask HN: How do you verify an algorithm’s correctness
2023-04-20
On a Proof of Inequality of P vs NP based on Boolean gates
2023-04-20
Show HN: GoGoBrowse – A Peer to Peer Web Browser
2023-04-19
Show HN: Lean customer development methodology simulated by AutoGPT
2023-04-19
