skysight-inc/HackerNews huggingface dataset:
Ok, I'm not a Trump supporter, but if you look at what Trump said, he was talking about Hillary's deleted emails.

You know, the ones that were deleted years ago.

He was not asking Russia to hack anything, he was asking that if the Russians had already got access to those emails (due to their own hacking) then they should provide them to the FBI. It's a subtle but important difference.

It's also worth noting that this is well within the scope of a treaty [0] between the US and Russia (signed by none other than Bill Clinton) covering mutual legal assistance in criminal matters (which this surely is).

If you believe that Trump is encouraging Russia to hack various people in order to influence the US election, you have probably been deliberately misled by various media outlets.

I say deliberately because if you look at the media outlets driving this story, it's the same ones the DNCleaks show are in direct collusion with the DNC. The DNCleaks also contain information on a strategy that the DNC would try to distract the public from Hillary's email scandal if anything was released from that by trying to put the blame on Russia trying to influence the election (playing to the general public's confirmation bias that Trump and Putin are buddy-buddy).

The thing is though, that if there was enough evidence of wrongdoing in those deleted emails that they could influence the outcome of the US election, then Hillary Clinton probably shouldn't be running for president in the first place.

Here's a thought experiment:

Imagine if the deleted emails contain incriminating content that would cause Hillary to lose the election.
Imagine Russia hacked Hillary's server and got access to them.
Imagine if they don't release them.
Imagine if Hillary becomes president.

Congratulations, now Russia has something they can use to blackmail the president of the United States.

Either there's nothing of importance in the emails and Russia providing them (assuming they even had them) would have no influence on the election, or there is something of importance in them and that disqualifies Hillary as a suitable candidate.

Either way, none of that is on Trump.

0: https://www.congress.gov/treaty-document/106th-congress/22
Bitcoin derivatives exchange offers first real options and futures
https://www.deribit.com is the only platform in the world offering margin trading of plain "vanilla" european options and futures on bitcoin.

To date, it is fastest and most technically advanced bitcoin derivatives exchange. The platform is built on the Erlang/OTP stack prepared to a high load (e.g. like Whatsapp). All its data is streamed in real time, through websockets, to client browser as well as it is possible to trade via REST, Websockets API or FIX bridge.

Deribit is currently looking for market makers to add liquidity to the exchange. The goal is to create a liquid market in vanilla options that is currently lacking in the Bitcoin space. Join us and change the history of derivatives market!
Well played by Didi. This was a years-long chess game with enormous stakes and Didi came out winning. Make no mistake, Uber's goal was absolutely to dominate in China, if they could. That was a big part of their pitch to investors over the past two years. This deal is an admission of defeat and a retreat from competition, salvaging what value they could in the process.

I would imagine this speaks to mounting pressure on Uber to begin producing real profits. If so, expect many changes in the coming year+ as the company's unit economics (outside its usurious car leases) are clearly still abysmal in almost all markets.
It is also worth noting that failure is often a step on the path to success. Learning to apply the "code is data" principle in other programming languages is not without pitfalls as you say and falling on one's face sometimes is to be expected.

However, that's part of the process too as is learning when to use a hammer vs a wrench vs a screwdriver. There is the point in learning a new tool where everything looks like a nail. Yes, people will really mess things up by applying the wrong concepts but how else do we learn?
Yep. CS:GO here. I sometimes wonder why I still play that game. It's really digital crack. I really want to get into personal projects but sometimes I just would like to get out of the house and explore stuff. Thing is I can't do that, not where I live. At least until I move out.
> wasn't orbitz lisp?

Yes and still is, as far as I know. The pricing engine is written by ITA Software which was acquired by Google a while back.
About Karine – Growth and Care in London
Further, there is almost always a better data structure for any mixed-type list. So if you know your code will go through pypy, you can just use a different structure.
It's not the same Max in the Fury Road, so I'm not sure that applies.
this is bad news for Lyft who Didi basically just abandoned after partnering with them and were hoping that Uber would self implode by overspending in China, Uber has got the US market on lock

https://techcrunch.com/2016/04/11/lyft-and-didi-kuaidi-launc...
I have the book he mentions, The Untold History of Japanese Game Developers, Volume Two. It is a fantastic book and worth your time if this stuff interests you.
By "location-independent" I mean a person doesn't have to be in a certain location to run their business. Meaning, they can run their business from anywhere.
There’s more to life than being a f***ing entrepreneur
You're getting downvoted, and for the people doing that, the DNCleak emails provide evidence that the DNC is colluding with and directly influencing stories and content at major US news outlets. Unfortunately, this person is right.
Yes, as in a sale, if both parties walk away happy it was a good sale. I feel there is way too much "screw the companies" attitude here.
> antitrust law in China

Ok, seriously?

https://en.wikipedia.org/wiki/List_of_largest_Chinese_compan...
That description of ML reminds me what I really like about REBOL and RED as well.
The British Industrial Revolution in Global Perspective [pdf]
What did you replace games with?
Sorry, the sharing settings were wrong. Now it can be viewed without an Google account.
The problem with linux is the zero discoverability. I am sure it is extremely powerful to an existing expert who knows all the syntax of the command lines by heart and understands the architecture of the system, but the RTFM approach is not appealing to everyone.

Particularly to enthusiasts like me who like to do advanced stuff occasionally, ie not frequently enough that it makes sense to learn by heart all sort of commands, and where the cost of having to understand all sort of concepts and acronyms is prohibitive if I just want to do something once.

Windows for that is very powerful, the UI goes quite a long way.
* A lot of it is. Most people do not contest that. However, a lot of land being taken over the past few decades consists of illegal settlements... And buffer zones for said illegal settlements.

* Plenty of people - say, American Japanese had their land, money, and property seized during the second world war - and they haven't received a dollar in compensation for it. That doesn't give them the right to do the same to other people.
The Didi/Lyft collaborative service doesn't work in China. Didi customers can visit the US and order Lyft rides. But Lyft customers visiting China cannot use the Lyft app to order Didi rides.
Sometimes employers need to fill positions fast. In these cases it seems fair for an employer to take the stance: feel free to take time but we'll keep looking in the mean time and if we find someone else who fits then the offer will be withdrawn without notice.
Not exactly, Uber doesn't own all of the $7bn.
If you are an individual contributor at the high end of the scale, then your experience is not out of line.

Even though entry level positions are more commodity driven - there are many people that can fit the same role - there is still more negotiating room. Maybe more salary can be freed up since the range is lower anyway.

Another important point, is that companies will often allocate for a senior position in order to catch the candidate they want or settle for the best they can get. If you are senior, make that clear.
Ride sharing is a huge deal here. I use it daily, my wife more so, most of the people I know use it. Car ownership is low, but that created even more opportunity here. And it's not like there was a healthy volume of taxi/black car activity before, the apps have just made it way convenient and much nicer.

This will be the biggest market for uber like services, if it isn't already. But it is also way cheaper here, so that changes the dynamics a bit.
> Why in God's name are reputable news outlets repeating the completely unverified rumor that it was a Russian hack of the DNC? It seems insane to me!

The DNCleaks showed that the DNC directly colludes and influences various media outlets. They also revealed that the DNC strategy for dealing with any leaks of emails (originally for Hillary's private server) would be blamed on Russian hacking.

What we are seeing is basically the DNCs strategy coming in to play, except it's over the DNCleaks instead of anything from Hillary's email server.

The level of media manipulation and propaganda that is happening in this election campaign is astounding.
It's not a $7 billion "exit". It's an investment for a 20% stake in Didi for $7 billion, which presumably will increase in value as Didi continues to expand in China, especially with less need for ridiculous spending on driver incentives since they will no longer be competing with Uber.

Uber probably had something in the ballpark of 20% market share in China so it sounds like the two decided to simply make peace and become profitable together instead of duking it out for years on end and throwing away billions.
A software that only collects half of the keystrokes is still a keylogger in my book.
That's an interesting question. From reading the documentation [1], the Trident disk should co-exist with the standard disk. It uses different microcode tasks (3 and 15), requiring additional microcode. No wiring change is mentioned (or discussion of booting off the Trident disk).

It seems like the Trident drive shouldn't be causing us any problems, but it's possible there's a wiring change or different PROMs. I guess we'll find out...

[1] http://bitsavers.org/pdf/xerox/alto/ifs_trident/TriconDoc.pd...
China just legalized ridesharing under a new regulatory framework... coincidence?
Again, a poor effort to deceive rather than inform. Making excuses for evil and murder and then adding your customary Whataboutism.

This isn't Reddit. The folks around here are quite Intelligent.
If you didn't check already, see NomadList[0] for summarized information on a lot of cities. It provides a "score" in basic categories that would/could be important for people working remotely.

[0] https://nomadlist.com/
I have literally NO idea what this product is about, especially from the website.

Tapping explore shows unrelated projects which is even more confusing.
Not really. Didi doesn't control the taxi industry, and black cabs have always existed inside of the formal taxi business. This doesn't give them a lot of pricing power, they can't jack very high until people start finding alternatives and competition springs up again.
Amsterdam. As an American (or Japanese) citizen you can get a residency card easily here if you start a business under the DAFT. You can also get a 30% tax break for up to 8 years as a highly skilled migrant, which is good because the highest effective tax rate here is 52%. Aside from those things, the city is very clean, extremely safe, cheap groceries, tons of green space, and extremely easy to navigate by bike or public transport. My wife and I came from LA where none of those things are true. Going out to eat is also about half as much as LA, and there is a lot of restaurant variety due to the multicultural nature of the city. Cheap insurance for individuals with a highly rated health care system. Downsides are the weather can be unpredictable, and definitely cold and gloomy in the winter. Also high rents in some popular areas, but that's probably true for most places. Overall though, we're extremely happy with our choice and considering staying long term. Also speaking only English is no problem.
> Does this basically mean the language is immune via the compiler to failures or attacks from abstraction gaps between what high-level language shows and what low-level target actually does?

You're on the right track here. There's a very intuitive definition for 'compiler correctness':

Take any program in the source language and the corresponding target language program that a compiler gives you. Now run both programs using the semantics for the languages that each program is written in. If doing this gives you two equivalent results for all valid source programs, then your compiler is correct.

Assuming you have a good definition of 'equivalent results', this definition works very nicely for whole program compilers like the original work on CompCert. But what if you want to compile a component on its own, and then link it with a program later? It's not even obvious what correctness should mean if you support separate compilation because you can't 'run' a component.

It turns out there are different kinds of guarantees you might want to make about a compiler that constitute what is referred to as 'compositional compiler correctness'. Full abstraction is one of the strongest such guarantees. The abstract for this paper says that full abstraction means 'two source components are observationally equivalent in the source language if and only if their translations are observationally equivalent in the target'.

The key concept in this definition is the idea of 'observational equivalence'. We can say that two components C1 and C2 are observationally equivalent if for all programs P, there is no way for P to tell C1 and C2 apart; it must behave the same when linked with either one. That is, all of the observations that P can make about the component it's linked with are the same for both C1 and C2.

[1] (mentioned by the LtU post) talks a bit more about full abstraction and shows some issues that can arise when compilers accidentally break full abstraction. On the other hand, there are cases where it's impossible to write a fully abstract compiler. For example, if you have reflection in your target language but not your source language, it's likely that target level programs will always be able to distinguish between components which were equivalent in the source language. [2] is a good overview of many of the issues for those interested in compositional compiler correctness.

[1] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.540...
[2] http://www.ccs.neu.edu/home/amal/papers/verifcomp.pdf
Didi was also losing a lot of money. It was a big cash bonfire race to have the biggest market.
If you type any word in Chrome/FF and press Ctrl+Enter, they automatically prefix "www." and suffix ".com". It's a shortcut a lot of users have got used to by now. So, at the very least, make sure www doesn't give a 404. I set up DNS to redirect my main domains to their www.
You know about metalua, right? http://metalua.luaforge.net/
> One is they trap lint internally,

I've owned my current phone for ~4 years, and the first port to stop working — due to lint — was the USB port, not the audio port.

> Lint is very difficult to remove from the outside the connector.

Removing lint from a 3.5mm audio port is going to be vastly easier than removing it from a USB port (which is completely possible). The entrance is much wider, and you don't have to worry about damaging the connector thing that USB has in the middle, as it doesn't exist. I've even removed a silica gel ball (which are apparently about 3.5mm wide …) from an audio port (and needed a paper clip to crush it first). I'd not want to try the same thing on a digital USB or lightning port …
It would be better if it didn't seem to focus on selling subscriptions to CloudAcademy.
On deep learning, artificial intelligence, and beyond
Maybe Lyft already knew this, which is why they have been trying to sell themselves.
O'Reilly: Data and Electric Power
While some things in some cities "shutdown" the entire city dies not. People will work during that quiet time.
https://www.gnu.org/licenses/gpl-howto.en.html

> the process involves adding two elements to each source file of your program: a copyright notice (such as “Copyright 1999 Terry Jones”), and a statement of copying permission, saying that the program is distributed under the terms of the GNU General Public License (or the Lesser GPL).

Whatever you think about the GNU guys and the license, they do have good lawyers. If they say this is how you should apply GPL to your programs, they're most likely right.
Head-fi begs to differ with its four star review:
http://www.head-fi.org/products/apple-earpods-with-remote-an...

The users on head-fi aren't your normal users, these are actual audiophiles.
Uber planning to invest $500m in global mapping project
Yes, I wanted a version of Lua with Macro's that reused familiar syntax (for lispers), that can run on LuaJIT, and is implemented in Lua completely.
It seems like you're reading this as them gobbling up Didi, instead of admitting defeat?
Wow. I'm a pretty big MvC fan, but never knew about this guy.

http://marvelvscapcom.wikia.com/wiki/Norimaro

Thanks for sharing!
Another important feature of ML is abstract data types (opaque signature ascription), which forces abstraction clients not to rely on implementation details. It's Dijkstra's “separation of concerns”, integrated into the type checking process! See: https://existentialtype.wordpress.com/2011/04/16/modules-mat...
I've read a lot of /r/shittykickstarters and this smells like all the scams there.
Aphyr: The Beginner's Guide
I'm not disagreeing, but it can still be annoying because the voice does not match the 3D models mouth movement.
Surprised at how good this phone sounds!

Though I am not sure I have the courage to move from Android, it does sound like Ubuntu Phone could be a decent 4th player in the market now that FFOS is DOA.

I imagine you have a lot more flexibility for the software you write? Like, could I easily use Python + Tkinter to set up a quick "app" for my phone?

Basically, is this phone more of a small computer with Ubuntu, or a different beast?
"The major Chinese cities generally have very developed and efficient systems of mass public transit, reducing demand for rideshares (and cars in general)"

This depends on your frame of reference. If you're comparing with SF, sure. If you're comparing with London or New York, less so. In London, the underground is faster than private car for many (most?) daytime journeys. In Beijing and Shanghai, a private car is almost always faster. Subway stations are spaced too far apart, and the walking involved in changing lines is pretty long. Buses are slower than cars even at times when bus lanes are active.

"While China is a large country, not everyone can afford an automobile or a rideshare service."

The people who don't have cars are precisely the people who use rideshare services.

Compared with the West, in China, ridesharing fares are lower, and the cost of owning+operating a car is higher. I ride Uber 10-15 times per week. The total cost of those rides is 20%-30% of what it would cost to lease and operate my own car, even if parking were free (which it's not).
VSCode uses comments for every line in its settings.json file.

I guess they figured it may not be correct JSON, but since they aren't sending those particular JSON files anywhere it doesn't matter?
I'm not sure I understand. He went from speaking normally in the first one to barely saying anything in the sequels.
Machine Learning Problem Bible
With regards to the specific problems described here, referencing how computers can make sense of communication between a listener and a speaker when each has different knowledge in the world and where strict and literal communication isn't always the most efficient, search for the "Rational Speech Acts (RSA) model" -- an active field in the literature in the past few years.
I agree that two ports would make me a lot less annoyed by the change, especially when you can keep an adapter around for one of the ports.

But from experience, designs where the charging and audio ports are on opposing ends are pretty annoying in practice, because the two cords restrict how you can move the phone when it is charging and headphones are in use. Apple stopped doing it that way several years ago.
>Let's talk about this fabled exchange between Norvig and McCarthy, where McCarthy asks if Python can gracefully manipulate code as data, and Norvig said no, and supposedly a thousand words were said in the ensuing silence.

Python has this: https://docs.python.org/2/library/ast.html so it is possible to manipulate code as data. It just happens that it's not homoiconic, but so what?
The same way it does for Mac OSX's spotlight. The same way it did for Ubuntu's search feature.

I say this not to be combative, but because I think you and the average consumer operate under very different definitions of "privacy invasion." It's really important to recognize this.
My last 2 cars have had manual cranks. One of them is only 20 years old, so I think most people are probably old enough to remember cars with manual cranks.

Can't say I like them any more or any less than electric windows to be honest. Six one, half a dozen the other.

They're definitely better for 4-wheel driving (not that my car can do that) though, because if you flood your electronics, you can still wind the windows down. I had a friend who ran into trouble when the truck he was in flooded, and he was in the back with the windows up. So there's a definite advantage to manual windows in certain circumstances.
FTA: I felt protective of Bella – she didn't know she wasn't measuring up – but also disappointed. I desperately wanted her to be as good as, if not better, than her friends.

Than the author's friends, more like.

>Her dad's spelling is dubious and his memory for names and dates is laughable. It must be his fault, I reasoned, glad to have something to pin the blame on to.

Yeah this woman's a selfish dope with no clue how to raise a child.

The child's friction is the idea that it should be smarter than it is, which would cause it to become frustrated when it cannot perform a task easily. It believes it should be able to accomplish tasks effortlessly. It needs to be conditioned to effort.

The parent failed, out of ignorance, to supply the child with the proper guidance. Also, how incompetent are you that you can't teach a 5-6 year old the alphabet? It's 52 symbols. I could grind that in anki in a lazy afternoon.
We banned this account for serial trolling, and detached this comment from https://news.ycombinator.com/item?id=12198155 and marked it off-topic.
Micro payment has already been tried in large scale by phone operators, pay per minute, per sms, per megabyte. The market has had its say and nobody likes it, everybody just wants flat rate so they can pay once then get on with their lives not having to think of the cost of every interaction you have throughout a month.
Deleted WhatsApp Chats Are Not Gone Forever Says iOS Researcher
What's the big deal if an AI doesn't know which footstool you are talking about?

Intelligence != Omniscience
With the “slight” difference that ML actually enforces that your program is consistent with your description of the problem domain.
I hope the ubuntu phone fulfills the promise that FirefoxOS had. FFOS was killed due to a spiral of very low spec hardware and no real third-party development.

Being able to hack on the phone using scripts at a moment's notice is not something any phone currently provides.