Hacker News: unprovable

New comment by unprovable in "AI Has Come for Serif Fonts"

unprovable — Mon, 08 Jun 2026 09:28:38 +0000

Geography has really started making the internet a lot less open... In the UK, I guess there's some kind of allowance for free access?

New comment by unprovable in "The Cypherpunk Library"

unprovable — Mon, 08 Jun 2026 09:26:43 +0000

Nice - can't wait to see how it grows!

New comment by unprovable in "In Defense of YAML"

unprovable — Mon, 08 Jun 2026 09:25:56 +0000

I think recounting how far YAML has come is actually really useful - props to the author for stating the case I think quite well!

AI Has Come for Serif Fonts

unprovable — Mon, 08 Jun 2026 08:53:04 +0000

Article URL: https://www.wired.com/story/ai-has-come-for-serif-fonts/

Comments URL: https://news.ycombinator.com/item?id=48442855

Points: 3

# Comments: 2

PQ-SORT – Visualiser for the performance of PQC signatures

unprovable — Sat, 06 Jun 2026 06:15:14 +0000

Article URL: https://pqsort.tii.ae/

Comments URL: https://news.ycombinator.com/item?id=48421919

Points: 2

# Comments: 0

New comment by unprovable in "Ask HN: Are orbital data centers possible / a good idea?"

unprovable — Fri, 05 Jun 2026 18:47:44 +0000

If we couldn't make underwater datacenters work, I doubt it's half as easy to make space-based ones work.

New comment by unprovable in "Show HN: Orchid Mantis – A PoC in Rust for Zero Knowledge Proofs of Exploit"

unprovable — Sun, 31 May 2026 21:31:24 +0000

Cobbled together with Clanker Claude over a few weekends, based on work I was doing on the RAPTOR project for automated vulnerability finding. Based on the CHEESECLOTH by Cueller et al. from USENIX '23 - https://www.usenix.org/conference/usenixsecurity23/presentat...

With a lot of disclosure chatter going around like it's 2000-and-great, perhaps we can utilise the cryptography of ZKPs and tlock cryptography to disclose bugs; I can prove the bug works in a zkVM, without anyone knowing the details of the exploit except those who have the keys. Then you can timelock it to reveal after disclosure period, or not... your choice. Either way, we can assess the risk and determine important facts about an exploit without ever diclosing it until required.

Aim - to upgrade the conversation around disclosure. It's the future, let's act like we have more options.

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

unprovable — Sun, 31 May 2026 21:27:20 +0000

Article URL: https://github.com/unprovable/OrchidMantis

Comments URL: https://news.ycombinator.com/item?id=48349924

Points: 4

# Comments: 1

New comment by unprovable in "Show HN: ShadowCat – file transfer through QR Codes in a Browser"

unprovable — Tue, 26 May 2026 14:38:40 +0000

Update - put it on a site for folk to use: https://shadowcat.online/

New comment by unprovable in "Show HN: Orchid Mantis – PoC Zero Knowledge Proof of Exploit (ZKPoX) Framework"

unprovable — Sat, 23 May 2026 09:43:04 +0000

I'm actually very impressed how many people are now playing with Zero Knowledge on HN... I put this out a week ago, and have seen many more popping up. Amazing!

New comment by unprovable in "Show HN: ShadowCat – file transfer through QR Codes in a Browser"

unprovable — Sat, 23 May 2026 09:40:34 +0000

So two parts to a reply - first is, you don't need the encryption per se, but you can add that in the case that you give it some key and then it's encrypted. I don't see the value unless you're using this to generate frames for a video, which isn't current functionality but totally doable.

Second part, Charlie Bennet said "the only entropy source is one you can trust" and the best entropy source is quantum fluctuations, so we built a fully open source phase diffusion QRNG at Quantum Village and released it. Link: https://github.com/QuantumVillage/EntropyLoop

New comment by unprovable in "Show HN: ShadowCat – file transfer through QR Codes in a Browser"

unprovable — Sat, 23 May 2026 09:38:10 +0000

There is a toggle where you can show what chunks have been received. This is also where the 'show specific chunk' function comes in... the receiver can see "oh, I'm only missing chunk 125, so just show me that" etc. etc.

New comment by unprovable in "Vollo SDK – low latency streaming inference of ML models on FPGA platforms"

unprovable — Sat, 23 May 2026 07:12:50 +0000

This seems to get impressive results cross compiling models from torch (with vollo-torch) into FPGA friendly formats. Speedups look quite impressive...

New comment by unprovable in "Show HN: ShadowCat – file transfer through QR Codes in a Browser"

unprovable — Sat, 23 May 2026 06:47:24 +0000

With great difficulty...

New comment by unprovable in "Show HN: ShadowCat – file transfer through QR Codes in a Browser"

unprovable — Sat, 23 May 2026 06:39:43 +0000

Cheers!

New comment by unprovable in "Show HN: ShadowCat – file transfer through QR Codes in a Browser"

unprovable — Sat, 23 May 2026 06:39:29 +0000

QR code has limits, use the file transfer to chunk it. :)

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

unprovable — Fri, 22 May 2026 11:34:52 +0000

Article URL: https://vollo.myrtle.ai/latest/introduction.html

Comments URL: https://news.ycombinator.com/item?id=48234468

Points: 1

# Comments: 1

New comment by unprovable in "Chess invariants"

unprovable — Fri, 22 May 2026 11:22:35 +0000

If you like this, you're probably gonna like this: https://en.wikipedia.org/wiki/Chessboard_complex

New comment by unprovable in "Show HN: ShadowCat – file transfer through QR Codes in a Browser"

unprovable — Fri, 22 May 2026 11:13:47 +0000

Single page file transfer using QR Codes and a browser. Sending device loads a file into the page, gets chunked. Receiver gets all the chunks through a camera, tosses lightly and reassembles, CRC to garnish. Designed to push data from an old phone that had broken comms after it took a swimming lesson in a coffee mug, it's been quite handy.

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

unprovable — Fri, 22 May 2026 11:11:43 +0000

Article URL: https://github.com/unprovable/ShadowCat

Comments URL: https://news.ycombinator.com/item?id=48234287

Points: 168

# Comments: 65