_alternator_

14 ms·

301.
by _alternator_ 1y ago
So the proofs I’m most familiar with embed programs as polynomials over finite fields. Input data also corresponds to choosing some coefficients, and if you can choose enough coefficients (enough to embed the hash function) then the attack
302.
by _alternator_ 1y ago
The “choosing the program” part is vague, but in many practical cases the user gets to choose the program by choosing input data. This goes back to the rather fuzzy distinction between “data” and “program” you may remember from your early C
303.
by _alternator_ 1y ago
Most of us would be happy with the “probably approximately correct” standard for Claude code. ;) https://en.m.wikipedia.org/wiki/Probably_approximately_corre...
304.
by _alternator_ 1y ago
Yes, basically. The hard work happens in constructing the interactive proof to ensure that you can’t reneg on the earlier steps. All the proofs that I know of allow one to get lucky with probability about .5 in each round. When you do an in
305.
by _alternator_ 1y ago
Correct. I didn’t remember the name, so thanks!
306.
by _alternator_ 1y ago
There is a trick to convert an IP to a non-IP. Usually in an IP, the prover (Bob) has to answer questions from the verifier (Alice), and Alice chooses her questions by flipping a coin. If the Bob doesn’t really know the answer, he’ll get ca
307.
Physical Limits to Computation (2000)(arxiv.org)
2 points by _alternator_ 1y ago|0 comments
308.
by _alternator_ 1y ago
I heard a talk from Mahadevan when I was in grad school, probably around 2010. It was one of the most inspiring talks I heard in my time at Caltech (he was visiting from Harvard). Much of the talk was dedicated to understanding how variable
309.
by _alternator_ 1y ago
That would just be a target list for hackers. Most of the devices that take part are going to be in homes or SMBs with old firmware that’s subject to known vulnerabilities. They will give the list to AS operators who request the offending I
310.
by _alternator_ 1y ago
Spy sats are more bandwidth and power constrained. For low earth, you also can’t usually offload data over the target.
311.
by _alternator_ 1y ago
Interesting thing with this work is that it does create an observable, testable hypothesis: slightly positive curvature of the universe.
312.
by _alternator_ 1y ago
Why is this not the top answer?
313.
by _alternator_ 1y ago
Is it the shingles vaccine? Studies suggest that one vaccine reduces the incidence of dementia by ~20%, for reasons still unknown. https://med.stanford.edu/news/all-news/2025/03/shingles-vacc...
314.
by _alternator_ 1y ago
The obvious next step is not that the LLMs replace doctors, it’s that LLMs become part of the ‘standard of care’, a component of the triage process. You go to the emergency room, and an LLM assessment becomes routine, if not required. This
315.
by _alternator_ 1y ago
The question is not so much whether this is true—we can certainly represent any data as points on a manifold. Rather, it’s the extent to which this point of view is useful. In my experience, it’s not the most powerful perspective. In short,
316.
by _alternator_ 1y ago
While it’s not typical to be sent to CECOT in El Salvador, you don’t need to be “guilty” by the government’s position. They assert the right to send people down there based on allegations that have not been tested in any court.
317.
by _alternator_ 1y ago
This reasoning is at odds with recent history. A lot of effort was put into making machines that could only output grammatically correct sentences. Yet LLMs output grammatically correct sentences when needed, and a whole lot more as context
318.
by _alternator_ 1y ago
Until a couple weeks ago, I considered this a promising approach. What changed? Agents, and Claude code in particular. My prior experience was that LLMs were not much better than reading the docs, and certainly you wouldn’t get far vibe-cod
319.
by _alternator_ 1y ago
Sorta buried in there, but they do note that this is not the first time the transmutation of lead to gold has been accomplished, just the first time it’s been accomplished as near misses in a particle accelerator.
320.
by _alternator_ 1y ago
Seems to be an LLM summary of the source (2023): https://ieeexplore.ieee.org/document/10109339
321.
Tracking Issue for experimental yeet expressions (feature(yeet_expr))(github.com)
2 points by _alternator_ 1y ago|0 comments
322.
Ask HN: Why do startups require non-compete agreements in CA?
1 points by _alternator_ 5y ago|0 comments