skysight-inc/HackerNews huggingface dataset:
Really disagree. My phone spends as much time face-down on tables, desks etc as it does in my hand. True, it's not "in use" but it's an object in my environment and I care how that looks. 1500 words... yea that was a bit boring to read. But in practice, for myself and for many people, the industrial design is actually a very important part of the value.
> something will only really be proven true when the probability hits 1

Careful. An event can have probability 1 even if its complement isn't empty: https://en.wikipedia.org/wiki/Almost_surely
If nothing else, it's refreshing to see a more logical take on the headphone jack issue. All of tech media will not stop harping on this, just like they did when the optical drive was no longer standard on Macs (you need to buy a $35 USB optical drive, the HORROR).

Maybe Apple was a little ahead of their time to remove the optical drive, and maybe they are with the headphone jack too. So far the more level headed of the user base don't seem to give too much of a shit.
Mercedes Benz isn't going after Millenials. Millenials are sought after in the lower market segments. 15k Kias and 20k Hondas. Outside of the ability to not have to bum rides from my friends, I can assure you my Civic is no status symbol.
Was it not taught in class? If it's not taught in class it's unfair to the students.
The President of the United States has the almost unqualified power to grant pardons for crimes against the United States, whether current or past, whether unindicted or convicted.
"Vanilla" C++ is one thing, but when it comes to using comprehensive frameworks such as Qt or wxWidgets, I guess you have similar reasons (to Java and C# with their "batteries") to use IDE.
Alternatively, by making it thin and small, they've enabled customers to still have a reasonably sized phone after they've customized it with their choice of case.
This. The TCO of a car is ginormous, even for all the comfort it provides.
Using both, I notice GitHub has moved, but GitLab has moved in precisely the direction we need internally, especially the latest release.
> The fact that ATMs need to provide money when disconnected

Is this a fact though? We provide ATM rentals/leases for our customers (though few ask for it these days) and I'm pretty sure they do not function if they are disconnected.

As far as I am aware a failure to connect to the issuing bank for a card will cause your card to be declined so that would lead me to believe their mainframes (and yes they are actually IBM mainframes in the cases I've experienced) must be online and connected.

Regarding the 24-48hr approval process.. that is more because of batches. And you're dealing with a responsible merchant (or host-capture environment) if you get those timeframes.

A merchant can wait for days to batch their credit cards in which case you're waiting as well.
...interestingly, Denmark has one of the highest number of burglaries per capita in Europe... violent crimes are probably quite rare, though
Thanks for pointing that out. Though there's a difference between UX and UI. Would be nice to see some UIs on that list too.
It's $0 on one of my old Samsung Galaxy phones + cost of a battery + not having to give up my phone for a few days (they said they'd have to ship it somewhere at the Apple Store).
Thanks! GitLab CI is getting better and better. Let us know if you have any feedback.
I just want to point out that embedding structs does not look like an afterthought at all, the Plan 9 C compilers had a feature akin to it for ages.

http://plan9.bell-labs.com/sys/doc/comp.html
> Why not mention the lack of SD card slot or removable battery?

I found the Android user.

Seriously why is this so important to some people? I went for the 64 GB iPhone 6 Plus last time my upgrade was ready and I've never had it more than 40% full. The hell are you people doing with your phones where you need 512 gigs of storage?
iOS 10 review: It's all about Messages
At the very least he should get a David Petraeus deal (who was trading classified information for sex).
The future of voice synthesis after Google WaveNet debut
Thank you! Happy you're enjoying GitLab CE
Same here. The problem is that I find myself using `!g` way too often... I guess I'm not used to the DDG results page.
Major Error in Google AdSense Instructions for New Users
> downplayed the detrimental effect of sugar, while upplaying the role of fat.

Yes, and imagine if regulation was done based on these wrong studies, the harm it would have caused

You would have regulated people out of good health (which is basically what corn subsidies do)

People sometimes are too quick to favour regulation
Don't use docker in repo names
Worlds Reactions to iPhone7 show what's wrong with Consumer Tech
Congrats guys!
I'm curious if you are going to change directions in technology - ruby is fairly unsuited for on-premise deployment.

Before I get flamed, of course you guys have made a great build and deployment system... but nothing can beat a " java -jar start.jar" or "./golang" . And I think it comes a fair bit of performance for free.

Wonder what are your thoughts around that ? I keep thinking that Gitlab could be the "killer app" for a new fangled java framework like SparkJava or something.
To me, the concerning bit of software is not the operating system (which is open source and fairly transparent) but rather Google Play Services, which is a proprietary background service that has nearly complete access to your device. Unfortunately so many applications make use of it that it's hard to ditch. There are open source efforts to replace it [0] but AFAIK nothing ready for consumers.

[0]: http://forum.xda-developers.com/android/apps-games/app-micro...
Woudn't an ATM that is not connected to the mainframe let you withdraw even a small amount of money?
I think it's a little bit of both (It's the same in Sweden). It depends on who you ask obviously, but also how you ask.

