skysight-inc/HackerNews huggingface dataset:
I'm in the same boat. On one hand, I have no need to upgrade my Nexus 5 yet because it still runs everything without any issues and will be getting the latest version of the OS. It's more about having an "upgrade path" in the event that I break my phone or it gets stolen. I also bought mine for $350 at launch and at that price, I wouldn't feel terrible if I had to buy a similarly priced (but modestly updated) device after a year or two if I had to replace it.

The other thing that disappoints me is that it does away with one of the (arguably) biggest benefits of the more affordable models: a highly-specced (if perhaps missing a few unnecessary bells and whistles) device that's priced low enough to offer some real incentive to people who might consider leaving the subsidy/contract model behind. At least in the US, there isn't much challenge to this model because most people will pick a contract over no contract if it means paying $100-200 up front instead of the cost of a new laptop. As a result, carriers have less incentive to compete on price and terms because most everyone is either stuck in a contract or assumes they might as well sign one because the alternative is shelling out a lot of money up front.

I had kicked around ditching contracts for a while but usually ended up in the same boat. My options were a flagship phone for $200 up front on a contract, the same phone for $700 without a contract, or some crap phone for who knows how much on prepaid. Getting a flagship-level device for $350 up front gave me the push I needed to move to prepaid and it's been great. If they ever piss me off I can just go get a SIM from somewhere else. No carrier BS and no $700+ device costs.

Right now I'm just glad to be getting 5.0 on my N5. It's been a great device and while a spec bump may have convinced me to spend another $350 this year, at least I'll get that new-phone feel from the new OS.
No, it doesnt.
It's not even the money for me. I just don't like having a cable company. They're just awful.

Also, having all the video in a choose-it-myself format avoids droning out in front of the TV for hours just watching commercials and reruns. And getting it over an IP network means a lot. Hello logging! Hello filtering per MAC around homework time!
Considering Apple's main phone is under 5 inches, I think that statement is at least somewhat true. Sure some people will want phablets, but I'm sure Apple at least did their research for making more iPhone 6s than 6 Pluses.
>You might argue that we should use a richer type system to express the specification. Sure! We just need to express the idea of "primes below one million" in the type system. But that's at least as difficult and bug-prone as writing the program in the first place, so I have a hard time seeing the benefit.

Theorem primes_below_million_spec: forall l m,
(forall p, In p l -> p < 1000000 /\ ~exists n, n <> p /\ n <> 1 /\ Divisible p n) ->
length l = m ->
primes_below_million = m.

Done.
Thanks thoughtpalette for the feedback. I will add that issue to the kanban developer board!

-added to the backlog card-

https://www.taskfort.com/view/10
That still takes effort beyond just signing up. I think you're overestimating the willingness of the average guy to either script something up or go out of his way to find a browser extension. Most people's knowledge of browser extensions begins and ends with AdBlock anyway.
You mean like the iPod Classic, Mini, Nano, Shuffle, Touch?
Using Parquet and Scrooge with Spark
SMS is unreliable. It may arrive in an hour, the next day, or not at all.
Having had RSI for a while I can't tell you how much I've wished for interfaces with point(/look) and speak UI. I literally haven't found a single case in which I couldn't quickly dream up a superior version of an existing UI.

Overall I came away with the conclusion that look-and-speak is probably the most deeply ingrained user interface there is. Perhaps the only one that you could argue is truly intuitive, as it seems to be genetically hard-wired.

On top of that modelling UIs as representation of hierarchical state machines is an astoundingly simple and elegant way to model such UIs; even allowing you to leverage persistent data structures to do amazing things. I've explore that to some degree in https://speakerdeck.com/mtrimpe/graphel-the-meaning-of-an-im...
I would expect it to bench pretty much the same as the Shield Tablet. In fact, they are probably almost identical hardware-wise. I'll be interested to see if there is a price difference.

Anand's CPU benchmarks are very browser-oriented. The Shield usually beat all other Android devices, but still lost to the iPad Air. I suspect that has more to do with the quality of Mobile Safari than the differences in hardware. In the GPU benchmarks, the Shield does very, very well. http://www.anandtech.com/show/8296/the-nvidia-shield-tablet-...

