Implementing a Simple Proof Assistant and Type System (Mathematica)
2020-12-13
Social Proof, but of What?
2020-12-13
Proof of Rubys Superiority over Python
2020-12-12
Fibonacci numbers as sum of binomial coefficients
2020-12-12
Treasury proposal to reverse onus of proof for black economy crimes
2020-12-12
Proof-of-concept exploit code published for new Kerberos Bronze Bit attack
2020-12-10
Ask HN: What Is a Good Hierarchy of Proof?
2020-12-10
Proofs Should Repair Themselves
2020-12-09
Boost Conversions with Behavioral Science. P2: Social Proof
2020-12-01
Future-proof open firmware 2-12s LiPo/ Li-ion battery charger
2020-12-01