Want to read Slashdot from your mobile device? Point it at m.slashdot.org and keep reading!

 



Forgot your password?
typodupeerror
Trust the World's Fastest VPN with Your Internet Security & Freedom - A Lifetime Subscription of PureVPN at 88% off. Also, Slashdot's Facebook page has a chat bot now. Message it for stories and more. ×

Comment Re:LOL! NERD! (Score 1) 229

Me too. I think the big difference is the lack of feedback in math. If I work for hours or days to construct a proof, I don't really know if it is valid or not, and maybe it was all a waste of time because I made an error in the first few steps. With programming, I can test incrementally, fix errors as I go, and I can see the end result is valid because the program works. The feeling of accomplishment is much better.

If you use automated proof verifiers, like HOL, Metamath, Mizar, etc., the experience is the exact opposite from what you suggest. When a proof is automatically verified, you KNOW the math is 100% correct, even if you spent days working out the proof. That provides a tremendous sense of accomplishment. When writing a computer program of any complexity, while it can be satisfying to see it run, you will never know (barring formal verification) that there aren't still hidden bugs not yet uncovered.

Comment Re:alternative translation (Score 2) 94

I would much rather see $50 billion spent on a speculative quantum computer than on a wall with Mexico. Even if it doesn't work or is "less powerful than a Fitbit," there will be lessons learned pointing to ways to making it work, and probably far more important, there will be spin-off technology that could dramatically improve our lives in ways not yet known. With a $50 billion Wall, not so much.

Comment Re:Has the Internet Killed Curly Quotes? (Score 1) 207

It makes the difference between " start quote " and " end quote ".

In almost all cases, notwithstanding your intentional violation of traditional typographical rules above, a start quote has a space before it and not after, whereas an end quote has no space before it. So in ordinary text, curly quotes rarely convey additional information.

It results in unreadable mess like "Can't open file "'"'"$filename"'"' just because "Can't open file "$filename"" is ambiguous.

The topic is ordinary text, not computer language methods of escaping quotes within quotes.

Comment Re:call insurance (Score 1) 492

If I was subject to epileptic seizures by animated GIFs, I'd certainly turn off GIF animations. (I have them turned off in my browser because I find them annoying.) Why didn't this guy do that? Seriously, there are so many animated GIFs these days that surely quite a few would have just the right frequency to trigger seizures in a susceptible person.

If you are allergic to peanuts, you don't take peanut factory tours. If GIF animations cause you to have seizures, you turn them off. If you don't know how to do it, just google "how to turn off animated gifs to prevent seizures". Is this really not common knowledge in the epileptic community?

Comment Re:The scourges of the WWW, in chronological order (Score 2) 309

8) Hidden menus and mystery meat.

Google Maps is the prototype example. In the first or second iterations some years ago, Google Maps was very nice. Menus and functions used to be obvious and intuitive. They've hidden more and more things behind cryptic icons or that only show up on mouseover. I'm sure I could read up on it and figure it all out, but I use it so rarely that it's not worth my effort. Alternatives such as Mapquest are easier to use, and for occasional things like printing directions they're adequate (although Mapquest is also moving in the Google direction).

Just 2 days ago I needed some custom directions, because a road where I wanted to go was closed by construction making the GPS useless. I tried to use Google maps and futzed around until I sort of had the route I wanted on the screen, but when I tried to print only a small portion was shown and the rest chopped off. By trial and error, I kept zooming out until it fit the printer page, but then the street names became suppressed because I zoomed out too far. After about 10 minutes I gave up and used Mapquest.

(I now remember that the previous time I used Google Maps a few months ago I also gave up on printing directly and instead captured a screen shot and printed that! I forgot about that trick 2 days ago.)

And while I'm on a Google rant, they used to have links to to translate, books, etc. on the main page, and now there's nothing. I have no idea how people find these anymore (I have bookmarks for them). Well, I guess they can Google for "Google translate", but you have to know that it even exists before you can do that.

Comment Re:So? (Score 1) 167

I have Raynaud syndrome and cannot even take food out of the freezer without gloves - my fingers, even ones I didn't touch anything with, turn ghostly white, then purple, then start hurting. Outside in the winter, even a brief exposure without gloves results in chilblain (mild frostbite) ulcers that take weeks to heal. Diltiazem helps a little, but I have still gotten chilblains while on it.

