Closer to 9 miles (15km). That's plenty (even though it doesn't sound like much), considering what kind of eruption this would be and how the fault lines lie.
To be entirely fair I had the exact same problem with a "knob" interface. The variable resistor in the AC knob broke down putting the AC in the "just blow air as hard as you can, always" mode.
With a fully digital solution it should even be easier to provide workarounds for situations like that (e.g. remote screen on your phone). I'm not a big fan of touchscreens in cars though, but this particular argument doesn't feel strong to me.
I can replace a resistor pack for $20 with a single Phillips screwdriver. I can even (and have) replaced a transistor when I couldn’t find the part in stock (I had a box of large transistors from an old project). With a screen I am at the mercy of the dealership for what seems to amount to a ‘coolness factor’. Hard pass.
Reminds me of the time I decided to always start using braces for if statements. I was figuring out why this line didn't work:
if(condition)
doSomething()
And naturally the obvious thing do to was to add a debugging statement:
if(condition)
logSomething()
doSomething()
And if I remember correctly all of a sudden the bug didn't exist anymore for the condition I was reviewing. Took me a while to figure out what was going on. Lesson learned: Just always use braces.
I spent two summers planting for the Icelandic forrest service and I imagine that is more or less how I and my coworkers looked like (well, somewhat less feminine I suppose). You shouldn't extrapolate too much from the newspaper picture.
A few years back I had a short interaction with Kenneth Reitz. I sent an email about some issue in requests and got a reply within a minute telling me that the issue had been fixed in a release published a few hours prior.
Considering how hugely popular requests is I imagine my message was just one of so many he answered on day to day basis and he did all this without really needing to do any of it.
I guess I understand how he and other people in similar situations get tired of it all after a while. For whatever its worth requests is an amazing project and has made my life easier in my personal and professional hacking.
Millions of people are depending on that water and electricity daily. Even without a violent release, I suspect draining it would bring long-term discomfort/suffering in the form of significant power loss and water shortages. How long would it take to fill back up to usable levels in that desert?
Actually, I think the strictness of python3 with regards to bytes/strings is particularly useful for people who speak English as their first language. python3 will force them into writing software that can work with international strings whereas python2 code written by an English speaking person would in many cases just be broken for the international users.
And believe me, as an "international" person, this is profoundly annoying and has trained me in avoiding using the non-ASCII letters of my language which of course "castrates" the written language somewhat (i.e. When people use non-ASCII letters for folder names I think they are just asking for trouble - how normal is that?)
I love how upfront python3 is with the difference between raw bytes and strings. I work a lot with python and in particular I do a lot of work with serializing and deserializing stuff from/to binary blobs. Due to platform issues that I hope will change in the next year or so I can't use python3 currently but I keep all my code compatible with both and all tests should run with python2 and python3. Yes, I am firmly in the python3 camp :)
pycharm inspection definitely helps with keeping code compatible with 2 and 3.
> When people use non-ASCII letters for folder names I think they are just asking for trouble
Well they are
> how normal is that?
Not as normal as it ought to be.
Folder names (and file names) are identifiers. Identifiers should identify. If you allow unicode characters, then you can have two character sequences that look the same but are actually distinct. This is confusing at best and at worst (in URLs) could facilitate fraud.
> If you allow unicode characters, then you can have two character sequences that look the same but are actually distinct.
That would be a software bug. If you want to compare unicode strings, you need to normalize them first following the rules laid out in the standard. https://en.wikipedia.org/wiki/Unicode_equivalence
git for example fails that test. (try creating a repo with a file named 'ü' and check it out both on a mac and a linux system)
There are more issues about glyphs that are a distinct character but look the same in a given font, but what's your proposal? All people transliterate everything to ascii? Display punycode in URLs?
Except that, without Unicode, you now have to use a slighly restricted subset of many European languages and cannot use Cyrillic, Chinese etc at all. So people who are not operating in an English environment are limited in their ability to clearly identify things.