Do people think they pay a lot of taxes? Yes. Too much? That depends on how you ask. If you ask "would you like to pay less taxes" the answer is generally no. The reason for that isn't that people feel they would rather pay less, only that they would like to get more for it. They are unhappy about waiting for surgery for 6 months (for example) - which they think shouldn't happen because they pay so much in taxes. But when asked whether that meant they'd like to pay less in taxes, the answer is usually "no, I'd like to have a shorter wait for the surgery"...
It's not clear if there are any practical applications to automated theorem proving (and that's not the goal of the work). This is primarily motivated by very "theoretical" decision theory.
Explanation doesn't seem to make sense:

"Equality is deeply ingrained in a society that resents individuality and success", therefore they would oppose smaller taxes for the poor (same taxes for more affluent).

"Danes treasure their welfare state", therefore they would oppose measures to decrease load on said welfare state while giving unemployed a job.

Somethig is amiss here.
Generate Icons,screenshots,Splash screens with Photoshop scripts
Bluetooth headphones or this: http://www.belkin.com/us/p/P-F8J198/
He's specifically talking about pundit hot takes though. Would you take that bet?
Amazon accidentally outs new, cheaper Echo Dot on Twitter
> What does that regulation stop other then people not using bank accounts?

In France, if you don't have a bank account, you don't exist :-) Seriously, everybody just assumes you have a bank account. Otherwise, it looks fishy.

> How could this possibly stop any real crime?

Directly: hold-up is pointless with no cash. Cheques are useless and credit cards can be easily blocked.

Indirectly: the whole point of banning cash is to prevent untraceable financial transactions from being performed. This is supposed to be annoying for criminal activities.

> How would that even work since it was online in France?

