skysight-inc/HackerNews huggingface dataset:
Property testing [1] is about semantics, the same as regular testing, and it does not require code annotations. [Edit: It's more like "fuzzing" than "model checking".] Type systems on the other hand aren't usually powerful enough to capture semantics.

They allow you to say things like, this function takes in a list of Foo objects, and returns one Foo object. But they don't really let you express whether the object returned is or is not part of the original list, and if it is, that it was chosen according to the right mechanism. That's what tests are for.

Without being able to express the semantics of code, I don't see how you can trust it. There may not be any type mismatches, but there sure can be lots of bad logic in there.

[1]: http://hypothesis.works/articles/what-is-property-based-test...
How many more blockchain "hype" articles do we have to go through before we get one about an actual product that people use to do something with other than speculate on value?
Yeah it's crazy when you think about it. We somehow manage with new break through on voice, image, and speech recognition but yet we still struggle figuring out how to efficiently pack things in a box or plate.
Has anyone used TensorFlow for any hobby projects? I would be interested to know what kind and how it worked out. This is a pretty neat tutorial, I'll have to set aside more time to look it over.
Difficult Roads Often Lead to Beautiful Destinations
India’s central bank doesn’t have many good things to say about demonetisation
Or no, since the person will already be receiving enough to live.
But it is detach from location. People can move if land becomes to expensive, unlike now, where land is tied to jobs.
Two Indian brothers?

It will be sloppy, poorly designed and executed and, in general, a POS.
I have wondered if it would be good for debugging (assuming you're using Redux or something with a time traveling debugger) to put UI events in the store, too. Then you can have a complete picture of "how did we get to this broken state"if you need it. I would keep that stuff separate from data with a prefix, so that you could easily distinguish between the two.
The description of the author of the pdf that made the rounds yesterday is exactly what I expected.

It's a shame most organizations do not do a good job handling vulnerability reports from outside sources and everyone knows is (so nobody tries to alert the organization). I would be very surprised if he was the first procrastinating college student to figure this out.
Not sure how much longer they'll be "ignoring" it, as Bernanke just spoke at Ripple's crypto conference:

https://cointelegraph.com/news/former-chairman-of-federal-re...

If he's jumping on board, then I imagine central banks are already looking at it.
Does this work for Bitcoin or just Bitcoin Cash?
> - There is zero effect on propensity to work

OTOH, imagine parents that today can't be present to raise their kids may have the option of dropping one of their jobs to be with their family.
4.4 is old. Technology - especially software moves fast and it’s been 9 months since 4.4 was released. There’s been a lot of security, performance and feature improvements since 4.4 was released.

Major and/or userland problems don’t tend to occur as the kernel gets developed and released. There are major advantages in accepting new subsystem code over patched ‘legacy’ code.
MQC function test revealed (2) – Appium environment setting
Yeah nobody wants Windows. That's why they only have like 90% of the desktop OS market share.

Windows 10 alone has roughly 10 times more users than the Macintosh OS or Linux.
Messaging-App Kik’s Big Bet on a Digital Coin Offering
That's a misleading comparison. So companies will pay millions more for TV ads even though online ads might reach more eyeballs? Yeah, that's weird, it would be great to understand why they're such idiots, but the reasons don't affect the reality. The reality is that they won't pay more for the online ads. What they do pay, they pay on the basis of targeting which directly correlates to conversion rates etc. Do you think internet companies wouldn't jump at the chance to spend less on all those analytics systems, reduce privacy complaints, and still get more ad revenue? They have those systems and the people who run them because they have positive ROI. They're simply not going to do something that makes their whole growth/revenue model collapse. They might look with envy at what TV networks get away with, but only in the same way that you and I might look with envy at what singers and sports stars get away with. It's basically irrelevant.
maybe that image really is a better logo than nike :]

- on a uniqueness front there are a lot of swooshes, peppers and moustaches that look sort of similar to nike, whereas that image is guaranteed to not have been used for any icon or logo, ever.

- both are fairly legible

- the meme is certainly more colorful and eye-catching

the neural net doesn't really judge the aesthetics of a logo, and it doesn't have any idea what the content of the image is. It just impassively gives you a score based on the similarity to thenounproject icons and a few other parameters.
Wells Fargo Increases Fake-Account Estimate 67% to 3.5M
I'm asking because I'm curious how they measured outcomes. Most of the studies I've seen are pretty bad. They measure outcomes with a very blunt tool. I was curious if something better was out there.
A Guide to Crypto Currencies
Neural Net in 7 different frameworks
Let's just hope it doesn't die on the floor like SIMD did.
I hope windows goes open source and windows kernel is replaced with modified linux kernel.
> where land is tied to jobs.

With additional pressure when both parents work and can't survive with one of them unemployed - they lack the freedom to seek better positions elsewhere because they are limited to both having jobs all the time.
It's an interesting problem to find the cause of. I think some of it is due to unequal access to care, but that doesn't explain all of it.

Some of it is due to how a country measures a "live" birth. Some countries say if the child dies within 24 hours of being born, it was never "alive". That certainly helps improve child mortality measures!
They could also destroy it by putting people in locked metal cages, if they're found to have used a cryptocurrency.
If FCC repeals net neutrality, FTC won't leave users unprotected
If your country is conquered by war, then your fiat goes to zero, and your gold is confiscated (or very difficult to transport). There are extremes where Bitcoin goes to zero, but there are also extreme events where it has a lot of value.
Cryptocurrency survey: are we ready to use it in insurance?
At least one reason to study humanities is to study philosophy of science, and understand how new and insufficient an idea like "science must have predictive power" is.
Police in Toronto have been doing this for years. Specifically, some parking enforcement cars have plate scanners on them that look for stolen vehicles as they drive around.

Ontario Provincial Police also scans plates for cars with violations (stolen, expired registration, etc.).

The former (stolen car search) I don't have a problem with as long as the scanning is 100% limited to searching for stolen cars and destroyed as soon as the car is determined to be not stolen.

The latter (scanning for registration issues, etc.) is a different issue. I am not in favour of this kind of automated "law enforcement".

Data retention is a big issue with these kinds of systems. They might say they only use the data to find stolen cars, but if the data is stored or retained and then can be used in other investigations or for other types of enforcement via data mining...that's a slippery slope.
I think that number was thrown out there as a "small" percentage, to highlight the (literally) astronomical numbers of possibilities. One model of getting to some percentage though is called the Drake equation: https://en.wikipedia.org/wiki/Drake_equation
Amazon (1994), Google (1998), Yahoo (1995), PayPal (1998), Mozilla (1998) and tons of other companies that are well known powerhouses today were all birthed in that era.

While I do agree that there are a bunch of socks.com (1997) token equivalents, some of these technologies will change the internet for decades to come.

I just wish I knew which ones :).
Most proposals do away with welfare programs, reducing enforcement costs with it. No need to ensure a person is unemployed and looking for a job or unable to work due to a medical condition.
This post reminds me of the very ambitious and still going ReactOS project - not to be confused with the javascript framework. https://www.reactos.org/project-news/reactos-045-released
> and no mention if this would affect welfare and other social programs.