Overall, the K1 has both CPU and GPU paper/marketing specs that are theoretically a little better than an Xbox 360. This is demoed by the 360 game Trine 2 running very nearly as well on a Shield as on the 360. http://www.eurogamer.net/articles/digitalfoundry-2014-can-tr...

edit: Looks like the Nexus has a 2048x1536 screen vs the Shield's 1920x1200. 51% more pixels on the same GPU will be a much prettier at the cost of more GPU|battery strain. Given the high power GPU, that seems like a good trade off for a non-gaming-oriented tab.
Unfortunately it's hard for me to find a phone that fits my taste.

I want a tiny phone with the best battery life and camera available. I don't care much about anything else.
Watch Air.
Still doesn't have the one feature I've been waiting for: https://bugzilla.mozilla.org/show_bug.cgi?id=792831
It's definitely not a wrapper around boot2docker. It's the kernel work etc. to enable native Windows containers running on Windows Server. No VMs need apply. That said, we're also working with Docker on the future of the boot2docker concept so that it easy to work with Linux-based Docker images from a Windows laptop, but that's just tuning the experience.
Best news in MS space, but probably worst news for open source
Good thing he lived in a country with a sane healthcare system. Imagine getting this in the US and having poor or no health insurance and having no family nearby.
There is a simple way to implement a dense computational kernel in haskell: write it in C++ and call it using the foreign function interface.

Seriously, this is not (as I understand it) a problem that Haskell is designed to solve. Haskell is expressive, functional, lazy, etc., and that is all great, but if you care about actual instructions that get executed on the cpu, haskell doesn't care, and that's supposed to be like that. For me, writing performant haskell always descends into a game of figuring out why the compiler didn't unbox something or other, or why it didn't understand that a certain variable can be made strict.

My advice would be: if performance is really the main thing you need, study c++ and learn how to write clean code in c++. [0] And in the end, you can always call c++ functions from haskell.

If you really need to use haskell, then just learn in detail how the runtime and the compiler work, so that their output is predictable.

The chains of c++ is what makes sure that c++ code can be mapped almost directly to machine-level instructions.

[0] Maybe you already know c++ better than I do, in which case ignore me.
This is why they brought up the language that uses the same syntax for types as it does for your function definition.

It really sounds like you haven't played with Coq or Agda.. because expressing these things are not that much code at all. Also the presentation literally covers that complaint, and how they think more programming languages are needed.
Upvotes determine ranking on the front page and consequently exposure. The OP has a direct financial incentive from benefiting from this exposure, so yes, it is a problem.

If everyone asked for upvotes based on merit, the system would break down.
What would you remove from the keyboard to accommodate a right side ctrl key?
That's hardly ever true. In my experience, Hacker News is full of people from the software field; folks whose professions are often unconstrained by physics,[1] and who have a generally optimistic "this can happen" mentality. That's why everyone here believes we'll have fully self-driving cars in 5-6 years.

In the rest of the engineering world, the answer to any question is: it'll be harder than you think it'll be (physics will beat you over the head at every step). You can cross your arms and say "that won't work" and you'll be correct 97% of the time. Fusion is something that some of the smartest people in the world, with enormous amounts of money behind them, have been beating their heads against for the last half century or more. Somebody will figure it out, eventually, but statistically, any given project is very likely not to be the one that does, and it will almost certainly take much longer than the optimists assume it will take.

Did you know that coal plants, which still make up the majority of U.S. energy production, are only about twice as efficient today than they were a century ago?

[1] Although math can be a kick in the ass too if you're working in domains where you can prove there are no polynomial-time algorithms for whatever problem you're working on. E.g. there is a reason people have been banging their heads on the garbage collection problem since the 1950's and it's still an active area of research.
>Why can't smartphone manufacturers understand that a longer battery life is whats lacking in mobile devices?

