skysight-inc/HackerNews huggingface dataset:
there are a few high profile cases where the Euro predicted hurricane paths better then the GFS. Granted these hurricanes are HUGE events and better hurricane forecasts saves lives etc. However these models predict ALL the weather, all the time, not just hurricanes. We use the GFS (in combination with other models as well) to shape our forecasts every day for all kinds of weather and millions across the country rely on these data.

The guy reading you a forecast on news channel ? If they are providing a forecast for greater than 3 days in the future, you bet they are including the GFS info in their predictions!
I'm sure the GFS model will be better with a faster computer. We can get more ensemble runs, at the very least.
It's probably a more mundane issue related to either older versions of HTML (which did not support UTF8[1]), or issues with an older database that stored things as latin1 or ASCII by default, or issues with an older programming language that doesn't seamlessly support non-latin1 or non-ascii characters without deliberately doing so (like Python 2).

That said, I do agree it's not something that should be used without thought. I mentioned that my usage generally involves knowledge that the data set has no valid reason to contain higher code points, and usually involves usage of Unidecode[2] to convert higher code points into ASCII equivalents (which in many cases strips out contextual knowledge, but is sometimes an acceptable trade off for stability and predictability of the data sent downstream).

[1] https://www.w3schools.com/html/html_charset.asp
[2] https://pypi.python.org/pypi/Unidecode
Feature policy won't help anyone measure site's performance unless your performance metric is "amount of features used".
Yes, Aaron Swartz is mentioned 6 times in the article above.
Seems pretty easy to quantify - it looks like there are ~37K motor vehicle deaths in a given year [0] and "Approximately 6.2 million patient transport ambulance trips occur annually." [1]

Ambulances would need to save their passengers' lives <1% of the time for them to "break even" so to speak.

[0] https://en.wikipedia.org/wiki/List_of_motor_vehicle_deaths_i...

[1] https://www.nhtsa.gov/staticfiles/nti/pdf/811677.pdf
The problem AMP is trying to solve is very real. The way AMP is trying to solve the problem though, is bullshit. If sites are too large, and load too slow, derank them.

That's a much better method than pushing sites to use a shitty lock-in system.
> Or just people with money should be allowed to have access to content?

That is the case for pretty much everything non-digital and schools and education as well and thus an entirely reasonable position to take. You might then argue that libraries should be expanded, but that is a separate issue.

Also, just like with adblock plus none of these features forbid advertising as such. Advertisement which are "acceptable" and non-privacy invasive are completely unaffected and I am very much in favor of enforcing some reasonable consumer protection bith technologically and by law.
that seems like a fairly questionable blame-shift for MS. If they don't have the guts to provide even that level of protection, yet more reason to shift away from them except for trivial things like gaming.
Lastpass is also down.
No, market value is the name of a math formula. It sounds like you're asserting that market value != Real world value which is true but irrelevant to the definition of market value.

So as crazy as it sounds $100B in market value can be erased by a drop in the market price of an asset. But don't confuse that with $100B actually being lost or investors realizing $100B in losses. But in any event the title of the article is accurate.
In that case, I would trust new coin apps more if they just used etherium.
Microsoft Security Essentials?
Show HN: Template for writing custom Check_MK checks
Instagram Has an Animal Abuse Problem
People are already cheating with AMP by putting only introduction on the AMP page and then linking to the heavy main content at the end. Cheating is something that Google has to deal with all the time.
I really have no idea where you got that from in this thread.
But that's the point, it doesn't depend on a "neutral" speed index, it varies from website to website, ISP to ISP.

If you're in Jakarta trying to access a certain website, if that website is available at the local CDN might make a bigger difference than which ISP or even which plan you're using.

You could have a 1Gbps fiber connection from your ISP in Jakarta. If you're trying to access a website in Singapore the your ISP's international link is congested, that 1Gbps will be useless.

