eynsham

26 ms·

241.
by eynsham 5y ago
The article doesn’t really explain very much (not that it ought to explain everything, but there’s very little). The proof of the standard claims about ‘expressive adequacy’ (=functional completeness) in propositional logic is given in cap.
242.
by eynsham 5y ago
We should put such suggestions (and indeed so should any other jurisdiction) on a statutory footing if we are serious about them. This means, minimally— 1. use of bodycams 2. to record the furnishing of identity 3. when requested should be
243.
Tom Stevenson on the end of the World Bank’s Doing Business reports(lrb.co.uk)
2 points by eynsham 5y ago|0 comments
244.
by eynsham 5y ago
Every day I quake in my boots at the thought of the hideous revenge r/France will inflict upon us.
245.
by eynsham 5y ago
Consider dexamethasone. > There is, no, no large-scale RCT for IVM. However, it is inherently obvious that none will happen, none that give it a fair shake. Well, the gold standard RCT Recovery ( https://www.recoverytrial.net&#
246.
by eynsham 5y ago
Le Monde diplomatique is not strictly a news publication but is a rather interesting read. It also has editions in Spanish. If you can read Chinese well enough, some of the Hong Kong press is still quite vibrant and interesting: see e.g.
247.
by eynsham 5y ago
I’m generally sceptical of attempts to quantify concepts like ‘internet freedom’.⁰ However, the conclusion is probably right, insofar as it’s meaningful to refer to internet freedom ‘around the world’, even going on a qualitative approach.
248.
How to Track a Mammoth(lrb.co.uk)
2 points by eynsham 5y ago|0 comments
249.
by eynsham 5y ago
The Turing machine has a tape of unbounded size so can’t be built simpliciter. Moreover although it turns out that that model of computation is very robust and sufficient for all purposes in physics (unless black holes or something allow hy
250.
by eynsham 5y ago
Chatham House is a perfectly respectable part (perhaps the most prestigious—they’ve a nice place next to the London Library) of the (British) blob. Whether that lends itself to credibility is of course another matter and I won’t pretend to
251.
by eynsham 5y ago
Lots of people start doing olympiads (often there are relatively big correspondence programmes and similar to train people before selecting teams for the international ones). I was never intelligent enough to do well in them, alas.
252.
by eynsham 5y ago
I found school academically useful for two reasons. First, I am very lazy, but I also don’t want to look it, so I actually took notes, did problem sheets, &c.—and in lessons, since I had nothing better to do, I paid attention and talked
253.
by eynsham 5y ago
> supported by the US Agency for International Development Isn’t it more usual for the NED to do such things? I remark upon this because it occurs to me that using USAID to do politics might make recipients suspicious of aid even when it
254.
by eynsham 5y ago
The implicit premise here is that one can effect change via ethical training. In some respects, this is possible. For example, professional training e.g. against corruption might well have some success. We teach doctors and social workers a
255.
by eynsham 5y ago
Off the top of my head, broadly right-wing attacks include the murders of Jo Cox and Md Saleem. There was also this incident: https://www.standard.co.uk/news/crime/man-stabbed-during-vio... . I may have forgotten s
256.
by eynsham 5y ago
In the UK since we have barely any hospital beds I can see a strong case for universal vaccination to avoid inundating hospitals. One could also simply deprioritise the unvaccinated (though the privacy problem would arise.) The only politic
257.
by eynsham 5y ago
I think of restrictions as falling into three buckets— - restrictions we could put up with ~forever, - restrictions we could put up with temporarily while waiting for something (e.g., vaccines), - restrictions we could put up with temporari
258.
by eynsham 5y ago
> reveal limitations of certain models of computers Modulo weird stuff with black holes or whatever (not that I am qualified to understand whether they count), there are no known counterexamples to the Church-Turing thesis.
259.
by eynsham 5y ago
> As the sibling comment has pointed out, my understanding of UK elections is fine. ‘Every’ is not the same as ‘on average’. > You appear to be arguing that the only way to hold the BBC accountable is to convince Parliament to entirel
260.
by eynsham 5y ago
> The BBC is clearly failing at its goals. Well, the Proms this year were bound to be disappointing, but I’m sure matters will improve next year. And the cricket commentary is still perfectly sound. > Most of the UK population no long
261.
by eynsham 5y ago
> A mutation that's more easily transmitted but less deadly (which jives with the lower death rate count lately). The lower death rate in highly vaccinated states is mostly due to vaccination. Delta might be more or less deadly cet
262.
by eynsham 5y ago
The Lusaka High Court granted leave to apply for judicial review of the decision of the Zambia Information Communication Technology Authority to block access to social media in an order dated 13 August.⁰ The order also ordered the authority
263.
by eynsham 5y ago
And when everyone adds enclosures i.e. ends up in a car, you’re at much more risk than you were before and have all the harms of car-centric urban planning. The physical ability of people is historically specific and if people were to gener
264.
by eynsham 5y ago
> They operate at a higher speed than regular pedal bikes They can, but don’t have to. Strange would be the market were bicycles only capable of going at 20mph or 0mph were used. > We may as well suggest that everyone use electric mot
265.
by eynsham 5y ago
This suggests FDA approval doesn’t say much about whether something works—presumably it still says something about safety. At any rate, whether or not FDA approval means much, to a certain subset of people it ostensibly did, since the objec
266.
by eynsham 5y ago
I am not sure how this would be implemented except by machine translation (probably from English). There are all sorts of problems with this—and since machine translation is already possible, switching to an English and translated Wiki woul
267.
by eynsham 5y ago
The first programming course at Oxford is FP. It makes some sense: (1) sometimes diving into something helps (especially with support from tutors) (2) it gives those with existing programming knowledge something new to work with and (3) fun
268.
Peter Pomerantsev: Information Sovereignty(lrb.co.uk)
2 points by eynsham 5y ago|0 comments
269.
by eynsham 5y ago
This seems needlessly conspiratorial. Dexamethasone’s utility in treating Covid-19 was found by a top-notch RCT (Recovery). It is also quite cheap. ‘Pharm’ (presumably you mean scientists sceptical of ivermectin) made no noise about that.
270.
by eynsham 5y ago
> The English parliament doesn’t exist; presumably you mean either the UK parliament or the Legislative Grand Committee for England. > is allowed to pass legislation to which the head of state consents Case 1: you mean the UK parliame

More ›