Sony Xperia Z3c is for you.
Is WPF dead: the present and future of WPF
Glad to hear, I'm getting one for sure.
Since when do applications 'run' operating systems?
I thought this was going to be about a different kind of handshaking[0], still interesting nonetheless.

0.http://en.wikipedia.org/wiki/Handshaking
Perfect reply given this context. ;}
So it's still very straightforward under Cook, too: MBA, MBPR, and MBP which probably hasn't much time left.
Yes, I have that poster with Che Guevara as a Reptlian Illuminati from another dimension. :-)
Hey! So I just used the Watson Node sample project. It had everything ready to go :)
Docker is already pretty community driven. But given the level of impact, we think we need to make it even more robust and have some proposals.

The first DGAB meeting is on 10/28, where we will propose a different way of working based on all of the feedback.

Stay tuned. We'll have a lot on this in the upcoming weeks.
shout out to your casual misogyny:

> Great. Then the relatively physically weak, the infirm, the elderly, the women, will be at the mercy of the strong

as if women are somehow magically incapable defending themselves.
Air doesn't mean bigger/smaller, it means lighter.

Expect an iPad Pro soon, probably heavier but with much more capability.
This work is completely Windows Server focused.
What does the future of Docker deployment look like an Azure? Will it be more Heroku-like? Can I just provide a build file or a link to Docker repo image and have a server running? When I push an update to an image will my servers update? Can I control how many instances and resources each running Docker image will use? How do I orchestrate several instances that need to work together?
Reminded me of a quote,

"It really is a vanishingly small amount of plasma that escapes from the device."

"What part of 'It is just like the Sun' did you not understand?"
Coursera launches 18 new specializations  (2014)
i can't fit this phone into my pocket. i guess im gonna wait till nexus 4 or 5 drops in prices and buy that instead.
Our brains are not unified. Separating long and short memory makes a lot of sense.
This article came across my Twitter feed this morning:

MEEGO-T01 HDMI TV Stick Supports Android, Windows 8.1, and Ubuntu/Linux
http://www.cnx-software.com/2014/10/15/meego-t01-hdmi-tv-sti...

There are other models by other OEMs out there, but I can't find any URLs for them off-hand.
That seems unfair. The Fire TV had some innovations (voice search, game controller support, advanced parental controls.) This Nexus thing seems to have copied most of those.
As far as I can tell, there's the gamergate people organizing the harassment of people, posting their victims' private addresses, sending them death threats and all kinds of abuse, bullying people into withdrawing from their online identities, all under a propaganda screen of fabricated pretenses and smear campaigns.

Then there's the "feminist" crowd which wants that sort of thing to not happen, and also talk about videogames.

Your way of putting it implies that these two are equivalent in being "unfortunate and problematic", which in my opinion is a severe misrepresentation of the situation.
(Zoho CEO here)
My analysis of financial bubbles informs how we operate in Zoho. I believe the Greenspan-Bernanke-Yellen era will go down in history as one of the biggest bubbles the world has ever seen.

The economy is now fully addicted to bubbles, and the start-up ecosystem is particularly affected. Withdrawal from this bubble-drug is going to be painful.

A couple of anecdotes about the last big tech bubble of 2000. At that time, there were 300+ optical networking companies in silicon valley. We had sold our network management software to about 150 of them. By 2003, only 2 were left standing. We survived because we had saved up some money for that eventuality, and we reinvented ourselves using those savings.

One painful bubble memory I have is the real estate lease that we had no option but to sign in 2000. We moved from San Jose to Pleasanton to escape the worst of the bubble-rents but even in Pleasanton, while the rent wasn't ruinous (about $20 per square foot per year), the landlord forced a 7 year lease on us. Still, the rents fell to about $10 per square foot per year by 2002, but we were stuck with the higher rent for 5 more years. Fortunately, the company was financially strong enough to withstand it but the episode taught us a lesson in bubble-planning and bubble-survival.

I am shocked that people are signing $50-100 a square foot per year leases for 10 year terms these days.

