skysight-inc/HackerNews huggingface dataset:
If you haven't done so while you've been out sick, please see a doctor or therapist for the stress. Heck, even if you've been to a doctor or therapist about this, please talk to them again so they know that so far, it isn't working.

At this point, you can probably safely go to the ER and tell them you fear you'll kill yourself so that you'll get urgent help.

====

This stuff you are going through, it can get better. It doesn't last. You can learn to deal with panic attacks, you can change jobs, and so on.
That's exactly what I had in mind when I read the GP. If third party AVs have a large and complex codebase with unknown or even known security flaws, they won't help much against targeted attacks or make them even easier.

On the other hand, AV usability is so bad you can't expect it to help "normal" people. All those popups do more harm than good when people start ignoring them.
Thanks! I will certainly look!
Confirm that AV vendors are writing the viruses themselves in order to boost their sales? Good luck with that.

There are plenty of reasons why people write malware/viruses, often for financial reasons. The old days of a teenager writing some virus in assembly to infect bootsectors for the lulz is way past us. Today you're looking at malware, often exploiting social engineering, to create botnets for DDoS, spam, boosting social profiles, etc.

Occam's razor helps :)
Heh, the next article I read on HN after this one was:

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

http://www.military.com/daily-news/2017/01/19/army-picks-sig...

Within a few sentences I read:

"We are both humbled and proud that the P320 was selected by the U.S. Army as its weapon of choice," Ron Cohen, chief executive officer of Sig Sauer, said in a statement to Military.com"
Your controller will turn on and off to save battery and when batteries run dry and need to replace them.

There's nothing more frustrating than running out of batteries in a controller and the game just locks you into mouse input... on a living room PC.
in Japan if you get more than 5 mIns with a doctor it is your lucky day.
True, but I believe Groovy and Jython compete for the same space, if not system-building.
Dermatologist here. Most skin cancer diagnosis is relatively straightforward and if the lesion is suspicious will require a biopsy to establish the subtype of the cancer and plan further treatment. There is no reason why this initial visual diagnosis cannot be performed at the same level as a dermatologist by a machine or indeed by a non-doctor trained intensively for a relative short period to interpret photographs.

The difficulty is two-fold. Firstly liability - a dermatologist aims not to miss a single case of melanoma in the tens of thousands of patients seen over their career, if this algorithm is used widely in millions of patients then either the sensitivity will have to be higher and more biopsies performed or there will have to be an acceptable rate of missed diagnosis for melanoma.

Secondly, in edge cases such as moles that are slightly atypical. In these scenarios there is no way that I would be comfortable making an assessment from a photograph. Now of course, a machine could also gather further information via methods such as in vivo confocal microscopy but in this case the cost savings are likely to be negligible.
> Non-QEMU implementation: Google does not use QEMU, the user-space virtual machine monitor and hardware emulation. Instead, we wrote our own user-space virtual machine monitor that has the following security advantages over QEMU: [...] No history of security problems. QEMU has a long track record of security bugs, such as VENOM, and it's unclear what vulnerabilities may still be lurking in the code.

Has this alternative VMM/hardware emulator been released? As far as I can tell, the answer is no. In that light, it's more than a little weird to congratulate yourself on not having a "long track record of security bugs" in your internal-use-only unreleased tool compared to generally available software in wide use.
This is not exactly true.

Yes, there is a big variance in the way people process food. But people also usually exhibits common characteristics:

- they don't eat that much on average. While they may sometime eat a lot, if you what the quantity during one week, you'll see they eat less than most people.
- they eat slowly.

Those 2 things alone allow you to process a certain amount of unbalanced diet.

BTW, if anybody want to loose weight, the second one, eating slowing, on a table doing nothing else than eating, and chewing a lot, is a good starting point. You don't need to change your diet and you will loose quite some weight.

A 3rd thing is that indeed, somebody type will be able to eat a lot of things and not gain weight. But it's not a good thing.

