skysight-inc/HackerNews huggingface dataset:
> they'd still get mad at Philips when a third-party bulb breaks.

Would they? Wouldn't they blame their bulb first? It's like complaining to your PC manufacturer that a program you downloaded doesn't work. Most people would blame the program and look for another one. I'm sure there are some who have it backwards, and they probably will be calling support, but I can't imagine there's enough of them for a company to actually care about damage to the brand those people may be doing.
BTW if your ownCloud just presents a login screen to others, I mean, how often can somebody break in through that with automated means? Not 'never' I suppose but it should be rare...
Has anybody tried Mozilla Rhino
https://developer.mozilla.org/en-US/docs/Mozilla/Projects/Rh...
A lot of us are in software here and have seen how users use things. I'm not sure I believe that users would read that messaging at all. Even if they did, I doubt it would have much of an effect on users complaining to Phillips later.
Thanks. When I taught myself Isabelle/HOL a couple of years ago, there was a mismatch between the Isabelle/HOL system and its description in the old version of the tutorial you point to.

What was really hampering my grasping Isabelle/HOL was the lack of a description of the overall structure of the Isabelle/HOL system. In particular, there wasn't really a good account that explains the distinction between the rules of HOL and the meta-rules of Isabelle, and how they relate. This is hand-waved away in the tutorial. Clearly the authors don't want to burden the beginner with this material. Maybe that's the right choice ... they have a lot of experience teaching this material.

