skysight-inc/HackerNews huggingface dataset:
But Win10 _does_ have an inherently more secure design[1], so much so that sometimes you have to turn them off in order to install stuff like VMWare.

[1] https://docs.microsoft.com/en-us/windows/threat-protection/o...
It absolutely cannot, sir.
You might be getting old, but you are still of sound mind :)
* What do you think are the prospects of passing strong Net Neutrality law in the Congress? One of the main concerns isn't just FCC removing the rules, but the Congress passing a weak law which would solidify dysfunctional rules, making fixing them many times harder.

* Why do you think, existing anti-trust law is not working to prevent abuse by ISP monopolists like using data caps and zero rating to disadvantage video competitors?
Tencent owns Supercell, whose games (Clash of Clans primarily) have over 100 million daily active users worldwide.

That's just one Tencent property.
> you can do that in a function preamble (constructor), too.

Well, yeah, but that's a runtime failure. Obviously that's heaps better than just failing at some arbitrary later time, but if might be better still to force the program writer to consider up front what should happen if construction were to fail.

In the particular case of preconditions for constructing data I would say that constructor validation is usually sufficient for my purposes, at least. I routinely use it in Haskell (abstract newtypes) and it seems to work fine, especially when you couple it with general validation (REST services).

EDIT: I should mention: What I personally find very attractive about fully dependently typed languages is the fact that you, the programmer, get to choose exactly how much you want to prove. Want to work with a JSONValue which can be any old JSON? Sure, you can do that! Want to work with a JSONValue which must contain (at least) keys 'foo' and 'bar' which map to data of type 'Foo' and 'Bar' at all times? Sure you can do that too!

(JSON may not be the best example, but I hope you get the meaning.)

