HN user
If you find this topic interesting I think you'll benefit from reading "The unfortunate dualist"
http://themindi.blogspot.com/2007/02/chapter-23-unfortunate-...
The whole book "The Mind's I" is a fascinating collection of stories and essays dealing with this topic.
Absolutely - I first learned "vim" using a visual studio plugin. Since then I used it in 5 other editors, but I barely used vim itself.
The main downside is that you don't learn things like window managing, file exploration, etc - mostly because other editors are already good at that, and it's not something plugins focus on.
Async methods also allow you to return values which will be returned as futures.
For example:
return 4;
If you allow a non-async method use await, you get into this situation:
Future<int> foo(){
int result = await something ();
// How to return "result" and still make compiler happy?
}A Turing machine has to be given the axiom of infinity to make this kind of inference, it cannot derive it in any way.
Why not? Are you aware of a proof of this? I think you are limiting the capabilities of Turing machines without evidence.
Unlike the game AIs that repeatedly try to walk through walls.
Game AIs capabilities are a small subset of what a Turing machine can do. Most game AIs can't do speech recognition or solve math equations either.
We programmers write halting programs with great regularity.
So do other programs. Writing a halting program is not an uncomputable problem, and doesn't require solving the halting problem.
Dr Bronner's bar soap uses palm oil grown sustainably in Ghana (according to them): https://www.drbronner.com/media-center/press-release/dr-bron...
Their liquid soap doesn't contain palm oil.
One-Storied America, unlike the other two books which are (humorous) fiction, is a travelogue of Soviet writers visiting the USA in the 30's. It's a fascinating account, and some editions include the photographs taken by one of the authors.
The thing that struck me the most is that many trivial observations they made about US in the same ones I made when I immigrated in the 90's. I'm talking mostly about everyday things: giant parking lots, drug stores that sell mostly not drugs, trucks that hold multiple new cars, fast food, etc. Amazing how little has changed and how old the modern everyday American way of life is.
There is an obvious attempt by the author to make the novel fun. It works - it is impossible for me to read this novel without guffawing multiple times.
Most people will describe a book that makes them laugh out loud as "fun", regardless of whether they observe the darker undertones.
"Fun" also doesn't need to be funny - there are many scenes of spectacular awe and wonder (like in the final chapter!) that are extremely fun.
If that is true, then American consumers subsidize Chinese shipping via higher costs of domestic shipping rather than through higher taxes.
I think you are underestimating what is a web app. Think about any website that requires a password - that is a web app because presumably it will do some personalization. Any content serving site is at least backed by a content management system which is a web app.
It's interesting to try to reconcile that on the one hand:
"Time, as you know it, only exists in your universe. Things are different where I come from"
And on the other hand, there is a clear passage of time implied here:
"This time around, you’ll be a Chinese peasant girl in 540 AD"
"You’re still growing. Once you’ve lived every human life throughout all time, you will have grown enough to be born"
I think these extensions set the standard playbackRate property on the HTML5 video element: https://developer.mozilla.org/en-US/docs/Web/API/HTMLMediaEl...
Try setting the property manually using the JavaScript console and see if you get pitch correction. If not, maybe make sure you're on the latest version of Firefox?
"Anyway no one has ever invaded Russia and won"
Except the Mongols.