A consequence of this choice is that the whole tutorial did not (and still doesn't as far as I can gather from a quick browse) include a complete listing of the logical rules (and meta rules)! As the structure of Isabelle/HOL and its (meta-)rules are not explicitly given, it becomes hard to see how tactics work. Under what conditions does it make sense to use tactic X or tactic Y or Z? Without saying what the rules are and how tactics work on them, how do you know how to proceed when Isabelle/HOL gets stuck?

If you stick only to the examples given in the tutorials and in "Concrete Semantics" this is not so much of a problem, but as soon as you work on your own proofs, you are your own. I found this to be a major stumbling block.

I wonder if Coq is better documented in this regard. Maybe not, ITPs are just complex beasts.
It would ask for it, but it was never required to work - I've run Open Office, and Star Office before it, on many systems without Java.

It just disabled some functionality.
X-Ray machines are probably heavily regulated, would it even be legal for a third party to change that hardware setup?
Analysis of Microsoft Code Contracts
Containers, Collections and Null
How to Do Real-Time Data Logging for Mobile Apps Running on Cloud
If you want a sure fire way..

Put 3 million in an stock market index fund. In most years you will get at least a 2% increase, which is $60K (or $5K a month).

Getting the initial capital for this is easier said than done.
I don't see a significant difference. If you look at the Google Android developer page http://developer.android.com/guide/components/fundamentals.h...

The first sentence is "Android apps are written in the Java programming language."

If that is not calling it Java, it is close enough as to be indistinguishable to the average programmer.
Your comment would've conveyed the same information had you omitted the first sentence.
Bypass all the middlemen, order now!
http://reserveaspotinheaven.com/
"in vogue"

Interesting phrasing. I really hope people are choosing the best architecture for their application and not heading into microservices land because it's hot or "in vogue".

(Note, mtolan, not assuming anything about you or your choices here.)
But it's a hardware problem.
I think this is why people like the Arduino/Raspberry Pi ecosystems. There's always a contingent of people saying "you should have used a microcontroller dev kit instead" in the comments on any Arduino project, but then you'd have to choose which microcontroller. Arduino restricts needless complexity and enables people to get on with their project.

Another subtle issue is that 'platform' == community. Sometimes this is an advantage, sometimes it isn't, and evaluating the community that you'll be joining by picking a tool is even harder than evaluating the tool.

Web programming is just a shifting dunescape of reinvented wheels.
Show HN: The new Windria – 2-5km precision wind forecasts
Twenty – A library to get the physical location of a given IP or URL
As a Linux user, I really like the web versions of the Office365 apps. The functionality is good for situations when I need to work with other people's documents and not taking up disk space for installed apps is a fine feature for the new world of SSD storage on laptops.

I also find Google docs handy to use, even though I use markdown stored in the cloud for writing my own content, managing research notes, etc.

I like the idea of being able to self host cloud services but ownCloud and LibreOffice face stiff functionality competition.
I suspect that latency can be reduced significantly by limiting tile sizes. They currently use 256x256 tiles, forcing a new tile transfer every time a mutating user action takes place (e.g. a new character typed). A one-size-fits-all tile is unlikely to satisfy users of varying bandwidth and latency tolerance.

Of course, further steps can be taken as well, such as adaptive resolution and client-side rendering extrapolation. Personally I commend them on a bold strategy. At the very least, they will have contributed to the body of alternative web application architecture patterns.
There is WebODF, which is 100% pure client-side JavaScript.

http://webodf.org/

http://webodf.org/demo/
I don't have much time to read but I do have a lot of time to listen, usually while I'm doing housework or travelling, so I'm subscribed to a lot of podcasts and YouTube channels. When a YouTube channel has something new that looks interesting, I download the video, convert it to an MP3 and add it to my collection. When I come across a book I want to know more about, I look up the author's name on YouTube to see if there's an interview with them. That usually presents the main ideas of the book without having to read it. I download the video, convert it then subscribe to that channel if it has other videos I'm interested in too.
Filmmakers of HN – how do you promote your web series?
Hi guys,

I have recently created a web series (5 short 3-4 minute comedic episodes) and wondered if anyone had done something similar? And if so, how did you go about getting views to the series. Did you enter competitions/festivals? And if so, which ones?

thanks in advance!
> What would make me want to choose Apollo over, say, Dropwizard

Came here to ask this too, if anyone in the know can provide an answer, because it doesn't seem to address this point in the readme from what I can see.

Looking at the examples on github, the thing I notice immediately is that it seems more DIY in nature, with seemingly all the libraries required for dealing with http, middleware, routing, etc written from scratch, as opposed to Dropwizard's approach of pulling together popular existing libraries to do all these things and providing really only the the glue code to piece them together as a framework.
Exactly this. Their management / decision makers aren't familiar with the hacker mindset, but they responded to public criticism quickly by acquiescing to the demands. I don't so anything bad about this.

They mad a public about face, admitting that their decision was not the right one for their audience, and changed it. That's not easy to do for most people, let alone companies.
How can web audio be realtime when it doesn't have a realtime scheduler? That may be driving this problem: the browser's javascript engine not being scheduled in time by the underlying operating system.
Tosca was the first I saw, and it was also the most enthralling.

It may be a very common example, but its is regularly cited because it is a masterpiece of the art.
Here's how Hue app apparently looks like (I don't have it myself):

http://www.geek.com/wp-content/uploads/2014/01/Hue.png

See those warning marks on the middle screen? I'm not sure what they do, but this is where I'd put them, along with a small text "this bulb is not supported by Philips and may not work properly", and people wouldn't miss it. It would be a constant reminder for them that if something breaks with one of those bulbs, it's their fault.
I was happy with the lack of cutscenes. MGS4's narrative basically collapsed under it's own weight in a (misguided, IMO) attempt to explain everything, which is a shame because the short gameplay segments in-between the cutscenes were quite fun.

