skysight-inc/HackerNews huggingface dataset:
Thanks, I hadn't heard about this. Per https://bugzilla.mozilla.org/show_bug.cgi?id=1406647 where Firefox is tying in with Cliqz:

> Cliqz is a well-known Adware from Germany[1] and it was a plague

Not sure what data Ghostery is collecting now, or how opt-in vs. opt-out has changed (if at all), but it looks like based on the reputation of the new owners I will no longer be using it.

Edit: the small HN discussion seems to cover this a bit more evenhandedly: https://news.ycombinator.com/item?id=13652126
Formal verification is almost always too costly for most projects but it seems like a good match here given the financial risks are so high. From what I've seen though, cryptocurrencies seem to take off based on marketing + emotions first followed by technical merit.

The Ethereum project is really interesting for example and there are talks of applying formal verification to it, but it doesn't look like the language used for smart contracts there was designed to be easily applicable to formal verification. I'd like to see a cryptocoin developed from the ground up with formal verification in mind instead of it being an afterthought. Most coins have clients written in unsafe languages like C or C++ so I don't see this happening any time soon.
Yep, though I use All Trails when actually on the trail, it's fantastic. I just appreciate seeing trails (and trailheads as POIs) when using Google Maps for drives.
Hence my call for stringent regulations (working hours, insurance, emission limits, minimum price for fares maybe). This way you prevent a complete race to the bottom while still letting competition do its thing. I'm annoyed that nowadays everything is polarized between basically full communism or laissez-faire ultra liberalism (not talking about your comment specifically, just in general). We seem to have forgotten about compromises.
Agreed, but if anyone understands that UI platforms are different with different needs, it's Apple.
Nope, not 'confirm' — my 'stunt' in that context was referring to the parent comment's insider source saying they're actively working on a proper demo... Obviously, the webpage in of itself currently could be vaporware, for all we know...
How could an OS corrupt a BIOS ? BIOS is in a <strike>higher</strike> lower (see alex_duf comment) level than OS, and then, should no be modified by any program, except maybe by an update program, and only with a firmware signed by lenovo.
I think people have forgotten that recaptcha was originally designed to help Google transcribe books for their digital library, which is arguably a public good. Now they're training their self-driving cars with it, which really just benefits them.
Sweden is a country with a deregulated taxi industry. The only regulation remaining is a requirement of a commercial taxi driving license (which is an only slightly more rigorous test), and consumer protections such as requiring an approved taximeter installed and having pricing comparison information posted in the window in a standardized format.

The Swedish taxi market is not flooded, prices are not dumped, there aren't traffic jams. The major complaints are about tourists getting scammed by overpriced taxis (where the prices are legitimately posted in the window as super expensive) since they aren't prepared to have to compare pricing between taxis since everywhere else prices are regulated.
> Also, China's energy is cheap because 75% of their grid is powered by burning coal.

What? Most Bitcoin in China is mined using cheap excess hydro power, using coal power would most likely be uneconomical.
Uber Names Ex-Orbitz CEO Barney Harford Chief Operating Officer
I've never been able to get a signal with a (voice-only) tracfone (uses AT&T network) in the Target in Lansing, NY.
Wrong and criminal aren't necessarily the same. If the NSA is out of control it is our right to shut it down (hopefully without violence).
Hmm, I have yet to see a trivial implementation for full-featured regex syntax, which was my goal.