Which is quite surprising because every, and I mean every, UBI proposal talks up how much money we'd _save_ because welfare would be eliminated. I just don't see how that's possible, because inevitably there are going to be a lot of people with real or self-imposed crises crying about how they don't have enough money to pay rent or buy food, and what is the government going to do, tell them "tough shit, you should've managed your UBI better"? Uh, I doubt it. We'll end up stuck with welfare programs as a UBI safety net and then people will inevitably game the system by crying broke every single month.

This whole thing is such a ridiculous leftist fantasy, the biggest giveaway is that it completely ignores basic human behavior.
It's been said many times before, but Bitcoin allows people who have certain worldview (libertarian) to self-finance their projects and bypass investors, VCs, politicians etc. This is very powerful. It's not just some asset you invest in in the hope for some future gains. For many people it's a way to stop being couch political activists and start actually implementing what they believe in. That's why so many people are angry about Bitcoin - they truly dislike what it represents and allows.

Here's a tweet that said it perfectly:
"Cypherpunks are libertarians who stopped whining."
https://twitter.com/oleganza/status/902942938820263937
>> Who is buying goods or services using bitcoins? Anyone? That is just because nobody wants to sell something using a mega-volatile "currency", unless they want to speculate...

There's some truth to that in terms of merchant acceptance of BTC not being widespread (even though from a merchant perspective BTC is very attractive compared to regular methods of payments).