Our goal right now is to survive the present bubble, bigger in some ways than even the one in 2000. I tell our people that there is going to be a serious bust and we should aim to survive it first.
What? Why would I buy you a beer? You've done nothing but lie to me and skate around your words in what can only be either an attempt to spread doubt on the validity of a horrifying situation, or a manifestation of an appalling lack of self awareness.

How are you standing by your original comment?

edit: What I'm really looking for is any evidence at all that you're trying to debate in good faith. All of you've done is present a bullshit hypothetical that's entirely unrelated, try to claim that you're "just presenting some facts", write off everybody who disagrees with you as "emotional", and then handwave it away when somebody actually calls you on your crap.
I didn't realize Prime had HBO shows, I guess I'll finally make some use of it.
For most things, I'd agree but I also feel like OP has given a lot to the community and it's not like you HAVE to buy the book, it's freely available too.
I canceled my Hulu+ subscription once they started telling me I wasn't allowed to watch shows on my iPad... The ENTIRE reason I signed up for it in the first place. I even put up with them still showing me ads, but "web only" shows were the last straw.
6" is the perfect size for me

FTFY
Cole Rise wants to forge the future of photo apps
Remember ouya?
I'm one of those people that questioned the need for having something called a "tablet" from the day the iPad came out. I'm certainly not wealthy though so I don't have money to throw away, but if I'm browsing the net around the house, a laptop is perfectly fine for me still. I prefer having a comfortable keyboard and trackpad.

I suppose there is still a market for people like me to have a single touchscreen device and not worrying about it being redundant to some other device category that I haven't even acknowledged.
That helps clarify things. Thanks!
Careful with filters that send to email; on one occurrence (a Rails security advisory), it went to spam in gmail for many people. That's why I use a push notification app currently instead of email as a target.

Otherwise, thanks for sharing this!
+1. I always end up turning off my Wifi because of this and often forget to turn it back on when I'm home (which wastes my cellphone data).
That sounds like a difficult proposition without your target being able to run Mac binaries.

Having some sort of translation that's not a VM as a part of the distribution mechanism doesn't make much sense, and breaking the portability of Docker comes at a significant cost.

I struggle to see how to make that work cleanly.
In practice, it seems about as reliable as email, and faster to get to me.
I can tell you that the LG G3 required a high frequency on the ddr and bus whenever the screen is up compared to the LG G2 using the same snapdragon 800 (yea i know it's 801, not that big of a difference for this discussion).

so everything else equal you already have a higher idle current drain from the SOC side whenever screen is powered up.
Somewhere Over the Rainbow Cover
Sony is making a smaller Android device, the "Z3 Compact," exactly for the reasons you list.
It uses asymmetric crypto. It generates a unique keypair for each service you register with, each key linked to a specific dns or service domain. It uses USB or NFC (and requires app, i.e. browser, support) rather than displaying a code and having the user type it in somewhere. The app or hardware key confirms user intent (by requiring a button-press or sampling biometrics), so for example a plugged-in NEO won't auto-authenticate to a site. Beyond that, it works pretty much how you'd expect.

Adding FIDO 2-factor to a service, when the browser/app stack supports FIDO, is as simple as adding a prompt and button press on the NEO to the process (either account setup, adding 2nd factor, or during login, it makes no difference). All the details of creating a keypair or authenticating to a service using a key associated with that service are under the hood.

There's nothing preventing FIDO devices from having additional requirements. They could require a PIN. They could require biometrics. They don't have to be a separate minimal hardware dongle (although, obviously, for the best security, you'd want them to be). (The S5 Paypal + FIDO demo uses the phone itself as a FIDO device, and a fingerprint swipe.)
Nope, I meant ios :)
I was going to dig up some old comments by the publisher of Harper's to show how anti-web publishing he is, but the NYT recently did a profile on him that reveals a lot: http://www.nytimes.com/2014/08/11/business/media/harpers-pub...
Very hard to take this article seriously:

"U.S. submarines and aircraft carriers run on nuclear power, but they have large fusion reactors on board that have to be replaced on a regular cycle."

Edit: more at Lockheed's site directly: http://www.lockheedmartin.com/us/news/press-releases/2014/oc...
Its crap on windows phone too :)
"There aren't any top physicists working on this project" isn't really enough to dismiss it outright. The number of brilliant physicists is much greater than the number of top physicists, so it's not unheard of for major developments to come from someone who's not yet highly recognized. McGuire's an MIT Ph.D, so it's likely he's not a complete idiot.

