quantumgarbage

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 mod…

"it is a shot across the bow of the entire software industry"

Loved it, understanding and working through your vulnerabilities is super hard but ultra rewarding. Bold but very altruistic move to publish this

I think the point was not about truck culture, but anti-social behaviours

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 p…

nice, my kids are going to have so many fond memories of their childhood thanks to your app

We are questioning the assumptions themselves, not the act of making them. (I don't feel like anyone is upset?)

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.

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 th…

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

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.

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 th…

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 testam…

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 oft…

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 …

> 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) an…

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

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 th…

Ofc, since approx the 80s

Ah so I was right to scroll down to find a sane take

Like anyone, I'm always impressed by geniuses displaying hollywood cliché traits. But that's even more impressive when they are great humans too.

I think you are way past the argument the writer is making.

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 …