OTOH, if you have a 10Mbps connection, and you're trying to access a website replicated at an Akamai CDN in your ISP's network, it will be way faster.
Look at Mercurial for an example of an interface that is much better, and it accomplishes basically the same thing as git.
Cool project. Are you also going to allow access to the historical data?
Fair question. I spend 8 hours a day not near him (at work). Most of that 8 hours is making money I don't need. I'm not a frugal or ascetic person but I have very few wants that cost money.
Luckily, math does not quite care about opinions of the FBI chief. Encryption is a done deal. This genie is not going back to the bottle. Now it is just going to be an arms race between building a better mouse and building a better mouse trap.
So what? It's a clever and catchy name. Giga sounds ambitious and is also a common prefix when talking about energy.

Did you know that everyone who buys a Tesla is not, in fact, purchasing a dead Serbian-American guy?
With Android we don't even know why the phone slows down. Do we?

Apple has since apologized for it and you can be reasonably sure it won't happen again. Even so, the damage done to you is known and contained, where as with others, only God knows.
I find talking about it helps. The feelings pass if you allow yourself time to heal, and talking to a coach, a therapist, deep diving with others going through similar stuff helps pass/break through it.

But this life we live and all the struggles are all part of the journey. there's no end-destination free of inner conflict.

It's recognizing that human suffering is universal, and having compassion for yourself. Through awareness of knowing what you're in, when you're triggered, and how - that awareness itself is HUGE. next part is to have compassion for yourself or else you will overwhelm.
Oh, I agree. They're practicing the data gathering, but so far, it seems aimed at just getting users to buy off amazon more. They want you to restock/replace via their marketplace instead of using their competitors.

And even then, it's only reaching into the IoT crowd and leaving the rest untouched; compare to Google with Gmail and Calendar, that are trying to get the entirety of internet users.

That might change; that probably will change, but at least for now their given ends seem to be in harmony with their business model. That's why I still don't trust them, and personally I avoid using them almost entirely (I aim to keep only to Amazon Video, since its provides competition to Netflix).
How I created an extremely fast blog
Oh, yeah, I remember how much free video was available on the internet before YT.

Great times!
Healthy suspicion is not baseless speculation. Often conspiracies are only unmasked when someone starts from a position of intuitive suspicion otherwise unsupported by evidence and starts digging. It is only in the digging that evidence is unearthed.

