Zero Proof Simulation MIT

2021-12-27

Ask HN: Equivalent of Docker-compose for managing team knowledge services?

2021-12-25

Euclidea: A game where you complete/unlock basic geometric proofs

2021-12-25

Connectedness Between Proof of Work and Proof of Stake/Other Digital Coins

2021-12-25

Future-Proofing the Raku Programming Language

2021-12-25

Correctness Proofs for Device Drivers in Embedded Systems (2010) [pdf]

2021-12-24

Proof-of-vaccine app Portpass continues to expose personal data

2021-12-23

Witless – A token system based on proof of transport

2021-12-23

Microchip implanted in your arm tracks Covid vaccine status with cell phone scan

2021-12-22

Witless: A token system based on proof of transport

2021-12-22