skysight-inc/HackerNews huggingface dataset:
As far as I understand, their approach is exactly that, i.e., another target language for extraction. Synthesis is a bit of an overloaded term.
This might be possible at some point, but for that we first need to figure out how to formalize intent and meaning. In real-world laws, both are extremely important.
Free Bitcoins for everyone from Coinbase
> Having sounded the alarm bells, a group of benevolent white-hat hackers from the Ethereum community rapidly organized. They analyzed the attack and realized that there was no way to reverse the thefts, yet many more wallets were vulnerable. Time was of the essence, so they saw only one available option: hack the remaining wallets before the attacker did.

> By exploiting the same vulnerability, the white-hats hacked all of the remaining at-risk wallets and drained their accounts, effectively preventing the attacker from reaching any of the remaining $77,000,000.

> To prevent the hacker from robbing any more banks, the white-hats wrote software to rob all of the remaining banks in the world. [...]

One argument I keep hearing in favor of cryptocurrencies is that they are beyond the control of individual governments and their regulation through legislation and law enforcement.

Next time, I'm going to use this case as a counterexample, because when the solution to the problem of "hackers robbing banks" is "vigilantes robbing the remaining banks", something is very wrong with your system, and it is certainly not something for the general public.
It is an extremely risky strategy, what will Tesla and all the other Automakers that use Nvidia SOCs and standard Linux distros and DEs do?

I highly doubt they'll want to stay on something that isn't seeing much in the way of support, so time for a new SOC vendor...
Yes no longer will we have to fear the hordes of hippies high on goopballs eating our babies and raping our pets!
It should be called the cleave particle
To give some numbers, Steam has 96% Windows users.

Source: http://store.steampowered.com/hwsurvey
I didn't say I want quick but wrong answers. I said I prefer a quick but inefficient solution to a problem, as a starting point.

If I ask to determine whether an array contains two numbers that add to zero, a competent engineer should be able to give the naive answer -- a doubly nested loop -- in ten seconds, or at most a minute. If someone takes a lot of time to give me any answer at all, it's a concern.
“Ok-Key” and “Cancel-Key”, Which One Should Be Set Up on the Left?
The motivation for Xwayland is that 1. a lot of applications use no GUI frameworks (or outdated versions thereof, e.g. all these apps that are still on Qt 4), so if the frameworks are ported to Wayland, it doesn't help them. And 2. a lot of applications talk to X directly even if using a framework (e.g. an application that takes a screenshot needs to use xlib or xcb directly because that's typically not abstracted by a GUI framework).

Xwayland enables these types of applications to continue working in a Wayland session, so that desktops and distributions can move to Wayland without having to either wait on the legacy applications or remove them from the distribution.
I'm stupid as well so don't take this as gospel.

A security is a fictional asset used to represent higher level operations one can conduct on an underlying asset. Basically it's all the made up tradable assets.

The specific definition varies depending on jurisdiction but if I remember correctly the SEC goes with something like any token that is used to transfer unrealised value between traders or across time.

About your example, I understand that but I'm sorry to see that all examples we collectively come up with for smart contracts are even more constrained than hello worlds and in my humble opinion unfit for the "real purpose" of the EVM. The same line of reasoning applies to bitcoin: it's not a wallet to pay your coffee or receive your salary, but an alternative to banks/payment processors when you need it.

Likewise in my opinion again, the EVM isn't made to replace informal contracts or legal/notarial/... affairs but to provide an alternative when the costs/benefits of contract law aren't fit for your use case.
It's not shrinking, it's just not growing very rapidly. Besides, gaming is only a small portion of PC market, so it has its own dynamics.
That's fair enough. I'm like you in that I currently dual-boot but most of my gaming time is spent playing Dota 2 so I rarely need Windows. SR-IOV seems to be very interesting!
The Europass resume is NOT essential to get tech jobs in Europe
Most likely true. But if intent matters and the smart contract isn't actually the final arbitar, then smart contracts are fatally flawed.