I'm not sure I got your question. Please keep in mind that the threshold is on _cash_ transactions, not on every transaction. As far as it is traceable, no amount is forbidden.
In this setting we're using discrete probabilities so we don't have to worry:)
Interesting discussion!
1. Indeed, we already have many incentives to stop planes by fake threats, and it does not happen.
2. The problem of moral hazard is present in all insurance economies. Of course, this has to be solved.
3. Part of the solution will be a P2P approach, limiting the payout to people who themselves have "skin in the game".
We will elaborate on these topics in the next time (disclaimer: I'm one of the founders of the FlightDelay DApp)
We would seriously consider GitLab if they supported Mercurial. I am so annoyed with atlassian (another company that perhaps could pay attention more to developers). I like git for OSS but we love hg for our internal projects.
The list of "bad stuff" in the article is longer than the list of "good stuff", yet it receives a 9/10.

Looks strange (biased) to me, yet I'm not an Apple hater, in fact I've ordered an iPhone 7 Plus for myself last Friday.

But I have to say that I would have bought the Note 7 if they had the same US promotional offer in the EU with a free Samsung Gear Fit2 if you preorder a Note 7. (instead we get the Gear VR - which is less interesting for most consumers)

Also the Note seems to take better pictures, at least that's true for the images compared in the video review.

At least the removal of the headphone jack is no issue for me as I'm a happy user of wireless headsets for quite some time now and I don't plan to ever go back to wired ones.
Oracle transfers their software to the Apache Foundation: what could possibly go wrong?
Indeed—I would tend to argue that in most cases updating the value of an attribute on a resource for a complex operation is itself an antipattern.
Another view is: I could definitely invest especially the forced pension better myself. The problem is most people would use that money for consumption if they had a choice, and then at old age they would blame society for having to live on the street (and in the end probably get a handout anyway). Perhaps in the end all of us are better off if we "force" these saving for most people.
That's personal preference, I like warmer sheets and a cold room to sleep in.
>It would seem that rationalization would fall apart quickly with the new Power CPUs that have NVLink

NVLink has 80GB/s [1]. DDR4 quad channel (Xeon Servers) has ~120GB/s [2]. So no this rationalization doesn't fall apart. Furthermore in the event NVLink gets faster then RAM, then you'll still be bottlenecked by RAM access, as you'll buffer here.

This of course is ignoring weird systems where you attempt to maintain ACID coherence of tables between GPU, CPU, and Disk memory. But then GPU memory size become inherently limiting as even the biggest max out at ~32GB.

[1] https://en.wikipedia.org/wiki/NVLink

[2] http://www.corsair.com/en-us/blog/2014/september/ddr3_vs_ddr... (2channel -> 4channel x2)
Netbeans runs on anything with a JVM, Eclipse is a lot harder to port to different systems.
It's already happening, there has been increasing consolidation in the printer market, this announcement is just another example of that.
> 100% free sets up perverse incentives.

How is that? I realize 100% free is pretty rare (I have a usual out-of-pocket cost of around $20 for an ER visit for example) but what are the perverse incentives created by completely free healthcare?

You mean that those who supply the healthcare are incentivized to give more expensive treatments, because the patient doesn't need to keep an eye on the bill?

Shouldn't the buyer (which in case of publicly financed healthcare is the government) be the one who oversees the cost, and not the patient?
Yes, I'm not really a fan of Lua or Forth.

The main feature I would like to see is a commitment for long term support and maintenance. Boring feature, yes- but a technology like this will only gain traction when people know it will still be around in a year or 10...

What does lightweight actually mean?
Okay, I did not know that. But could you point me to the part of the spec that says this? I wasn't able to find this in their public specs.
The Ten Years Bug
Why the downvote?

Oh right, the iPhone can't be charged wirelessly. Silly me.

http://www.techradar.com/news/phone-and-communications/mobil...
Microsoft to Reportedly End Sales of Lumia by End of Year
Adblock Plus sold out a long time ago. I switched to uBlock about a year ago, and haven't looked back.
Taxes are very complicated in Denmark. I don't know anybody who can calculate their own tax without computer systems, and I say that as a lawyer who talks to accountants and tax advisors regularly.

Nobody just pays 50 percent. The tax is progressive and there are numerous deductions and special cases. The actual percentage of income paid is closer to 40 for most people. And then there is the mess of indirect taxes. And the details of the tax rules change significantly all the time.

But most of the majority of Danes, which are on some kind of welfare/pension/public education grants (2.2 million out of 4 million voters) and the half of the 1.8 million employed that work for the government, like the current system.
business meetings? absolutely.

anything else? meh, never enjoyed crowd sheepish mentality, no reasons to start with this. especially when things work like they do
Americans do not pay anywhere near 50% in taxes. A high income American that makes money as ordinary income (rather than capital gains) and does not own a house and lives in a high tax city will pay almost 50% if you factor in federal, state, healthcare, and sales tax. Everyone else pays a lot less. Typical including health insurance premium is probably around 30-35%. In a state like Georgia with a generous employer that pays your insurance premium, a family can probably pull in close to six figures and pay under 25% all-in if they own a house.
> a new environment may have grown around it

> at this point you could actually also say that this part of the environment has grown onto the AI machine

No, you cannot, if the environment is part of the definition of the machine, as you put it, A computation never exists in "abstract space", because if the environment changed, you'd have a new machine and all bets are off. You had that right at first.

Of course, that definition is unwieldy and we define interfaces as abstract and general as possible, to separate concerns. With involved machinery, that separation is not that clear cut, as their always two sides of the coin, to put it trivially.
I can't speak for most American millenials, but my options are:

1. Buy a $5000 car up-front, which is an expensive up-front cost for me (and more than most people my age have in savings). If I've been careful in investigating the car, it will work most of the time and only cost me $500/year in repairs.

2. Buy a $20K car for $2000 up-front, taking on $18K on top of my student loans, which, frankly, I"m just not going to do. I've been shit on by banks enough for one lifetime.

3. Keep my savings, use public transit, and have enough financial stability that I could lose my job for a few months and not be homeless.

And for the record, I'm a software dev; I make almost twice as much salary as most of my peers.

My Macbook Air cost me $1200. My $2000 Macbook Pro was paid for by my job. Most of my peers buy <$1000 PCs. And laptops are cheaper to repair and don't require gas, insurance, or a license.
You do pay to fill it with a data plan, music, movies, apps, etc.

Then you probably have to buy a case, screen protector, headphones, etc.
Makes for a tough pitch at an established shop with existing tools already in place.
I don't understand what you mean by "all the automation they do is first order". They are based on higher order proof theories, e.g. higher order tablaux, and they implement higher order unification. Otherwise they would be first-order provers and thus much more limited.

But Yes, most common higher-order provers are semi-automatic, you need to give them a hint about which proof strategy to use. That's mainly because they are used that way, not any principal limitation. You won't find many mathematicians who are interested in a theorem prover to spit out some (alleged) theorem by itself, and then let the mathematician check whether it's useful.

The only fully automatic higher-order theorem prover that I know of is ETPS, it will select proof strategies by itself if you don't indicate them. But it's also one of the oldest and slowest and mainly just used for teaching logic.
There were a few attempts at that in the past, one being http://omgili.com/ that now seems to return pretty much garbage.

BTW About 12 years ago I was building this search engine, and I was toying with the idea of building a classifier that classifies web pages based on their "genre" rather than category, so you can limit your search for shopping websites, forums, blogs, news sites, social media, etc. It was a bitch to train, and my classifier's algorithm was pretty crappy, but it showed some potential.

I think today modern search engine do that behind the scene, and try to diversify the result to include pages from multiple genres, but they usually don't let you choose.
Hmm... I wonder what would be the implications of one with positive reinforcement:

"Wow @Dave! that's the smartest code I've ever seen! just one thing, there's a probably-not-that-important error on line 56"
Here’s why it’s so tough for African startups to raise funding internationally
10 Promising Scientists Who Died Mysteriously
> As much as we'd like for there to be a nice, neat guides for successful businesses e.g. "build a little snowball", the truth is that the reasons for success are often totally unique, contradictory and unrepeatable.

Yes, but I guess the point is that if you start with a little snowball, at least when you fail in the end, you didn't waste too much effort on it.
You might want to remember that while scientific method is pretty useful, it does has a weakness. It has all the bases covered except for the hypothesis.

Where do hypothesis come from?
The scale of what Petraeus did vs what Snowden did is very different.
That's the best kind of discussion: when one learns something from the other, instead of just exposing different point of views.
He'll never get it. He lost any hope of whistle-blower status when he released information on foreign surveillance programs.
A huge swath of people ignore reviews by never reading them. They are only important because of how tight restaurants margins are so even a 5% dip is important.
I found iFixit guides very easy to follow.

https://www.ifixit.com/Guide/iPhone+6+Battery+Replacement/29...
The funny thing is, if much fewer people are getting driver's licenses as the article claims, then ZipCar is also screwed.

I'm an example of that; since I never planned to own a car, I never got a license, and it's very hard to justify that time and expense when you can just take an Uber for a couple of bucks more.
Go out of your way to talk to people. Smile at them, learn their name and make sure they know you remember it. Learn the art of nonvapid small talk.

It takes an minimal amount of effort to learn two or three small things about someone, and you will never in your adult life have too many friends or business contacts.
What I really dislike is when I calmly convince them that I am correct to just check later and find out that I was completely wrong.
> Somebody, somewhere made a campaign contribution

You are assuming that the chance of being elected to public office increases with the amount of money you can spend on trying. That's cute.

Edit: You aren't american. But still so cynical about politics :)
> It is amazing to me that people care so much about what other people think; they want to be told what they should and should not like.

the sole reason fashion industry exists (I don't mean buying stuff that looks timelessly nice, quality is good etc. I mean stuff that was "in" 20 years ago, is 99% same and is hip now and will be "in" again in next 20 years with very minor modification).
Another option is http://www.apple.com/shop/product/MNN62/iphone-lightning-doc...
> seems possible for a computer to detect content which is just mostly marketing

But based on the spam race, marketers will then tune content so that it doesn't trip those filters. Paid news and journal articles, etc.
I'd imagine your life would change very little if you bought something used - that is what we did. Better than renting a few times, for us, anyway.

If I were living some other places, though, I'd have the same attitude as you. Talked to a cab driver in Amsterdam once and found out there was something like a 4-5 year wait on parking spaces. I was completely amazed - owning a car is definitely not that important to me.
I think by default in vanilla zsh, will expand something like 'sudo !!' by hitting tab after the second bang.
Baidu launches $200m venture capital unit focused on artificial intelligence
Honestly, installing and maintaining GitLab is still not a pleasure. The Omnibus package was too unsafe for us because we wanted greater control about versions and stuff; and the bundled pre-configured applications in it (e.g. nginx) cause a lot of problems with existing installations.

We were basically not able to create a stable deployment on a machine also running other services. But none of use really likes Ruby and rvm, maybe that's also one of the reasons why we struggled.
Chicago bagman who helped DOJ in red light camera case gets 6 months
>I think the real performance story with the A10 Fusion is not what it scores on benchmarks, nor how fast it feels in use, but what it does for battery life with its truly innovative dual two-core design. When high performance is called for, the A10 Fusion uses two performance optimized cores. When it’s not, is uses two energy-efficiency-optimized cores. To my knowledge there has never been a system like this in a phone.

Well, that's just wrong. Android phones had this years ago. The near ubiquitous Snapdragon 810 uses a Big.Little architecture.
Hiring arbitrarily is kind of weird. Having a UI team for the sake of it could be considered quite harmful because those designers can't ever be idle.

And in any event, a software such as gitlab doesn't need to be pretty, it needs to be usable, fast and bug-free.
I don't think that anywhere requires particular denominations to be accepted by law. If you're referring to "legal tender" laws, or similar, that's to do with settlement of debts.
We use heavily gitlab-CE for VideoLAN (VLC, x264) on our hosted infra, and so far we're very happy about it.

The only part blocking us from moving completely to gitlab and deprecate everything else is mostly the limited issues tracker (compared to trac, for example).
That's just a powerpoint presentation in flash form.
Why am I incapable of either discerning or caring about any of this? I can't help but be impressed by his incredible attention to detail and his understanding of the design choices and their ramifications ... but I still feel like I'm reading about the mating habits of some alien species. Interesting yes. But also bizarre and faintly ridiculous.
Marcin from RhodeCode here. You should consider checking out RhodeCode, it's openSource and supports Mercurial, along with Git and Subversion. It's built explicitly for internal usage behind the firewall.