| 1. | | Show HN: Orchid Mantis – A PoC in Rust for Zero Knowledge Proofs of Exploit (github.com/unprovable) |
| 3 points by unprovable 3 hours ago | past | 1 comment |
|
| 2. | | Vollo SDK – low latency streaming inference of ML models on FPGA platforms (myrtle.ai) |
| 1 point by unprovable 9 days ago | past | 1 comment |
|
| 3. | | Show HN: ShadowCat – file transfer through QR Codes in a Browser (github.com/unprovable) |
| 167 points by unprovable 9 days ago | past | 65 comments |
|
| 4. | | Show HN: Orchid Mantis – PoC Zero Knowledge Proof of Exploit (ZKPoX) Framework (github.com/unprovable) |
| 1 point by unprovable 15 days ago | past | 1 comment |
|
| 5. | | Inexpressibility in Exp-Minus-Log (EML) (arxiv.org) |
| 17 points by unprovable 26 days ago | past | 1 comment |
|
| 6. | | Update: EntropyLoop is now the first AI native MCP'd Quantum RNG (github.com/quantumvillage) |
| 1 point by unprovable 44 days ago | past |
|
| 7. | | Entropy Loop – An Open Source, Low Cost Phase-Diffusion QRNG (github.com/quantumvillage) |
| 3 points by unprovable 48 days ago | past |
|
| 8. | | Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN (xenaproject.wordpress.com) |
| 1 point by unprovable 5 months ago | past |
|
| 9. | | Oscrypto – cryptographic discovery queries for osquery (github.com/quantumvillage) |
| 3 points by unprovable 8 months ago | past |
|
| 10. | | Scientific Word 4.1-6.1 are now free (mackichan.com) |
| 3 points by unprovable 8 months ago | past | 1 comment |
|
| 11. | | A Special Diamond Is the Key to an Open-Source Quantum Sensor (wired.com) |
| 3 points by unprovable 9 months ago | past |
|
| 12. | | Uncut Gem by Quantum Village – an open source, hackable quantum sensor (github.com/quantumvillage) |
| 2 points by unprovable on April 19, 2025 | past |
|
| 13. | | Attack Vectors of Quantum Computers – Boloș and Coleșa QV,DC32 [video] (youtube.com) |
| 1 point by unprovable on Oct 31, 2024 | past |
|
| 14. | | Covert Quantum Communications – Evan Anderson, Quantum Village DEF Con 32 [video] (youtube.com) |
| 2 points by unprovable on Oct 8, 2024 | past |
|
| 15. | | 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 |
|
| 16. | | Hacking QKD Systems – Vadim Makarov Quantum Village, DEF Con 32 [video] (youtube.com) |
| 1 point by unprovable on Sept 24, 2024 | past |
|
| 17. | | IonQ Demonstrates Ion-Photon Entanglement – big step towards quantum networking (ionq.com) |
| 1 point by unprovable on Feb 25, 2024 | past |
|
| 18. | | Quantum Crime – and Overview (quantumvillage.substack.com) |
| 1 point by unprovable on Dec 17, 2023 | past | 1 comment |
|
| 19. | | Quantum Computer Modern – a Typeface for drawing quantum circuits (quantum-village.github.io) |
| 1 point by unprovable on April 14, 2023 | past | 1 comment |
|
| 20. | | Preventing Hacking with Quantum Computing and Other InfoSec Topics [audio] (protiviti.com) |
| 1 point by unprovable on Jan 15, 2023 | past |
|
| 21. | | On Zero-Knowledge Proofs over Quantum Internet (arxiv.org) |
| 2 points by unprovable on Dec 7, 2022 | past |
|
| 22. | | Cutting Medusa's Path; Tackling Cybersecurity Kill-Chains with Quantum Computing (arxiv.org) |
| 1 point by unprovable on Nov 28, 2022 | past |
|
| 23. | | Quantum (Hardware) Hacking – QV Defcon 30 (youtube.com) |
| 1 point by unprovable on Nov 4, 2022 | past | 1 comment |
|
| 24. | | Quantum Hacking DEF Con 30 (youtube.com) |
| 1 point by unprovable on Oct 18, 2022 | past | 1 comment |
|
| 25. | | LoRa Chat – Decentralised Chat PoC Using ESP32 Based Boards with SX1278 (hackaday.io) |
| 1 point by unprovable on Oct 26, 2017 | past |
|
| 26. | | Hack the Beach 2018 |
| 9 points by unprovable on Oct 26, 2017 | past |
|
| 27. | | WANNAFIX WCry interim mitigation scripts (github.com/hibc2017) |
| 4 points by unprovable on May 16, 2017 | past | 1 comment |
|
| 28. | | Maths for Hackers; the 'Hacker' Theorem (unprovable.github.io) |
| 2 points by unprovable on Nov 15, 2016 | past |
|