That said - couple of comments.
1. All of the "enterprise" type BTC payment acceptance systems that I'm aware of end up with fiat currency transferred to merchant's bank. They typically don't keep BTC balance. So the "speculation" point isn't really valid.

2. This ^^^ is one of the biggest hurdles in the way of a more widespread BTC acceptance. Banks are very suspicious of BTC-originating TXs for various reasons (AML, regulatory compliance etc) so it's not an easy thing to set up an end-to-end payment acceptance flow with BTC from that perspective.
Well, the price of goods and services will go up because everybody suddenly has more money and the owners of the businesses that sell those goods and services have just had their taxes doubled, so we're back to square one anyways.
WYSIWYG Web Builder 12.1.2 Crack and Keygen Incl Serial Key Full Latest
> They find that enacting any of these policies by growing the federal debt — that is, without raising taxes to pay for it — would substantially grow the economy. The effect fades away within eight years, but GDP is left permanently higher. The big, $12,000 per year per adult policy, they find, would permanently grow the economy by 12.56 to 13.10 percent — or about $2.5 trillion come 2025. It would also, they find, increase the percentage of Americans with jobs by about 2 percent, and expand the labor force to the tune of 4.5 to 4.7 million people.

> They also model the impact of the plan if it's paid for with taxes. That amounts to large-scale income redistribution, which, the authors argue, would stimulate the economy, because lower-income people are likelier to spend their money in the near-term than rich people are. Thus, they find that a full $12,000 a year per adult basic income, paid for with progressive income taxes, would grow the economy by about 2.62 percent ($515 billion) and expand the labor force by about 1.1 million people.

So, borrowing and spending 300 million adults * $12,000/adult/year = $3.6 trillion/year would grow the economy by $2.5 trillion? And raising it in taxes would grow the economy by just half a trillion?

Or what am I missing?

Also this:

> because lower-income people are likelier to spend their money in the near-term than rich people are

But what about the long term? We can debate the finer points about when and how much etc, but it remains uncontroversial that rich people invest nontrivial amounts in long term stuff. With near-70% top average (not marginal!) tax rates, this will go down by a lot. How will this redistribution from long-term investments to near-term spending affect the economy over the long term? Yes, fewer yachts and private jets (there are also people employed supporting those, and the net employment benefit suggested is already quite modest), but would an Elon Musk or Jeff Bezos subject to a 70% tax rate invest in the next SpaceX/Blue Origin (not to mention thousands of other startups backed by angels and personal/friends&family savings)?
>Money as we know it depends on the authority of the state for credibility, with central banks typically managing its price and/or quantity.

More accurately stated:

Money as we know it depends on the authority of the state for credibility, with central banks typically manipulating its price and/or quantity.

Which is why Cryptocurrency is attractive in the first place.
We are constantly told that 7.25/hr isn't enough to live on, but people find a way to do so at the moment. 7.25 $/hr * 2000 hrs/year = 14500 which isn't far off from 12000. If the choice was between working for that and not working, I think the choice is easy.

