I think that GPPs point can perhaps be reworded as "We write proofs to convince other humans, not to convince theorem provers". There are some theorems whose proofs have been verified automatically, and others which only have computer-assisted proofs (e.g. the four colour theorem, or the theorem formerly known as the Kepler conjecture), but from a philosophical point of view a proof is considered a proof if it convinces the experts in the field.
As with much of AI, there has been progress but there is still a way to go. In particular, the input format for theorem checkers is not yet the mathematical paper. I'm not aware that anyone apart from Mohan Ganesalingam and his collaborator Thomas Barnet-Lamb have worked on parsing mathematical papers into something which could be supplied to a theorem checker; Ganesalingam's 2013 book The Language of Mathematics: A Linguistic and Philosophical Investigation gives an idea of the challenges and limitations of such an approach.
Is this supposed to be impressive, that such a massive investment of resources still can't replace the energy of even a single gas turbine on one small site?
Could you quantify that? I'm not sure how much a single gas turbine on one small site should produce, but a quick web search shows that GE's gas turbines produce 34 MW to 557 MW, so even the top end is less than the 659MW output given in the summary above.
I'm not sure how many people will get the Brexit they want, but certainly none of the options currently being mooted are what was promised in the referendum campaign.
Part of why I'm a bit iffy on switching to a DSLR is because I want one which handles ambient light only well enough that if the flash died it could take me actual, literal years to find out
Even entry-level DSLRs give you full control over whether to use the flash or underexpose (or, nowadays, whack the auto-ISO up to insane values).
I enjoyed the first two seasons, thought the third was already too much, and dropped out after a couple of episodes of the fourth. I found that as they piled more and more geek stereotypes onto the same four characters it eventually broke my suspension of disbelief.
One of our teachers gave everyone in my Further Maths A-level class a slide rule from school supplies to keep, because they no longer needed them. I've still got mine. Curiously, I don't think I still have the graphical calculator I bought the year before.
I am reminded of when my school got its first Windows network in the mid-90s. All of the pupils were initially given the password pupil. It didn't take long to guess that all of the teachers had been given the password staff, and some hadn't changed it. The headmaster hadn't changed his either: it was head. We had some fun with WinPopup for the first couple of weeks...
There are some iconic leaders who are or would be missed. Steve Jobs, Elon Musk - you can barely imagine their companies without them
And yet Apple is still going. As you say, it may well not be the company it would have been if Jobs were still alive and fit to run it, but he wasn't irreplaceable either.
The title and entire summary are incredibly short, so I'll quote the whole thing and highlight the parts which might have made GPP think that Apple was trying to convince developers to move from one-time purchases to subscription models:
Apple Asked Developers To Adopt Subscriptions and Hike App Prices, Report Says
Apple invited a group of app developers to a secret April 2017 meeting in New York's Tribeca district, asking them to move from selling apps at low prices to renting app access through subscriptions, Business Insider reports. From a story:
This change is intended to keep users paying for apps "on a regular basis, putting money into developer coffers on a regular schedule," the report claims.
Now, it's true that sometimes the summary on Slashdot says the opposite to TFA, but here that doesn't seem to be the case. Unless you've read a very different article to the one which is posted here, it's your reading comprehension which seems to be sub-par.
X-raying bags seems a more reasonable response than searching people's rooms. I would consider it less intrusive (although I concede that YMMV: I live in a country where they X-ray bags before allowing you on a long-distance train), and much more likely to find weapons.
The point you make is a very valid one, but (on the basis of the summary) I'm not sure that you're necessarily in disagreement with the OP. Making a dynamic website requires you to understand a lot of layers, but there are useful systems which are very simple. Sometimes you just need to munge some data, and a skilled Perl user could do it in one line and no more than five minutes. Far more people have problems on that scale than need to make large websites, but most of them will do the data munging by hand because they don't know how to program, or at best they've taken an introductory class in something like Python or Java but they're on a Windows machine with no relevant compilers or interpreters installed and they don't know about sites like IDEOne or TryItOnline.
That may in part be because (whether correctly or not, I don't know) people associate breast cancer with bad luck (i.e. mainly genetics which are out of the patient's control) and lung cancer with bad decisions (i.e. smoking).
Try living somewhere which has two official languages and recently renamed a load of streets which were previously named after people linked to a former dictatorship. That means four different names, and Google Maps will switch between them arbitrarily for different sections of the same street.
I and my brother bought a second-hand Amiga 500+ by saving up our pocket money. 50 GBP second-hand, and it came with dozens of games and other programs (some original, others copies). Even adjusting for inflation, that's only about 4 times the cost of a Raspberry Pi.
It also wasn't really necessary to understand the hardware to do cool things. You could make a shoot-em-up with Blitz Basic which looked just as good as most of the stuff you got on magazine cover disks.
Sweden couldn't legally do that: if they extradite him from the UK via a European Arrest Warrant, they can't then extradite him to anywhere without applying to the High Court in London. If they decide to ignore that provision of the treaty which established the EAW, they would have to assume that no-one would ever honour their applications again. Assange might well be narcissistic enough to think that he's worth it, but I'm amazed that anyone else would.
I've learnt with booking.com to check for cleaning fees on top of the base price. They seem to be quite common in France and Spain, at least, and in one case would have doubled the cost of the room if I hadn't noticed and discarded that particular apartment.
To those criticisms I would add the standard criticism of most reporting on statistics: they've given us the average (by which they undoubtedly mean the arithmetic mean), but what's the median? Are Norway's millennials as a class rich, or is it a handful with insane incomes skewing the headline figure?
The "association" of "association football" comes from "Football Association", and is to distinguish it from the football games which were idiosyncratic to a single public (i.e. non-state) school such as, most famously, Rugby football.
The main failure I've seen has been not using it. E.g. in the England-Croatia game England missed out on two corners because the referee and assistants on the pitch didn't see them and didn't consult VAR.
Slashdot Mirror
I think that GPPs point can perhaps be reworded as "We write proofs to convince other humans, not to convince theorem provers". There are some theorems whose proofs have been verified automatically, and others which only have computer-assisted proofs (e.g. the four colour theorem, or the theorem formerly known as the Kepler conjecture), but from a philosophical point of view a proof is considered a proof if it convinces the experts in the field.
As with much of AI, there has been progress but there is still a way to go. In particular, the input format for theorem checkers is not yet the mathematical paper. I'm not aware that anyone apart from Mohan Ganesalingam and his collaborator Thomas Barnet-Lamb have worked on parsing mathematical papers into something which could be supplied to a theorem checker; Ganesalingam's 2013 book The Language of Mathematics: A Linguistic and Philosophical Investigation gives an idea of the challenges and limitations of such an approach.
Could you quantify that? I'm not sure how much a single gas turbine on one small site should produce, but a quick web search shows that GE's gas turbines produce 34 MW to 557 MW, so even the top end is less than the 659MW output given in the summary above.
I'm not sure how many people will get the Brexit they want, but certainly none of the options currently being mooted are what was promised in the referendum campaign.
Even entry-level DSLRs give you full control over whether to use the flash or underexpose (or, nowadays, whack the auto-ISO up to insane values).
The Secret Life of Bots was an enjoyable little story, but it did make me wonder at the level of editing. For example,
I can concede that the error of "degrees K" might be the character's error rather than the author's, but nitrogen boils at 77K.
I enjoyed the first two seasons, thought the third was already too much, and dropped out after a couple of episodes of the fourth. I found that as they piled more and more geek stereotypes onto the same four characters it eventually broke my suspension of disbelief.
One of our teachers gave everyone in my Further Maths A-level class a slide rule from school supplies to keep, because they no longer needed them. I've still got mine. Curiously, I don't think I still have the graphical calculator I bought the year before.
I am reminded of when my school got its first Windows network in the mid-90s. All of the pupils were initially given the password pupil. It didn't take long to guess that all of the teachers had been given the password staff, and some hadn't changed it. The headmaster hadn't changed his either: it was head. We had some fun with WinPopup for the first couple of weeks...
And yet Apple is still going. As you say, it may well not be the company it would have been if Jobs were still alive and fit to run it, but he wasn't irreplaceable either.
Should we infer from the fact that you didn't make the same distinction with respect to the Heinkel that your family vehicle in the 60s was an He 112?
The title and entire summary are incredibly short, so I'll quote the whole thing and highlight the parts which might have made GPP think that Apple was trying to convince developers to move from one-time purchases to subscription models:
Now, it's true that sometimes the summary on Slashdot says the opposite to TFA, but here that doesn't seem to be the case. Unless you've read a very different article to the one which is posted here, it's your reading comprehension which seems to be sub-par.
X-raying bags seems a more reasonable response than searching people's rooms. I would consider it less intrusive (although I concede that YMMV: I live in a country where they X-ray bags before allowing you on a long-distance train), and much more likely to find weapons.
Well, as Maxim 6 of the Seventy Maxims of Maximally Effective Mercenaries says, If violence wasn’t your last resort, you failed to resort to enough of it.
The point you make is a very valid one, but (on the basis of the summary) I'm not sure that you're necessarily in disagreement with the OP. Making a dynamic website requires you to understand a lot of layers, but there are useful systems which are very simple. Sometimes you just need to munge some data, and a skilled Perl user could do it in one line and no more than five minutes. Far more people have problems on that scale than need to make large websites, but most of them will do the data munging by hand because they don't know how to program, or at best they've taken an introductory class in something like Python or Java but they're on a Windows machine with no relevant compilers or interpreters installed and they don't know about sites like IDEOne or TryItOnline.
That may in part be because (whether correctly or not, I don't know) people associate breast cancer with bad luck (i.e. mainly genetics which are out of the patient's control) and lung cancer with bad decisions (i.e. smoking).
Try living somewhere which has two official languages and recently renamed a load of streets which were previously named after people linked to a former dictatorship. That means four different names, and Google Maps will switch between them arbitrarily for different sections of the same street.
I and my brother bought a second-hand Amiga 500+ by saving up our pocket money. 50 GBP second-hand, and it came with dozens of games and other programs (some original, others copies). Even adjusting for inflation, that's only about 4 times the cost of a Raspberry Pi.
It also wasn't really necessary to understand the hardware to do cool things. You could make a shoot-em-up with Blitz Basic which looked just as good as most of the stuff you got on magazine cover disks.
Sweden couldn't legally do that: if they extradite him from the UK via a European Arrest Warrant, they can't then extradite him to anywhere without applying to the High Court in London. If they decide to ignore that provision of the treaty which established the EAW, they would have to assume that no-one would ever honour their applications again. Assange might well be narcissistic enough to think that he's worth it, but I'm amazed that anyone else would.
The really sad thing is that it's spelt correctly in the summary, twice, so it's not even consistently wrong.
The EU definitely had a part to play in monopoly abuse proceedings against MS. It was the EU that forced MS to offer people a choice of browsers.
I've learnt with booking.com to check for cleaning fees on top of the base price. They seem to be quite common in France and Spain, at least, and in one case would have doubled the cost of the room if I hadn't noticed and discarded that particular apartment.
To those criticisms I would add the standard criticism of most reporting on statistics: they've given us the average (by which they undoubtedly mean the arithmetic mean), but what's the median? Are Norway's millennials as a class rich, or is it a handful with insane incomes skewing the headline figure?
The "association" of "association football" comes from "Football Association", and is to distinguish it from the football games which were idiosyncratic to a single public (i.e. non-state) school such as, most famously, Rugby football.
The main failure I've seen has been not using it. E.g. in the England-Croatia game England missed out on two corners because the referee and assistants on the pitch didn't see them and didn't consult VAR.