Articles by unprovable
21

Decayfmt – a file format that corrupts itself a little every time you open it (github.com/aravpanwar)

0

AI for science needs reasoning, not just data – Eric Schmidt and Suhas Mahesh (technologyreview.com)

2

Aperiodic Tilings (presheaf.blogspot.com)

2

A composer published a paper in physics. His lack of credentials drew criticism (retractionwatch.com)

3

Quantum advantage through trusted quantum computation – IBM Quantum (ibm.com)

2

CliffordNet: All You Need Is Geometric Algebra[ArXiv:2601.06793] (arxiv.org)

2

A Note on Hidden Shifts as Hidden Subgroups for Quantum Cryptanalysis (presheaf.blogspot.com)

2

PDFRecover: Chrome and Firefox Extentions to Recover streamed PDFs from web tabs (github.com/unprovable)

2

Show HN: PDF Recover – Chrome extension for yanking PDFs out of webpages (github.com/unprovable)

4

AI Has Come for Serif Fonts (wired.com)

1

PQ-SORT – Visualiser for the performance of PQC signatures (tii.ae)

3

Show HN: Orchid Mantis – A PoC in Rust for Zero Knowledge Proofs of Exploit (github.com/unprovable)

1

Vollo SDK – low latency streaming inference of ML models on FPGA platforms (myrtle.ai)

55

Show HN: ShadowCat – file transfer through QR Codes in a Browser (github.com/unprovable)

1

Show HN: Orchid Mantis – PoC Zero Knowledge Proof of Exploit (ZKPoX) Framework (github.com/unprovable)

4

Inexpressibility in Exp-Minus-Log (EML) (arxiv.org)

1

Update: EntropyLoop is now the first AI native MCP'd Quantum RNG (github.com/quantumvillage)

2

Entropy Loop – An Open Source, Low Cost Phase-Diffusion QRNG (github.com/quantumvillage)

1

Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN (xenaproject.wordpress.com)

2

Oscrypto – cryptographic discovery queries for osquery (github.com/quantumvillage)

1

Scientific Word 4.1-6.1 are now free (mackichan.com)

1

A Special Diamond Is the Key to an Open-Source Quantum Sensor (wired.com)

1

Uncut Gem by Quantum Village – an open source, hackable quantum sensor (github.com/quantumvillage)

1

Attack Vectors of Quantum Computers – Boloș and Coleșa QV,DC32 [video] (youtube.com)

2

Covert Quantum Communications – Evan Anderson, Quantum Village DEF Con 32 [video] (youtube.com)

2

How Do We Make LLVM Quantum? Josh Isaac Quantum Village, DEF Con 32 (youtube.com)

1

Hacking QKD Systems – Vadim Makarov Quantum Village, DEF Con 32 [video] (youtube.com)

1

IonQ Demonstrates Ion-Photon Entanglement – big step towards quantum networking (ionq.com)

2

Quantum Crime – and Overview (quantumvillage.substack.com)

2

Quantum Computer Modern – a Typeface for drawing quantum circuits (quantum-village.github.io)

1

Preventing Hacking with Quantum Computing and Other InfoSec Topics [audio] (protiviti.com)

2

On Zero-Knowledge Proofs over Quantum Internet (arxiv.org)

1

Cutting Medusa's Path; Tackling Cybersecurity Kill-Chains with Quantum Computing (arxiv.org)

2

Quantum (Hardware) Hacking – QV Defcon 30 (youtube.com)

2

Quantum Hacking DEF Con 30 (youtube.com)