skysight-inc/HackerNews huggingface dataset:
what do you expect them to do - (as long as they exist?) Threaten their employees with torture for leaks?

I mean these things are pretty much why the NSA exists, it's kind of its mandate. It's not like their employees don't know they're really, really, really, really not supposed to leak their whole horde of zero days, or protect it to the utmost. these things weren't in a dropbox with the password "password123" or something...

what do you expect greater "liability" to do exactly? (Of course this is assuming the agency continues to exists, which you're kind of presupposing when you write "if the NSA were actually forced to be liable")

Edit:

Don't know why I'm getting downvoted...could you explain what changes to their operating procedured you would expect them to make, if they had greater liability?
Thanks I've been searching for this but with no luck. Do you have a link?

(I've disabled SMB V1 as has been suggested in this subthread. I've also run MS Defender with latest virus sigs and so far it hasn't reported anything)
You must work for one of those other companies with 340,000 employees that always makes the right decisions, always puts people before policy, always maximizes shareholder value, always engages positively with the community, and always makes sure every single employee and customer and client and partner is 100% happy with everything that happens at all times. You should write a book about how easy that must be. It would be a bestseller. You could even sell it on Amazon, I bet.
Thanks. Done it
Oh, didn't know it extended to calls to action. I would edit it out if it weren't already too late.
The law should simply put liability on the software, if it is not open source.
A few questions about WannaCry
1) They say its just going around the internet looking for computers, and it can go right in if they haven't updated Windows. How is the virus travelling around the internet? How does it enter a computer and what is the fix that prevents / lets it in?

2) Could this happen with Linux

3) Who is responsible for this issue?
Does anyone else find quora to be a "fluff" Q&A site? I so much prefer the stackoverflow and friends approach.
Ask HN: What are your tools to scrape news articles?
for example: https://support.microsoft.com/en-us/help/4019264/windows-7-u...
A Dive into Deep Learning Chip Startup Graphcore’s Software Stack
There are also the Intel NUC's and the Gigabyte Brix.

A video with some of them:
https://www.youtube.com/watch?v=E6O_j0-UZb4
Agreed. The NSA has known about the shadow brokers beach for 4 or 5 months. They should have warned industry sooner.

They ostensibly maintain their capability to protect us, but this is a clear example of them failing to protect us. The focus on offensive posture is all macho and typical military industrial bluster. My point is that the offensive cyber capability is more about dick length than keeping the country safer.

Nevermind that the internet is a global shared resource that works best when we work together.

Also, MS haters are doing some pretty fantastic replays of the hits in this thread. I get that you don't like them, but "kill Microsoft" isn't the answer. Maybe there needs to be a model for assigning cost to vulnerabilities like this...to Microsoft and the NSA. Make them account for this in monetary terms and you will see change.
Projects the size of Windows may easily contain enough "organic" bugs to keep all the NSAs of the world happy without adding anything new.

However, backdooring of security and cryptographic products by the NSA and others is a thing:

https://news.ycombinator.com/item?id=14335730

There is no hard proof that NSA did any of these backdoors, but they clearly do something of this kind, given data in the last link.
Newsgroups and mailing lists were the thing. To me as a kid, the space felt much cozier and more intimidating.

But the technology has evolved in more ways than just stack exchange. There was the availability of compilers in general- today, it's a search and a 1 minute download to get your compiler. And pick your quirky tutorial of choice. Back in the day as a kid, it was mowing lawns and paying for boxes of disks, paying for thick books(hope you bought the right $40 book!), nobody to verbally speak with, and staring at obtuse example code for hours late night while you were supposed to be sleeping.

Good times.
Switching from mod_php to php-fpm + proxy-fcgi (ie still with Apache) and then using the event mpm will help a lot.

Putting varnish in front of any web server will help more.
Mathoverflow is the Q&A site for professional mathematicians, not math.se where it may have been more appropriate.
There may also be links to your home directory as "Desktop", "My Documents", etc. See winecfg for these. And note that your registry files may refer to Z: (mostly for fonts, it seems), or even directly to files outside your Wine directory.
For anybody wondering if there is a difference between domestic abuse and domestic violence, according to the legal system, in the US, there is no clear delineation.

