skysight-inc/HackerNews huggingface dataset:
> If you verified the code performed the correct function, ensured it ran correctly and computed the result, then the code itself serves as most of the proof

But then you have to trust their program doesn't have any bugs, and checking the proof requires a lot of computational power.

Instead, the authors produced a very large input file to a very small program. This way, instead of trusting the program they used to produce the input file, you only need to trust:

1) the input file corresponds to the theorem statement in their paper; and

2) the certificate checking program is correct

The benefit of this approach over the one you suggest are numerous:

* The effort of part 2 amortizes and isn't specific to any particular problem.

* The computational cost of re-checking their proof is considerably smaller than the cost of finding the proof certificate, allowing for the proof to be re-checked by anyone with a bit of spare computing power (as opposed to requiring a super computer in order to replicate the result).
If it was just "there are lies on the Internet - I just posted some!" Then yeah. To me this story is more how they propagate. Who knew Netflix didn't get their metadata from the production company itself?
https://addons.mozilla.org/en-US/firefox/addon/random-agent-...
> Defense attorney Tor Ekeland, who represented Auernheimer in the federal court case in New Jersey, has offered to help Shafer ...

Based on his website it appears that "Tor" is actually his given name. What an odd coincidence.
Patents seem to have changed from protecting and encouraging innovation to become a tool to stifle it.
I recommend finding a better law firm.
The new Drupal 8 is based on Symfony2, uses Twig for templates, and supports databases other than mysql.
> Supposedly she got the server set up because the NSA refused to give a politician who travels frequently a secure smartphone.

That would have made it more difficult for the NSA to spy on her. I know this sounds cynical, but really, do you think the NSA doesn't spy on our government officials?
In my experience, the people buying Office for mac care most about seamless interoperating with all the people who insist on using Office to for all their business needs.
but if you're a google docs user isn't it safe to assume you probably use it on more than one device, and google docs looking and working the same across devices is more important than the individual docs iOS app looking like all your other iOS apps?
> .NET Core is about decoupling .NET from Windows. Allowing it to run in non-Windows environments without having to install a giant 400mb set of binaries.

Isn't this what Mono is for?
The First Visual Search Engine for Scientific Diagrams
The authors used this tool:

https://www.cs.utexas.edu/~marijn/drat-trim/

There are publications and examples on the website that explain how the compression the authors used works.
From what I can tell, most people who have weighed in on the subject seem to agree that both (a) Gawker is a bottom-feeding gossip rag with no moral standing, and (b) Thiel is a cowardly hypocrite who publicly claims to be a “libertarian” while secretly coopting the apparatus of the court to get personal revenge based on an old grudge.

Is anyone who isn’t a VC pal of Thiel’s really “divided” here?
> I use iOS & Android and if the app works well I don't notice if it doesn't behave 'like it is supposed to do' on the respective OS.

I think that's the issue. I don't use both iOS and Android, and I suspect most users don't. So you're used to the conventions of both platforms so when you see something that looks Android-y you know how to use it.

As an iOS only user, I don't have the Android training. So Google's apps are their own weird little world to me, different from everything else on my phone and in my tablet.

To me the web and my desktops are separate platforms, so I accept that they behave different. For whatever reason that doesn't mess with my mental model.

But if two apps on my phone behave vastly different, that causes unnecessary confusion.

I imagine I'd be the same as you if I used Android on a semi-frequent basis.
You're right, I should've defined "needs". I actually had Maslow's Hierarchy in mind when I made my comment. Also, "all of your needs as a human being are met" was meant in the context of a technological utopia, not now.

As for the hedonic treadmill, I'm sure this is something that philosophers have considered for ages, but I can only give my personal thoughts on it which are this:

I believe that "happiness" is attainable. Perhaps not pure bliss like popular culture likes to portray it as, but when I think of "happiness" I usually think of "contentedness." In this frame, I think it becomes more obviously attainable.

