Puncture-proof tires are the future
2020-01-25
Librem 5 phone hands-on–Open source phone shows the cost of being different
2020-01-24
Bitcoin's Proof-of-Work / Waste 10-Minute Mining Lottery
2020-01-23
Ask HN: Best way to explain/proof human caused climate change to someone?
2020-01-23
Proof Assistants at the Hardware-Software Interface
2020-01-21
InstyMatch API
2020-01-20
Mathematical Proof Describes How to Solve Seemingly Impossible Computing Problem
2020-01-18
Titans of Mathematics Clash over Epic Proof of ABC Conjecture (2018)
2020-01-18
Easy Ways to Stick to Your 2020 Fitness Resolution
2020-01-17
Using Z: Specification, Refinement, and Proof [pdf]
2020-01-17