"Although some states use the term domestic violence while others use domestic abuse, the terms describe similar conduct."

http://www.criminaldefenselawyer.com/resources/criminal-defe...
As I understand it Uber's profits from the US market (and VC money) is funding the global expansion. If Uber lose their dominant position in the US we should expect their plans in the rest of the world to stop quite quickly; they won't be able to afford them.
Software that continually updates itself automatically. It's what Chrome popularized.
There was also a work-alike to StackOverflow in my pre-internet days for Turbo Pascal called 'SWAG'. It had example code snippets for all kinds of questions/problems, sorted by category.

I was surprised to find that someone made a web version out of it:

http://swag.delphidabbler.com
wannacry isn't limited to windows xp
One scary thing about these security holes is that it's almost impossible to check if your system is affected.

There are at least 50 different releases of Windows 10 alone, and it's hard enough to find which is actually used.

The "System" dialog Shows "Windows 10 2015 LTSB".
"Winver" on the command line shows "Windows 10 2015 LTSB build 10240" - but there are several releases of that and only the latest ones, e.g. from 10240.17236 and up have the patch - But I can't seem to find which one I have.

I don't doubt I have a patched version, but out of curiosity I'd just like to double check.
> There's nothing wrong with the weather in Britain.
Seriously? What about the constant grey sky?

Here a screenshot of a comparison I did some time ago to motivate ourselves to leave london: http://imgur.com/7tdwCoD
I never "upgrade" from one Windows OS to another. Always done a clean install. I postponed the upgrade because it's literally a couple of days' time project for me to get my dev environment up to speed. I also planned to purchase a new SSD before doing the new install (kill two birds with a single stone.)

Unfortunatelh I've been so busy with project deadlines that I haven't had a weekend I could dedicate to the new install and set up.

I guess I'm forced to now.
Years ago, when OS X was my preferred platform, I was really impressed from the fast and really good support of "Many Tricks". Always felt like I was supporting one of my colleagues emerging side projects and I felt quite good as he was actual taking customer care serious by trying to solve things in direct communication and not just redirecting to a FAQ or similar.

I just want to say thank you, Rob!
Keep fighting the trolls.
It's definitely used in FPGA chips, for one.
Not yet, thanks for the recommendation!
Tangential.

For me the fascinating thing is looking at the list of authors to recognize so many from the 2005-2012 Microsoft SQL Server team. Folk I know personally as exceptional performers. Same when I look at Aurora papers. I see this as the result of Ballmer's famous HR initiatives and the massive brain drain that occurred at Microsoft around 2010-ish.
The phrase "western propaganda of climate change" is pure provocation along not one axis but two. We know from experience what effects such comments have—the effects of a lit match on a dry forest. If you want to bring a new perspective into things, billows of smoke won't do it.

Since we've already had to warn you about bad HN comments, it would probably be a good idea if you'd (re)-read https://news.ycombinator.com/newsguidelines.html and https://news.ycombinator.com/newswelcome.html. I believe you're well-intentioned, but there's some work to do to get to contributing well here.
Thanks Yu! I'm checking.

Have a great day.
Why is it that anytime a women's cause comes up, someone always has to chime in with "but what about men"? Organizations are formed by people with a common vision. You can contact them or participate to try to get them to expand this vision or you can start your own. For whatever reason they decided to target their focus on women. Sidetracking from the main issue to grandstand on gender is not constructive and is no different from the #AllLivesMatter rhetoric that always manages to feign concern and completely miss the point of the movement.
See, but you're​ making practical sense about the real world. That's not going to fly with people using this as an opportunity to push their favorite narrative.

I agree with the point on the NSA. there were surgeries cancelled in the UK. This materially impacted the lives of our allies. How is that supposed to work?

