ProofHQ
창작 프로젝트 승인과 피드백을 관리하는 가장 쉽고 빠른 방법
Ask HN: How hard is managing the commercial side of a contracting business
2022-11-01
Veecam: A proof-of-concept virtual camera Chrome extension
2022-10-31
Show HN: Veecam virtual camera chrome extension
2022-10-29
Meta shares dip is proof metaverse plan never had legs
2022-10-27
Using dependent types to write proofs in Haskell
2022-10-27
Fact Check: Does Google Censor Republicans in Senate Races? No definitive proof.
2022-10-26
Show HN: Villagers – A group travel app
2022-10-26
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
2022-10-25
APIs as infrastructure: future-proofing Stripe with versioning (2017)
2022-10-24
A study of malicious CVE proof of concept exploits in GitHub
2022-10-24
