HNHacker News
TopNewBestAskShowJobs

unprovable

269 karma · joined November 15, 2016

Mathematician, Quantum Hacker
submissionscomments

Turn Text into Actions with Needle, 14Mb

raspberrypi.com·1 pts·unprovable·
0

The Fate of the Riemann Hypothesis [pdf]

math.brown.edu·4 pts·unprovable·
0

Matter, Memory, and the Paradox of Perception – Popova on Bergson

themarginalian.org·4 pts·unprovable·
0

In Hilbert Space, All Things Are Quantumly Possible – Charlie Wood, Quanta

quantamagazine.org·2 pts·unprovable·
0

Proof.fail – document what didn't work

proof.fail·2 pts·unprovable·
1

Decayfmt – a file format that corrupts itself a little every time you open it

github.com·55 pts·unprovable·
30

AI for science needs reasoning, not just data – Eric Schmidt and Suhas Mahesh

technologyreview.com·2 pts·unprovable·
0

Jet – Ultrafast C++17 3D renderer for Embedded Devices

github.com·2 pts·unprovable·
0

The Equations of Reasoning – Pathway AI

pathway.com·3 pts·unprovable·
1

Aperiodic Tilings

presheaf.blogspot.com·7 pts·unprovable·
1

A composer published a paper in physics. His lack of credentials drew criticism

retractionwatch.com·4 pts·unprovable·
1

Quantum advantage through trusted quantum computation – IBM Quantum

ibm.com·2 pts·unprovable·
1

CliffordNet: All You Need Is Geometric Algebra[ArXiv:2601.06793]

arxiv.org·2 pts·unprovable·
0

A Note on Hidden Shifts as Hidden Subgroups for Quantum Cryptanalysis

presheaf.blogspot.com·2 pts·unprovable·
0

PDFRecover: Chrome and Firefox Extentions to Recover streamed PDFs from web tabs

github.com·3 pts·unprovable·
0

Show HN: PDF Recover – Chrome extension for yanking PDFs out of webpages

github.com·4 pts·unprovable·
2

AI Has Come for Serif Fonts

wired.com·3 pts·unprovable·
2

PQ-SORT – Visualiser for the performance of PQC signatures

pqsort.tii.ae·2 pts·unprovable·
0

Show HN: Orchid Mantis – A PoC in Rust for Zero Knowledge Proofs of Exploit

github.com·4 pts·unprovable·
1

Vollo SDK – low latency streaming inference of ML models on FPGA platforms

vollo.myrtle.ai·1 pts·unprovable·
1

Show HN: ShadowCat – file transfer through QR Codes in a Browser

github.com·168 pts·unprovable·
65

Show HN: Orchid Mantis – PoC Zero Knowledge Proof of Exploit (ZKPoX) Framework

github.com·1 pts·unprovable·
1

Inexpressibility in Exp-Minus-Log (EML)

arxiv.org·17 pts·unprovable·
1

Update: EntropyLoop is now the first AI native MCP'd Quantum RNG

github.com·1 pts·unprovable·
0

Entropy Loop – An Open Source, Low Cost Phase-Diffusion QRNG

github.com·3 pts·unprovable·
0

Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN

xenaproject.wordpress.com·1 pts·unprovable·
0

Oscrypto – cryptographic discovery queries for osquery

github.com·3 pts·unprovable·
0

Scientific Word 4.1-6.1 are now free

mackichan.com·3 pts·unprovable·
1

A Special Diamond Is the Key to an Open-Source Quantum Sensor

wired.com·3 pts·unprovable·
0

Uncut Gem by Quantum Village – an open source, hackable quantum sensor

github.com·2 pts·unprovable·
0
Page 1 of 2Next →