Unless courts recognize the ability to sign away your rights through some kind of disclaimer that makes the smart contract the equivalent of binding arbitration.
It IS self sustaining, thanks to very low churn and very low but steady growth thanks to some content marketing and presence in directories.

I'm sure spending more time on sales would increase the revenue, but not sure if that'd be enough to offset the cost of time spent
Show HN: Tensor Tab – Little bit of Tensorflow in every new tab
502 Bad Gateway

nginx/1.13.3
The problem is that, for better or for worse, people do not have full freedom of contract by law. There are volumes upon volumes of laws and regulations limiting the kind of financial contracts, for example, that you are allowed to enter into. Every bank has a massive compliance department dedicated to making sure that they abide by those rules.

You can't just ignore these rules by making a system that executes contracts automatically. The judge will simply order you to make the other party whole. Then, if the law allows it, he might hit you with a massive fine for breaking the rules.
Mostly MDMA, LSD. To a lesser extent weed (harder to transport), coke, heroin, etc.

They do have actual bad things on these sites as well, such as the aforementioned weapons and people, but this is the subsection that we actually SHOULD be going after.

As far as how much; not much. As one other user had posted, one of these illicit markets represents approximately 1/150,000th of the world market. It is a non-issue that the government spends a lot of money on for the purpose of visibility and increased funding (Look at us! We busted the bad guys! We're doing good! Give us more money!).
> This is one of my favorite things about Australia, because science has absolutely no explanation for how humans arrived in Australia that long ago.

It's perfectly explainable, they arrived by boat. The exact time and migration path is still pretty open for interpretation and revision, but building boats is not beyond the capability of the people at the time. All they needed was a fairly simple raft.

>In fact nobody has even really bothered to try an explain it, because it's way, way, way outside the story that everyone came out of Africa.

No it isn't, it's perfectly consistent with the out of africa hypothesis.
Speaking of sketchy... an account created immediately after this submit and immediately before this comment.
Ask HN: What's your favorites conferences?
I have in mind tech related conferences but it might be something else.
Why do you appreciate it? Do you attend the event? Watch it online?
Most web designers are not designers. They're just "artists".

They don't care about the usability of their creation, they only want something which looks good for their portfolio.
Chrome Extensions Archive
“It puts to bed the whole idea that humans wiped them (megafauna) out,” said Dr. Clarkson. “We’re talking 20,000 to 25,000 years of coexistence.”

Does it? Is it not still possible that human populations increased, new (less mgafauna friendly) cultures emerged or subsequent migrations caused one of these? Humans co-existed with large animals in many places, before causing extinctions at later points.
Profile-guided optimization in .NET Core 2.0
Series of illustrations based on popular smartphone apps
Every city has its pros and cons. Seattle is no exception. You move to Seattle so you can save a couple bucks, okay so what? Then you get seasonal depression because its overcast all the time.*

*except during summer when it's beautiful
Several years ago I gave a talk at HAR2009 about my work applying Constructionist Education ideas to SimCity, which explains how I collaborated with the OLPC project to open up and publish the SimCity source code as free software, and translate Papert's and Kay's philosophy into concrete goals and features:

HAR 2009 Lightning Talk Transcript: Constructionist Educational Open Source SimCity, by Don Hopkins.

http://micropolisonline.com/static/documentation/HAR2009Tran...

Chaim Gingold, who also works at HARC, discussed my work open sourcing SimCity and his own work analyzing and using the source code to teach game design, in his PhD thesis on Play Design:

Open Sourcing SimCity - excerpt from Chaim Gingold’s PhD dissertation on Play Design, University of California Santa Cruz, June 2016.

https://docs.google.com/document/d/1DNAvqvKsuLGih8dWz9feEjea...

Abstract: http://pqdtopen.proquest.com/doc/1806122688.html?FMT=ABS

PDF Viewer: http://pqdtopen.proquest.com/doc/1806122688.html?FMT=AI
But if there was a proper open source driver, no one would need to put up with this shit.
PSPDFKit for Web 2017.5 standalone deployment using WebAssembly
Yeah if someone's working on it, please link. Would contribute
Your forgetting the embedded device market that the Tegra K1 and newer are used in. Is Nvidia going to orphan this whole market segment they've built? I know they replaced a ton of WinXP boxes in labs across the world, and it seems as though they have captured most of the automakers on that same platform, from Toyota to BMW all running Xorg in their cars.

Will Toyota go for running legacy, unmaintained Xorg in their cars? How about BMW? I don't see Nvidia ready to dump this market they've spent a decade building, so short of them being complete idiots, they will probably walk back on this.

That being said, these were the people that tried to pass off a painted block of wood as a GPU on multiple occasions: https://semiaccurate.com/2011/03/11/nvidias-ceo-has-another-...
Thanks. I wonder why it's called "security" (as in, safety from attacks).

> I understand that but I'm sorry to see that all examples we collectively come up with for smart contracts are even more constrained than hello worlds and in my humble opinion unfit for the "real purpose" of the EVM. The same line of reasoning applies to bitcoin: it's not a wallet to pay your coffee or receive your salary, but an alternative to banks/payment processors when you need it.

Fair enough, though I think that we need both, and preferably together. Those trivial examples are actually useful to people the very first time they try to understand the basics of cryptocurrencies and smart contracts. And after that, when someone gets the basic mechanics of the process, I think an example should follow with a description of actual use, and how the same mechanics facilitate it.

> Likewise in my opinion again, the EVM isn't made to replace informal contracts or legal/notarial/... affairs but to provide an alternative when the costs/benefits of contract law aren't fit for your use case.

I agree, I see it this way too. I cringe when I see people hopeful for replacing legal system with ETH, because that would be just plain dumb. But an alternative option to use when it fits better? I'm very much in favour.
Why? Humans first migrated out of Africa at least 100,000 years ago, which would give plenty of time to reach Australia by 65,000 years ago. The technology to build boats or rafts could easily have been forgotten over thousands of years if seafaring was not crucial to surviving on the new continent.
You don't really need to compile upstream drivers for a good AMD experience. I have a Fiji card and have been running (also on Arch) stock drivers and kernels since around Linux 4.5 (when they merged powerplay support for Fiji into the amdgpu driver). Haven't had a single problem; just installed Mesa and xf86-video-amdgpu and everything just works.
I don't mean to be offensive or inflammatory, but how is this a discovery? Yes, money and success don't buy you happiness; living in a complete community is healthy. How was this not completely obvious?
Sort the array by absolute value, and then a check to see if two adjacent values are a negative/positive pair?

But seriously, giving programming problems like these to a PhD is probably going to scare the hell out of them, not because they think it's hard, but because they'll find it indicative of the work they'll be doing if they get and accept the position. Hopefully such faker filter questions are followed up with ones with real technical meat.
You don't need a Matlab license to run compiled Matlab code. Matlab provides free runtime libraries.
IOT devices widely prone to Devil's Ivy
Then again, Ubuntu has a long tradition of not making sense (e.g. how they pushed PulseAudio onto users before it was ready for primetime).
> Even supposing such systems exist

They do, I gave examples.

> Conflating simulation with real time

I am not talking about real time, only about finite time for any Turing machine. No matter how fast you make your machine, I can ask for another digit of precision. As I mentioned earlier, you are also bounded on how fast your machine gets to be much earlier than I'm bounded on digits. You'll be running my double pendulum until the heat death of the universe, and using all the mass energy available to do it.

> The brain is a computer" is a very different claim to "the brain can be simulated by a computer"

These are equivalent by the universality of Turing machines. You are in fact making this claim, even if you don't realize it.
Even that 2-3% is way high, in some places like Europe and Australia, interchange fees are capped at values around 0.3% and that doesn't seem to be a hindrance in getting business done.
It's like if you insurance was a program.

That's an interesting way to think about it, but how do you communicate to the program that a tree fell on your car and you need it to give you money for a new one?

Basically what's the mechanism for communicating certain cases or conditions to the program, how does the program verify the claims you make to it, and how many of the scenarios where that works are practical for any real world applications?
You sure about these numbers? What's the share of Fedora users? (Genuine question.)
Obviously not. But neither would most want to do HPC on a computer they are also running a graphical desktop on either. In my experience, most serious academic computation happens on headless servers that are certainly not running Weyland or anything similar.
On the Economics of Ransomware
What is SSG?
Develop an advanced parking management software for your lot
Machine learning as inspiration for physical paintings
Looks like 99% of this is covered by my editor being configured to autodetect existing indentation, and adjust itself accordingly: https://github.com/ciaranm/detectindent
I've heard about vulkan for quite some time now, still haven't seen it used widely. Currently I do not see a future where Linux would be on equal footing with Windows when gaming is concerned. Linux would have to become way easier to use and have something that was strictly better than Windows. Free software and other ideological stuff won't make gamers to switch. What Linux needs is image and video editing suites to rival and surpass Photoshop, AfterEffects, Premiere, Final Cut, etc. Some streaming technology that is strictly better than anything available on Windows (so I guess OBS should drop Windows support or something) and then games would need to run at least on par. Maybe then some of the influential people (youtube personalities, twitch streamers) would switch over and bring their fans with them.

As long as Linux is just sort of viable there won't be wide adoption, because why would you change everything about your computing life for something that's +/-0% gain. Even at 10% better experience you might have to consider hard if changing over is worth the effort. Linux needs to magically become superior in many ways for people to hope on board in large numbers.
The ability you test there is saying half throught things out loud while you are still evaluating them. You yourself talked about saying things "bad or inneficient" within 10 seconds.

That ability is not the same as being good engineer or problem solver. It is pretty much orthogonal. E.g. You can be good and both have it or not have it.

Basically,you test social skill for position that does not necessary requires that skill.
Differences between emoji between systems, perhaps?
Depends.

Teenagers sexting each other?

Someone drawing or 3d modelling fictional underage character?

In many jurisdictions thats the same thing as genuine child abuse base child porn. In my jurisdiction, Harry Potter fanfiction with sex counts as child porn - and as one with extended penalty because it is "delivered through very efficient means like computer network".

Not all things are all the same, even with the same label.
Password managers are the definition of "putting all your eggs in one basket". You need to compromise 1 (ONE) password to get access to EVERYTHING. They are a lot more convenient, but barely more secure than a plaintext notepad file. And some people actually storing bank accounts and credit cards info there. This is insane to me.
Cyber Security vs. Information Security: Is There a Difference?
The keep telling me Crypto's are safe.Everybody controls them. I haven't heard of any banks that have been robbed several times this year from these amounts of money. Sounds like me that crypto coins are the easiest hackable sources right now.
The main issue with this being that markets don't exhibit behaviour analogous to Brownian motion. It's a nice little assumption that makes the math work, but frequency analysis of real world markets shows that they behave like pink noise instead.

And unsurprisingly there are quant funds and prop trading firms that use this very fact to make lots of money. Academic economist's love for the normal distribution is derided by pretty much any fellow real world trader I know.
Eh, I've been in LA for a year and it's too darn sunny. I can't wait to move back to Seattle and get some good pine scented rain again.

But I get your intention, and it's been our strategy for a few decades now: over exaggerate seattle's rain problem to keep Californians from moving up and driving housing prices up even further. Unfortunately, it's no longer working, Seattle just keeps getting more popular and more pricey every year.
The issue is Verizon and AT&T have coverage in these places. They’re just not a good choice if you are frequently out of the city. Very cheap though, it’s a good fit for a lot of people. (I recently switched from Verizon to T-Mobile on my iPad and have an AT&T phone.)
https://play.google.com/store/apps/details?id=com.microsoft....

has existed for years
I'm fine with subscription pricing provided the vault format remains published and and accessible and I can control the storage of my vault files if I choose.

I'd even encourage it, I'd like AgileBits to be a long term viable business.
That is an accent, not an apostrophe
Indian billionaire announces phone with unlimited data&calls almost for free
The current plan is to base the new editor on the the ShareLaTeX editor, but bring in the good parts of Overleaf to it.
You don't do any drugs at all? I find that hard to believe So no caffeine, nicotine, alcohol, aspirin etc? No vaccinations. So everything is non drugs at all?

What about all the drugs in your food like meat, do you not eat meat?

You can't say you don't do any drugs. You will say well of course I do X drug, but that's not really a drug like all those others.
Sure that's true. I take Vitamin D, and have a light that I use during the winter. However, it's really both the Spring and Summer that are beautiful IMO, which is half the year. I make sure to take my vacations during the other half. I also tend to get more work done during that half, since staying indoors is conducive toward it. But, per the article I posted: it's not a couple bucks, on average - you end up after paying your rent, and taxes - having double the money left over living in Seattle over San Francisco. And it will probably only move more in Seattle's favor, as Seattle keeps on building: http://www.spur.org/news/2017-06-15/keep-building-oakland. Vitamin D pills are cheap. Living in San Francisco is not.
Jio launches 4G feature phone in India
That's what I meant when I said courts might chose to ignore the disclaimer.

It is possible you could eventually be able to sign something making the smart contract a form of binding arbitration.

But you're correct, courts law enforcement isn't going to let you enter into illegal contracts just because it's a smart contract.
Apostrophe? :-?
Security deposit: 23$ (Approx)

Monthly charges: 2.5$ (Approx)

Phone is a feature phone with inbuilt Apps
Something like a Third Place (https://en.wikipedia.org/wiki/Third_place) ... And yes, this kind of environment should be encouraged more!
I think there are a few things in play that affect Kay's behavior, since he is a basic researcher:

1. He needs grants. Grand theories and "bullshit" sell at that context.

2. Basic research isn't a tool to gain working systems. It's a tool to gain knowledge, including negative knowledge. And to some extent a fair way to judge a basic researcher is "What have you tried? How seriously did you try it?".

And yes, even though i think Kay is definetly full of himself, He does achieve to do ambitious and interesting basic research(like the VPRI steps program, trying to build a full compute stack ala windows in 10K LOC via DSL's).
Thanks for the suggestion! We have played around with pandoc as an option in the ShareLaTeX compiler, but we weren't able to get it working smoothly enough for us to be happy with it. But it's definitely on our radar.
Color in web design. How to use it?
Seattle just passed a city income tax.
Don't just take pills, see a therapist.
Not as a direct product offering from us, but we want to make sure it's always easy to get your work in and out of Overleaf/ShareLaTeX, and work offline, via things like git, GitHub and Dropbox.
Except it's made up numbers, and the the valuation's are actually much lower - the cost to find an exploit is not a linear investment of time and money, but a parallel one. Thousands of potential hackers are targeting you, and only have to succeed once to bankrupt you (the payoff is also non-linear - any given exploit probably works more then once).
3) Sounds like a very lazy excuse. Many languages used to be 1-indexed and many still are.
Culture is one of the vitally important things which make us unique as humans.

Both as an Australian and as a linguist it's painful to understand how quickly indigenous culture here is being lost; my narrow and focused view is on language but the rate at which Aboriginal languages are dying at is absolutely alarming.

Protecting culturally significant sites here is of vital importance both for historical reasons as well as to the lives of modern indigenous Australians.
Japan has major problems with the abuse of easily available benzodiazepines and other pharmaceuticals, doesn't it?

From what I understand you can just buy flutoprazepam and some other fairly hardcore sedatives, so people abuse those.
Ask HN: How did the USA become the Technology Capital of the world?
I have read that in the sixties and seventies Europe and Japan were also as technologically advanced as the USA.

But what has happened in the latter decades, that has now made the USA the technology capital of the world.

Now all major Software and technology firms (barring a few) are based in the USA. E.g. Apple, Google, FB, Microsoft, etc..

PS : This is an open ended question and I am looking forward to many interesting answers.
I submitted that a few months ago! In general people don't realize the extent that information warfare is taken seriously in some circles.
We need to talk about that tweet