The idea was not to parse a simple dialect of regex, but to parse a full-featured dialect, including things like \d, \), [)] and multi-level (), like (a|(b|c\)d[e)f])*g|h)+, so, e.g., the simple approach of scanning for the closing ) when you find a ( does not really work. Just for parsing such regexs this requires a recursive scanner, and then, a recursive data structure to store the result of parsing the regexp, and this runs counter to matching at the same time.

The linked code you provide assumes that you can first parse the whole pattern (like '(...)'), interpret that pattern, and then recurse to match it. There do not seem to be test cases in your code for the complex regexs cited above. So I don't think the approach of trivial recursion works with a full-featured standard regex grammar.
> the time to watch commercials

Indeed.
What to expect when Magic Leap’s headset launches – The Verge
If nothing else, it's absolutely wonderful to see the Crystal team (RX14) acting on community feedback. Kudos!
Did they really have those apps pre-Uber or did they simply adjust to compete by releasing their own app later? Nothing wrong with that, companies adjusting their model to compete, but at least where I live, cabs hadn't changed their model since the 1950s at least. Now, some of them are beginning to release apps, but they wouldn't have bothered without Uber and Lyft taking their business.
https://www.reddit.com/r/HighStakesSpaceX/
Knowing that you're looking at a mountain range isn't clutter! Nor is a different map layer for topographic contour lines.
Seems IP-based, and so completely ineffective at identifying VPN users, then.

And it promotes sending your friends shady links so you can spy on them.
Whether you or I find it impressive or not is a personal value you or I have.

For me, it depends on the sport. Some sports are simply elitist. Cricket is an example, tennis is another, hockey yet another. There's many more. You could even see the very notion of sport is elitist. Poor people need to focus on the bacon alone.

Furthermore, when I learn about the circumstances of certain sports(wo)men I get touched. Lance Armstrong was an example of that because of his illness. Unfortunately he was a fraud, and I watched him win the Tour de France 7 times. We had Sochi as well, where so many Russians suddenly were winning while normally that isn't the case, now is it?

Then there's the stories of poor people winning in sports. Those move me as well, but they seem to be rather rare.

These 3 realizations destroyed a lot of the respect I had for Olympics or sports in general. Even though I am a hobbyist sporter myself (jogging), and have been a competing gamer in the past (the same is true there: if you got rich parents you're one step ahead). Its a personal value, YMMV.
>Considering that basic BTC opsec is to move your coins around regularly

Why? For tumbling/obfuscation purposes?
Extra hard to take him seriously when he thinks inflation is a strange, novel concept he needs to introduce to his readers.

> Yep you read that right. Holding USD means the cash will be “worth” less next year. This is because of a 3% inflation rate.
>>But then Tyler Winklevoss questioned even that, pointing out the ways that he believes Bitcoin is better than gold.

:)

Well. This could be another Facebook level embarrassment if it turns out false.
The wheels of justice and government turn slowly, but grind exceedingly fine.
Stuff like this makes me feel western countries really underestimate Chinese tech chops. They are able to force stuff on the people that most countries have to cajole and negotiate with their citizens. I get cognitive dissonance from the fact that China is doing it's best to decrease coal usage where as US is tried to increase coal usage.
Seems it has similar goals to the idea behind factor tables: https://github.com/RowColz/AI
> But its clear we need a nonpartisan group who can successfully rally most of America on the left and the right.

Why? Keep the Nazis and their friends where they belong: on the dustbin of history. There is no need to further legitimize Bannon and the rest of the alt-right bunch by rallying with them. They need to be fought relentlessly.
I'm currently trying to condense notes from my own FLOSS funding work, but for the moment I think it's helpful to see some of the great background research that the people over at the (mostly dormant) snowdrift.coop project have done.

https://wiki.snowdrift.coop/market-research/other-crowdfundi... and https://wiki.snowdrift.coop/market-research/history/software give you an idea on the other funding options out there.
Republicans broke "State's rights" a long time ago when they abolished slavery.
Sure, but Google does claim to be an open company, and giving things back.
> I find it disappointing, however, that a worthy scientific payload isn't being launched.

It would also be disappointing if a worthy scientific payload were to be blown up on launch, an event which Musk seems to think is quite likely.
Regulating Internet Service Providers ranks pretty low on the list of ways in which the Commerce Clause has been stretched.
The lure of convergence again... that really didn't go so well for Microsoft.

I think that's something that really set Apple's iphone apart and that was really smart.

The problem is the iPad. The iPad should be a mac, in my view, like the Surface is a PC. Making the iPad a giant iPhone was a big mistake. Now people make pro applications for the iPad Pro and they're thinking "shit I really wish this could run on a mac" and now Apple is forced into some kind of compatibility that goes from the iPhone 5s with touch screen to a iMac 4K with touchpad.
The difference was that in the 50s, 60s, and 70s, baseball players (for example) made between $5,000 and $100,000 a year. Even with inflation, that's nowhere close to the $500,000 to $30 million they make today.
I too want to deliver pizzas in a black car while dodging skateboard Kouriers.
Fairly sure some of these calculations are wrong or I need to get a new tax person. There is no way I will pay as little on the current bill as they think. I think it is making the current plan look way better than what I would actually pay and have been paying. This makes me distrust the what I would pay part.

Edit. In fact both of the numbers for both plans are way less than any tax bill I have seen in the last few years. I would honestly take either of those over that I actually pay.
Yes, this my naive hope. They could also answer they are aware of this, a fix is in progress and expected in a few weeks.
Strictly speaking, Jeff Bezos doesn't need any customers for his rocket.
How does one "peacefully destroy" one of the most heavily guarded military facilities that exists?
I was in San Francisco, the birthplace of Uber, in 2009/2010. If you wanted a taxi pickup, you generally had to call two or three taxi companies and wait 30-45 minutes for a two in three chance of a taxi showing.

That doesn't happen anymore. Not after Uber.
I was really going to ask that - it shouldn't even be possible.

I would look at the wonders of UEFI.
Scientists describe problems in Philip Morris e-cigarette experiments
I think Meetup.com has the craigslist problem. They have a good revenue source, they have a good business, why change anything?
I am developing a mobile game and the BaaS we use (Gamesparks) uses MongoDB. Currently I use SQLite to cache the data locally, but that can be a pain to transform document formatted data to relational, and back. I wish I had known about this before (and I use Unity so the app code is C#).
I hadn't submitted this because I approve it, but because I believe it should be used as a warning. BitTorrent seems to be the most popular P2P network right now and I believe that this kind of websites pose a real threat to it.
> Nobody is going to pay for a white-list only internet. That is fear mongering by the pro-NN side.

White-list only after the first few gigabytes is already happening. It's called zero-rating.
$10m for ni.ke domain
Gesture recognition is glossed over in the Rolling Stone article, and Magic Leap is also using a 6dof hand controller. Hololens and Meta also only support basic gestures, since as Leap Motion showed significant power draw is required to run high speed depth cameras.

The eye tracking feature will be a game-changer though, if they really have it working.

Disappointed to see that the advertised game with a team of 55 is robots shooting at you through space portals. Hololens has already shipped two (RoboRaid, Holo Raid).
> Mozilla is in its familiar position as the David of noble, non-moneyed interests challenging the user-hostile Goliath.

Mozilla is in its familiar position of only existing because Goliath gives back a small fraction of its tracking/advertising earnings in exchange for sending users its way. The exact opposite on non-moneyed interests.

Do you remember how Apple considered using mozilla code to buld their browser but rejected the idea because the code quality was much too low for their standard so they went to KHTML to build webkit ?
Yeah vendor lock-in walled garden Apple ditching safari for firefox, not happening.

What's to gain for microsoft by switching to firefox ? Chance are this is not happening either.
It was my understanding that the F9H components cannot be recycled F9 units, despite me Musk's best efforts at engineering a solution.
> All more the reason to shine a light on these ideas. They won't hold under scrutiny.

That assumes people are rational.

What we know is, people are more likely to believe things they have heard before (mere exposure effect), and are more likely to believe things their peers believe (bandwagon effect).

I believe in free speech. As in, the government must not censor peoples speech. But we're crazy to think bad ideas will go away just because we expose them, or scrutinize them with arguments.

When you have an idea that is dangerous and perceived as fringe, you must individually choose not to give that idea more exposure. The risk is you normalize the idea for a segment of your audience.

When the idea is dangerous and breaking into the mainstream, you have no choice but to confront it. But you can't do so with arguments alone. You need to blend logical arguments with emotional appeals, because 1. that's how humans work and 2. the other side is doing it and you are at a disadvantage if you don't. Remember that the art of rhetoric originally encompassed 3 areas: Logos (logic) Pathos (feeling) and ethos (credibility).
See

https://en.wikipedia.org/wiki/Esperanto
https://en.wikipedia.org/wiki/Interlingua
I think if you can sign up for a coinbase account, you automatically get gdax access as well - I don't think there's any additional requirements for gdax.
"The most ominous danger we face does not come from the eradication of free speech through the obliteration of net neutrality or through Google algorithms that steer people away from dissident, left-wing, progressive or anti-war sites. It does not come from a tax bill that abandons all pretense of fiscal responsibility to enrich corporations and oligarchs and prepares the way to dismantle programs such as Social Security. It does not come from the opening of public land to the mining and fossil fuel industry, the acceleration of ecocide by demolishing environmental regulations, or the destruction of public education. It does not come from the squandering of federal dollars on a bloated military as the country collapses or the use of the systems of domestic security to criminalize dissent. The most ominous danger we face comes from the marginalization and destruction of institutions, including the courts, academia, legislative bodies, cultural organizations and the press, that once ensured that civil discourse was rooted in reality and fact, helped us distinguish lies from truth and facilitated justice."

The Permanent Lie, Our Deadliest Threat
https://www.truthdig.com/articles/permanent-lie-deadliest-th...

This seems to me a good and complete answer as to why everything seems so hard. It's because everything that occurring is based on the "permanent" lie. The powers that be, be the deep state or whatever, cannot acknowledge facts or reality because it will loose its power. The sad part is that I think we also live in our own permanent lie in order not to see the homeless on the sidewalk, acknowledge the cow/chicken/etc raised in factory farming, the use of tax dollars to overthrow governments and kill untold number of people around the world, etc. Lots of issues that I think we need to tackle personally if we want society to do it too.

So what is your permanent lie?
It looks like Lenovo's problem.
I've tried that in most countries I've been to. The results have been hit-and-miss.

Japan: Works great
Turkey: Nope.
Thailand: Nope.
France: Works, but not always well

In a lot of countries, cab drivers are illiterate. And I don't mean functionally illiterate. I mean simply CAN NOT read. Not even a map. If you don't speak the language absolutely fluently, you're screwed.
Or try https://appdrag.com a cloud cms with zero maintenance required and hosted on aws
Investopedia: "Arbitrage is the simultaneous purchase and sale of an asset to profit from a difference in the price."

Deciding to mine bitcoin where energy is cheap is just bloody obvious.

> When I buy Bitcoin, as long as the energy used to mine the token is cheaper then energy I have access to, I’m getting a good deal.

So buying bitcoin from a base in Antarctica, where energy is scarce, is a better deal than buying it in Dubai? That doesn't make any sense whatsoever.
Unfortunately, when you learn Gradle, you also have to learn its procedural description language, Apache Groovy, with its many quirks, such as when to use

something "abc"

and when to use

something = "defg"
Fertilizers in general aren't necessarily bad. It is important for us to actively recycle our phosphorous and potassium, because there is no short term replenishment of these vital elements in the soil. For more information, I highly recommend "The Humanure Handbook": http://humanurehandbook.com/downloads/Humanure_Handbook_all....

Fertilizers do increase the growth rate of plants. However, there is mounting evidence that nutritional content is inversely proportional with growth rate.
I suspect that it's the "just", for reasons that sibling commenters have discussed.

But the original comment might also wrongly come from the perspective that a given developer ought to tie themselves to a particular project by creating a business around it. Many projects are created and/or maintained by developers working on a broad number of projects, so total productivity might decrease if developers were settle down with only one or two projects which they're able to build a business around.
Yes, but "adblock" wasn't a word before AdBlock appeared, that's my point.
>> Stuff like this makes me feel western countries really underestimate Chinese tech chops.

The west largely underestimates Chinese tech chops b/c they steal so much of our IP...

Their ability is evident in the number of Ph.D's they turn out, so why don't they invest in developing their own technology instead of stealing everyone else's? "Catching up" is not an acceptable answer with how much intellectual firepower they have.
I keep hearing this notion repeated, but I've never seen a citation.

Do you have any evidence that:

a) Most bitcoin in China is mined using hydroelectric power.

b) That the generation capacity in question is "excess" (i.e. it would not have been put to productive use except for bitcoin mining)

