A dependently typed language for proofs that you can implement in one day
2021-10-02
Starship SN20 passes the cryogenic proof test, next is static fire
2021-10-01
FBI raid confiscates $86M with no proof
2021-10-01
What you need to know about US vaccine proof on your phone
2021-10-01
New $28K Prefab Tiny Home Is Proof That the Future Is Now
2021-10-01
A New License to Future Proof the Commoditization of Data Integration
2021-09-28
Airbyte relicenses its source code from MIT to the Elastic License v2
2021-09-27
Personal Carbon Allowances Revisited
2021-09-26
Logic and Proof
2021-09-24
Proof of the André-Oort Conjecture
2021-09-24