eynsham

5 ms·

1.
by eynsham 11mo ago
> Gödel’s second incompleteness theorem shows that you can prove anything, without that proof being meaningful is a lens into that. What has Gödel incompleteness to do with that? We can just take any sentence φ as an axiom, and we’ve a t
2.
by eynsham 1y ago
Most people at e.g. Oxford and Cambridge (and, I suspect, many other universities) use their university emails for a fairly wide variety of extramural correspondence, and are stuck with M$ as the provider, alas.
3.
by eynsham 1y ago
> To get in, you need 4 A* from an independent schools This is not, generally, true. Cambridge tends to have higher offers, and I had a friend offered 5A*+S1 (STEP), but that’s mostly because he buggered up his interview (and he was taki
4.
by eynsham 1y ago
What do you think fully homomorphic encryption is, then?
5.
Computational Learning Theory and Language Acquisition (2010) [pdf](alexc17.github.io)
1 points by eynsham 1y ago|0 comments
6.
by eynsham 1y ago
I don’t see how free software licences ‘sound too good to be true’, in that they don’t even sound relevantly good: they don’t suggest in the slightest that support will be available.
7.
by eynsham 1y ago
Gates is one of the best placed people to claim that the advantages of meeting people in person &c in disbursing his wealth (rather than just ‘giv[ing] talks’) outweigh the emissions. There’re obviously diminishing returns (do COP deleg
8.
by eynsham 1y ago
The European Investment Bank provided €1.5b of funding.¹ EIB decisions don’t generally attract lots of attention from member states other than those concerned, since it is generally understood that the EIB is funding lots of projects in mem
9.
by eynsham 1y ago
It’s rather odd that the ICO is saying this rather than industry lobbyists. No 10 is full of middle-aged technically unsophisticated types who want to look otherwise, and substitute credulity for wordliness, and I think Quangoland’s denizen
10.
by eynsham 2y ago
Most important legislation, including the BNA, is government legislation (indeed, see the white paper: https://www.uniset.ca/naty/maternity/wpaper.pdf ). It is therefore drafted by parliamentary counsel, whose advi
11.
Tom Stevenson on the deciphering of Linear Elamite(lrb.co.uk)
102 points by eynsham 2y ago|24 comments
12.
Form and Number: A History of Mathematical Beauty [pdf](archive.org)
2 points by eynsham 2y ago|0 comments
13.
by eynsham 2y ago
I think that it would help if you were to suggest a term people who don’t want to ‘shut down discussion about related topics all together’ should use. Otherwise, the effect (although perhaps not the intention) of deprecating the term ‘attac
14.
by eynsham 2y ago
Is it not possible that ‘attacking trans people’ is both (sometimes) a euphemism for criticism of maximalist positions and (at other times) a perfectly normal term that designates approximately what ‘attacking x’ generally means? There is s
15.
by eynsham 2y ago
> Have you ever Yes, often.
16.
by eynsham 2y ago
> ‘an historical occasion’ - this is wrong There is nothing wrong with the use of ‘an’ before ‘history’ and the forms of that lemma. It is unusual, and perhaps pretentious or otherwise silly, but only in the same way as ‘connexion’ is an
17.
by eynsham 2y ago
No, ‘all’ is not subjective. My threshold for ‘any’ is one, and threshold for all is, well, all of them. My threshold for a majority is the usual one, as is my threshold for eighty or sixty per cent. I am deriving the worldview that it woul
18.
by eynsham 2y ago
There are obviously good reasons to doubt the cruder ‘fantastical views’ that circulate in the West, but I cannot see why those reasons would lead one to doubt that there is a single ‘true Chinese dissident’. Am I to believe that every Chin
19.
by eynsham 2y ago
Coetzee asked otherwise, although most South Africans pronouncing his surname would say /eə/ or /ɪə/, yes. https://www.bbc.co.uk/blogs/magazinemonitor/2009/09/how_to_s...
20.
by eynsham 2y ago
Doxxing is when someone aggregates publicly available information, I see.
21.
by eynsham 2y ago
This and many other suggestions have been explored, and usually found wanting (see e.g. https://plato.stanford.edu/entries/knowledge-analysis/#NoFal... ).
22.
Remembering Gerrit Noordzij (2022)(hyphenpress.co.uk)
2 points by eynsham 2y ago|0 comments
23.
by eynsham 2y ago
Why wouldn’t Britons also have brain fog? See chart 1 https://www.gov.uk/government/statistics/reported-road-casua... .
24.
by eynsham 2y ago
My bike, with a Sturmey Archer three-speed, cost £160 (from a very reputable shop that services pretty much everything for free or only charges for parts). It is perfectly good for commuting and hobby rides up to at least 50 miles—and I say
25.
by eynsham 2y ago
First, thanks for the conatructive tone. Every day I am astonished that people directly impacted—whose friends died and might have been sexually abused on 7.10 and people whose families have been blown to pieces by aerial bombardment—someho
26.
by eynsham 2y ago
I don’t see how the move out of Cairo really indicates a loss of control anywhere else. It’s not like all the army bases in the Sinai or Alexandria or anywhere else are going anywhere. And there are good reasons to leave Cairo otherwise—for
27.
by eynsham 2y ago
What change do you see in the institutional power of the army that would allow that to happen? And why do you think the Muslim Brotherhood would be so much more radical than it was under Morsi?
28.
by eynsham 2y ago
This still doesn’t address the claim that ‘first’ is wrong, and that sort of hyperbole, if wrong, is quite off-putting. If this is really ‘quite promising compared to existing…solutions’, there’s no need for inflated claims.
29.
Sad Computers and Two Versions of the Church–Turing (2009) [pdf](philpapers.org)
2 points by eynsham 2y ago|0 comments
30.
by eynsham 2y ago
I am not sure that the ambiguity has to work that way. The suggestion I am making is that if we fix the distribution on questions and the training data, we might (a) know the value of X in this specific case, (b) be able to ensure that it i

More ›