| 1. | | In Hilbert Space, All Things Are Quantumly Possible – Charlie Wood, Quanta (quantamagazine.org) |
| 2 points by unprovable 2 days ago | past | discuss |
|
| 2. | | Proof.fail – document what didn't work (proof.fail) |
| 2 points by unprovable 7 days ago | past | 1 comment |
|
| 3. | | Decayfmt – a file format that corrupts itself a little every time you open it (github.com/aravpanwar) |
| 55 points by unprovable 8 days ago | past | 30 comments |
|
| 4. | | AI for science needs reasoning, not just data – Eric Schmidt and Suhas Mahesh (technologyreview.com) |
| 2 points by unprovable 9 days ago | past | discuss |
|
| 5. | | Jet – Ultrafast C++17 3D renderer for Embedded Devices (github.com/cubecoders) |
| 2 points by unprovable 10 days ago | past | discuss |
|
| 6. | | The Equations of Reasoning – Pathway AI (pathway.com) |
| 3 points by unprovable 10 days ago | past | 1 comment |
|
| 7. | | Aperiodic Tilings (presheaf.blogspot.com) |
| 7 points by unprovable 17 days ago | past | 1 comment |
|
| 8. | | A composer published a paper in physics. His lack of credentials drew criticism (retractionwatch.com) |
| 4 points by unprovable 23 days ago | past | 1 comment |
|
| 9. | | Quantum advantage through trusted quantum computation – IBM Quantum (ibm.com) |
| 2 points by unprovable 30 days ago | past | 1 comment |
|
| 10. | | CliffordNet: All You Need Is Geometric Algebra[ArXiv:2601.06793] (arxiv.org) |
| 2 points by unprovable 30 days ago | past |
|
| 11. | | A Note on Hidden Shifts as Hidden Subgroups for Quantum Cryptanalysis (presheaf.blogspot.com) |
| 2 points by unprovable 30 days ago | past |
|
| 12. | | PDFRecover: Chrome and Firefox Extentions to Recover streamed PDFs from web tabs (github.com/unprovable) |
| 3 points by unprovable 33 days ago | past |
|
| 13. | | Show HN: PDF Recover – Chrome extension for yanking PDFs out of webpages (github.com/unprovable) |
| 4 points by unprovable 45 days ago | past | 2 comments |
|
| 14. | | AI Has Come for Serif Fonts (wired.com) |
| 3 points by unprovable 82 days ago | past | 2 comments |
|
| 15. | | PQ-SORT – Visualiser for the performance of PQC signatures (tii.ae) |
| 2 points by unprovable 84 days ago | past |
|
| 16. | | Show HN: Orchid Mantis – A PoC in Rust for Zero Knowledge Proofs of Exploit (github.com/unprovable) |
| 4 points by unprovable 3 months ago | past | 1 comment |
|
| 17. | | Vollo SDK – low latency streaming inference of ML models on FPGA platforms (myrtle.ai) |
| 1 point by unprovable 3 months ago | past | 1 comment |
|
| 18. | | Show HN: ShadowCat – file transfer through QR Codes in a Browser (github.com/unprovable) |
| 168 points by unprovable 3 months ago | past | 65 comments |
|
| 19. | | Show HN: Orchid Mantis – PoC Zero Knowledge Proof of Exploit (ZKPoX) Framework (github.com/unprovable) |
| 1 point by unprovable 3 months ago | past | 1 comment |
|
| 20. | | Inexpressibility in Exp-Minus-Log (EML) (arxiv.org) |
| 17 points by unprovable 3 months ago | past | 1 comment |
|
| 21. | | Update: EntropyLoop is now the first AI native MCP'd Quantum RNG (github.com/quantumvillage) |
| 1 point by unprovable 4 months ago | past |
|
| 22. | | Entropy Loop – An Open Source, Low Cost Phase-Diffusion QRNG (github.com/quantumvillage) |
| 3 points by unprovable 4 months ago | past |
|
| 23. | | Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN (xenaproject.wordpress.com) |
| 1 point by unprovable 8 months ago | past |
|
| 24. | | Oscrypto – cryptographic discovery queries for osquery (github.com/quantumvillage) |
| 3 points by unprovable 11 months ago | past |
|
| 25. | | Scientific Word 4.1-6.1 are now free (mackichan.com) |
| 3 points by unprovable 11 months ago | past | 1 comment |
|
| 26. | | A Special Diamond Is the Key to an Open-Source Quantum Sensor (wired.com) |
| 3 points by unprovable on Aug 11, 2025 | past |
|
| 27. | | Uncut Gem by Quantum Village – an open source, hackable quantum sensor (github.com/quantumvillage) |
| 2 points by unprovable on April 19, 2025 | past |
|
| 28. | | Attack Vectors of Quantum Computers – Boloș and Coleșa QV,DC32 [video] (youtube.com) |
| 1 point by unprovable on Oct 31, 2024 | past |
|
| 29. | | Covert Quantum Communications – Evan Anderson, Quantum Village DEF Con 32 [video] (youtube.com) |
| 2 points by unprovable on Oct 8, 2024 | past |
|
| 30. | | How Do We Make LLVM Quantum? Josh Isaac Quantum Village, DEF Con 32 (youtube.com) |
| 2 points by unprovable on Oct 3, 2024 | past | 1 comment |
|
|
| More |
