How to integrate formal proofs into software development

2020-05-27

YouTube stealth censorship still going on (now it hellbans)

2020-05-27

A Field Guide to zkSNARKs Part I: A Primer on Computation

2020-05-25

Man vs. Squirrel- Building the Perfect Squirrel Proof Bird Feeder

2020-05-24

Text for Proofing Fonts: A Farewell to the Quick Brown Fox

2020-05-24

Proof Of Concept 40 TB/s

2020-05-22

Text for Proofing Fonts

2020-05-22

Text for Proofing Fonts: A Farewell to the Quick Brown Fox

2020-05-19

Proof of Work Is Efficient

2020-05-19

Ask HN: Is it worth to build a TUI-based ERP software?

2020-05-17