HackerTrans
TopNewTrendsCommentsPastAskShowJobs

unprovable

no profile record

Submissions

AI Has Come for Serif Fonts

wired.com
3 points·by unprovable·vorige maand·2 comments

PQ-SORT – Visualiser for the performance of PQC signatures

pqsort.tii.ae
2 points·by unprovable·vorige maand·0 comments

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

github.com
4 points·by unprovable·vorige maand·1 comments

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

vollo.myrtle.ai
1 points·by unprovable·2 maanden geleden·1 comments

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

github.com
168 points·by unprovable·2 maanden geleden·65 comments

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

github.com
1 points·by unprovable·2 maanden geleden·1 comments

Inexpressibility in Exp-Minus-Log (EML)

arxiv.org
17 points·by unprovable·2 maanden geleden·1 comments

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

github.com
1 points·by unprovable·3 maanden geleden·0 comments

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

github.com
3 points·by unprovable·3 maanden geleden·0 comments

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

xenaproject.wordpress.com
1 points·by unprovable·7 maanden geleden·0 comments

Oscrypto – cryptographic discovery queries for osquery

github.com
3 points·by unprovable·10 maanden geleden·0 comments

Scientific Word 4.1-6.1 are now free

mackichan.com
3 points·by unprovable·10 maanden geleden·1 comments

comments

unprovable
·24 dagen geleden·discuss
Hard agree with this My fave workflow I did was making the first fully regulatory approved LLM workflow for a global retail bank, using GPT 3.5 in June 2023 on Azure early access. That stack is still the reference for a lot of the work we've done since and currently.
unprovable
·vorige maand·discuss
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?
unprovable
·vorige maand·discuss
Nice - can't wait to see how it grows!
unprovable
·vorige maand·discuss
I think recounting how far YAML has come is actually really useful - props to the author for stating the case I think quite well!
unprovable
·vorige maand·discuss
If we couldn't make underwater datacenters work, I doubt it's half as easy to make space-based ones work.
unprovable
·vorige maand·discuss
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.
unprovable
·2 maanden geleden·discuss
Update - put it on a site for folk to use: https://shadowcat.online/
unprovable
·2 maanden geleden·discuss
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!
unprovable
·2 maanden geleden·discuss
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
unprovable
·2 maanden geleden·discuss
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.
unprovable
·2 maanden geleden·discuss
This seems to get impressive results cross compiling models from torch (with vollo-torch) into FPGA friendly formats. Speedups look quite impressive...
unprovable
·2 maanden geleden·discuss
With great difficulty...
unprovable
·2 maanden geleden·discuss
Cheers!
unprovable
·2 maanden geleden·discuss
QR code has limits, use the file transfer to chunk it. :)
unprovable
·2 maanden geleden·discuss
If you like this, you're probably gonna like this: https://en.wikipedia.org/wiki/Chessboard_complex
unprovable
·2 maanden geleden·discuss
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.
unprovable
·2 maanden geleden·discuss
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, itself, a distillation is, as you rightly argue, the real issue. Not sure what the answer is, but it probably isn't C^* algebras.
unprovable
·2 maanden geleden·discuss
Nice UI, but there are open source tools that do the same (network monitoring, static code analysis, etc).
unprovable
·2 maanden geleden·discuss
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-questions-on-how-grav...)
unprovable
·2 maanden geleden·discuss
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.