Viewing profile — ozb

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

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…

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…

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

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

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.

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 …

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

Yeah, I'm saying the Supreme Court is obviously wrong to allow it on the grounds that they do

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

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

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, ther…

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

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…

(dupe: https://news.ycombinator.com/item?id=45762892 ) And again, almost every statement in this paper is wrong, including the main claim

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…

More general analytic proof: https://math.stackexchange.com/questions/2268833/why-is-frac...

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 > This conte…

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

Personally I'm more interested in technically complex projects, and systems programming more than web apps, vibe coding tools, or MCPs. What tools have you used? What tips do you h…

Curious if people here have used Glean, if they can share impressions, pricing, or anything else

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