And if it is attainable in the far-from-perfect world we live in now, then surely it will be attainable in some-distant-future-full-of-convenience. I also think that this concept of hedonism is self-perpetuating. If you believe in nihilism, it becomes your reality. If you reject nihilism, it doesn't.
For those blaming the guy, and not the system / sites.

If Obama used the fake fact in a speech of his, would you blame his researchers or the guy who originally made up the lie?

I think the point is that authorities on information have a responsibility to ensure the information is accurate.
The back button is almost universally located in the upper left corner and is accompanied by the standard swipe right gesture to pop the top of the stack. You're not going to find many apps that implement a custom navigation controller in iOS, and if an app does then it probably doesn't change this behavior.

The same goes for the swipe to delete accessory item, as that is another standard iOS UIKit thing.

I can't speak for minor buttons like edit and compose etc, but those differences are honestly not very significant to the end user since it's a non-hidden textual nav item.
None of this is the author's fault. The initial lie was meant as harmless fun, the fact that so many (largely highly regarded) media properties went and spewed it out as fact later on is the real problem. I mean how many times a week do we hear about Old Big Media retweeting nonsense or publishing Onion articles?

News sources these days are so programmed to chase every story that there's no room for fact checking and they all look like incredible idiots. It's amazing to me that anyone takes Old Media seriously anymore.
SubCentral – SaaS subscription manager and auditor
You're being very dramatic. As you point out, the comment hasn't even been deleted. I simply choose not to read it, and the community nicely made that choice very easy for me.

Perhaps you believe I shouldn't have that choice, or it should come at a higher price. That's fine, you're entitled to your opinion. Just realize that what seems to you like a novel and reasoned argument could be, to someone closer, just one more voice in a screaming mob of rejection. And remember that when you shout back at a mob, you join it.

So I'm not going to tell you you have to be on my side here. But you could at least believe what I've already told you about my experience: it may be useful for you to read more about folks' opinions on my life, but not for me. Communities that respect that are going to see more of my participation, and those that don't will wonder why they have such a diversity problem.
I agree that people running the network have the right to run it as they want.

But if an attack can work on you using my network, it is also an attack that works on me surreptitiously rerouting your traffic onto my network. Basically undoing HTTPS.
I don't view using googles Material Angular library any different than I view people using bootstrap.
According to this post, the hedonic treadmill theory has been disproven. [0]

"The author is flat out wrong. The Hedonic Treadmill has been disproven. Moreover, the author seems to be conflating the concept of the treadmill, with adaptation. The former denotes the subject returns to the original state. The latter recognizes that while we become accustomed to new things, we still improve in happiness.

The author is also misquoting, or misunderstanding, Kahneman. Kahneman isn't talking at all about the treadmill. He's talking about what he called the "Focusing Illusion"-- a fancy way of saying "the grass is always greener on the other side..."

Relevant links:

"Beyond the Hedonic Treadmill: Revising the Adaptation Theory of Well-Being"

http://www.factorhappiness.at/downloads/quellen/S9_Diener.pd...

Kahneman tried to explain the hedonic treadmill via with his own aspiration treadmill. He claims that he not only failed, but the data were opposite to his hypothesis.

https://www.edge.org/response-detail/10056

Kahneman's paper where that OP misquotes Kahneman from:

http://psiexp.ss.uci.edu/research/teaching/Schkade_Kahneman_...

[0]: https://news.ycombinator.com/item?id=11535504
> It's a matter of expectations. Working on my own projects, I can rewrite and ignore existing software to my heart's content. If I am working with others, there is a very strong expectation that 3rd party software will be used whenever possible, and that I will participate in other engineering practices/fads that are judged to be beneficial

Isn't that just part of 'being a professional' tho?
Typo in title: assess :)
Infection Raises Specter of Superbugs Resistant to All Antibiotics
A little scary what this implies about groups of people with axes to grind on places like wikipedia.
Oh, I've already learned the lesson loud and clear. If I ever discover a vulnerability to disclose, I'm releasing it anonymously on pastebin sites while logged into Tor through a VPN from a free WiFi spot.