I hope they have some novel ideas about neutron containment, though, otherwise you're right and this is project is not likely to yield the first economical fusion reactor.
The Worst HD Quality Camera (Samsung)
Amusing, yes... but otherwise dickish (it's still spam from a bot) and unimpressive. Even fairly brain-dead responses will emit a reply from somebody, just like sending 419 scam.
Riot.js, Ink, PixelPumper, OAuth.io, Thorax.js, RECESS and Other Cool Stuff
Nah, the meme that she scammed their supporters by taking the kickstarter money and disappearing has been part of the harassment campaign against her since the beginning, before she published the first videos. People in the gamergate miasma just don't like giving up their talking points even if blatantly contradicted by reality, I suppose. :V
I started reading the draft chapters about a month ago - got to around chapter 6 before I became really busy with university exams. I haven't read the previous editions but I really liked this one. I'm looking forward to rereading what I've already read and finishing the tutorial when I'll have some free time again. Just wanted to say thank you for the awesome job and the hours you put into it!
> Did you know that coal plants, which still make up the majority of U.S. energy production, are only about twice as efficient today than they were a century ago?

There are certainly two ways of looking at that. The way I read your sentence it sounds very pessimistic. On the other hand, I look at that and say that over 100 year's we've managed to extract twice as much usable energy out of a pound of coal, through a variety of incremental improvements to what is fundamentally the same technology; and the world is a better place for it.
Wouldn't it be nice. As a Canadian who hasn't had cable for a decade, every six months or so I check on options. I subscribed to Netflix when we got it here, and it's cheap and good, but I'd love to be able to access HBO and other movie content.

I tried to find a legal download of Bladerunner the other day, and got the following:

1) Amazon.com geofenced it

2) Google Play won't let me download it (I have "bought" movies on Google Play before, but like any digital play-for-now service they will eventually become unavailable to me: I will no longer buy digital content I can't rip to an open format, because temporary proprietary access is not what I'm looking for.)

3) iTunes doesn't have it

4) Amazon.ca doesn't do digital downloads of films, near as I can tell. They certainly didn't have the one I was looking for.

All I want to be able to do is pay for a legal digital copy of a film, and I can't. I can buy a piece of plastic with the bits burned into it that I have no device to play, but that's a ridiculous waste.

I didn't torrent the film... I just ended up saying, "Screw it. No sale for me."

Business 101: make it easy for customers to give you money.

This is something that digital streaming companies (other than Netflix) have not mastered.
As an Android dev, Lollipop is indeed a big release but not a 'throw everything you have and start over' style change.

Some things have been completely rewritten :

Notifications have been using the same expanding API since version 1, it has been strongly revamped. The RemoteControlClient (which manages the lockscreen and is used for some other things like communication with Chromecast) was one of my least favorite parts of the Notification code, it is being phased out and replaced by a new, simpler (and hopefully more reliable) one.

The ActionBar API (the bar of controls at the top of every android app) was initially based on the old menu API (from the time when we had menu buttons on Android). It was a very nice move to soften the menu button > actionbar transition but it is now adding unnecessary friction. Since the ActionBar has been redesigned, it was a very good opportunity to deprecate its API and replace it by a completely new one.

ListView (the widget that handles lists) is one of the oldest Android widgets. It has been conceived in an era where displaying a static list was all you wanted. It is a central piece of almost every app UI and it is comically inadequate. It is going to be replaced by RecyclerView, which take into account modern requirements on lists (adding, removing items, handling gestures, ...).

Many other changes are just additions. A better animation system, a tinting system for on screen elements, some new widgets, ...
There are also some completely new APIs but many of these will only be used by a handful of developers (it is not every day that you need to convert the content of your screen to a PDF and print it).