skysight-inc/HackerNews huggingface dataset:
>> If there’s profit to be made, more miners would open up shop to capture the marginal benefit.

>> So I guess China thinks that bitcoin will ultimately be worth half what it is now.

The best BTC ASIC miners on the open market are all sold out and backordered for months, and better ones keep being developed every six months. This means that, no, literally it's not possible to bring more miners online at a faster rate since they aren't openly available for purchase, and miners are still running older hardware since those miners are not yet -$EV(power) but they don't yet have enough money to purchase the new miners (which aren't readily available anyway).

It's not a perfectly competitive market. It's supply constrained.
Our users prefer Sourcegraph over GitHub for code search for multiple reasons:

- Regular expression searches

- Exact searches (no ignoring punctuation, for example)

- Searches on any commit or branch, not just recently indexed master

- Diff searches (see https://about.sourcegraph.com/blog/introducing-sourcegraph-s...)

- Overall faster, more powerful searches and filtering capabilities

- Code intelligence (go-to-definition, find-references, hovers, etc.)

Not everyone needs these things. But users who do need them say that they save a lot of time and make them more productive.

At Google, for example, they have a similarly advanced internal code search system that developers love (see https://static.googleusercontent.com/media/research.google.c... and https://docs.google.com/document/d/1LQxLk4E3lrb3fIsVKlANu_pU... for research/numbers).

If your needs are met by GitHub's search, then I would still suggest using the Sourcegraph Chrome extension (also available for Firefox), which adds code intelligence to code you view on GitHub: https://chrome.google.com/webstore/detail/sourcegraph-for-gi....
Yeah I don't understand, I can literally call up a pizzeria and do this exact song and dance today whenever I want. I prefer ordering online without talking to anyone. I fail to see the benefit for consumers.

I do see the benefit for employers.
But it's still terrible. And it's their 3rd jit now, the first, his, bring abandoned, the 2nd being extremely limited, and the current also not much better in this regard. Statepoints with OCR for loops is one goody. It's still much easier to use any other jit library written in C for C projects.
It depends on how fine-grained we're talking. If you rely on your map for absolute perception (every object must exist in your map in its current real-world state), then yes, you're in trouble. If you rely on the map as a basic prior, and perceive the world through different means, then a map (to me) is the right way to go. You avoid a whole category of computer vision in doing so.

The good news is that a point cloud map is relatively trivial to create, and the pipelines to update such a map over time are becoming more understood. There's lots of startups taking on this challenge.
What choice do you have when there is only one provider?
And replace them with what? They don't have any current processor that doesn't have the same bugs. It will be years before they design and make one. The best we can do is some class action and get a refund, but not too much or they'll go broke and close.
> Oracle sent Rimini a cease and desist letter demanding that it stop using automated scripts, but Oracle didn’t rescind Rimini’s authorization to access the files outright. Rimini still had authorization from Oracle to access the files, but Oracle wanted them to access them manually—which would have seriously slowed down Rimini’s ability to service customers.

So if Oracle had told Rimini outright that they were not allowed to access the files at all, Oracle might have prevailed?
This has 2 points upvoted so far. Nice bias.
I still don't see why we aren't seeing new ASIC suppliers set up shop. Is there a significant amount of R&D that goes into creating these chips?
Interesting you mention that; I am glad there are parts of the US that are like that. I grew up in India, and even the cities have so much non-human life that I miss it incredibly in California, where I am now.
Automatically learning the mapping from an image to a sequence of tokens is a very fundamental task for CNNs and not particularly new.

I don't think it's clear, or likely, that this can extend to all possible html input tokens. As you add more tokens, it becomes more difficult for the network to choose among them accurately. Additionally, as the token set becomes more fine-grained the size of the output space will grow exponentially and the network will likely struggle to learn from the training examples as well as output valid structure.

I think you can compare this to approaches that receive an image as input and provide a caption of the image as output. Works surprisingly well in simple cases but no where near fully functional or actually capable of understanding all inputs.

I agree that this might be a feasible approach toward automatic UI code generation eventually, but this is several significant levels of complication away from that.
"Miners break even at $6,925 at China’s top power price." It is my understanding that they don't pay top power price but rather they locate in areas where local electricity is abundant and cheap.
> Note that the decision says that violations are not criminal acts

Actually, it says that they don't violate particular California and Nevada state analogs of the federal CFAA; this was, in fact, a civil case under those laws, not a criminal case, though those laws also support criminal prosecution.
3 points. More nice bias.
A typical ride is 95% autonomous.

A long way to go for sure, but having been at this just less than a year, we're feeling good!
Email and other kinds of notifications for saved queries are coming in the next release in early Feb. Email me (sqs@sourcegraph.com) if you'd like to preview them sooner. I agree they are crucial for this feature to feel truly complete and awesome.

The homepage does show a nice sparkline and results summary, though. Easy to see at a glance if new secret keys, deps, etc., are added to your repositories if you set up the queries.
Personally, Atom is not my editor of choice (team Sublime!), but I really hope Atom succeeds. I do love it's hackability, and I would much rather have my plugins in JS, but alas, it's just not fast enough for me, yet.

However I held onto Textmate until 2010 and Sublime wore me down, so I'm a laggard as well.

So no negativity from me, because I just want a great editor that I can control and hack on. But I'll be real, I don't see it happening for a little bit.
If sublime were to support JS plugins, I fear Atom might be in trouble at that point, TBH.
Fire and Fury Is Out of Stock. Blame a Depression-Era Publishing Policy
Sorry, but who tried to impeach a president over BS?

Who stole a supreme court seat?

Who started winning presidencies without the popular vote and ramming extremely unpopular legislation through with reconciliation?
They have the choice to exit the Chinese market rather than comply with these insidious demands. The point OP is making I think is that if Apple valued privacy, then exiting the market rather than comply is the decision they would have made.
I specifically said a full-time job. A full-time job needs a proper full-time wage.
> Jokes aside, I don't want to see too much of this at future consumer shows.

Don't worry, it only works if you don't expect it, else you get desensitized.

A world where this is the sole form of advertising is far, far better than the one with TV ads and billboards which we currently got. Why? Its informative, thought-provoking / stimulates critical thinking, its a form of humor, and it is very much optional / choice.

The only bad thing you get with Netflix, is DRM, and some heavy internal profiling to keep you hooked. But the latter is arguably a good thing.
Many people still enjoy horses without using them as primary transport. I reckon it will be the same with ICE cars - various people with the money and inclination will still enjoy classic cars even when their daily driver is electric.
They're application-specific integrated circuits (ASIC) made specifically for generating money out of thin air (well, electricity).

So yeah, there's a huge amount of R&D and competition to get the best stuff out there. And Bitmain dominates.
We let the world run Bitcoin miners on our k8s cluster so you don't have to
Take my hand, I'll guide you back to Reddit.
Which, to be fair is understandable on Microsoft's part. Blindly trusting others to create in your ecosystem while novel, is a _very_ scary place to be if you are the one who has to answer to the shortcomings of the platform
Assuming there is a free market everywhere this is true. However China does not have anything close to a free market, electricity is heavily subsidized and freedom to invest and run businesses is heavily restricted which can easily cause market failures such as this. The key takeway from the article is that for Chinese miners specifically there is still a large profit to be made, which indicates something screwy with the market in China.
Once and for All, Here’s What Science Says About GMOs
Well that was brought about because of a shift in republican politics that won them congress, but has lead them down a path to being a terrible party.

Notice how people don't defend republican decisions, they just immediately go "BUT BOTH SIDES". When your only defense is whataboutism, maybe you need to stop and think for a bit.
Well, I read somewhere the other day that this form of error/attack was conceived of in the academic literature back in 1992. I won’t believe it’s intentional without evidence in that direction, but this is conceivably the kind of obscure/complex attack you’d expect of a state actor.
It will be the first floating bridge rail in the world. They've already built the test track, so so hopefully they have an accurate idea of how much the production segments will cost:

https://vimeo.com/163631993
A month in, Tesla’s SA battery is surpassing expectations (inc. charts)
Users are free to access their data so long as they don’t host it on a remote server

How can a user access data if someone else used whatever hack they wanted and brought the whole service down?

IMO you shouldn’t be in the cloud if such things are on your mind

Also IMO the clouds days are numbered for the same reasons, but at a macro view

Once things like Apples A.I. chip are available on a Raspberry Pi device, Google loses
I disagree. Watching animals doing amazing things on YouTube has completely changed how I see animals. I'm sure I'm not alone. Scientists can't be everywhere to capture amazing behavior, but YouTube can
You don't have to trust anyone. You have to only trust that over 50% of mining power is motivated by cryptoeconomic incentives, which is a much more reliable assumption than assuming someone is altruistic or a good actor.

The fact that miners do not need to be known and trusted third parties means that there is great difficulty for any network adversary to identify enough miners to make an attack effective, and that even they were able to identify pools controlling >50% mining power, they would have great difficulty sustaining this attack as the network reacts by switching to new pools.

These facts in turn make it unlikely that a network adversary would

1. target miners in an attack as a means of controlling/obstructing the network

2. succeed in causing long lasting harm to the network in the event that they attempted such an attack.

Ripple's set of known and trusted validators can very easily be stopped and controlled by any reasonably powerful set of state level adversaries, and are themselves in a position to extract rent from the network due to the potential for such a group of known parties to collude, and the coordination problem that users of the network would have in hard forking away from such a colluding set of validators.
yeah - I hear you. :( Still better than being totally hosed...at least there is some option
It's used for 32bit hashes in hash tables, so brute forcing this to create thousands of collisions on a desktop PC takes 2-4 min. Same for SipHash btw.

For hash tables you should not rely on the false security claims of these slow hashes anyway, rather implement proper collisions strategies to get rid of O(n) attacks.
From the video on the page:

"You have hundreds, sometimes thousands of servers out there. All trying to get to the Algo!"

Nicely tried, my friend. Nicely tried.
It's a real business model until we deploy widespread ML-driven ad-blocking across all browsers.

Not such a real business model after that. And it WILL happen, because ads are a nuisance and the browser market is competitive. You're fighting with gravity at this point.
They will get more once they figure out which city they can use to extort seattle. Then more again when they use Seattle to extort tax breaks from their new HQ.
I am buying 40
The big hammer is the pragmatic approach for the short term. Everyone and their dog wants to claw back the lost performance, we're only week past the big reveal.

Your idea of black/white listing processes might bubble up as a solution in some scenarios. Perhaps it could be pledge-like; if you're savvy enough, try implementing it, or fleshing out the details.
The "no secrets on the blockchain" aspect has already played out in subtly interesting ways in Cryptokitties. I have a tool that lets me see in a moment whether a given account has gained or lost money, and how much, and how much they were willing to spend. The marketplace is a completely open book, with real time sales data and a full history. You can't breed kitties in secret in pursuit of a particular breed. You can't (easily) buy out all of a given trait on the marketplace to create a false sense of high demand. And yes, you can see the entire kitty inventory of any other CK player.
Excuse me?

I've bent over backwards to remain charitable even after receiving uncivil and ideological barbs such as "problematic" and "reductionist characterization" flung at me in the midst of an exceedingly dubious comment.

> https://news.ycombinator.com/newsguidelines.html
Read them many times and believe my comment, unlike the ancestor comment, was in harmony with them.
Perhaps we can start with reflecting our societal beliefs w'r't' this stuff via our media to reinforce peoples logical deductions of how to act in these areas. E.g. I think a friend showed me one of the 'revenge of the nerds' movies when I was fairly young, which, if you think of from a perspective this post is advocating, is basically just a movie about people being completely terrible, I guess. I mean, our brains are maybe basically similar to high capacity neural nets, especially before they gain the ability for logical reasoning (or if lost this ability for whatever reason via old age or idk, but seems possible), and thus gain an idea of 'what is acceptable' through the sum total of all relevant situations put in. This would be sort of an application of HN style tech to improving such situations on a more statistical level (I guess), rather than rigidly coding human behavior into a blockchain.

I mean, it would be nice, for the sake of all the people growing up today, if you took something like 'Total Recall' at 5:00 minutes and had them explicitly and robotically ask each other for consent. I think that would do a whole lot more good than having your tinder fling download a 20 gb blockchain onto their cellphone before the date. (Sorry to slightly make fun of this - I think the idea is good actually, and haven't played with it enough, but just wanted to make a point in this direction).

To address this app specifically though- wouldn't such an app not really matter in the direction of: you can always say 'no' during the course, and then the required behavior is to stop. I'm not sure if that would be reflected very well in the app, since the person could point to the consent and say it was given, when in fact, it may have initially been given, but the more important point was that it was (maybe the word is ) rescinded .
They've put out updates for 4.4 and 4.13 (HWE) for 16.04, if that helps.

See https://wiki.ubuntu.com/SecurityTeam/KnowledgeBase/SpectreAn...
My bike was cheaper
> I'll probably blog about this soon because it's something I care about a lot.

Yes, please! I have seen your videos and read a lot about your thoughts on this subject.

Another question, if you don't mind: does sourcegraph have a forum or irc/slack? A quick search for sourcegraph+slack ends up finding many hits.. for your name, lol.
Capturing program invariants in ATS
It does if you have something at 0x0.

Or, to put it another way, I have no clue to what you're referring--what do references have to do with "The Billion Dollar Mistake"[0]?

[0]: https://en.wikipedia.org/wiki/Tony_Hoare#Apologies_and_retra...

EDIT: my apologies, that joke was actually pretty good.
Microsoft's claim was "Microsoft has determined that some AMD chipsets do not conform to the documentation previously provided to Microsoft to develop the Windows operating system mitigations to protect against the chipset vulnerabilities known as Spectre and Meltdown"[1], and their docs simply suggest asking AMD for more details[2].

So it sounds like it was probably specific chipsets and not CPUs, but who knows.

[1] - https://www.engadget.com/2018/01/09/microsoft-halts-meltdown...

[2] - https://support.microsoft.com/en-us/help/4056892/windows-10-...
Its nice that the ideas of React are simple enough so that a single dev can rewrite it as a side project but we probably have enough of these at this point. Also React's performance is almost always the culprit for performance issues in my experience.
Or at least, in response to the unsubstantiated suspicion that fraud is rampant in these programs.
> So if Oracle had told Rimini outright that they were not allowed to access the files at all, Oracle might have prevailed?

Rimini was a maintenance vendor acting on behalf of paid Oracle licensees with paid-for rights to access the files (which apparently are legally exercisable through a third-party vendor), and a vendor of maintenance services that competed with Oracle's first-party maintenance services, so doing so could be legally problematic.
I would need to read it again, but it smells a lot like high platform availability combined with small traffic, and it looks like a pita to support it (except for the cases where they refuse to support the customers)
Here’s how we go from “sourced facts” to “rumour mongering” in one step:

Hypothetical Facts: upon fairing separation the super secret payload was able to establish communication with in-orbit trusted stations, and no longer needed to communicate through the fairing or other non-trusted stations. So it turned off its radios and other EMI producing communications systems. Secret satellite operation base was able to establish control of satellite through secure optical in-orbit communications. Payload adaptor successfully deploys the satellite and neither SpaceX nor Northrop Grumman has any further involvement with the satellite.

Source: SpaceX lost communication with the payload immediately after fairing separation.

CNBC: SpaceX destroyed the super secret spy satellite
While the mainstream argues about whether bitcoin is or isn't this or that, while bitcoin attracts all the attention because of its spectacularly high price, people are working on blockchain things all over the place, relatively quietly in the background.

Whether or not bitcoin does this or that is immaterial to growth of non-currency blockchain applications.
YES! This is ecstatic news for those operating under the constant threat of lawsuits from delusional folks who thinks their TOS is the fucking constitution of United States of America.

Linkedin and Craigslist will finally get the competition they've been fending off with scary lawsuits.

I can't wait to see the look on Craig Newman's face when web scrapers all around the world will do what he feared all this time, bring innovation.

This is possibly one of the best things I've read on HN. I'm more curious as who are the people at EFF pulling this off, stroking the legal justice warrior within me....I think this is the part of the law that deeply interests me but I don't know what you call EFF's area of law.

Happy Scraping everybody!
Alternatively, even if the boards + CPU are tightly integrated, if used a particular standard like EOMA-68, then they could be easily replaced with rest of desktop/laptop/phone not being affected.

https://www.crowdsupply.com/eoma68/micro-desktop
I don't think you're going to design a great language that way. I think great languages get designed when you discover that with existing languages, it's difficult to do things that you want to do. If you don't know why you want to create a new language, it's not likely to scratch other peoples' itches either. (However, asking others for their pain points is a reasonable substitute.)

That said, here's an idea or two:

Optional garbage collection. In a C++ context, if I create an object with new, it's not garbage collected - it goes away when you delete it. But if you create it with some other mechanism (new2?), then it's garbage-collected when no longer referenced. (The problem with this idea is that a garbage-collectable object can still be "live" while referenced from a non-garbage-collectable object, which could be difficult.)

Adjustable need for typing. Personally, I love static typing. I want the compiler to tell me when I'm being stupid; I don't want to find out at runtime. But some people want to prototype/experiment/play with dynamic typing (or, if you prefer, without static types). So you can set a flag to the compiler to tell it not check static types. Then, as the code solidifies, you change the flag to make it a warning if there is not a defined type for a variable, or if a type is used incorrectly. But in this mode, it's just a warning - the code will still run (and crash or whatever when it hits the problem). Finally, for production builds, there's a flag for compiling with full static type checking.

Note that these are just ideas. They aren't my pain points. I'm pretty happy with a mix of C++, Java, and Perl.
I'm not an economist, but the argument in the article seems a little constructed. There are plenty of places where cryptocurrencies can be exchanged against cash. On the other side, when did the author last try to buy a pizza with actual gold?
Can I recommend a tv series? Travelers http://www.imdb.com/title/tt5651844
Hi marcell, great questions.

1) Yes, at least today. We call them Operations Specialists, and they're highly trained in operating autonomous vehicles and customer service.

2) This is a tough one, since it's not apples-to-apples. That said, Waymo is clearly the industry leader in this regard, and we're glad that at least some of their formula is observable from the outside. We've been at this a little less than a year, and today many of our passenger rides are 95+% autonomous. A long way to go, though!

3) We love these communities for a number of reasons:

A) Speed limits in these communities tend to be a little more restricted than everyday public road. The faster you (and others) can go, the more complex it becomes. The roads are also spectacularly well-maintained.

B) Customer acquisition is a non-trivial problem, and with these sorts of partnerships we gain (exclusive) access to 125,000 potential riders. It would be brutal for us to achieve the same in San Francisco, and not necessarily cost effective to retain them.

C) If we wanted to try out concepts that may accelerate the timeframe to remove the Test Driver, a private community is easier to collaborate with.

D) Above all else, there's just a lot of demand for what we offer in these sorts of communities. Self-driving cars will lower the cost of transportation, and for those with vision impairments (or Parkinson’s, Alzheimer’s etc.), it enables such residents to get around with less friction.
This was at a busy intersection in the middle of Boston. For those who know the area: Beacon St. And Mass. Ave. across the bridge from MIT.