And, of course, sign it with a new PGP key you've just created, so that if you ever need to release a follow-up with proof that it's you, or come forward as the author of the disclosure, you can.
New biological device not faster than regular computer (PNAS via scihub)
AirPort Extreme and Time Capsule Out of Stock at U.S. Apple Stores
but if you're a docs user wouldn't you expect docs to look and feel the same everywhere? That's the choice google has to make. Do we worry about our app matching YOUR OS's design patterns, or do we keep our applications consistent across all platforms?
> I've always felt like people who were buying Office for Mac probably cared more about having a consistent experience than having a Mac-like one

Why would you assume that someone buying Office for Mac is more familiar with Office for Windows than the Mac they own that they want to run Office on?

That could be true for some customers. It's certainly not true for all customers. It's probably also not a given that even someone very familiar with Office for Windows would want Office for Mac to act like that, instead of like a Mac app.
I understand the security ramifications of altering tables, but why restrict create?

Somebody maliciously making thousands of MySQL tables in your DB as some sort of DoS?

Some plugins create their own tables.

Another safety tip, don't use 'admin' as the administrator username, and don't have any posts associated with the administrator as an author.
What is the point of this post?
Visualized Email topic clustering based on the Enron email dataset
I ended up using a hosts-file based solution on my home server to block ads in my household at the network level. Then I connect to my VPN and push all traffic from my mobile through it so ads get blocked when I'm out and about.

On the upside, this works in Chrome and in apps, so my mobile experience is ad-free without having to root my device.

Bit extreme, I'll admit...
They seem fine to you because you don't use iOS.

I'm guessing you're an Android person. Have you run across apps that don't feel like Android apps? They feel like someone made a least-effort attempt to port an iOS app over to "the other platform" and the result is just sort of jarring and weird?

That's the issue. It's not necessarily that they look bad, your app can look like what you want. The issue is that they don't follow lots of little platform conventions that you get used to and so they feel foreign and slightly annoy you every time you try to use them.
By not rewarding based on "the best" (which implies comparison) and instead based on performance. Set realistic and definable targets for such rewards and follow through. Additionally, communicate these targets clearly. Allow for additional rewards for team performance.

I believe this maximizes the motivation you get from rewards both on an individual and team level creating the "best" you can get.

Although, realize, studies have shown rewards generally don't impact performance greatly.
Or maybe http://www.omgubuntu.co.uk/2014/04/windows-xp-theme-lubuntu
That's actually a bad control group; you want some group whose lifestyle, including lifestyle changes, matches pretty well the rest of society but for exposure to the kind of radiating devices at issue, to isolate changes due to the effects of the devices at issue from the effects of other lifestyle changes.

Since the Amish lifestyle and lifestyle changes over the time period of interest don't match the general public in ways other than cellphone/wifi exposure, they aren't really a good control.
> Like when windows extended Java then started adding incompatibile methods

Visual J++ was a very usable Java. Had Sun failed to sue it out of existence, the world would have had a Java with a good UI stack developers actually used, an IDE that was not unusably slow and buggy, AND almost all packages built for Sun's Java would drop right in without problems. Visual J++ would have created the same effect on the use of Java that Android did, but it would have happened approximately 10 years earlier.

Sun's suit was tremendously destructive of a very useful product that would have helped the cause of Java's wide use. Unnecessary, spiteful, and an own-goal.

EDIT: And less VB, and more Windows applications software running in a managed language runtime, years earlier.
Mark Zuckerberg is ‘dictator’ of Facebook ‘nation’: The Pirate Bay founder
ANEKA4D Togel Online , Agen Togel Terpercaya , Bandar Togel
> However, it is noteworthy how the utter lack of quality control on so many Internet properties can propagate falsehoods.

It's not a "lack of quality control". It's that the internet is data-starved. I'm familiar with how much data is recorded each year, and it seems paradoxical that we could still be data-starved, but it is so.