Of course type inference suffers a bit, error messages probably too. However, I don't see that as a huge problem. YMMV.
One of the core issues is that arbitrary dependent types require writing difficult formal proofs [0]. Xavier Leroy, who, as the main author of CompCert -- probably the only non-trivial program proven end-to-end [1] with the use of a proof assistant based on dependent types -- has often said that even he, a world expert, had found this so laborious that he views manual proofs as viable only to small programs (and CompCert, while non-trivial, is certainly a small program). Short of that, the question is exactly how useful it is to prove only those properties that are easy to prove. Another issue is that there may be better alternatives (which could be combined with restricted, "easy", forms of dependent types. Contract systems (like Java's JML), are as expressive as dependent types, but separate specification from verification, meaning, they allow you to state program properties formally, and then use either (expensive) formal proofs or weaker forms of verification (like generated tests) to verify them. Proofs are both extremely costly and are very rarely a requirement; their added confidence beyond other, weaker, but far cheaper, forms of verification is very rarely worth their tremendous cost.

[0]: See this example of a simplified Quicksort in Idris: https://github.com/bmsherman/blog/wiki/Quicksort-in-Idris

[1]: End-to-end verification is ensuring that global correctness properties (e.g., "the database is always consistent", or "no user ever gets access to another's data") are preserved all the way to source code or even to machine-code. Most "formally verified" software, at least in industry, isn't verified end-to-end. Rather, either global properties are verified not against the code but a high-level description of the software or only local properties are verified at the code level, or both (but with a gap).
Yes, that was an amazing documentary. Certainly not what I expected when going in. It makes me think that this is a laughably minor 'punishment.' Ban Russia from all Olympic events, Winter and especially Summer (the one people actually watch) for 40 years or until Putin and his cronies are no longer in office. Simple. They've been doing this since the late 1960s, so should be suspended at least as long or at least until they have gotten rid of the people responsible. Anything less is simply nonsense. Who would think that they would take a single sitting-out of the Winter games as their punishment and not immediately re-dedicate themselves to cheating as aggressively as they can?

The sad thing is that I am sure there are plenty of very capable Russian athletes caught up in all of this, and their achievements are completely unreliable because for all anyone can tell they would have lost handily every medal attained since the late 60s if not for cheating.
It might not work for hockey, but individual Russian athletes can lobby for the right to compete:

> In barring Russia’s team, Olympic officials left the door open for some Russian athletes. Those with histories of rigorous drug testing may petition for permission to compete in neutral uniforms.
This was not my experience. I think the University in this case matters; and thus we shall not conclude that all of them are useless or priceless.

My opinion is that many (I'd say most but I'm not certain) of the universities in the US are pretty good.
>So, using sports as a proxy is not the same as management decisions where there are no well-defined criteria or expected value.

Wouldn't it make his result even stronger? If the thesis fails to hold even in better conditions (like when there is a well-defined expected value), it should also fail to hold in worse conditions.
> If traders lose faith in Tether, they would sell Tether and buy Bitcoin in a flight to safety. Bitcoin prices would rise as traders try to get out of Tether.

That might be the outcome, however:

- If there would be the slightest bit of panic btc transactions would be congested for days.

- If people would loose money by Tether their btc margin positions would be getting closed.

- Because they loose faith in one crypto they would by another?
Wasn’t it _actually_ created to allow export of funds after the parent exchange was banned by the US and Taiwanese banking systems?
> Yeah, but isn't that also the "problem" with subsidizing K-12 public school?

Eh, 9-12 public school maybe. The dirty not-a-secret of K-8 is that it's effectively state-sponsored daycare as well as an educational system, so its role as a holding pen is a feature rather than a bug.
No, it does not. You've missed my point. Deploying a browser JS application locally would help you if you could be sure that the application never loaded any additional Javascript from the server during execution. But browser JS applications can in fact do that, and so local deployment does not help as much as you think it does.
A "Big Fish" in the Bay Area is doing that much better, though. That's the whole point.
You need to get a better sense of what “average” looks like... this would be news to many people, just not on HN.
This sounds like what would happen to stocks if NYSE/NASDAQ are able to print USD to just keep the stock market going up...oh, wait the FED is doing that...
I agree with the premise that fungibility is important to Bitcoin's success, but I disagree that Bitcoin is 'flawed' or has in some way lost to Monero.

There was an update yesterday on the progress being made on privacy features in Bitcoin: https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2017...

On a related note, I am happy about the conservative and careful pace of development of Bitcoin. I don't want my store of value to undergo risky development.
The problem is not the software, or how data is handled. There is no such thing as secure data that has been "published". The problem is people accept this level of snooping by software or are ignorant to it.
I'm not choosing a side here, but saying "we have Wireshark" doesn't mean as much as you think it does. If packets are encrypted and sent at arbitrary times, we really have no idea what is being communicated. Surely we could see large amount of data if they were transferring entire audio sessions, but I feel like they are far more likely to send transcripts or key word mentions. Given the size of keyword mention, it would be very hard to distinguish this from a normal query to Google.
Great team, loved working with them in the past.
That's true. Really it would turn this into a last-mile problem where rural communities that didn't have the land value to justify big infrastructure projects would have terrible roads.
That's some hot fire.
Until you get a (targeted) firmware update that allows for just that. Even if there is no malicious intent now, can you be absolutely certain that that won't change? That there aren't or won't be any hidden keywords that will trigger recording / transmitting in silent mode?

If I were planning to use these devices for surveillance, I'd of course provide only the utility first while privacy-minded people are still skeptical and then turn on the surveillance gradually after these devices are deployed nearly everywhere, integrated into every-day life, and can't be (easily) removed anymore. [0]

The current version might have a hardware kill switch for the microphone. Will the next batch too? The batch after that? How many people will actually go out of their way to toggle that switch to be certain it isn't listening instead of believing it isn't in good faith, or worse, not even thinking about whether it might?

Perhaps these devices won't ever be used for mass surveillance, or perhaps this is the beginning of Telescreens as they're described in George Orwell's 1984. Both Amazon and Google make vast quantities of their income by excessively undermining privacy in favor of targeted advertising. I'd call it fairly naive to expect them to now build privacy-minded devices that have as much spying potential as the Echo and Dot have.

[0]: https://media.ford.com/content/fordmedia/fna/us/en/news/2017...
AG published a form for reporting fake comments: https://ag.ny.gov/fakecomments-form
Not just 2014. The IOC pulled the historical samples of urine kept for exactly this sort of reason and verified extensive cheating across every event, every Olympics, going back to 1967. There has not been an honest Russian competitor in the Olympics during the lifetime of most of the people reading this.
GM Puts an E-commerce Marketplace in the Dashboard
Sprout Social Acquires Social Analytics Firm Simply Measured
> For one, taking credit for something they have not delivered

They explicitly said "cheaper data through carrier innovation"

> Even after reading twice I don't understand what is special about this other than the carrier branding.

You yourself said "everyone in India will tell you the whole thing has to do with Reliance Jio". So having Google Assistant for JioPhone is special in that context.

> This looks promising though with even bigger risk than the general maps

What's the risk you are seeing?
Are you happy with the FastMail native mobile apps? I've tried to use Android FastMail but it's quite clumsy compared to Google mail or apps like AquaMail.

I did switch to AquaMail and configured it to use FastMail through IMAP but there is no fast search. A good and fast search for mail is super critical.

Because of the lacking mobile app I'm unfortunately considering the move back to Google Apps.
Definitely not limited to one country - they are basically one of the largest video game companies in the world with majority holdings in Riot Games, Supercell, Epic Games and a large percentage of Activision Blizzard.
While it is true that even under Hu, HK government was pressured to take orders from the mainland government, it is evident that the current regime is less tolerant to any democratic opinions. HK government is forced to implement the "National Anthem Law", and is planning (I believe still a rumor, but most likely the truth) to pass the controversial Hong Kong Basic Law Article 23.

At least during Hu's time there was still some minimum open channel (advocated by Chief Tsang) between the democrats and the mainland government. Now, there is none. There is no compromise on anything coming from mainland.

There is absolutely no flex under Xi's regime. I used to be quite pro-mainland myself, but in recent years I have switched my position after seeing how the mainland government is overreaching the One Country Two System.
I share your frustration.

However, this tool actually do useful work, based on quick glance I made. So maybe don't discount it just yet.

But again, I share your frustration.
It is worse than GMail. It tends to come in waves, there can be weeks where I barely get any spam in my inbox and then there is sometimes a couple of messages per day. I guess marking spam (Fastmail also uses a naive-bayes-based filter) and/or servers being added to a blacklist stops those waves.

I don't recall the opposite (false positives) ever happening.

I would say the numbers are generally small enough that it does not bother me.
Really thought that 5th 'u' in juuuuust would have implied the sarcasm tag
How did the word Oracle not immediately scare the author away? They make a large portion of their revenue through license compliance auditing.

Doing business with Oracle is dangerous.
Will there be support for deployments to a (test) environment per branch?
Or real estate, for that matter.
Asteroid Run Game: Hour of Code 2017
And then forgetting because that tricky synchronisatiin problem from work pops into your head and you wander off...
They also own a large share of Riot Games.
[Day 13] Zero to MVP in 30 Days – Writing Some Code
Since the whole point is to reduce congestion, implementing a cap (price ceiling) is absurd. When a price ceiling is set, a shortage occurs. In the case of road usage pricing, a shortage means a shortage of capacity.

In other words, you end up with traffic congestion and tolls, the worst of both worlds.

I read a similar thing about Houston where it's capped at $8 and has little effect on reducing congestion. The first course of action should be to remove the price cap. (And expand the number of paid lanes, which would decrease the cost paid by drivers by spreading it out over more lanes.)

You can't have your cake and expect it to eat it too by imposing usage pricing with price caps.

Economics 101: price ceilings cause shortages.
> Even IF Tether is NOT running a fraud, the arbitrage positions that automatically exist between Bitcoin and any tether are real and do create incentive to create an arbitraged feedback loop whereby a pegged tether between Bitcoin - any_generic_tether - USD does exist and self feeds, driving up Bitcoin exactly as the author contends may be happening with the current Tether.

This purported mechanism needs a more thorough explanation from the author before it can seriously considered. How, exactly, does this arbitrage opportunity work?
Gee, thanks captain hindsight!
Scott Hanselman is doing an AMA right now
Apple shares are worth money because they entitle one to a share of ownership and voting rights in a company that engages in real wealth production, and would be worth lots even if they reinvested all their dividends like Amazon.

The same cannot be said of these kittens... that this obvious point even needs to be stated is just sad.
Can you elaborate on the ownership structure of Baidu, Alibaba and Tencent?
You could gift a physical coin model, along with the login credentials to a Coinbase account
Bitcoin may not be dead but it is certainly being destroyed on its original purpose (being money).

The only reason to hold Bitcoin is the naive hope that more suckers (not even a better word for them) pay you to hold something they think will go higher (again: suckers)

There are networks that are faster / more secure than Bitcoin and therefore more valuable as usable money (which is what Bitcoin was supposed to be)

Bitcoin may be worth something, but it certainly isn't worth $11k in my opinion since it is just a community-decided value-store currently.

The same could be said for USD but at least USD is backed by the United States.
I've been using http://brunch.io and enjoying it. Far less configuration than Webpack.
Once a road is built, it still costs money to maintain it. That is an issue for states that have large areas of roadway, yet have dwindling population.
> As long as people want to short bitcoin there will be lots of demand for tether

Interesting observation.

Most people here are say fractional-reserve Tethers are inflating the exchange rate of other cryptocurrencies.

But that doesn't really make sense, because buying cryptocurrencies means selling Tethers, pushing down the exchange rate for Tethers. But Tethers are trading 1:1 for USD, so something doesn't add up.

You say that Tether demand is strong because traders are selling Bitcoin, and that's propping up the exchange rate of Tether.

So what happens if a Tether fraud is revealed and traders want out of Tether -- does the Bitcoin exchange rate go even higher?

See https://en.wikipedia.org/wiki/Gresham%27s_law where Tethers are the "bad money" causing traders to hoard Bitcoin, the "good money".
RIN – Real Time Interaction Network for Radio Stations
There is a reason the number one paid podcast on Patreon has an anti-capitalist theme.

That means nothing, capitalists are happy to take your money by selling you propaganda against themselves. Those shirts with the Che made some people very rich. It's what makes it so resilient, compared to other systems, and why it won world dominance.
Okay, you're getting downvotes for no reason. So Imma +1 you. I don't think you're very wrong. With that said, you're still "somewhat wrong", but not in a way that deserves downvotes IMO.

> No, if I search for "Platinum 8180", the top model from the latest Xeon families released roughly at the same time as Epyc

Xeon Platinum 8180 is Skylake, which is -2 architectures behind. There's Kaby Lake and Coffee Lake ahead of the Skylake architectures. Granted, Intel releases servers at -1 architecture compared to consumers, but... yeah.

In any case, I'm not aware of any Kaby Lake Xeons available, let alone Coffee Lake.
Amazon .BOT TLD now open for business
As a blogger of 15 years, the issue to me now is that comments almost always take place in Facebook or Twitter, not on my blog.

I blog. Then post the link to social media. I'll get tens or hundreds of comments on social media, but maybe 3 on the blog itself.

Do any of these commenting systems have a way to say, "Any comments that happen on [Facebook/Twitter] should be added to the blog comment thread"?
And how is this contributing to the debate?
>But nonetheless, the number of people who are security conscious enough to lock their keys into their hardware, but not worried about malicious hardware seems quite limited.

Maybe I'm wrong but it seems like you're misinterpreting these people. TouchID is an ease of use feature that you feel good about because you also get to improve your security (save for malignant hardware manufacturing). Its very easy and it improves your security. You don't have to be excessively security conscious to be interested in that. I like TouchID but I'm not a security obsessed person (although I'm not quite on the same level as your average joe), and im pretty sure its easy to sell this and any TouchID people to anyone regardless of how security conscious they are on the basis that using TouchID is even safer.

I just don't like your view that people who like TouchID must be obsessive about security and understand it inside and out. Most people do things regardless of how much they understand.. you won't be an expert in everything.
So you are a Big Fish. You have a boatload of money in exchange X. You go to take it out and they don't immediately give it to you. They say, "Listen, we can't get to it, it's in our cold wallets, it will take a week." A week goes by, they say, "Listen, here's 10% of what you asked for, we'll get you the rest shortly.". This goes on, they periodically give you some of the money but there's a lot of evasion.

What's the Big Fish to do?

a) Quietly keep pressure on the exchange, taking the money as it comes, while not putting any back into the exchange.

b) Make a big stink, bring in lawyers, write press releases and bring down the exchange, possibly destroying any opportunity of getting the money back.
Full access permits the normally sandboxed keyboard app to access the internet so in theory means the app developer could have the keyboard log and send all keystrokes
Name and shame!
store of value adds very little value to the rest of the world yet to adopt it. buying bitcoin/sending it is more expensive than a wire transfer. this isn't what bitcoin was meant to be.

I no longer use bitcoin for anything other than HODLing, LTC has completely displaced it for as a means of exchange. That seems like the more important problem to solve for mass adoption. Can't have people paying for food/goods with bitcoin, it just won't work for that any more.
I wasn't aware they were mostly owned by outside investors. Even if that's true, they are participating in chinese govt mandated suppression and blocking expression. I understand thats just the way things work in China, but you can't allow people working under that basis to control important means of free expression in the US.
Mr. Schneiderman,

Beyond efforts such as your lawsuit, what are some actions that local and state governments can undertake to ensure that net neutrality remains in-place within their jurisdiction, without the risk of being preempted by the FCC?

Another commenter here suggests municipal broadband as a possible response to the weakening or elimination of net neutrality. Do you see any legal constraints that may be imposed by federal law and/or FCC regulation on the efforts of states and local governments to foster "network neutral" internet utilities that can compete with carriers known to discriminate within their networks?
just for completion's sake:

most people that use a service such as disqus use it in tandem with a static blog hosted on maybe github, gitlab or whatnot and these have a really neat alternative to this setup, and that's actually committing the comments automatically instead of serving them through js.

there is a FOSS appliance for just that, and it even offers a free hosted service

https://staticman.net/
No it's not. I'm happy to buy things with my fiat currency because it's not increasing in value at astonishing rates. I'll just keep my bitcoins and cash out some when I want to buy stuff.
Containerd 1.0 released
Definitely overlooked gem. Phoenix is using it though (Elixir web framework)
https://medium.com/@jamesjunghanns/my-0-00000173120-btc-a-pr...