Eating a bad diet will bring toxins in your body. The body usually process it with various organs. But if it can't because the amount is too important, it has 3 strategies:

- watering it down. Diluting toxins by holding a lot of water in the body. Typically the 4 pounds you take on Xmas. It's not fat, it's water.

- wrapping it in fat. Love handles are actually temporary storage for emergency that got a bit permanent. This is why people say it's the most toxic fat and the hardest to loose. Fat people fall into this category.

- using minerals to bring your blood PH up.

Thin people with a bad diet fall into this category. Now if you eat a lot of greens, you'll have the minerals to play this game and it's ok. But most people don't eat enough vegetable to allow that, so the body take minerals from various part of the body, including the bones. Instead of getting fat, you destroy your skeleton. It's not a good thing.
As this paper is about a Curry-Howard correspondence, the statement has two (equivalent) readings.

Reading 1. It's a typing judgement. You can read ∆⊢e:A as "the program e has type A, assuming the free variables in e are typed as described by ∆".

Reading 2. It's a logical judgement. You can read ∆⊢e:A as "the proof e is a proof of the logical formula A, assuming the free variables in the proof e stand in for proofs as described by ∆".
Added a link to the post.
Your comment is absolutely spot on [1].

[1] http://www.cell.com/cell/fulltext/S0092-8674(15)01481-6
"Since bitcoin mining is a process, in effect, of converting the value of electricity into currency, Venezuelan miners are engaging in a form of arbitrage: They're buying an underpriced commodity and turning it into bitcoin to make a profit. The miners have turned socialism against itself."

love it :D
I don't use an AV either, but I'm very careful with the things I download (and I don't download new stuff very often).

My relatives, on the other hand, will click just about anything that says "click me" (even more if it says they will win a prize or something).

Windows Defender is great and it's enough for me but my relatives need something that cover more areas. Any way you can think of tricking them, they will fall for it. Even with AV, they routinely install malware (those that are too new to be in the AV database or using new techniques not covered by heuristics).

As far as I know, my relatives don't do anything but sit in front of their computers trying to install malware ;)
Kaspersky is the worst of them:

https://www.bloomberg.com/news/articles/2015-03-19/cybersecu...
I treat personal projects like therapy. Doing something for me, trying something new makes me feel good. Even if I just have a working prototype I have the sense that I've accomplished something. It doesn't matter much if nobody sees it. If that were the case, those personal projects would turn to work and I have enough of that already.

That being said, I do finish side projects from time to time, mostly because I can still see the potential after working on it for a couple of ours.
Those users usually rely on some support structure which I assumed was the intended audience of the article.
At least I wouldn't expect my parents to even search the internet for some article that tells them to turn off all antivirus except Defender.
Some of it, probably. But some are probably using Go out of necessity (your company enforces Go), or because they still think Go is their best pragmatic option, lack of generics notwithstanding.
WebRTC Browser Security: Real-Time Communications for B2B
My personal rule of thumb with "processed" food is: Would I be happy to do the same process in my own kitchen if I had the time and equipment?
I would love to try out your tool, but I'm getting a 504 Gateway Time-out on http://data.occrp.org/. Is there any chance I can give Aleph a spin?
It actually is worse. The problem comes "what does the interception do when it encounters an invalid certificate"?

So for example a self-signed cert. does it

a) create a "valid" cert itself, hiding the error from the user? This is obviously dangerous

b) create an "invalid" self-signed cert. This is messy as a user will then see a self-signed cert from the A-V vendor, which they may be more or less inclined to trust

c) Pass the traffic through without inspection, missing any potential threats

And that's just one case. SSL/TLS interception is very hard to get right and easy to make the user's security worse as a result.
There has been critics on the quietly updating of root certs by Microsoft.

https://news.ycombinator.com/item?id=9789819
I think these ads are supposed to start a chat with the sponsoring company.
That's cool, but it seems like a lot of code to do something that:

- You can do in one line of bash: curl https://github.com/user.keys >> ~/.ssh/authorized_keys
- The bash one-liner is transparent and educational: it tells you clearly and intuitively where the keys are coming from and where they're going, educating users about the existence of the Github/Gitlab-published keys and about how the authorized_keys file works

You seem to require a lot of code, and lose a lot of very real advantages, for the sake of a bit of brevity. What are the other advantages of this tool?
I don't think a clearly expressed opinion does warrant the kind of response you gave here. There is little of substance in your comment except questioning the posters character by implying he/she is either lazy or to stupid.

A tip on how to use IFTTT quickly and easily for this particular task would probably be a more constructive response. I for one don't know how to use IFTTT to reliably detect changes in any webpage, I thougt it was mostly for different api services and the like, as those are the only use-cases I've heard about.
This is what I tell my family and friends. Whenever I help someone upgrade to Windows 10, or work on their computer, I tell them to just use Microsoft Defender.

I've also read various reports of security problems with AV software, so I'm not comfortable recommending anything third-party.

Defender + uBlock is a pretty simple and effective combo.
That is interesting, ta, although more work for the author.
A contrived analogy for this might be something like "Why wouldn't you delete the data once you've rendered a graph of it in PNG?". Data is always important. Just as much so as it's original interpretation and constraints.
I don't know Larval but i do know Django.

Django doesn't force you to do things it's own way but when you do go for the Django way everything else is so much easier. Class Based Views, for example are a bit difficult at first, but once you get the hang of them its fast to produce nice maintainable code.
Sig p226 performs better than a glock in reliability tests. Glocks perform very poorly in water, for example. They fail the standard over-the-beach test, as shown here:

https://www.youtube.com/watch?v=z5iahKNVj44

while the p226 passes:

https://www.youtube.com/watch?v=mlbPBGME0No

Also p226 is made of metal and glock is polymer. Metal > plastic. I could club someone over the head with a p226 and never have to worry that the frame will crack.
But most of the posts or stack overflow entries are obsolete and confuses more than it helps, you always have to look for the version or the date (if they are mentioned)
I had IPv6 from TWC, then for a month or so before the merger it went MIA, and then about a month after the merger it was back. For some reason I get a more reliable path to my IPv6 gateway than IPv4, so I missed it quite a bit.
Writing Classic Prose by Mark Turner and Francis Noel Thomas opened my eyes to a different way of thinking about prose style. Instead of focusing on surface features like "avoid the passive voice" and "use adverbs sparingly", it delves into the underlying assumptions of a specific style like the fictional situation (people in conversation), attitude to truth (it's possible to tell the truth about something so you don't need constant hedging), and the audience.

It's well worth reading that book, but it can be a bit repetitive. There's a chapter in Steven Pinker's The Sense of Style that explains classic style more concisely, and also has excellent advice about writing clearly and coherently founded on a more scientific understanding of how grammar and language cognition actually works.
Mark Zuckerberg 'reconsiders' forcing Hawaiians to sell him their land
So one of the things I've learned as time has progressed as a software engineer is that the more time I spend programming, the more I realize how incompetent I am. The amount which I do not know just seems to grow and grow and grow.

For me the same thing has come from politics. I've spent a lot of time reading and listening to not only NPR, the NY Times, The New Yorker, but also right leaning sites like Drudge, Instapundit, NRO and so on. The more I read both sides, the less I am absolutely certain of my view of reality and that my answers are necessarily the best answers. You really begin to appreciate just how much difference there can be with no intentional malice at all.

One commonality I see between both sides is a belief that neither side wants to listen. There is no shortage of idiots on either side, but you'd also be surprised how many thoughtful people on both sides exist. I've read a lot of right wing bloggers state that they have no problem with gay marriage, and yet they get lumped into the same barrel as fervent Christians. Same with Robert Spencer. I've seen a lot of resentment from writers who have attacked him but they're treated like they're all Nazis just because they are both "right wing".