Unless this program were to completely eliminate welfare spending, then you'd likely end up with people choosing not to work because they don't need to. This of course assumes that purchasing power doesn't change with the massive influx of cash into the economy.
The only evidence given that the firing was due to pressure from Google is Lynn's statement (which seems to just be his assumption, because he's a critic of Google). There are at least two official statements that it was in fact not Google's pressure.

I don't think Google is an any more moral actor than any other corporation, but why would they do something like this, which has basically nothing but downside to them? Despite Lynn's fantasies, I doubt that Google is particularly worried about his voice of criticism, nor stupid enough to think this would silence him.

Shouldn't the "disgruntled employee dismissed for cause" theory, which has at least as much evidence as the "lonely voice of criticism silenced by corporate behemoth", be at least entertained?
If you think it's gonna stay at 12K you're dreaming. This is literally the most direct way for politicians to buy votes.
Fair point but I have tried more programming languages than I can list "the way the language is designed makes it easier to shoot yourself in the foot" is a fairly accurate description for all of them.
You sound pretty ("I am so smart") and condescending. Must be pretty hard living life as a poor lonely tortured genius.
I would think this deal would give any large Iowa employer the idea that taxes are negotiable, especially if a move to another state is threatened. This will begin eating the existing revenue.
Is Serverless Computing Becoming a Threat to Google Cloud?
We detached this subthread from https://news.ycombinator.com/item?id=15139251 and marked it off-topic.
Tibe Experiment: First Time Advisor ⇄ Startup Dinners in NYC Each Month
A few friends and I host monthly family style dinners to connect first time advisors, angels, and early stage startups over home cooked meals here in New York. Join us for our next gathering! (tribemeetings.com)
Yes, they sell you in bitcoins at a spot value to dollar, or so. Technically, you are using the dollars to pay using the BTC as an intermediate "currency". On top of that, you are paying some extra money to cover the exchange rate risk, which is quite high for BTC.

It is exactly like paying goods and services with, let's say, Apple stocks, only that the price will always fluctuate depending on the DOLLAR quotation of the Apple stock at the time of the payment.
It's fascinating to me how disparate experiences are with the USPS. I've probably received hundreds of packages from Amazon via USPS, plus years worth of mail, with maybe one or two incidents of minor damage to the packages.

I wonder if anyone has done research into whether this is region-specific. Maybe certain processing facilities are older or have problematic management?
Any market in which a company sells products. If lobbying is a cost effective way to increase revenue then it's almost guaranteed that at least one company will engage in lobbying. The companies that don't lobby fall behind in competitiveness and sometimes shutdown and therefore leave the market in which they were selling goods.

If you are interested in investing in lobbying then all you need to do is buy shares in companies that engage in lobbying.
Or here in New Hampshire we do it almost exclusively on property taxes which has an obvious effect: rich towns have better services than poor towns.
>There are also things that you gain by studying and working with others: discussion, exposure to different perspectives and points of view. Inspiration by experts in the field.

These are all available on the internet for free as well, perhaps more so than in a university setting.
The most glaring package omissions are related to Machine Learning, e.g. 1) an R equivalent of sci-kit learn 2) A native R equivalent than the buggy interface to TensorFlow 3) A higher level ML equivalent to Keras or PyTorch.
wouldn't hold your breath, it keeps being hype articles because otherwise the price falls
WikiLeaks was taken down by hackers last night
I'm not sure many people use the term like that.
Good explanation of how deflationary spiral starts.

From economic point of view, having concurrency that is good store of value is negative. Bitcoin economy discourages investment and any economic activity, it's purest form of speculative hoarding.

