ozb

6 ms·

1.
by ozb 5mo ago
You're right, I either misread your comment or got confused with a different comment or something. But I do think the Mitsui point is relevant; in particular, the claim that the citation is supposed to back up is: "Moreover, even
2.
by ozb 5mo ago
no, Heppner's attorney-client privilege argument wasn't that the conversation was privileged inherently because it was legal consultation with Claude, but that it was privileged as personal notes made in preparation for consultati
3.
by ozb 5mo ago
The ruling explicitly overrules Shih, thus making exactly that argument: > Shih, of course, is not binding on this Court, and this Court respectfully disagrees with its holding. As relevant here, the court in Shih principally concluded t
4.
by ozb 5mo ago
The overruling of both Shih and the standards laid out in NYSBA ethics opinions 820/842 (and various other state bar associations, and the fact that apparently no one tried to challenge those in court until AI) without real discussion
5.
WASM Interpreter Transformer(huggingface.co)
1 points by ozb 5mo ago|0 comments
6.
by ozb 6mo ago
I don't know much about the Kingdom of Jerusalem per se, but even today many Jews say prayers specifically written after the Crusades https://en.wikipedia.org/wiki/Rhineland_massacres So the symbols of "hope
7.
by ozb 7mo ago
Ah, sorry. I have a (bad?) habit of using newlines as sentence separator in informal contexts, and HN likes to eat newlines if they're not doubled. I'd edit but it's too late now.
8.
by ozb 7mo ago
eh this "plagiarism" framing is overreaching there were two proofs in the paper: countability of algebraic numbers and uncountability of reals countability of algebraic numbers is a rather trivial induction on countability of rati
9.
by ozb 10mo ago
I think there are much better argument for mandatory jury duty, like the fact that it's an inherent and explicit part of the preexisting Constitution, and that was not explicitly repealed nor (as far as I know) considered. But the Cour
10.
by ozb 10mo ago
Yeah, I'm saying the Supreme Court is obviously wrong to allow it on the grounds that they do
11.
by ozb 10mo ago
So, like compulsory jury duty and the draft, this would be directly against the 13th Amendment. Then again, according to the Supreme Court, even forced, unpaid road duty (chain gangs anyone?) is an inherent power of the government, so maybe
12.
by ozb 11mo ago
> integers exist Mostly as an abstraction on top of a continuous wavefunction/quantum field > Spacetime ends up being discretizable As far as I know this is speculative and usually assumed by physicists to be false; it's def
13.
by ozb 11mo ago
Note that in general, a physical instantiation of an undecidable problem must be specified/realized to _infinite_ precision; that is, for any such system S, and for any eps>0, there is a perturbation p with distance d<eps (eg, mo
14.
by ozb 11mo ago
For what it's worth, while I find this "obvious" as well, given the Church-Turing Thesis etc, Nobel Prize-winning physicist and philosopher Roger Penrose famously does think that human brains require access to non-computable
15.
by ozb 11mo ago
Godel's proof relies on the self-referential nature of the Godel sentence; without that, his theorem does not apply. Generally you need arithmetic, but also (something equivalently expressive to) universal quantification. Physical theo
16.
by ozb 11mo ago
(dupe: https://news.ycombinator.com/item?id=45762892 ) And again, almost every statement in this paper is wrong, including the main claim
17.
by ozb 11mo ago
Almost every statement in this paper is wrong. The central claim in particular is not proven because a physical theory P need not be able to express statements like "there exists a number G, which, when interpreted as the text of a the
18.
by ozb 11mo ago
More general analytic proof: https://math.stackexchange.com/questions/2268833/why-is-frac...
19.
by ozb 1y ago
Heh, apparently ChatGPT gets touchy when you explore creative ways to make earth less inhabitable than Mars, especially around pathogens and grey goo > content removed > <red> This content may violate our terms of use or usage p
20.
by ozb 1y ago
I'm not an expert/lawyer, but this does seem to indicate that the situation is a bit more complicated than either "pernicious myth" or "probably illegal" in general (but much closer to toast0's understandi
21.
Ask HN: What's the hardest/most interesting thing you've used AI to code?
4 points by ozb 1y ago|0 comments
22.
Agentic AI Document Review Is Transformative for Complex Litigation(syllo.ai)
4 points by ozb 1y ago|1 comments
23.
Glean – Work AI for All(glean.com)
1 points by ozb 2y ago|1 comments
24.
by ozb 2y ago
Curious if people here have used Glean, if they can share impressions, pricing, or anything else
25.
Data types as Lattices – Dana Scott [pdf](github.com)
34 points by ozb 2y ago|5 comments
26.
by ozb 2y ago
I read this paper some 10 years ago, and have always wondered whether these ideas are implemented in industry. I know people use Denotational Semantics in academia, but eg I want an actual language that can encode the language-independent &
27.
by ozb 2y ago
You can implement the "nonstandard arithmetic" suggestion using bignum integers backed by an infinite tape (subject to availability of said infinite tape). Finite integers have a Halt symbol, non-finite ones simply don't. Ari
28.
by ozb 2y ago
Have you tried a 1-d kd tree, that at each subinterval keeps track of the largest gap? Should be fairly simple to keep this updated and effectively match/generalize your "coalescing" logic.
29.
Ask HN: Why not more fuse filesystems?
1 points by ozb 2y ago|1 comments
30.
by ozb 3y ago
Indeed, transformers are just another universal approximator; it doesn't matter exactly what a particular attention head does, whether it's operating as a continuous associative array or kernel smoothing, or simulating a higher-di

More ›