Luckily we've got a set of level heads running every branch of government these days...
I recognized a few of the names who deleted the post to be fine mathematicians who have contributed quite a bit to mathoverflow, so I don't think that applies. Mathoverflow is a Q&A site for professional mathematicians, you may have it confused with math.se.
New York City's Traffic Exposure Model
Think of when you used a retina display for a while and then looked at a non-retina one:

"ew, why is this disgusting now?"

I think that's what he's trying to say: not that our vision physically improved, but that we started to notice the roughness of lower-res displays.

Imagine a future where all displays are "Retina" at 1-inch distance; you'll be annoyed that when looking at a lower-res display it won't show someone's nose hair.
Show HN: DuploLive a Heroku++ experience for AWS
> 235 square feet per person? That's a lot of room.

What? No it isn't.
He might not be a Blairite (okay, no 'might' about it), but it doesn't preclude him from authoritarian tendencies - he certainly has sympathies for them.

Regardless, I think we're crediting pols too much with an agenda that, IMO, is likely driven by the Home Office.
Could a grey hat create a self propagating but non-ransoming variant that inoculated target machines against its more malicious brethren? Seems like something a state actor might want to do.
Now I get it.

StackOverflow just need to lighten up. There's been times where it looks like the Moderator isn't even reading the responses, or shut it down because he/she personally didn't find it interesting? I sometimes wonder if some the Moderators have a complete grasp of the English language?

And the rewrites at Wikipedia, sometimes it seem like there's a financial motive to the rewrite. Years ago I bought a Domain name. It was the all to familiar neologism. Someone tried to buy it. I said no. The very next day the singular of a made up word was registered and his website was online. And Wikipedia was rewritten to "see the singular." that day too.
A high performance, shared memory, lock free C++11 key-value store
That's very helpful info, thanks!
There isn't one. Report the vulnerabilities to the vendor and move on. The trade off is too dangerous. Do you stockpile munitions that can damage global infrastructure so you can target a small number of individuals? No that's just stupid and irresponsible.
I've wondered the same thing. Moreover, math books tend to prove the most general case of every theorem first, rather than work up with the special cases which were the reason anyone thought about the theorem to begin with. It is strangely possible to learn how to prove quite abstract and difficult theorems without actually learning much about what the theorems mean. In the process of doing this one's ability to really think about mathematics or formulate new questions worth asking, is at best not developed and at worst stunted.
You're assuming that transit is a business that car manufacturers want to be involved in, which would be a big shift. They've got a nice secure position right now, regardless of which ride-sharing app is trending. Why would they want to shift from their high-margin B2B sales market to a low-margin consumer service market?
I'm not convinced Amazon would suffer significantly if they raised their prices by 10% on average. No other seller can compete with them on convenience, and people are willing to pay for that.
> Are you saying all of the major operating systems have poor security because they use "vulnerable" languages?

Absolutely.
NSA is also responsible for the defense of government computer systems and communications. There may be a duty there, to ensure email from a the government is virus free. If someone can show their worm came from a .gov address, there might be something there.

The NSA made the dangerous part of the weapon, and then they lost it. They knew they lost it, and didn't do enough to harden fed computers. The government isn't allowed to just randomly attack someone, but attacked my hypothetical person that can prove the attack vector anyway.

Of course, i'm not a lawyer.
Wait, in business? In many places I've been the budget runs on "use it or lose it" in the private sector as well.

You're only getting a cost savings medal if it's substantial and doesn't affect your own department.
He was saying it about smartphones, at the introduction of the iPhone. Its competitors at the time did require a stylus for all UI interaction. Indeed, he is right, if you require a stylus to operate a smartphone, the UI is not going to work well.

But neither the iPhone nor the iPad require a stylus. The iPad offers it as an option. But I also would like to be able to take notes on an iPhone plus sized device with a stylus, I don't see that as a contradiction.
Where is North Korea?
I was reading this article earlier: http://www.abc.net.au/news/2017-05-15/brisbane-man-charged-a...

