HackerTrans
TopNewTrendsCommentsPastAskShowJobs

unprovable

no profile record

Submissions

AI Has Come for Serif Fonts

wired.com
3 points·by unprovable·เดือนที่แล้ว·2 comments

PQ-SORT – Visualiser for the performance of PQC signatures

pqsort.tii.ae
2 points·by unprovable·เดือนที่แล้ว·0 comments

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

github.com
4 points·by unprovable·เดือนที่แล้ว·1 comments

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

vollo.myrtle.ai
1 points·by unprovable·2 เดือนที่ผ่านมา·1 comments

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

github.com
168 points·by unprovable·2 เดือนที่ผ่านมา·65 comments

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

github.com
1 points·by unprovable·2 เดือนที่ผ่านมา·1 comments

Inexpressibility in Exp-Minus-Log (EML)

arxiv.org
17 points·by unprovable·2 เดือนที่ผ่านมา·1 comments

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

github.com
1 points·by unprovable·3 เดือนที่ผ่านมา·0 comments

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

github.com
3 points·by unprovable·3 เดือนที่ผ่านมา·0 comments

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

xenaproject.wordpress.com
1 points·by unprovable·7 เดือนที่ผ่านมา·0 comments

Oscrypto – cryptographic discovery queries for osquery

github.com
3 points·by unprovable·10 เดือนที่ผ่านมา·0 comments

Scientific Word 4.1-6.1 are now free

mackichan.com
3 points·by unprovable·10 เดือนที่ผ่านมา·1 comments

comments

unprovable
·24 วันที่ผ่านมา·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
·เดือนที่แล้ว·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
·เดือนที่แล้ว·discuss
Nice - can't wait to see how it grows!
unprovable
·เดือนที่แล้ว·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
·เดือนที่แล้ว·discuss
If we couldn't make underwater datacenters work, I doubt it's half as easy to make space-based ones work.
unprovable
·เดือนที่แล้ว·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 เดือนที่ผ่านมา·discuss
Update - put it on a site for folk to use: https://shadowcat.online/
unprovable
·2 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·discuss
With great difficulty...
unprovable
·2 เดือนที่ผ่านมา·discuss
Cheers!
unprovable
·2 เดือนที่ผ่านมา·discuss
QR code has limits, use the file transfer to chunk it. :)
unprovable
·2 เดือนที่ผ่านมา·discuss
If you like this, you're probably gonna like this: https://en.wikipedia.org/wiki/Chessboard_complex
unprovable
·2 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·discuss
Nice UI, but there are open source tools that do the same (network monitoring, static code analysis, etc).
unprovable
·2 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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.