The fact that both Aaron Swartz and James Dolan committed suicide does, indeed, smell. In the past, our government has shown itself capable of [grabbing people off the street for mind control experiments](https://en.wikipedia.org/wiki/Project_MKUltra). It has shown itself capable of secretly [infiltrating legitimate political groups](https://en.wikipedia.org/wiki/COINTELPRO) and engaging in all manners of counterintelligence to disrupt them. And those are just the ones we have confirmation of due to the often extraordinarily heroic actions of whistleblowers and activists.

I wouldn't put it past parts of our security apparatus to assassinate dissident activists it views as threatening its ability to surveil or prevent leaks. It does not serve us to be overly skeptical of conspiracies like this. Lack of proof is not the same as proof of lack and the only way we can hold our government accountable for shit like this is to keep and open mind and follow stuff up when it smells.

Note, that is not the same as arguing that all conspiracies should be uncritically believed. Just that we should be suspicious of stuff like this and support those interested in investigating.
It’s not black and white either, though.

If 10% of stock holders are able to cash out without changing the price significantly, market cap would be an inaccurate measure, but not that far off.

If, on the other hand, only 0.1% of holders of some token are able to cash out without significantly affecting the price, the value they think they have just isn’t there (to a much larger extent than the case above).

To use an extreme example: if I issue 2^100 tokens, and manage to get a couple of orders in an order book with a mid (and “last trade”) price of 0.1 cent, and this price goes to zero, did 1.268^27 dollars of market value just vanish, or were the holders of this token misinformed?

The inherent inaccuracy of market cap value is inversely proportional to liquidity: the less liquid the asset, the further away from reality market cap value is. And these tiny tokens are some of the least liquid assets in existence.
The GFS was bad at tropical weather this year. Though I have to say, the GFS has been a little less crazy in long term forecasts on the US West Coast lately.

Not sure how much processing power will improve the tropical storm forecasts, though. I had the impression that had to do more with the model's physics. Though it would be nice to catch up with the ECMWF's data assimilation prowess, that would definitely help.
I've consistenly voted Labour / Labor for all my life, and my poliics haven't changed. I still believe in looking after the elderly, children and the ill, and negotation. I loved Milliband. But the left (at least Labour in the UK) has been siezed by a hard left group called Momentum, that supports far-left political violence, is often openly hostile to people based on skin color and gender. Classical liberals haven't changed, the far-left has just taken over left wing politics.
It's worth noting that Windows Update may also fail to apply the Meltdown/Spectre patch if other conditions aren't met. Some are mentioned on the KB page [1] but they don't mention another common scenario, which is that if your system firmware is not ready to accept the update, Windows Update will not apply it, and _it won't tell you_ that it's not applying it -- it will simply say 'Your device is up to date'.

I had to dig around to find a page [2] that had some useful instructions allowing me to find out what the actual status of my Windows install was. I'm grateful to the author of that page, they provided critical info that neither Microsoft nor my machine's manufacturer did. I wish I could say that it boggles my mind that they could be so hushmouthed on the subject of a vulnerability this severe.
Of course, my OEM (Lenovo) has not released an update for my Windows laptop (Yoga 900) since 2016, and as of today their support page [3] on Meltdown/Spectre does not indicate that they plan to do so.

I'm posting this partly in anger/despair, partly in the hope that I'm wrong and that someone will pop up to comment and tell me there's a fix. There is a Linux BIOS for this machine but it's old and I don't know if it will actually address this issue.

[1] https://support.microsoft.com/en-us/help/4056892/windows-10-...
[2] https://www.bleepingcomputer.com/news/security/list-of-meltd...
[3] https://support.lenovo.com/us/en/solutions/len-18282
My work firewall blocks this site; can someone paste the letter's contents?
There is space launch insurance. Private companies almost always have it since the risk of a failure and loss of a very expensive satellite is not negligible.

However, the government tends not to buy insurance. For an entity as big as the US government, insurance will surely be a net loss when you add up all of the times they would want to buy it. For instance federal employees don't buy any of the insurance offered with rental cars. Obviously with the number of federal rentals, there are lots of accidents that the government must pay for, but this figure is lower than total cost of all the insurance they would have to pay for to avoid it.

In general insurance is only advisable if the avoided costs would be too much for the insured to pay out of pocket. And the federal government can essentially pay for anything.

That's not even mentioning specific concerns with this highly classified payload. The insurance company would want some knowledge of what they are insuring to assess its value and that's just unnecessary risk to the secrecy.
Yeah but it's another interpretation/ruling in a long line (speed stops, dog searches, exigent circumstances) that allow cops to violate your 4th Amendment rights whenever they want. Cops can pull you over for crossing yellow lines while driving without proof. Cops can say their dog signaled it detected contraband without proof. Cops can say they heard someone yelling without proof. It's very rare for things like to sink prosecutions; basically the cops have to have lied, there has to be evidence, and the judge has to agree there was a violation. Practically speaking these rights don't exist, and if they do they really only exist for upper-income people.
Wait, are you actually defending that only rich people should have access to content?
In this case, it is :(

I'm hoping states will start with it and maybe one day, federal will follow suit
$100B was created on paper and lost on paper.

Net worth is the same concept. Jeff Bezos net worth is calculated based on how much his assets are theoretically worth based on current fair market prices. He doesn't have to sell all his assets to determine his net worth.

People don't like the "lost $100B in market value" part, but it is accurate since market value is calculated on paper.
Sorry theres not much I can do, look forward to the next hiring round!.
That sounds rather hackish. Any recommendations for an external downloader though?
Can any of the HN Admins set the title bar to black? IIRC, thats the custom for a "death in the family".
Kodak announces its own cryptocurrency and watches stock price skyrocket
Not op. I think they were attempting to help by socializing them to common parlance. Potentially because IRL they mentioned they dont have a sognificant other it could be because of things like this. Dont know, not op. Think it was meant to be helpful
Hmm how do you figure?

Having people host with several nodes running a consensus algorithm is worse than trusting all your data to one actor in "the cloud"?
I don't get why people think an sla is any benefit whatsoever hosting or software services are generally so cheap, any refunds are completely superfluous compared to the business and productivity loss.
Like with Aaron Swartz “suicide” should be in quotes. I don’t believe in coincidences when the US government is involved.
If "yes", then you still don't need blockchain. There are better protocols,
like DHT. The only time you need blockchain is when you need to tell which of
the two related statements was issued earlier and at the same time you
absolutely have to have no trusted third party that assigns timestamps to the
statements.
You're right about WhatsApp and Instagram, but they're similarly opt-in. On the in-website comments/like buttons - this is also true, but quite trivial to block (most blocking extensions will do it out of the box, some browsers are even doing it as a built-in feature). Such blockers will also block some subset of Google stuff - e.g. Google Analytics - but miss the vast majority of it.

Google provides DNS - handling every domain look-up for anyone using it. This setting is often at a router or even ISP level. Google hosts the TLS verification databases used by browsers to bulk-verify the lists of HTTPS sites you visit. Google Analytics is not just in websites, it's embedded in many non-web apps you use, even some CLI ones. Even excluding the ever-pervasive Google Analytics, Google also provides myriad services to 90% of individual websites you visit. StackOverflow relies on HTTP requests to Google servers for all posting/commenting/interactive functionality. Google (or Apple) own and control your mobile phone. They track your every move, wherever you go. They can see every app you open, and often how long you spend in it, regardless of who developed that app. They read the contents of most of the emails you send, regardless of who you host your own emails with (because not only are most personal emails on Gmail, a significant quantity of @corporatedomain ones are too). Google measures the physical location of the WiFi router you have in your house from other people's Android's as they walk by (and from Google StreetView cars).

With Facebook you can choose not to sign up to Facebook/WhatsApp or Instagram. Apart from not buying an Android phone, most of the above is not trivial to avoid, and the website stuff I mentioned in particular is only the tip of the iceberg.
Overstock Is Investing Millions in Blockchain Startups
Thanks! Yes, we are :). What use case do you have in mind?
New NUMA support coming to CURRENT
This sounds a lot like ripple:

...

Are people still fighting about this or have they come to a consensus?

I'm probably the worst person to represent whether there's a consensus or not since I'm one of the designers of Ripple. But the important thing, at least in my opinion, is that there is no "secret sauce".

The software is open source. People are free to modify it however they please. We run the exact same software that we make available on our public servers and our validators. Others are free to run validators and they do so.

As it happens, much of the network infrastructure is run by us today. But we are more than happy to turn that over to others who are willing to do it.

Why do you care if something is decentralized? The main reason is usually that you don't want the users of the system to be forced to accept changes made by an owner/operator of the system whose interest may be averse to them. Ripple is decentralized in this sense.

For example, eBay is not decentralized. They don't warehouse their goods. But if eBay the company says no auctions of adult merchandise, then there will be no such auctions. It wouldn't matter if every user disagreed with the policy. Their only recourse would be to re-create what eBay had done, that is, to themselves implement eBay's secret sauce.

By contrast, Ripple has no secret sauce. Anyone can run their own servers. If we make changes people don't like, nothing requires them to run the code with those changes. If Ripple disappeared and users of the ledger wanted it to continue, nothing would stop them from continuing it.

https://bitcoin.stackexchange.com/questions/40448/is-ripple-...
Just when I clicked https://securedrop.org/, my company's corporate firewall blocked it. I can't start to imagine how much adversity the world has imposed onto these brave warriors.
> Why on Earth do you think a former Google engineer is sitting at home unemployed?

Because he's busy - see the title of this post.
24h volume is related. For instance NEM has a market cap of 14B, but 24h volume puts it at 62M where as LTC has a market cap of 13B, but 24h volume of 0.9B.

If you tried to liquidate the same amount (denominated in USD) in NEM and LTC you'd see much more price slippage in LTC than in NEM.
> What kind of safety theorem should I be looking for? I mean, what I generally want is something like "if an expression of type A evaluates, the result will be a valid thing of type A i.e. a value constructed by one of the constructors I defined for values of type A".

This is probably sufficient for a Coq-style proof assistant, but from a general-purpose programming language I expect more. See below.

> I kind of want a "the system will never magic up an A out of nowhere" result, but AIUI I can never get that because I can't have a proof of consistency of the system, no?

A type system can and should guarantee that you can't create values of a (positive) type other than by using the type's introuction forms.

> What is it that we can't do currently?

(0) The obvious: Be sure your program won't attempt to read from or write to a close file.

(1) Obtain an arbitrary integer `n`. Test once whether it is a valid array index. If the test succeeds, use `n` arbitrarily often as an array index, without any further bounds-checking.

(2) Obtain three `foo.Index` values `a,b,c`. Test once whether the arrays `foo` and `bar` have the same length. Use `a,b,c` arbitrarily often as values of type `bar.Index`, without any further bounds-checking.

etc. etc. etc.

> The only way I can see for a type to ever get into code, in any language, is either through a literal or a cast, and both those approaches are open to me in Scala.

Are those casts safe without runtime checks?

---

In any case, at some point using types for program verification offers diminishing returns. We have to accept the possibility that maybe it's us, not type checkers, who have to verify our programs.
Wow you really need to put that in a banner or something at the top of the page. I immediately laughed at the thought of using sf when I saw this post.
really? how? I'd be curious what theories you have
It will be interesting to see what happens with weather modeling with the new Panasonic model. Although getting any info about it at all has been incredibly difficult since its all private.
This is pretty awesome:

https://www.reddit.com/r/personalfinance/comments/7p9a2t/cry...
Seems like the EU and/or the FTC would want to talk to microsoft about microsoft requiring microsoft's AV to be installed before microsoft will update the OS.
Health Care Just Became the U.S.'s Largest Employer
Plus one on this -- it would be nearly impossible to make a P2P chat system work on our corporate network since we have layers of isolation between users (not to mention about a dozen small branch offices, each with their own independent office, so even if I can Slack the coworker next to me with P2P, I couldn't reach the coworker in Germany that I really need Slack for). So we either need a central chat server on our network, or we use a cloud service like Slack.

We used to run Microsoft Communicator (OCS) and availability of that service was far worse than what we've seen with Slack.
hmm it would be an insane reputation risk for the private equity firm behind Kodak, but still very plausible.
I suppose there should be a balance of source-citation, with sources preferred which establish a broadly-accepted concordance (such as a meta-study of studies) instead of a single study (in which case you would be correct).

To me, rational arguments are the leaps between facts established by evidence, so both are necessary to some degree.

In online conversations devoid of any citation, things seem to far too often veer into wild speculation, unsubstantiated opinion/belief, and most egregious, ad hominem/stereotyping/etc.

I was unaware of the Principle of Charity, thanks for educating me!
Right, but MS provides AV or you can install a third party option instead. Just like you can install aftermarket brakes, suspension, ECUs or even seats and seatbelts in your Audi.
Why do you think it's wasted? Time you enjoy wasting is not wasted. Most people use it to message their friends, and communication with people you like is one of the key joys of living

I mean, how much time do you "waste" on HN? :)
> To put it in Bill Burr's words,"It's a big CLUB. And YOU AIN'T IN IT."

Pretty sure that's actually a George Carlin line, from a relatively famous routine of his. Many, many clips, but here's a random one: https://www.youtube.com/watch?v=cKUaqFzZLxU
Nueral network from scratch in Haskell