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