It's also worth noting that damming rivers for hydroelectric power is enormously damaging to the surrounding ecosystem, even if they aren't carbon-emitting: https://en.wikipedia.org/wiki/Environmental_impact_of_reserv...
In my case, the federal tax bill amount shown is ~1/3 of my actual.
Python Hackathon at trivago
Honest typo. Doesn't change the point.
I am really looking forward to AR. I thought microsoft mixed reality was both AR/VR, then found out MR is just a marketing term. The MR devices do not have AR capability.

So Magic Leap would be the first commercial AR product? Thats kinda neat. 8K VR will be out in 2018 but also the first AR.
Sure it's easy to take a cab. What's more tricky, is not getting scammed. E.g. in Vietnam you'll be looking about various internet sources on which taxi companies are probably not gonna scam you. In France, I had some friends getting scammed in a separate ride from mine.

In general, the ability to know beforehand the price, is golden!

Adding to this: in countries payment can also be a problem, trivially solved via Uber. Take e.g. when I first arrived in South Korea and took an cab from the airport (fixed rates and in cabs in Korea are nice, so not a complaint there), the taxi couldn't take my card, and I didn't have 100k won in cash (accidentally took a luxury cab), so we had to drive around to find a bank that luckily took VISA.
Interest in 'Flat Earth' is growing among Americans
California is a terrible place to test autonomous cars
This is totally wrong. It doesn't take AMT into consideration at higher salary levels in the current tax system.
The only thing that has changed since the 90s is antitrust enforcement, and even then the DOJ did not go nearly as far as they could have with Microsoft.
This says I will save a few thousand dollars. I am a single young person with no dependents and no debt and I make a six figure income that likely puts me in the top 10% of earners in this county. If anyone deserves a tax cut, it isn't me.
Thanks for the feedback & great suggestion! +1
In fairness, much of the modern data analytics field was born out of the need to quantify advertising effectiveness, so I'm not surprised the two have become conflated.