I feel like the problem isn't racism so much as the problem is we've created linguistic weapons that were appropriate 30-40 years ago for a much different conflict. What I mean by that is the weight of calling someone a racist evokes thoughts of fire hoses and dogs and church burnings. But is that the right word for someone who flippantly calls an Asian person "Ling Ling"? Is it racially insensitive? Absolutely! But does it merit automatically going to the nines and unloading on someone with full abandon? Why do we take several malformed sentences as immediate evidence and license to publicly shame a stranger we know nothing about?

The internet has allowed so many people of different backgrounds and makeups to communicate with each other directly. But what I think this has shown is how bad we are at it. How many people in the Bay Area can say they actually know and communicate regularly and productively with a conservative? The problem in my minds is not right or left. It is that we haven't learned the right way to talk to each other that does not increase factionalism and strife. I'm worried it may do irreparable damage before long.

None of this is to say racism is a solved problem in America. Many people alive still remember what segregation truly meant. Those things don't just go away. I am not addressing actual racists either. There is however a large nebulous area where people may have ill formed beliefs, but not because of hatred. What I am saying is that I fully believe that most things that people attribute to malice come mostly from ignorance or fear. If our goal is to unite us all under the commonality of the US Flag, then assuming hostility is the worst way to go.

No one is immune to the words of others. Except sociopaths.
Line and WeChat rely mostly and purchases.
I prefer rails. It might not be the fastest, but the rails way is very close to my ideal way of doing things and the community is so wide and pleasant to be in. There's gems for a lot of stuff and there's people inspecting gems for security issues.

It's also very easy to take in any developer and have them learn ruby. Rails is a bit more strict but if there's a "mentor" available I'd say it's a quick process to get new devs up and running.
For me it's not the question of whether they're doing it. Its technically feasible, so it's being done.

What interests me more is whether the broad user base cares enough to change their habits. Does it become freaky enough for them that they'll change the way the use the platform? (Doesn't matter if it's Facebook or any other website.)
Microsoft just silently adds back root certs when you delete them (if it is trusted by microsoft). Or at least it did in winxp by default.
You're conflating two different issues. Yes, Scala allows null and yes, this is unfortunate, though it raises the question of whether there's any better way to do Java interop (you can either assume all Java calls are non-null unless checked, assume all Java calls are nullable and force checking, or trust annotations; all these approaches suck in their own way). It can be mitigated with WartRemover.

But the right way to represent absence - whether you call it null or option or something else - is clearly with a normal type that follows the normal rules of the language, not a special language-builtin type with special language-builtin rules. Some light syntactic sugar for commonly-used types makes sense (like Ceylon's "?"), but what it desugars to should always be something you could write a normal library type for. Indeed if your language doesn't let you implement the constructs you need for this kind of type in a custom type in a library, that should be a red flag that your language isn't expressive enough for general-purpose use.
Again I tested it on myself. I tried so many diets it's not funny:

- full prot diet;

- mono-diet;

- fasting;

- raw food diet;

- veggie;

- vegan;

- classic 'balanced diet';

- body-building diet where you weight your chicken;

- and of course the good old "student-fast-food" diet.

I usually take blood samples before and after and graph my weight and IMC.
It can simply stop the connection and show the user, under the normal certificate, a message telling him there's a problem with the cert.
That's hardly relevant for the average computer user. By default, root certs are updated automatically.

>As far as I've seen, there was nothing sinister in default Windows root CA list.

Are you in any way related to MS or is your memory just very short?

>Emergency Windows update revokes dozens of bogus Google, Yahoo SSL certificates

https://arstechnica.com/security/2014/07/emergency-windows-u...
i agree with your advice. but on japan for example drugs are given ouT of their package with no info whatsoever about side effects and all. just like candies. what do you do with that?
Agreed. I came from Perl to Python.

Perl does feel more powerful and expressive, but it often gives you enough rope to hang yourself whereas Python doesn't.
It's a good book.

Williams is probably better for mathematicians coming at probability with an already solid mathematical understanding rather than practitioners who want to try to understand the underlying theory.
I really can't believe this. First the US goes into Iran, and destabilizes the popular government (see: 1953). Now, after literally no threat from any Iranian immigrants, they ban them. Good thing my parents came here before, I guess??
Well, OP said "or so" and sometimes half a year seems like eternity in the wrong circumstances. ;-)
I've been beating this drum for years, MS Security Essentials is the only passably decent antivirus app there is, and seems to be the only one that doesn't try to scare users into paying for upgrades.
+1 for ArangoDB
I can recommend the book 'What money can'take buy' by Micheal Sandel. He has many more examples where using a fee actually resulted in an increase in the undesired behaviour.
Thanks, is this yours? It would be great if the homepage displayed a short description of the different torrents/datasets, their sizes/contents, and the number of seeders for each. That would greatly help me decide which one(s) to prioritize helping out with, as I don't have resources to keep a copy of it all.
SpaceVim releases v0.1.0 – support many languages
I got for free Norton Security with my new Dell laptop. On installing I was unable to enable windows defender or firewall. Norton takes over the security by default.

