quantumgarbage

6 ms·

1.
Stealing Reasoning Traces from Proprietary LLM APIs(stolen-thoughts.com)
699 points by quantumgarbage 1mo ago|308 comments
2.
by quantumgarbage 1mo ago
Proprietary reasoning can be recovered from its encrypted traces. Anthropic, OpenAI, and Google return encrypted chain-of-thought blocks to clients that can be replayed across sessions, users, and models. We take a trace produced by a front
3.
The triage is the product: running AI agents against Ethereum's protocol code(blog.ethereum.org)
2 points by quantumgarbage 2mo ago|0 comments
4.
by quantumgarbage 8mo ago
"it is a shot across the bow of the entire software industry"
5.
by quantumgarbage 8mo ago
Loved it, understanding and working through your vulnerabilities is super hard but ultra rewarding. Bold but very altruistic move to publish this
6.
by quantumgarbage 10mo ago
I think the point was not about truck culture, but anti-social behaviours
7.
On the Distribution of the Distances of Random Words(eprint.iacr.org)
3 points by quantumgarbage 11mo ago|1 comments
8.
by quantumgarbage 11mo ago
A result proving that the capacity conjecture of Ben-Sasson, Carmon, Ishai, Kopparty and Saraf (J. ACM '23) is false. This conjecture is being used by quite a few zkVM projects, to reduce their proof size and verifier time.
9.
by quantumgarbage 11mo ago
nice, my kids are going to have so many fond memories of their childhood thanks to your app
10.
by quantumgarbage 11mo ago
We are questioning the assumptions themselves, not the act of making them. (I don't feel like anyone is upset?)
11.
by quantumgarbage 1y ago
Sure, that does not mean all models are equal. Economics both describe and prescribe, so those models should be evaluated on their predictive power and on whether they have actually done any good.
12.
by quantumgarbage 1y ago
That isn't a vague strawman, that's a great point. Economists work from assumptions, which can be flawed in two ways: they can be blatantly wrong (see the work Kahneman and Tversky did on the rational individual hypothesis) and th
13.
Did the HHS Just Explain Autism?(cremieux.xyz)
38 points by quantumgarbage 1y ago|6 comments
14.
by quantumgarbage 1y ago
Sure, show us the numbers you got from your "further readings". Plenty of peeps are being much more factual below, compared to the gvt linguo that you are just rehashing rn
15.
by quantumgarbage 1y ago
Not only tether is a "thing", its actually in the top 10 US bonds buyer. So this "thing" isn't a business anymore, but an actual, proper, geopolitical actor.
16.
by quantumgarbage 1y ago
This is not an attack on hash functions in general. In this paper, the authors build a statement (or "circuit") which should, by construction, not have any accepting claim. Yet, they show that when using GKR along the FS transform
17.
by quantumgarbage 1y ago
By "easy" I mean straightforward. Previous examples which showed how instantiating Fiat Shamir leads to an unsound protocol were so contrived that people use to think that they were a testament to how unlikely breaking FS would be
18.
by quantumgarbage 1y ago
The protocol is in charge of producing the proof. Fiat Shamir is a heuristic, some kind of rule of thumb, which consists in using a hash function as a source of randomness. Cryptographic protocols often feature coin tosses. The idea is that
19.
by quantumgarbage 1y ago
Yes, what you are missing is that attacks on Fiat Shamir were very contrived up to now. However the paper shows that there in fact exists a pretty simple way to break the Fiat Shamir heuristic, for a protocol operating in the RO model. And
20.
by quantumgarbage 1y ago
> A modern sparse Transformer, for instance, is not "conscious," but it is an excellent engineering approximation of two core brain functions: the Global Workspace (via self-attention) and Dynamic Sparsity (via MoE). Could you
21.
by quantumgarbage 1y ago
I think s/he meant swans instead (in ref. to Popperian epistemology). Not sure though, the point s/he is making isn't really clear to me as well
22.
by quantumgarbage 1y ago
Look for the "Fiat Shamir heuristic" to understand the non interactive part. It basically consists in the prover getting its random challenges from hashing public inputs, rather than from the verifier's coin tosses.
23.
by quantumgarbage 1y ago
Ofc, since approx the 80s
24.
by quantumgarbage 1y ago
Ah so I was right to scroll down to find a sane take
25.
by quantumgarbage 1y ago
Like anyone, I'm always impressed by geniuses displaying hollywood cliché traits. But that's even more impressive when they are great humans too.
26.
by quantumgarbage 1y ago
I think you are way past the argument the writer is making.
27.
by quantumgarbage 1y ago
Yes, this list reads like one a Midwestern high schooler would go through to impress his failed literature teacher, who will write him a nice recommendation letter for the ultra-conformist university of his dreams, dooming him to 25 years o
28.
by quantumgarbage 1y ago
Some states have "alcohol-exclusion laws" which make it possible for insurers to deny coverage if you had a car accident while intoxicated. I guess that might be one explanation?
29.
by quantumgarbage 1y ago
yes agree, kinda clickbaity title: "we found insurance fraud in our crash data" end of post: "Does this prove fraud? Absolutely not." lmao
30.
by quantumgarbage 1y ago
On this topic, I can't recommend enough the movie "The life of Others" (2006). Depicts surveillance in Eastern Germany and the state of sheer fear and paranoia its citizens had to live in.

More ›