TLDR, today police arrested a man for a bank robbery in 1991, 26 years ago.
Not all markets or products are the same. You're taking about software as if it were a rotten potato. It's not. It's an incredibly complex market for incredibly complex products. I agree that there needs to be a way to value the liability that software makers should face.

In the short term we need everyone to be better net citizens. That includes the businesses using this software to create the trillions of dollars of wealth on the global economy.
It is much more than that. An employee sells not skills, but time of his life, the only one he's got. A company can make million sales, an employee can't work a million jobs.
If the software is Wine-aware, it doesn't matter. The \\unix\ filesystem namespace allows programs running under Wine to access the host filesystem whether it's mapped as a drive or not. And, of course, since Wine Is Not an Emulator, it could also use POSIX APIs or Linux kernel syscalls directly if it wanted to.
Because these choices are very personal and people are very insecure about them. Does you staying home and being alright with it really means she is bad egoistic mother? Does some women liking staying home signify that world is moving back to homemaker side? Does me staying at home (and having to fight changes situation push on you) really means I am naturally lazy or less capable as conservatives like to suggest?

In a sense, no one talks about these considerations openly, ever. So it comes out indirectly through attitudes.

Everyone is supposed to be motivated only by positive things, you are supposed to stay because you are caring and loving not because you are sucking it up. That idea insults people. You are supposed to work because you love career, not because you don't want to be the lazy nagging stereotype - which you are pretty sure you would turn into if forced to stay at home.
Good books were /great/. Local library had some books on Basic, VB (with a Visual Basic 5 CCE), C++ and whatnot. They may not contain the most recent 'best practices' or may even teach some antipatterns, but they get the ol' noggin' rolling and tuned for coding.

A well structured book with bite-sized chapters should be very approachable even for today's attention deficit generations.
Peter Lax wrote a graduate text on functional analysis where every other chapter consists of "applications". Even though the quotation marks are certainly warranted, I liked that concept.
Is there any legitimate reason to hold 0 days without disclosing them to the vendor? There probably are reasons I haven't thought of, but do they apply to as active a company as Microsoft?

Edit: I think I misread this and you're asking in the context of the NSA holding them. I still doubt there's a way to do it responsibly, so they probably shouldn't be doing it.
>Do owners generally connect their cars to their home wifi?

Generally I think they do to access the Tesla App features. Tesla also have a network connection so they may already be uploading the information anyway over cell networks.
That sounds a lot like the announcement of Azure Cosmos DB: https://docs.microsoft.com/en-us/azure/cosmos-db/introductio...

> we made the service available externally to all Azure Developers in the form of Azure DocumentDB. Azure Cosmos DB is the next big leap in the evolution of DocumentDB and we are now making it available for you to use. As a part of this release of Azure Cosmos DB, DocumentDB customers (with their data) are automatically Azure Cosmos DB customers.

From my understanding, DocumentDB ≈ Dynamo, while Cosmos DB would be closer to Cloud Spanner.
Interesting that iPad was introduced into a market that didn't need to refresh them all of the time. Look at the lifetime ownership of a game console for example, many are owned for 3 - 6 years. The more interesting question would be to get hold of Apple's internal update/active numbers. How many iPads are in daily use as identified by them checking the App store for updates? I'd love to see that number but I'm not holding my breath.
I guess I expect editorialising from MSM and it was refreshing to have a source of info that was neutral and justs published the information, inevitably the MSM reported on it and add their bias but that was easier to identify when you had access to the original information.
In 2015 they had a net income of £2.8m (it's a registered charity so they can't distribute profits) [0].

https://beta.companieshouse.gov.uk/company/06758215/filing-h...
Not if it's only greyscale camera data and some point cloud data which is heavily compressible.
I don't think so. I'm not really competent to say if the NLP part will be solved soon, but (fully) automated theorem proving is very hard, and I don't see deep learning applying to it very well.