I contacted Symantec and had to uninstall Norton Security and install Norton Antivirus for the windows firewall to be activated.
Forget Nineteen Eighty-Four
No but I know that PHP developers get paid less than C++, typically. That's particularly the case here in the UK.

I would wager than employing an army of C++ devs would be costlier than employing an army of PHP devs.
Thanks for downvote. However it was nice if you could educate why is it not.
Most probably he had already signed with Facebook by the time he left Xiaomi.
This post is unscientific and literally nonsense. There's no such thing as a "toxin" and reducing your adipose fat tissue does not poison your body.

It's precisely this sort of magical thinking that the OP is trying to counter.
While the other sibling comments showed the voting data, it need to be added that the top reason people voted for either candidate was that their candidate weren't the other candidate. Two of the three slogans of the Clinton campaign reflected this with "I'm With Her (and not with him)" and "Love Trumps Hate".

For approval ratings, the same goes. Both candidates had the worst approval rating of any candidate in US history. A rather clear message that neither of the two dominating political parties in the US represent the people.
The Asus Page linked in the Article [1] now gives a 404. Maybe even this hidden release was not intended?

[1] http://stw.asus.com/download/download.aspx?product=1&model=T...
Ya, IIRC it wasn't specifically the AVG toolbar, but some other thing in integrated into the browser. It refused to uninstall, and then even when I downloaded and ran the super-secret installer from their site, it replaced itself on the next restart. Extremely frustrating.
To try and help prevent one company having a monopoly on this space?
Heh, it's funny to see that ads haven't changed much in 100 year: "buy this book, learn at home and earn tons of money!" etc., just change web/cloud/mobile with auto/electric/radio.
That's for the Wireshark debugging use case.
citation needed

https://github.com/Homebrew/brew/blob/master/docs/Analytics....
Good job, HN! We've already killed it.
I usually use overflow:hidden on containers, what are the pro's and cons of this compared to clearfix?
Commas have two roles: syntactic and prosodic. Today, we almost always use them to indicate syntax: separating subclauses etc.

In the nineteenth century, they were commonly used to indicate prosody — breathing pauses and the intended rhythm of the sentence — which leads to comma placements that seem odd to modern eyes but would have been perfectly normal to a nineteenth-century reader. If you read any Jane Austen, George Eliot, or other Victorian writers, you'll see that sort of usage everywhere:

> "It is a truth universally acknowledged, that a single man in possession of a good fortune, must be in want of a wife."
It's less prevailent and severe, but FOSS sometimes does:
https://www.fsf.org/blogs/rms/ubuntu-spyware-what-to-do
https://support.mozilla.org/en-US/kb/firefox-health-report-u...

There are probably lots of smaller examples; especially in Android.
Security? The open more holes than they close.
Yeah we have a scheduled maintenance right now (hello, Docker friends!). Should be back in 10-15min. There's also some other instances:

http://aleph.openoil.net/
http://opengazettes.org.za/