I think splitting the prologue mission off from the main game and releasing it as it's own game hurt TPP. The core game mechanics are polished and fun in MGSV, so I'm happy with that. It was obviously released in an incomplete state, but it looks like that wasn't Kojima's fault. Maybe in a few years he'll be able to do a "director's cut" of it.
The lady in blue is setting the internet alight
Just curious. Wasn't Yahoo using Google and Bing for search? Is this crawler being used at Yahoo internally?
Hi, I am one of the guys behind this. Would love to hear your feedback on our tool.
Google Cloud had a very impressive year. It has lots of killer features that AWS lacks.
* Cloud Shell: Sweetest thing that happened since I started using cloud, no need to install dev tools
* SSH right from web console
* No need of managing ssh keys: Google takes care of it. If a user is removed, the users ssh keys are automatically revoked.
* Security by default: Encryption at rest and on wire for all the products (Storage, Disks, SQL .. )
* Datalab (in alpha): Do data science from the browser (Jupyter as a service).
* Pub/Sub + Dataflow: This is how I envision next generation Kafka + Samza to look like.
* Container Engine, consistent performance, blazing fast disks and more.
I also wonder how successful such automated scanning attacks are against a simple login screen. Esp compared with the fact that on the big services people routinely call the helpdesk and manage to get passwords reset and all that so they get into accounts. That won't happen with your private ownCloud...

With regards to 'usability first' vs 'security first' approaches, this is what 'security first' gets you: https://twitter.com/davide_paltri/status/676696685456826368

I rest my case ;-)
But from their standpoint it's a bit "damned if you do, damned if you don't."

No, it is not. They have two options - have their own standard or support other ZigBee devices. This has not been a problem with another similar standards like KNX.

but I imagine supporting cheaper third-party devices is becoming a headache

It is not about supporting some cheap third-party devices but other ZigBee devices that Philips claims to support.
I'm not implying the web-based solutions are the only which will exist in the productivity suite market. But they are where the mass market is moving to. Native suites will still exist in niche cases, but they will have a very hard time competing with lightweight, low-overhead web-based suites.
The PHP framework is Symfony, not Symphony.
How I Interconnected AWS VPCs with VyOS
That actually does sound feasible. I'm not sure how feasible when it comes to mobile devices but definitely possible if things like YouTube's ContentID can work
Chance.js: Utility library to generate anything random for JavaScript
I genuinely can't tell whether this is a spoof, or is real.

If it's a spoof, I have to give credit: it is masterfully done. If it is real, then they should probably work a little harder on trying not to sound like a spoof.
Absolutely. The problem with statistics is not the maths but what it means. I think this is one reason why people become so easily unstuck with statistics, carelessly applying techniques to data without really understanding the assumptions or the subtly of the question being answered by the technique.
The title is advertising, which I won't hold against the author, but the message certainly isn't a bad one. In fact it's one of the factors I value the most when working with statisticians and data scientists.
> I admire your desire to adhere to the law, but in the DC area I never see traffic enforcement applied to cyclists and I rarely see it applied to cars, so I doubt an officer is going to nail you for having some earbuds.

In DC cops occasionally like to sit in the 15th Street Cycletrack and write tickets for running red lights. I'm sure if they found any violation of the law, they would also throw in another ticket.

For those not aware, 15th St. abuts the White House and, because of the many roads that are permanently blocked off, it is not possible for there to be car / bike conflicts for a stretch of this street from New York Avenue to the Ellipse where the bike lanes end (though bike / pedestrian conflicts can happen), except with emergency vehicles and the like. The markings on the road make it unclear whether or not bikes must stop at red lights or just when pedestrians are present.

Because of this, the vast majority of cyclists on this stretch of road ignore red lights and treat them as yields since it is perfectly safe to do so. You will almost never see any bike stopped unless there are pedestrians crossing the street or the bike is turning.

