unprovable

6 ms·

61.
PQ-SORT – Visualiser for the performance of PQC signatures(pqsort.tii.ae)
2 points by unprovable 4mo ago|0 comments
62.
by unprovable 4mo ago
If we couldn't make underwater datacenters work, I doubt it's half as easy to make space-based ones work.
63.
by unprovable 4mo ago
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.o
64.
Show HN: Orchid Mantis – A PoC in Rust for Zero Knowledge Proofs of Exploit(github.com)
4 points by unprovable 4mo ago|1 comments
65.
by unprovable 5mo ago
Update - put it on a site for folk to use: https://shadowcat.online/
66.
by unprovable 5mo ago
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!
67.
by unprovable 5mo ago
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 fra
68.
by unprovable 5mo ago
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.
69.
by unprovable 5mo ago
This seems to get impressive results cross compiling models from torch (with vollo-torch) into FPGA friendly formats. Speedups look quite impressive...
70.
by unprovable 5mo ago
With great difficulty...
71.
by unprovable 5mo ago
Cheers!
72.
by unprovable 5mo ago
QR code has limits, use the file transfer to chunk it. :)
73.
Vollo SDK – low latency streaming inference of ML models on FPGA platforms(vollo.myrtle.ai)
1 points by unprovable 5mo ago|1 comments
74.
by unprovable 5mo ago
If you like this, you're probably gonna like this: https://en.wikipedia.org/wiki/Chessboard_complex
75.
by unprovable 5mo ago
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 ol
76.
Show HN: ShadowCat – file transfer through QR Codes in a Browser(github.com)
168 points by unprovable 5mo ago|65 comments
77.
by unprovable 5mo ago
An important context here is the one in which George Boole was noticing the patterns that he created an algebra out of; he was actually analysing the Chinese book I Ching... The fact that context is so lost by the amplification of what is,
78.
by unprovable 5mo ago
Nice UI, but there are open source tools that do the same (network monitoring, static code analysis, etc).
79.
Show HN: Orchid Mantis – PoC Zero Knowledge Proof of Exploit (ZKPoX) Framework(github.com)
1 points by unprovable 5mo ago|1 comments
80.
by unprovable 5mo ago
There are a number of "Let's move away from mainframes"-style projects. Most prominent other I've heard of is 'Gravity' at Santander Bank ( https://www.santander.com/en/stories/7-questi
81.
by unprovable 5mo ago
This is cool - Seeing a lot more usefulness being found for things like ASTs, SMT solvers, and other automated reasoning tools within LLM workflows. Things like this are useful as it gives an potential extra layer of confidence. Nice one.
82.
by unprovable 5mo ago
Fun! Although, a total token sink It'll be really interesting to see how the game evolves!
83.
by unprovable 5mo ago
TL;DR - all numbers defined in EML are computable (mainly because exp and log are computable for computable complex inputs, and the primary input ('1') is ofc computable) - this isn't as obvious as first thought, and you need
84.
Inexpressibility in Exp-Minus-Log (EML)(arxiv.org)
17 points by unprovable 5mo ago|1 comments
85.
Update: EntropyLoop is now the first AI native MCP'd Quantum RNG(github.com)
1 points by unprovable 6mo ago|0 comments
86.
Entropy Loop – An Open Source, Low Cost Phase-Diffusion QRNG(github.com)
3 points by unprovable 6mo ago|0 comments
87.
Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN(xenaproject.wordpress.com)
1 points by unprovable 10mo ago|0 comments
88.
Oscrypto – cryptographic discovery queries for osquery(github.com)
3 points by unprovable 1y ago|0 comments
89.
Scientific Word 4.1-6.1 are now free(mackichan.com)
3 points by unprovable 1y ago|1 comments
90.
A Special Diamond Is the Key to an Open-Source Quantum Sensor(wired.com)
3 points by unprovable 1y ago|0 comments

More ›