In my case, an iPhone or any touchscreen at all is out of the question in the winter. I have an old-fashioned cell phone with buttons that allow me to answer the phone with thinner gloves I have on under heavy mittens, but forget fingerless gloves.

Comment Re:Not sure (Score 1) 107

Most of my tech friends have gmail accounts, many of them from the days when they were hard to get and almost considered a status symbol. But why is Google's data mining preferable to AOL's or any other? I know that AOL has long been derided as being associated with grandmothers and "free" AOL disks, but their basic email is free now.

Non-tech family and friends tend to have <cable-company>.com email addresses, more or less locking them into a specific cable provider.

As for myself, I chose an ISP that I'm pretty sure isn't interested in data mining my correspondence. And I have my own permanent domain name I can move to a different ISP should things change. I pay a small monthly fee, but it is mainly for my web site with an email account included. A small price I don't mind paying for basically total control over these things. I'd do it with my own server, but all cable companies in this area block incoming port 80 and probably others unless you buy an expensive "business" account for far more than I pay for the web site ISP.

Comment Re:Great firefighters (Score 4, Informative) 243

Did you read the guide at all?

Warning: Regardless of the disabling procedure you use, ALWAYS ASSUME THAT ALL HIGH VOLTAGE COMPONENTS ARE ENERGIZED! Cutting, crushing, or touching high voltage components can result in serious injury or death.

I'm guessing reading is hard for you

On p. 14, "Cutting the front trunk first responder loop", it shows how to disable the high voltage. Under the hood there is a coiled loop of red wire with a big bright orange label with a picture of wire cutters. You cut the red wire. This shuts down the high voltage system outside of the high voltage battery itself. For extra safety, you cut a section out of it so it won't reconnect accidentally.

IMO they should put this on the first page. But at least it is there.

Comment Re:Oh noes (Score 4, Interesting) 180

I received one of these emails from Verizon, which for $59.99 "is a great opportunity to enhance your Fios experience with faster Wi-Fi speeds."

It isn't so much the money or speed I worry about as the ability to control the router's advanced settings for server ports, etc. that I have now in the "old" router.

I couldn't find any detailed information about the new router. I am seriously worried that the advanced settings will be dumbed down or made unavailable, so their outsourced customer service won't have to be concerned with technical stuff and thus require less training. Maybe the monthly fee for the old router is a red flag that this is the case, since they may need customer support with more training. I don't want to buy the new router and then be screwed unless I upgrade to an expensive "business" account. I doubt they will let me go back to the old router.

Does anyone know the specs for the new router?

Comment So much for remorse (Score 5, Insightful) 146

" While we are disappointed by CMS' decision,..."

If she had any sense of ethics, she would be grateful the CMS is doing its job of protecting the public from dishonest people like her. Why isn't she in jail for falsifying test results and endangering people's lives?

She's not sorry she did it, only that she got caught. Typically psychopathic behavior, Sadly she'll probably be successful someday, lying, cheating, and using people on her way up.

Comment Re:By far... (Score 5, Informative) 485

The problem is not the Autopilot feature but the way it has been misleadingly and dangerously marketed.

Musk bragged to the press that Autopilot was "almost twice as good as a person," certainly sending the wrong message. His ex-wife posted a YouTube video of her driving while covering her eyes and dancing around while on Autopilot on a crowded highway. All this has encouraged a bunch of other YouTube videos of people behaving foolishly while on Autopilot.

https://www.yahoo.com/news/tesla-mixes-warnings-bravado-hands-free-driving-002343250--finance.html

Even the marketing name "Autopilot" is probably misleading to some people, who might interpret as "the car drives itself without human assistance". It should have been more conservatively called "driver assist" or some such.

In the end their marketing stupidity is probably going to bite them financially. A dashboard warning doesn't excuse it. I say this regretfully as a Tesla stockholder.

Slashdot Top Deals

"Don't worry about people stealing your ideas. If your ideas are any good, you'll have to ram them down people's throats." -- Howard Aiken

Working...