Perfect cryptocurrency would store value well for a short term (year or so and then would lose value rapidly. It would be good for transactions, moving assets and storing them for short term.
It's weird how my comment really struck the nerve that it did since it's partly in jest. But I will say this much, historically the rich have always favored military solutions rather than economic (or social) ones in dealing with class warfare. If the rich of today want to take a page out of history, they should be more like Otto von Bismarck and pay off the poor and disenfranchised. Meaning that some kind of reformed and expansive welfare state is something that's needed more than Uberizing every facet of life (the most recent one that's really annoyed me is the monetization of game mods by Bethesda; it's a hobby, not a job.). Whether or not that includes basic income remains to be seen, but the fact is all the opposition to any kind of welfare under capitalism will doom capitalism to be overthrown more violently than it had been in the early 20th century by communists.
I doubt they'll make Windows open source ( maybe pieces of it ). They will make the OS free and collect data on you and sell you ads. Think Nadella said as much in his interviews.

Also, the author should have defined what he meant by "open source" because it means different things to different people.
It is entirely silly. The believe that there is causation between a high fidelity, high dynamic range release and 24/192 is exactly the issue.

Yes, those high dynamic range releases usually get published in 24/192. No, the fact that they get published in 24/192 does not, as far as human hearing goes, add anything to the dynamic range or otherwise the fidelity of the recording.

Since the correlation is so strong, it is of course entirely understandable that people assume causation exists.
Money is only attractive if many people accept it as a payment method. Governments can easily make cryptocurrencies sufficiently unattractive that they don't reach a critical mass. There are no technology solutions to social obstacles.
He's not silenced, they just took away the podium that says "sponsored by Google".
Studies are important simply because reality is often counter intuitive to theory.
Bounds for sorting by prefix reversal – Bill Gates [pdf]
85,600 * (.25 - .14) = a $9416 tax increase, which is less than the $12,000 per year for a single adult, so the top of the middle quintile would net slightly more money after taxes and transfers (way more for two person households).

Am I misreading this? (It does seem a little too good to be true).
Awesome work, thanks for sharing such great detail and technical resources needed to replicate.
90% market share is a sum of marketing, good enough product 30 years ago, backwards compatibility and user habits. Many users, especially those living in browser, don't care about OS, they are perfectly fine on Ubuntu but they either don't know that there is something else than Windows or they are afraid of trying something new. I am talking here about majority of computer users not tech savvy crowd visiting HN.
Haven't heard the term before and kinda hoped they had genuinely trained a Stingray fish to track people down.
This originated from Dawkins (The Selfish Gene) but, IIRC, is more of "evolution can be understood in terms of the gene". And there are criticisms of that, like that it doesn't take in to account phenotypes.

But, populations evolve, not individuals, yes.
Why I Love Our Partnership with Helloworld.se
It's enough to claim "only drug dealers, terrorists, and pedophiles use it" and randomly search computers of people who use it to make it sufficiently unattractive that it never reaches a critical mass of users.
>But I have known people who burned (small) piles of leaves without reporting and in non-drought conditions end up with fines for their trouble.

What you really mean is that you know people with neighbors who don't like them and are well connected enough to not fear reprisal.
They aren't my arguments. It is not about "fewer deaths from cold weather" but fewer deaths from extreme weather, the opposite claim of the OP and many media outlets of "accepted science" of climate change. It is not even a denialist position but the position of the IPPC, NASA Goddard Institute for Space Studies etc.

My argument is using "climate change" as the reason one wants to protect from flooding is a logical fallacy.

Obama's order mentioned in the OP wasn't "impact of flooding legislation" but "response to climate change legislation" and contained more than flood defences.

Legislation to defend from changes to weather the climate change scientists say will not only not happen but reduce.
Because, in some cases, we can engineer things better than nature can?
First you need to use fiat to get BTC or ETH. I recommend ETH because transaction speed and fees are faster and cheaper.

I recommend Gemini.com (Winklevoss twins involved in this company)

Then I recommend Bittrex.com and Binance.com for the top two exchanges right now. I can see Binance overtaking Bittrex eventually, it recently launched but has it's own coin and is going to become decentralized eventually.

https://www.binance.com/resources/ico/Binance_WhitePaper_en....