As for why you rarely see traffic enforcement, at least in DC there is no traffic enforcement division. Virginia has traffic enforcement (don't go over 80 MPH in Virginia on any road; it is automatically reckless driving, which is a misdemeanor. This applies even if the speed limit were 79 MPH).

Even without traffic enforcement of any kind, contributory negligence makes wearing headphones risky from a liability standpoint. Any minor law violation or safety hazard by a bicyclist can be used as a defense by a driver in court and end up with no damages awarded.

The saner comparative negligence standard does not apply in DC, MD, or VA.
You'll notice that gem on many press releases that concern a company apologizing or backtracking. It's usually done in order to downplay an issue and/or avoid making any statements that could be used against them in a lawsuit down the line. By saying it only affected a small number of users, they maintain plausible deniability that they knew how badly they screwed up.
Input type email – better don’t use it
.. but that's not a software issue.
I wonder how successful such automated scanning attacks are against a simple login screen though. Does that really have much chance with a reasonably secure project? That then says "don't use self hosting, EVER, for ANYTHING. Get rid of the NAS, too...".
Apple shuts down analytics company Topsy two years after its acquisition
If it's as friendly as the website, there is still plenty to do there.
My company has both! Why buy one when you have two for twice the price!
Target back on naughty list with another security vulnerability
This is more accurately the history of Long-Term Capital Management, not the BSM formula (which really began in 1900 with Bachelier's Theory of Speculation).
As a Chinese, I can tell you that there are only 3000 common Chinese characters. My nephew begin to read news paper at grade 4 ( 10 years old). I begin to read very complicate novels at 13. A good thing about Chinese character is: I can easily read laws if I want, because there is not much new vocabulary to read.
Tone is not a problem for baby. They can grasp it from day one when they start to speak.( I have 3 kids)
There is a lot logic inside Chinese characters.
Why not post a link to the Nature article if it is better?
Compare this with Ethernet. You plug it in - and it just works. No 3com/Realtek/Intel certification required. As a user I may be shielded, but I believe there are no interoperability issues between Cisco/Juniper/Brocade switchgear either.

With this as the background, it's surprising to see a large crowd defending the equivalent of Ford-branded gasoline.
> Real world friendships have ended because of how emoji are rendered differently on different phones.

What's sad is that's so true. I overheard the other day my 13 year old niece saying she didn't like a certain girl hanging out with them anymore, because she's the only one "with green chat bubble".

Yes. They excluded a girl from their group, because she didn't have a blue chat bubble. (Essentially an iPhone).
I think this kind of research is rather unethical and farcical. Like the previous research, where they came to the conclusion that Putin was an autist, based solely on Youtube video's.

http://www.theguardian.com/science/head-quarters/2015/feb/07...

it seems like a clumsy attempt to discredit Putin, so
that people don’t take him seriously.

we’re just being given pure conjecture, dressed up as
convincing scientific knowledge. This sort of practice
doesn’t offer any useful scientific insight into, well,
anything, and it misrepresents how science works, and
what good quality scientific research looks like.

I do understand that as a public figure one attracts more scrutiny. But I also thought that medical professionals, like neurologists, fall under Hippocratic Oath:

Whatever, in the course of my practice, I may see or
hear (even when not invited), whatever I may happen to
obtain knowledge of, if it be not proper to repeat it,
I will keep sacred and secret within my own breast.

If a neurologist is allowed to dig up old KGB manuals to classify heads of state as gunslingers, I am allowed to say this has nothing to do with fast gun access, but everything with signalling stature through body language: People will pass you by at your swinging arm and not bump into you when you employ this gate. Either that or old habits really do die hard, and Putin carries a gun to summits.
Mid and lower class people won't get rich by saving their salaries.

In fact, it's not unusual that the entire earnings of a work-life of a mid-class worker do not add up to something that would make a person rich, even if 100% of it is saved.

The other side of the coin is that mid-class life is pretty good, most of the GP advice will lead to poverty much more often that it'll lead to wealth, and the one important piece that is "create more" comes by responsible working.
What a load of hogwash.

LTCM's problem wasn't anything to do with the Black-Scholes model. In fact far from it, LTCM's market risk management was very good (for its time).

Where they became unstuck was in liquidity and capital risk management. Where the banks got unstuck wrt LTCM was in credit risk management.

Where the banks didn't learn the lessons of LTCM was in them still not being good enough at liquidity and capital risk management come 2008.

And one more tangential point as I see this reasonably regularly. The key insight from Black-Scholes isn't the use of normal vols. It was known pretty much straight away that a lot of market where it was used weren't normal (in the probabilistic sense).

The key insight was to use the no arbitrage concept for pricing derivatives. This was and is a hugely powerful tool and was an asset to financial management (excuse the pun).
ES6 is only partially implemented in Node.js and requires transpilation to ES5 for client-side code.

ES5 will be continue to be the target to until either/both platforms are feature-complete.
Have you found things that don't? I didn't think to mention it because it hasn't been an issue for me in years, it seems to be implemented everywhere, including the default app on iOS, at least if I understand what you're referring to correctly.
I know that with Squarespace at least podcasts with a larger listenership have a completely different deal than the regular affiliate marketing channel- though I don't know any details. I kind of assumed it was the same across the board for podcasts on larger networks though I don't really know for sure.
I haven't tried opera on blue-ray yet, but the DVD experience always underwhelmed me.

Thanks for the recommendation of Amazon Prime! I have it, but rarely use it. This'll give me an opportunity to.
Not OP but my girlfriend and I are long distance and the 6.0.1 update for Android is causing serious strain on our relationship. I keep sending her taco emojis but all she sees are little boxes with x's in them. If Samsung doesn't push this update to Galaxy 6S soon, I don't know how much longer we'll be together...
Why the US government must lose cryptowars 2.0
Indeed. Always look at the URL before reading an article to understand the environment in which it was written. There's lots of websites out there with agendas - some more blatant than others.
It must be then. I had a student doing a term paper with the exact same problem. Often plotting related, but not necessarily. Havn't been able to find a solution myself, or online.
Eh, the complaints about the characters seem mostly overblown. I think I picked up about 2,000 in a year, and that was not studying particularly hard. Past a certain point most of the new characters are combinations of characters you've already studied. Of course, if you're not practicing your reading it's .

Also, if you have at least a decent level in the language it's not going to be unfamiliar characters that give you trouble in newspaper articles (most of the unfamiliar characters you run into will be from names or chengyu), but Chinese words your unfamiliar with. And in these cases, the characters actually help; you're going to have a much easier time guessing what "jacuzzi" or "phlebitis" mean in Chinese than in English.
In all fairness, there are over 30,000 fatalities per year from car accidents, ~600 from gun accidents, and 0 known for all time fatal US civilian drone accidents.

They would have to take down more than a few large jet passenger planes per year to even reach the gun accident rate, although people have very different attitudes towards these categories, if for no other reason than that it's easy to massively reduce your risks to the first two.

So I'm sure it's a combination off the FAA, which I'm pretty sure does have the authority to regulate them, fearing a total hands off approach will get them hauled before the Congress without anything to say after a big fatal accident, and the usual desire of bureaucrats to increase their ambit and funding.

Because like gun registration, I can't see how this will do any good in preventing disaster. Like gun registration, it wouldn't even in practice make it easier to find culprits, if you expect the overlap of voluntary registrants and irresponsible drone operators to be nearly nil which right now is entirely the way to bet.
Syncovery 7.29 Build 222 Pro Enterprise and Serial Keys Download
Why do comments here critisize this article as if it was life advice, when this is not life advice, but life advice purely from investment standpoint?

Is a concept of "advice purely from a certain standpoint" too complex for HN comments?
> We later discover my thick-rimmed glasses are the problem. It's something easily fixed by adjusting the system settings, Simon tells me.

Facial recognition is a hard problem; allowing for thick-rimmed glasses is not 'easily' fixed.
Interesting. It's also unclear to me why a system of books and ledgers of rules couldn't be conscious if they are self modifying. Who knows what property of the system insides of heads gives it this sense of "self" and how could you even test that it has one?
Isn't there an old Dilbert about this?
My quest to implement crypto between the browser's webcrypto API and Nodejs
Synthesia 9.0 Crack Patch and Serial Key Free Download
The point of that benchmark is looping over lists or arrays. The benchmark verifies the well-known fact that straight Python is a lousy choice for those situations when you absolutely need to do this. Dropping into C extensions or some-of-the-language Numba would be a different comparison, and show a different result.