What could happen, though (hopefully), is that mathematicians start using more and more the various proof assistants (Coq, Isabelle/HOL, lean, …). These allow to write definitions, statements, theorems in a more programming-like way, with structured proofs; to develop modular libraries; and even in some cases to use automated provers to wave away details of the proofs. The problem of adoption of such provers, however, is a culture problem, not really a technology problem: as said elsewhere, mathematicians do not seem to care too much about formal correctness. It's only if automated tools help gaining insights (automatic search for (counter)examples, for example; function plotting; builtin algebra solving system… ?) that they will convince more people to use them. Modularity might also be a selling point, but not sufficient to overcome the steep learning curve of these tools.

I have some hopes in [lean](https://github.com/leanprover/lean), a new proof assistant inspired from Coq, which puts the focus on good UI and automation.
Waymo has other tests going. 100 self-driving minivans are being built with Chrysler. These may be the ones for the self-driving test in Phoenix AZ.
Why do you think people would treat them any differently from the UAC screen of Windows 7? That is, just click OK to grant whatever permission it wants, or disable it entirely to avoid the annoyance.
I have been working on a Clojure (so JVM) program that I run in Docker for Mac.

It requires some data on disk, which is about 100GB. Since my laptop has a pathetic 250GB SSD I got an external drive for this. All well.

But I get the problem that the Mac shuts down after doing IO from inside the VM for about 10-20 minutes. Just a black screen and a second later reboot.

Has anyone on this forum had the same issue? I have the same when running in VirtualBox, and after wiping the Mac totally and reinstalling the OS. Happens using both USB and Thunderbolt.
Mostly problems with the graphical stuff. More than once I've had to log in via a text console and mv ~/.kde somewhere else to start X, or move some ~/.Xfoobar file. Once some ~/.Xfoobar file filled up the entire /home/ partition due to some X error. I've also had problems with some network card driver on a new install, I can go through my posts on unix.SE if you want more detail.

I simply remember that Ubuntu should only be updated when I've got a spare day to fix any potential issues, whereas so far CentOS can be updated before each shutdown.

All this is from the perspective of a desktop user. I use both on various web servers and I've found both to be reliable. I'll use CentOS where I need absolute stability but on my cloud instances I'll happily use Ubuntu and get the latest PHP, etc.
> Rotations and matrices are groups? Don't care. I just wanna see the strange hidden properties of abstract structures reveal themselves.

... for example by noting that rotations and matrices form a group?
For our system database[0] I am using BoltDB. It is a search engine with the database updated nearly in batch, so write performance is a non issue. The Go/BoltDB custom index has been running without any issues under moderate load for 2 years and the performance is great (a molecule information page can be delivered in less than 50ms to the end user at 99.9% percentile).

So, you should really test your read/write ratio with the size of the keys and payloads before selecting one solution or another. Even on the Badger tests, you can see that it can vary a lot.

[0]: https://www.chemeo.com
I was thinking the same thing, actually. I made a UX mockup this morning that I feel good about and was able to explain to my parents over brunch. I'll see if my friend wants to work on it.
Watch out for serverless computing’s blind spot
History Doesn’t Go in a Straight Line (2015)
Most shelters in Seattle serve single men. Most explicitly do not allow women or children such that it is difficult for single women or families of any variety. I would love to see Amazon sponsor more assistance for homelessness but I think their first project serves a population that is otherwise underserved.
If it works, it works.
Before StackOverflow you could still find your information on forums and newsgroups.

Before the Internet took off it was a much different situation. You'd read many books of course, and to fill in the missing gaps you could read magazines or talk to other people at conferences. IT conferences in those days did make much more sense than they do now, imo.
Safety Moment – Are Accidents a Failure of Imagination?
That definition is completely arbitrary and more than a little ridiculous. The majority of the population do not program and so for them a "full computer" is anything that allows them to complete all of the tasks they would ever want to do. For many an iPad could well be that device. For others it might not be.

Because there are platforms like Chromebook and Windows 10S which also do not satisfy your criteria but many would consider to be a computer as well.