Google Analytics is (mostly) free in part because it supports and validates users of Adwords, and this has contributed heavily to the ubiquity of GA.
This is pretty cool. If it has low enough overhead, I wonder if this could be used to replace the current format of ODT (Open Document) files, which right now are basically just zipped up XML documents and image assets
I agree whole heartedly. You’re doing a very bad job with your copy if I don’t know what you’re selling within the first 3 seconds of seeing your copy.
I recently spoke with an elderly woman in San Francisco on exactly this subject. She regarded Uber as the best thing that's happened to her life in the past decade. It enables her mobility in ways that taxis never did.
But have you ever tried drinking from a mug while wearing a VR/AR headset?
There is an over-abundance of capital in the economy right now (a big part of the reason why the stock market has gone up so much) so VCs are basically begging* to invest in startups that look even remotely promising.

*Okay not really but you know what I mean.
The biggest loss with the Google maps redesign is that I am limited to 10 via points. If I am creating a route I frequently use far more than that to ensure that the route goes where I want it to go. The only thing that keeps me using Google maps is street view, which to me is 1000x more useful than building shapes (most of the roads I ride were last street viewed in 2008, so I wish more resources would be put into updating the images.)
Surprised to see such a big tax decrease (~14%) even though my wife and I live in Manhattan and our state and local taxes are about ~10% effective.

The loss of the state and local deductions is more than made up for by the drop in the marginal rates, apparently.

Now, if we had other deductions (e.g., student loan, mortgage interest and tax, medical, etc.), I suspect we'd lose out here.

I'm sure this is an unpopular opinion on HN, so let me say I don't believe we deserve such a large tax cut, but I'm glad to see this plan is not incentivizing debt or artificially inflating home prices as much as the current one.
In there is a large middle ground between profitable to add more miners and turning off existing miners to save energy is worth it.

Remember, capital cost payback depends on the long term value, so short term price spikes don't necessarily create enough value for long term purchases.
California is set to hit its green-energy goals a decade early