eynsham

8 ms·

31.
by eynsham 2y ago
I think the thought experiment can be set up both ways. In one case Eric has a fixed probability of getting /any/ query right. (This might leave boosting open so we might want to gerrymander repeated queries out.) In the other thi
32.
by eynsham 2y ago
I am glad that you think it an excellent point! I think that this might be a nice way of getting round my objection, but there is one worry, which is that X is relative to a distribution on the questions we ask when we aren’t dealing with E
33.
by eynsham 2y ago
I think the parent comment ultimately concerned the reliability of /beliefs derived from text in reference works v text output by LLMs/, and that seems to be what the replies by the commenter concern. If the point is merely that t
34.
by eynsham 2y ago
That reading of the comment did occur to me, but I think neither dictionaries nor LLMs are capable of belief, and the comment was about the status of beliefs derived from them.
35.
by eynsham 2y ago
> it’s not /justified/ belief Beliefs derived from the output of LLMs that are ‘right most of the time’ pass one facially plausible precisification of ‘justification’ in that they are generated by a reliable belief-generation m
36.
Ruth Barcan Marcus(plato.stanford.edu)
2 points by eynsham 2y ago|0 comments
37.
Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory(arxiv.org)
15 points by eynsham 2y ago|0 comments
38.
by eynsham 2y ago
I wouldn’t say that Chinese verbs have no tense so much as that they are uninflected and that tense is marked with particles (which admittedly do not cause difficulties with irregular infexions).
39.
by eynsham 2y ago
I imagine they’d only be taken to be proofs if formally verified. Admittedly formal verification needn’t guarantee comprehensibility.
40.
by eynsham 2y ago
Who said it was ‘prosecutable’?
41.
by eynsham 2y ago
Taiwan doesn’t fully drop the legal pretence of being China because the /mainland authorities/ would complain. Otherwise, they would do it immediately. (Compare the CPG’s vetoing of democratisation in Hong Kong prior to in the 50s
42.
by eynsham 2y ago
There was once a (joke) civil service paper on moving Hong Kong to Northern Ireland ( https://www.theguardian.com/uk-news/2015/jul/03/uk-officials... ).
43.
by eynsham 2y ago
There are lots of Chinese who think that reunification is something that can wait for centuries even though it’s important. However, this raises the question of what the purpose of the current PRC naval buildup is. Some observations. 1. Chi
44.
by eynsham 2y ago
If people are stupid enough to misread the current press release, they are stupid enough to misread two press releases separated by a week as if they were one press release.
45.
by eynsham 2y ago
>Neither is the US nor most countries in the World. The standard semantics of ‘most countries’ counts countries, not the people in them. Of course the related claim that the majority of /people/ do not live in state parties to
46.
by eynsham 2y ago
There are 124 state parties to the Rome Statute, which is more than a majority, counting standardly.
47.
by eynsham 2y ago
Juxtaposition and equation are different. The press release makes very clear which charges apply to which parties—the charges against the Hamasnikim are quite different from those against Israeli leaders. It also makes clear that the princi
48.
by eynsham 2y ago
> this description misrepresents Relativism The position I have outlined is fairly standard and commonplace; that it is different from the view you call ‘relativism’ does not mean that I have misrepresented you, since I did not in fact i
49.
by eynsham 2y ago
1. Some philosophers think many metaphysical debates meaningless. Consider the debate about ordinary objects such as chairs. These typically are the result of composing more fundamental entities (such as those of the Standard Model). Mereol
50.
by eynsham 2y ago
>an edict about expiration dates is exactly what Division 3 of the Archives Act 1983 (Australia) and section 3(4) of the Public Records Act 1958 (UK) provide for, so this is hardly as unworkable an idea as you make it out to be.
51.
by eynsham 2y ago
Have you read Division 3 of the Archives Act 1983? Something along these lines is fairly widespread, although of course the Sir Humphreys of the world have had some success in limiting the damage done to their interests. https://
52.
by eynsham 2y ago
How does the section titled ‘Category 2: the known health risks of BCS3L-1’ problematically appeal to authority? It seems to about as much as appealing to known results that swallowing vast quantities of lead is a bad idea would. (The other
53.
by eynsham 2y ago
I believe that it is an open question. Were I a betting man, I’d bet that P≠NP. I believe it would also be significant to show that P≠NP implies BQP≠NP but that may already be known.
54.
by eynsham 2y ago
Well, I also suspect BQP≠NP, but we don’t know that yet either. I still don’t understand what is meant by ’straightforward nondeterministic solution’. If you mean that QTMs or quantum circuits aren’t formally the same as NTMs, I agree. But
55.
by eynsham 2y ago
I considered multiple readings of the claim. Obviously different readings may differ in strength. I do not exclude a reading that is neither too strong nor too weak; the comment is an invitation to give one, which you appear to have taken u
56.
by eynsham 2y ago
Since quantum computers can stimulate classical computers, presumably they can solve NP-complete problems, since classical computers, by definition, can. Perhaps you mean that they can’t solve NP-complete problems in polynomial time, but we
57.
by eynsham 2y ago
I suspect that Labor will lose the next federal elections, but what makes you think that /Twitter/ of all things would make the difference? (Or is the conditional not meant to be read that way)?
58.
by eynsham 2y ago
First, you wrote about ‘the country’ as if it’s a monolith. Second, working out what you mean more precisely is hard when you fail to give even the slightest explanation of why it’s the judiciary specifically that wants to preserve the stat
59.
by eynsham 2y ago
I wash quite annoying knitwear that has on occasion shrunk when someone else has washed them or due to my mistakes. I wash inside out in a clothes bag with no spin and cold water using a detergent for wool (e.g. Woollite, which may not be a
60.
by eynsham 2y ago
And I find it odd that you write of ‘the country’ simpliciter when this is a court ruling against a scheme with the support of the government.

More ›