Starving people/organizations ignore all the warning signs. They're desperate for what it is that they seek. The people looking for this bit of nostalgia want to be able to find information on it. Synopses, screenshots, and even videos. For these people, there aren't any substitutes. And the internet just doesn't have much on it (not like some Encyclopedia Britannica editor will have spent 18 months tracking down real information on this show).

Adding more quality control won't fix this, as the root cause wasn't lack of quality control. Attempting to do so will backfire, those people desperate for this will merely go out and create their own websites to hunt down the dreck that doesn't pass QC, and once they host it on a blog or whatever it will leak back into the higher quality sites (like has happened on IMDB in this article).
The atmosphere also contains high levels of sulfuric acid which would be a bit of a concern. It's definitely a route worth exploring. It just comes with it's own set of crazy concerns.
Like... a year ago was the tipping point.
Anybody attending Wordcamp in Asheville this year?
So you recognize that it is a problem. I've heard that kind of complaint from Android users before and they're correct.

So shouldn't Google fix it on iOS?

Apple, of all people, did it right when they brought Apple Music over to Android. I'm still amazed at that. They don't have a good history (i.e. everything they released on Windows).
EDIT: "All of your needs as a human being are met (according to Maslow's hierarchy.)"
Rent videos and filter them for $1
If anything, Internet has AMAZING quality control, because any error has potential to be spotted by millions. Right this second there is absolutely nothing stopping me from publishing my own encyclopedia in print with random facts changed to my liking. It would just cost me money to get it printed, but it's not like it could get banned(imagine that!).
What about wave interference[1]?

1. http://www.physicsclassroom.com/class/waves/Lesson-3/Interfe...
How deep you go for checking the fact ? Ultimately you always need to depends on someone/something else.
and if they don't write them down, the compiled program might not work!
And this is why we need SCM-level tracking for our laws.
Dealing with Technical Debt Like We Mean It
- spam free, virtually limitless storage free email

- free video delivery channel, that has created its own industry

- communication tool that has changed news delivery & how people organize protests

- free chat communication (with e2e encryption) for nearly everyone in the world (including some of the poorest)

- on demand data center infrastructure at ridiculously low cost

- instantly freely searchable data set of most of the worlds written information

- self driving cars

- ubiquitous hand held computers

- free easy to use video conferencing

- a social network that connects a gigantic part of the planets population (if you are into that sort of thing)

Just some of the mind boggling technology at least partially funded by internet ads in the last 15 years.

Are there issues that have arisen? Of course, what sort of funding model doesn't have downsides? Acting like working for pay from advertisers constitutes some sort of modern Gallipoli is such a vacuous argument in the face of the staggering amount of tech it has at least partly helped bring about, I'm shocked that the comment hasn't been down voted more.
>but basic platform conventions like share buttons and menu locations should be respected.

most iOS users I know don't use share buttons anyway. I always get a stupid screen shoot of a web page with a url
Critique of http://www.pnas.org/content/113/10/2591.full (discussed https://news.ycombinator.com/item?id=11186640 and https://news.ycombinator.com/item?id=11194015 ).

Their reply and my summary at http://www.jonaseinarsson.se/2016/biological-computer-graph-...
I think we should do as much due diligence and reference checking on a company as they would do on us:

* Dig into LinkedIn to find mutual connections and drop them a note.

* Check out Github, Hackernews, and whatever communities might be relevant.

* Look up and attend conference or meetup presentations from their staff.

* Check out what kind of events and causes they attend, sponsor, and promote.

* Contact support (anonymously?) with a legitimate question/issue.
In CA, swamp coolers can be really great - http://www.homedepot.com/b/Heating-Venting-Cooling-Air-Condi...

