HackerTrans
TopNewTrendsCommentsPastAskShowJobs

unprovable

no profile record

Submissions

AI Has Come for Serif Fonts

wired.com
3 points·by unprovable·geçen ay·2 comments

PQ-SORT – Visualiser for the performance of PQC signatures

pqsort.tii.ae
2 points·by unprovable·geçen ay·0 comments

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

github.com
4 points·by unprovable·geçen ay·1 comments

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

vollo.myrtle.ai
1 points·by unprovable·2 ay önce·1 comments

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

github.com
168 points·by unprovable·2 ay önce·65 comments

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

github.com
1 points·by unprovable·2 ay önce·1 comments

Inexpressibility in Exp-Minus-Log (EML)

arxiv.org
17 points·by unprovable·2 ay önce·1 comments

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

github.com
1 points·by unprovable·3 ay önce·0 comments

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

github.com
3 points·by unprovable·3 ay önce·0 comments

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

xenaproject.wordpress.com
1 points·by unprovable·7 ay önce·0 comments

Oscrypto – cryptographic discovery queries for osquery

github.com
3 points·by unprovable·10 ay önce·0 comments

Scientific Word 4.1-6.1 are now free

mackichan.com
3 points·by unprovable·10 ay önce·1 comments

comments

unprovable
·24 gün önce·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
·geçen ay·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
·geçen ay·discuss
Nice - can't wait to see how it grows!
unprovable
·geçen ay·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
·geçen ay·discuss
If we couldn't make underwater datacenters work, I doubt it's half as easy to make space-based ones work.
unprovable
·geçen ay·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 ay önce·discuss
Update - put it on a site for folk to use: https://shadowcat.online/
unprovable
·2 ay önce·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 ay önce·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 ay önce·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 ay önce·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 ay önce·discuss
With great difficulty...
unprovable
·2 ay önce·discuss
Cheers!
unprovable
·2 ay önce·discuss
QR code has limits, use the file transfer to chunk it. :)
unprovable
·2 ay önce·discuss
If you like this, you're probably gonna like this: https://en.wikipedia.org/wiki/Chessboard_complex
unprovable
·2 ay önce·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 ay önce·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 ay önce·discuss
Nice UI, but there are open source tools that do the same (network monitoring, static code analysis, etc).
unprovable
·2 ay önce·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 ay önce·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.