ProofHQ
창작 프로젝트 승인과 피드백을 관리하는 가장 쉽고 빠른 방법
Future-proof and simple-to-use notes system based on Zettelkasten
2020-09-17
How Did Software Get So Reliable Without Proof? (1996) [pdf]
2020-09-17
Ask HN: What programming language to learn at the start of a career?
2020-09-16
Chinese virologist claims she has proof Covid-19 was made in Wuhan lab
2020-09-15
If Nvidia wants a proof-of-concept of A64 in a compute cloud, here's one
2020-09-15
Show HN: NoStash, a simple, new, indie, future proof note taking app
2020-09-10
Show HN: AnoProof – Anonymous Proof of Identity
2020-09-09
Who Watches the Watchmen? Sybil-Resistance in Proof of Personhood Protocols
2020-09-08
AnoProof: Anonymous Proof of Identity
2020-09-08
Using Tree Neural Networks in Proof-Assistant HOL4
2020-09-08
