Re: Very disappointed..
> I'd certainly like to know how contractors wood cure felt roofing without a flamethrower
With a blowtorch, a more elegant tool, less random than a flamethrower.
195 posts • joined 11 Feb 2011
> This is why theorem provers have been invented.
Not quite, certainly not worth the "LOLNO".
Theorem provers were invented - because, hey, why not, they're fun - and after that someone had a go at applying them to software. And found that it is jolly tricky to express your software, requirements and all, in a way that can be usefully processed by a theorem prover. So, precious little software has ever been "proved correct" and bug free - so little, and encountered by so few working programmers, that the "all" in "all software ... has bugs" barely even registers as hyperbole.
And even that is pre-supposing that the requirements can still be regarded as 'bug free' themselves, as Lee D pointed out.
> Otherwise it wouldn't/shouldn't have come as a surprise to them...
I didn't spot where the article expressed any suprise. Just a reasoned explanation of what is going wrong, so that we can all understand how it is going wrong, not just that it has been going wrong.
Perhaps also a modicum of sadness that those who actually need to understand an article like this will be precisely those who would never read it - and it was ever thus.
> Most Pokemon gyms & stops are at places where youths would normally congregate at anyway,
Do you have evidence to share with us that is the case?
> There's no real evidence other than just a random co-incidence unless the researcher has hard and fast evidence that the last app open on the unfortunate's mobile was indeed Pokemon Go.
That would only be true if _every_ place where youths normally congregate was also a Pokemon place.
Otherwise, you divvy up the location into the (for this case) 4 groups based upon combinations of two simple yes/no variables and ta-da you have controls against which your stats can be calculated. No need to look at the mobile phones.
> one-handed Ctrl-Alt-Del has been possible on PC keyboards (some of them, anyway) ... Left hand...
Get yourself a decent Northgate Omnikey Ultra and the 3-finger salute is done with just the Right hand: Thumb on RHS Ctrl, Index on RHS Alt and Ring on cursor pad Del. If you're (still) flexible enough you can make it into a proper Vulcan salute :-)
> "The Registry" was originally supposed to replace all of the INI files with something more efficient, but then everything "OLE" began to pollute it
Turn that around - OLE (assuming you want something like OLE, but that is another matter) _needs_ the centralised Registry (for hopefully fairly obvious reasons).
_Then_ people started having the brilliant idea of dropping what was held in INI files into the same place, ensuring that we lose the ability to write comments about _what_ this value is for and _who_ just changed it and _why_ they did and _when_ (ok, so you never bothered with writing those comments but at least you had the opportunity to document your INI file contents).
So I followed the URL you gave - can't watch video at work, but loved the text:
> I’m genuinely curious as to why programs in dynamic languages are as reliable as they are ...
note that doesn't say _how_ reliable they are, just that it is suprising that dynamic typing is even capable of reaching whatever that level of reliablility.
> ... although I confess I don’t yet have many of the answers.
How about endless hours of debugging and swearing when you finally spot the typo that static typing would've caught at the first attempt?
> Even if a phone did die in the process restoring it is trivial.
To you it is trivial, but to Joe Bloggs who has just been faced with a dead 'phone for the first time, not so much. Where does he find out how to restore it? Look it up on the Web? But his 'phone was how he normally accesses the web.
> Was anyone remotely inconvenienced with this?
Restoring a 'phone is so trivial it is actually _convenient_ to do so? Interesting use of the word.
And as for the "anyone", well, what about Tachikoma earlier on in the comment thread?
> the strange fad for holding phones horizontally
Otherwise all that electromagnetic radiation will shine into the your ear and IRRADIATE YOUR BRAIN!
(plus it means that they have to put it on speakerphone so that everyone can hear how special their conversation is)
>> "There exist no such topics. ANYTHING and EVERYTHING should be joked about."
> Just where does this modern misapprehension come from?
>...Try talking to people face to face and making off colour jokes, and see where that gets you,
Saying that there should be jokes about X does not imply that every joke about X should exist (be spoken out loud) and certainly not in every context/situation.
Gallows humour will save your sanity when the gallows are looming but isn't appropriate at your toddler's tea party.
Then again, some toddlers... and the parents... the gallows look quite friendly now.
> Expert Systems (like Weizenbaum's Eliza)
Eliza is/was not an Expert System! It's nothing even vaguely like an XPS!
But the Fifth Generation Machines of the 80's *did* justify all the money spent on them: as they were intended to run logic languages efficiently, the phrase was heard "Prolog, The Language of The Fifth Generation" which was inevitably repeated as "Prolog, the Fifth Generation Language". Soon, "if Prolog is the 5GL, what is the 4GL?". Guess what they chose. So without all the money spent on those machines we wouldn't have people gainfully employed trying to bullshit about why you should call SQL a 4GL.
I always love reading the Wikipedia page on 4GL whenever I feel the blood pressure dropping.
Exit stage left, muttering.
> responsive web design and is being used all over the place so that websites are usable on mobiles and tablets.
So why are so many websites serving up two *different* sites, one for desktop and one for mobile/tablet? That isn't responsive, it isn't HTML flowing to suit
the available space, it is two distinct and seperately UNresponsive page designs. Just look for any site that suggests you go look at its 'mobile' version
(like, ooh, The Register).
The very fact that anyone even thought to include an option in a browser for "request desktop site" confirms the point that Simone was making.
> The SRBs are really questionable on reuse since they were of course the component that caused the Challenger disaster and that's something that might not have happened had the design been throw away. No need to design the SRB as a series of demountable ring sections.
The SRBs were assembled from sections because of the problems transporting them from the factory, not because they were reusable.
> There are a lot of other countries to choose from
Unfortunately, if you happen to be an eclipse chaser then the choice of where and when to take the holiday that you want is limited. I get the feeling that this year's stories could put the Libya trip into an entirely new perspective.
Damn, I've just suggested on a social website that I may have visited Libya.
Kickstarter *used* to vet their projects but a few years ago decided to short-circuit that, leading to a sudden surge in twaddle (the great "making potato salad" days).
More recently, they instigated the "working prototype" and "more than just renders" rules. That sounds good - and a few projects do get cancelled by KS for breaking those rules. *BUT* it appears to be run as "we will cancel if enough backers complain - perhaps" rather than "we won't allow them to start in the first place".
Which means that Kickstarter themselves don't (seem to) do much to keep the project starters honest, they have crowdsourced that to their backers.
Have to say "seem to" as there isn't any visibility of projects that never make it onto the site in the first place.
> Chrome pops up a prompt and the user has to explicitly choose a device to connect to
But isn't "the user" in that statement the Bad Man? So presenting him with a prompt and a choice of delicious low-hanging fruit is hardly any form of security.
I was thinking more of the Japanese "Fifth Generation" which was intended to run Logic Programming because that was the bees-knees of AI back in the 1980s.
The inevitable Wikipedia article
- although that me grit my teeth because it presents "argument" that there were "parallel generations of programming languages" because they've fallen hook, line and sinker for the "4GL" marketing twaddle that came out because of misreading the line "Prolog is the language of the Fifth Generation" as "Prolog is a fifth generation language" so we can call our database language "fourth generation" and then retrofitting "SQL is 4GL" to the claim here that "TeX is 4GL".
> why does the register want me to create an account with a password..
> Even if you think it ties me to my comment that is not really sure
> there are several dozen people with exactly my name in the world
It isn't tying any identifiable "you" to your comments, but it is tying all your comments together and separating them from everyone else's on each site for the public to see - even if 20 other people created accounts with the same visible handle of "Dave 15" clicking on the hyperlink that is on one of *your* comments will show *your* history, it won't mix in any of the other "Dave 15". If you change your visible handle, the trail remains.
(note: some forums allow/encourage handle changes, some prevent it: I haven't checked what The Register does)
> It's designed to be used as a router - so 4 NICs plus a WAN port.
Are you sure about that - 4 NICs? I'm still looking for more detailed diagrams (are they available?) but the site you linked to shows that the board has a BCM53125 Ethernet Switch IC, which makes me think that the SoC has at most 2 NICs, one of which is connected to a port on this Switch. Not quite as flexible as 4 separate NICs.
>The application is pretty much un-maintainable
Although Scott Gilbertson seemed to be up to the task
> underlying infrastructure is obsolete and will therefore be crumbling
Crumbling? An odd idea even when applied to old hardware, but software? "This 'if' statement was written 20 years ago, the bits must be starting to flake apart by now".
> What happens if the execution environment has security issues or does not function in the next version of $OS?
You do just what everyone would expect: test on the next OS version asap - if it *does* have trouble then you start the deliberate process of replacing the application (by re-coding it or getting an equivalent product in or...) - or decide that the cost doesn't warrant the work and look for a different approach to fulfill the business needs. All done before you roll the new OS out to production systems.
> I've been to 3 major hardware chains here in the last week
So you *have* had a choice of retailer, all of whom had equivalent goods (in this case, none that you liked, but all still equivalent). So if one of those retailers started doing creepy things tracking your purchase data, the others are equally fine choices of retailer.
> I'm farsighted, and will probably have problems with focus at such a close range. Have these VR headset people even thought about that?
Decent headset displays since the 1990s (at least the ones I saw, and most of those I just read about) were focussed at infinity.
I didn't spot anything in the article about the focal distance for this headset (and can't view the videos 'til I get home).
> One would expect it to have adjustable oculars, the same way as binoculars have had since forever. > [who] Would be silly to make an expensive device without such a basic feature
How about the Vufine+? Their second model, a monocular display ("augmented reality") supposedly even usable when flying a drone but with a fixed focal distance of 12 inches, no adjustment at all.
Biting the hand that feeds IT © 1998–2020