unprovable
- Karma
- 0
- Created
- ()
- Submissions
- 0
- AI Has Come for Serif Fonts (wired.com)
- PQ-SORT – Visualiser for the performance of PQC signatures (pqsort.tii.ae)
- Inexpressibility in Exp-Minus-Log (EML) (arxiv.org)
- Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN (xenaproject.wordpress.com)
- Scientific Word 4.1-6.1 are now free (mackichan.com)
- Quantum Crime – and Overview (quantumvillage.substack.com)
- Quantum Computer Modern – a Typeface for drawing quantum circuits (quantum-village.github.io)
- On Zero-Knowledge Proofs over Quantum Internet (arxiv.org)
- Quantum (Hardware) Hacking – QV Defcon 30 (youtube.com)