I used one when I worked with a friend in LA on a car restoration project. They can generate a LOT of cooling very quickly as long as it is dry outside.
Yeah what's needed here is a basic arduino implant platform.
A blog post would be very nice. Given the multitude of options outs there its easy to forget about things like this. Its good that you are generating awareness for it. I was surprised when it worked on my phone. :)
>You could also argue that for someone using Google products, it makes sense that they look and behave roughly the same no matter which platform you're on.

The real question is do people's brains actually work that way. Is someone using Google Maps on an iPhone or Google Maps on an iPhone.

It's my experience that people context switch based on platform, not application. When I'm on an iPhone I expect it to work like an iPhone and when I'm on the desktop I expect it work like a desktop -- regardless of the individual applications I'm using.
I thought this had some kind of electronics in it though? Maybe I'm mis-understanding the product.

> I met a guy who made an earring that vibrated when he got an incoming SMS. That was a 'smart' device that sat atop a piercing too...

What makes this product interesting to me is that it's "off-the-shelf". The earing, while cool, is a home-made solution (I'm guessing). And to be clear: I don't think this product is revolutionary, I just find it interesting that things have become so small and cheap that we can do this en-mass.
The Venture-Capital Arm of “Sesame Street”
Likely because the people who wrote the Wikipedia article actually watched the episodes or were fans of the show.

The other places just copied the information from whatever source they had available, which happened to be from tvtome.com.
The results are confusing. I can't tell which bar is which number, 1-5.
Yes, but his point would be much stronger if it had not been based merely on assumptions. If this is such a problem, then be a journalist- find an example and discuss that.
I don't think anything prevents rampant cheating by American students. The difference is that American students do a lot of things that don't feel like cheating to them. For example, fraternities sharing libraries of old exams and problem sets, versus outright plagiarism and ringers sitting for exams.
Is that the exact same work as what they do in their day job? I'm not saying software isn't fun, I'm saying that the stuff you choose to do in your free time is less fun than the software you do 9-5.

Admittedly some lucky people get paid to work on the open-source thing they created, but they're in a tiny minority.
Indeed, even though they've claimed for years that the Like button tracking was "just a bug" (twice). In the Belgium lawsuit they're claiming it's for security. Facebook is hilarious (-ly evil).

We're going to need strong tracking protection in browsers by default, and very soon. If Mozilla won't do it (you can enable it in History settings, though), probably Brave, or some upstart browsers will. Same goes for uBlock and other extensions.
No, it would require them to add their cert on the intended machines under their control. The only reasons they would need the trust of all browsers and OS's are subterfuge and laziness. They should not be globally trusted to issue certificates.
What news sources do you use? What is New Media?
I use the share screen quite a bit, but I also recognize that it sucks. Hopefully they'll fix it.

I imagine part of the problem is they added it 5+ years into the platform when most people already had a way of doing things, even if it was sub-par, and they haven't been able to convince people to use it much.
I remember when he called his users 'dumb fu*ks'. That told me everything I needed to know about the DNA of that company.
It seems to me that people doing software for money back then were "different breed" than those coming to the field today, now that software is suddenly hot and an easy career choice.
> Large companies have large egos.

So true:) Apart from what's best for user experience,they tend to enforce their tech and design everywhere. But in this case, i feel material design shouldn't be an issues since it's now increasingly used on the web.
I think we should talk about EMF in general, not just WiFi.

It's fair to say we don't have enough data to prove there's no link with cancer or health effects in the long term, yet.
Well, I don't think flatness per se is to blame but there should be some affordances to hint what's actionable. Whether that is color/shadows etc might be up for discussion
Also the http://roots.io project is pretty interesting with their "alternate" template implementation and workflow.
From what I can tell, most people who say that most people agree tend to insert their own opinions as though it's universal.
Essay is from 1960.
Only Two Presidents Have Spoken at Length about Hiroshima, and Neither Was Obama
Hindu Funeral Traditions
Artist creates wax effigy of the supreme leader of North Korea
By "hacking on" I mean "submitted a pull request to Daniel Fagnan's project". I didn't mean to take credit.

But I do plan to keep improving it.