skysight-inc/HackerNews huggingface dataset:
It's interesting how little talk there is about it, and I'm not exactly sure how Microsoft believes it to be a good thing.

I've been an Office (for Mac) buyer for the last few versions but the new pricing for Office 2015 is making think twice about continuing this practice. AFAIK, the 3-licenses pack has been abandoned and a single license will be in the same price range.

Subscription pricing is indeed not much cheaper (if at all) and give that feeling you're regularly paying for something you rarely use. And outside of corporate environments, I don't know anyone who uses Office apps more than just occasionally.

If Microsoft is trying to make its users look for alternatives, they might just succeed...
Looks like you've never experienced anxiety, depression.... Getting things done isn't easy.
chsh -s /bin/fish

https://github.com/fish-shell/fish-shell
If you've nothing to hide, you've got nothing to fear
Taig+iOS+8.4+jailbreak+download+taig+2.4.1iOS+jailbreak+tools+and+guide
I don’t. I just accept that sometimes I just cannot know the absolute truth and that’s that.

But I do have the ability to trust people and I know when I enjoy something.

So, this all might sound very abstract, but I do know that I like the censors (they call themselves editors) working for certain newspapers I like. I trust them to make good decisions, partly just because I don’t have time to make those decisions myself.

And that’s obviously not perfect – but this whole nerd dream of provable correctness and absolute, guaranteed access to the truth all the time … it’s all unachievable bullshit anyway. Sometime you just don’t know. Sometimes you just have to live with that. I live with it and I like it.
Collection of Best AND Useful Articles on Career Advice
Amok 1.0 and the Future of Amok, Time Travel and Live Code Editing
Tax from the poor and give to the rich(er)? Plus lots of extra bureaucracy costs with all the paperwork and administration. I won't be voting for you!
> we don't even consider it to be fatal anymore due to our level of nutrition and medical care - which comes from development.

This is absolutely nothing to do with human development.

Good health can compound problems with flu because it leads to a cytokine storm - flu epidemics tend to kill healthy young people disproportionately.

The scientific community has been extremely concerned about another influenza epidemic because there is no guarantee that we can do anything about it, medically speaking.

If there was an epidemic on that scale again, the best practice is to close schools and workplaces, to restrict travel. In other words: to temporarily stop the benefits of human development.
Visual Studio is good, but why does MS stick to the XML and GUIDs. e.g. XAML in WPF/Silverlight/WinPhone/WinRuntime/UnversalApp has a charm from 2005 and feels outdated. It's also used in SharePoint as data format. Reminds me of OLE2 and it's com siblings.
The main problem IMO was the Metro UI which while different from other mobile OSes was too different. It was too cold and futuristic. Games on the platform run really slow compared to other mobile platforms. And games are the number one apps that is carrying iOS.
I wonder if any of the C++ code I wrote in 2003-4 is still used.
Some articles on this:

https://expattmagazine.wordpress.com/2015/05/17/the-perils-o...
http://www.wired.com/2014/10/content-moderation/
http://www.telegraph.co.uk/technology/facebook/9118778/The-d...
Why do you care about the safety of a torturer?
Not yet, I start in about a week! :)
Have you blocked known tor exit nodes? That would be my first course of action. Blacklist IPs for any offence.
There was a synergy with coal too. Wood is much easier to obtain, but lower energy density for industrial uses. Steam engines help move coal and pump water out of mines. Europe was becoming relatively deforested and there wasn't enough for big engines.
Steam, coal, iron, banks all co-developed for the first phase on the industrial revolution.
https://en.wikipedia.org/wiki/Planet_Labs

Yeah 3-5 meters apparently.

And i would assume spy satellites can do much better than 1m.

According to wikipedia spy satellites has a estimated resolution of about 10 cm.
Fractal Cells || hosting singularity
It's true that it was a discovery that Martin Lof identity types could have multiple inhabitants, but it's a general principle of type theory that types can have multiple inhabitants (unlike in set theory, where propositions are just true). That this also applies to identity types in HoTT is a sign that something is going right.

Furthermore, from another perspective it's "obvious" that identity types should have multiple inhabitants. There were two approaches to equality in type theory. One is Martin Lof identity types, which follow naturally from Leibniz' principle that A and B are equal then they are indistinguishable. The other is defining equality for each type on a case by case basis (pairs are equal if their components are equal, functions are equal if they give equal outputs, etc.), like in section 2.4 Equality of this paper: http://www.andres-loeh.de/PiSigma/PiSigma.pdf

In the latter approach it's obvious that equality has multiple inhabitants, because it's defined that way. For example we can define equality of unordered pairs as the type:

id_unordered_pair : (A,A) -> (A,A) -> Type
id_unordered_pair (a,b) (c,d) = (id_A a c)*(id_A b d) + (id_A a d)*(id_A b c)

i.e. two unordered pairs (a,b) and (c,d) are equal if a=c and b=d or a=d and b=c.

This has two inhabitants even if id_A has only a single inhabitant. This approach naturally accommodates quotient types. The problem with it is that the type system has no idea that this is equality. It's just another definition. The point of equality is that all functions respect equality (equal inputs to equal outputs). Not all functions respect equality on these unordered pairs (e.g. a function that extracts the first component).

This approach to equality has the converse of Leibniz' rule: we can define equality so that if two things are indistinguishable then they are equal.

I think a good view of HoTT is as unifying these two approaches to equality. We get both Leibniz' principle and its converse, and we get user defined equality types whose equality is respected by all functions, we get multiple inhabitants for equality types.
The differences aren't that huge, maybe the biggest ones are FP orientation, and static typing. That and Go is relatively simple. Thee tooling for Go is excellent, and the network effect of that is huge.

People like to complain about the type system or genetics, but it doesn't seem to be a big problem in practice.
Intercom (http://intercom.io/careers)

We are hiring designers, developers, sales, and marketing folks in both San Francisco and Dublin (Ireland). We are happy to relocate you to either office.

Current HN-worthy roles include:
- Application Security Engineer
- Lead Software Engineer, Product
- Mobile Engineer, Product
- Software Engineer, Product
- Software Engineer, Growth
- Software Engineer, Performance & Scalability
- Product Designer, Growth
- Senior Product Designer
- Senior Product Manager
- Senior Product Researcher
- Senior Visual Designer
Did erlang somehow make it easier to learn the additional languages?
I actually do believe this could work if implemented correctly.

You have to show ID to purchase tobacco products. They even have signs at some convenience stores which say the year you must be born to purchase tobacco products, which the year is the current year minus 18.

Stop changing the cutoff year. This will allow the current generation of tobacco users to continue, but ban future generations from it.
Attempting to dereference a null pointers may not violate memory safety, but it can do much worse things, like crash programs in the middle of unfinished transactions. If the atomicity guarantees are provided by someone else, then it's not much of a problem - it's their responsibility to clean up. However, if you're the one implementing the atomicity guarantees, you're pretty much screwed.

And this is just an example.
I think the whole problem with the smoking debate is that neither side (pro and anti) are willing to embrace harm reduction, even though the market has introduced many methods to use nicotine and/or tobacco that, to one degree or another, do in fact reduce the harm caused by the manufactured cigarette.

The anit-smoking side views harm reduction as a movement that is completely against their efforts. To the anti-smoking side, vaping is the same as {cigarettes, cigars, pipes, shisha, snus, ...}. The anti-smoking side's stated agenda is absolute eradication of tobacco use in any form, and they've hit all fronts just short of prohibition.

The pro-smoking side take a small-l liberal view: People should be able to use tobacco. Their problem with harm reduction is that harm reduction is also against their stated goals. While the pro-smoking side will happily embrace vaping, they view it as yet another way to enjoy tobacco.

In the meantime, people like their vices. As an exercise, re-write the Economist article, but substitute "alcohol" for "tobacco". As I recall, there was such an article posted to HN that showed how journalism colors the perception of drugs by writing about alcohol use as if alcohol was a new drug, not a very old one.

Back to my point on harm reduction, I believe that sooner or later a stasis should be reached. Harm reduction will be embraced by both sides. I believe that the only way to reduce the negative effects of any substance use to a society is to teach the risks and the safest way to use the substance. I think that the end result will be an open market where the suppliers of the substance will sell their product in any way they can and a corresponding social pressure that pushes users towards more acceptable (less harmful) practices while supporting programs that allow for self-selected cessation.
A better command line tool for the todo.txt format
Someone's ready for a career in politics.
How to get paid for spreading Bitcoin
I found this project a while back. I started putting TODO files and .topydo (config) files in my git repos while I work on them.

Much better than having your todo list in your README.

alias pydo='topydo'
Enabling Multi-Process in Firefox Developer Edition
Its the first blog i have bookmarked in years. I just couldnt stop reading all the previous posts. Every post is full of interesting content not just empty useless rants. This is quite the change from the typical wannabe philosopher blogs "durr web is broken." or "10 Things To Know When Making Web App in <yyyymmdd>"

...ok back to reading the rest of the posts!
Given the average user's ability to figure out that blue download buttons are not in fact download buttons, just ad sites that offer you your download by name but in fact give you malware, this is the correct decision
They can do the same thing I do with phone calls - "I do not conduct business over the phone. Please send me a letter."

Legit businesses will send you a letter, as well as legit financial or legal matters. Scams, telemarketers, and most sales folk will just not contact you again.

Once your parents do get letters, they can have someone help to look things over.
There are a couple of candidate Kuiper belt objects for a flyby in a year or two, they were found by Hubble after a search with ground telescopes came up with nothing. No decision has been taken about that flyby yet.
I remember that i was getting popups on many torrent sites just by clicking on the search input field or selecting text, even on tpb and kat.

Not very surprised. The ads they get are pretty bad, and i wonder if the mpaa or riaa don't have some cog in there.
You're probably right about the GPU.

Regarding the CPU, when creating an instance you can see this: "G2 instances are backed by 1 x NVDIA GRID GPU (Kepler GK104) and 8 x hardware hyperthreads form an Intel Xeon E5-2670". According to [Intel's product page](http://ark.intel.com/products/64595), the processor only has 16 hyperthreads, so 2 users per CPU. My reasoning may be wrong though, I'm not a virtualization expert at all.
> we seem to impose ethnocentrism on everything, no matter how remote

Because A5236 is so much better.

We either give random designations or non-random ones. Random ones are hard to remember. Non-random ones will obviously be named in a manner that makes it easier to remember, otherwise why go non-random? So if you're naming something with the goal of making it easy to remember, then yes, you're going to name it after something that it resembles, however slightly.

Please put the political correctness back on the shelf.
I visited The Land of Oz as a child - it had gondolas decorated as hot-air balloons in which Dorothy & Toto would ride at the end of an event. The Yellow Brick Road is still there, but people break in and steal bricks from it, so I don't know for how much longer.

https://en.wikipedia.org/wiki/Land_of_Oz_(theme_park)

The article didn't mention Heritage USA, Jim & Tammy Faye Bakker's Christian themed park and retreat just outside Charlotte NC. It lasted a few years, until the scandal brought it and the ministry down. My first boss out of college was the auctioneer who sold it at bankruptcy.

https://en.wikipedia.org/wiki/Heritage_USA
This wasn't a troll. You asked, got an answer, and you weren't happy with it. And you call people trolls for calling you out on it. This isn't 4chan.
The current price of fossil fuels is not sustainable, and has wildly fluctuated over the last decade. It's not really a metric that can be used for long term planning, except to say that fossil fuels are finite (in the "human scale" of time. Everything is finite if you want to get pedantic.), and therefore the cost will eventually go up if we keep relying on them.

The varying monetary cost of fossil fuels also causes huge destabilization of the world economy (See 1973 OPEC crisis etc). It would make the global economy much more stable if we could eliminate such an unpredictable variable.

Also, mathematically, something that is "renewable" will, given time, obviously provide a better ROI than something that isn't. The figure of 20 years may not be accurate, but fossil fuels will never pay back. Once used, they're practically gone for good.
I'm always preaching this sentiment - it is far superior, yet it seems like most governments want to stamp it out before the mass market innovation really kicks in.
Toyota ad hijacks Siri to switch off iPhones while driving
Quitting is actually very easy. I quit smoking with the help of four things: 1) genuine desire, 2) vaping, 3) Alan Carr's book and 4) bubblegums. These four were the critical ingredients for me.

I think nobody can quit without having a genuine desire. I had my first kid born and not wanting him to inhale all this shit is a good genuine desire. (Even when you smoke outside on the balcony surrounding people get it, there's no escape. Everything else is a dumb excuse.)

E-cigarettes help to solve the aesthetic part of the equation - they take all the joy out. When you vape, you have the same doping effect except you realize what a pathetic f^H addict you are with all those batteries, cartridges, bottles of liquid and stuff. Bye-bye smoking with class.

The Alan Carr's book is a great help with the psychological aspect. From the perspective of hopeless addict (three packs a day) he tells you that quitting is very easy and it turns out to be indeed so. Carr also tells you to stop instantly instead of easing off. I got from smoking pack a day to vaping then chain-vaping and then I just quit right away. Carr also addressed one very important aspect for me as an IT guy: concentration. When I tried to quit smoking before I lost focus due to cravings and was afraid I could no longer work. Bullshit. Without cigarettes I am even more focused now. In the end you get more health, more focus, more stamina - more everything.

Finally, the bubble gum helped me to deal with the mechanical addiction. I wanted to smoke when I got into the car, when I got out of the car, after the lunch, and so on, so instead of smoking, I chewed spearmint bubblegum. Now I do without gum.

Good luck to everybody. It is indeed worth it.
Looking at numbers from IDC, they've declined the last several years.

Combined with erosion of pricing power, OS licensing isn't the glorious business it used to be for Microsoft (it's still worth billions of dollars though).
Part of what makes it ominous is that the agent is too casually requesting that the host open the gates, and suggesting that the host has zero-risk, simply because he/she states his/her innocence.

This, when it seems pretty obvious that they'd have to do some investigation of the host, if only to rule out his/her degree of involvement.
That shouldn't be a problem. Hy code can be imported to Python just like any other Python module.
Alkaloids are chemicals in plants, like caffeine for example.

Psychoactive meaning having an effect on the users brain.
"the underlying HttpLuaModule for nginx is awesome on its own if you're using nginx already"

This is the really important bit about OpenResty that sometimes gets overlooked, or buried under the "full-fledged web application server" motto. The "ngx_lua" module by itself basically nullifies the need for a bunch of other modules.

As anyone running nginx for something non-trivial can attest, adding modules can quickly become a support nightmare (varying levels of quality, issues you can't figure out if they're core or module related, keeping everything updated, confusing configurations, etc.).

Right now "ngx_lua" is one of my "must have" modules, together with "headers_more" and "set_misc" (which could also be replaced by "ngx_lua" rather easily, but with a slight impact in configuration readability).

I'd hope the nginx plus folks would rather make this official instead of going out with a competing module using JavaScript. Guess Lua is not hipster enough.
One of the problems with harm reduction is that the tobacco industry has produced and sold products under the guise of harm reduction where those products have had no harm reduction benefit.

You take a normal cigarette and test the tar and nicotine content. You then take the same cigarette and piece small holes in the filter. This new cigarette will test as lower tar and lower nicotine, but when real humans use it (blocking the holes) it's the same cigarette.

Chewing tobacco was sold as a harm reduction measure - and it caused a lot of mouth and throat and bowel cancer.

Tobacco companies are scum. It's a good thing that people are sceptical of tobacco companies.
Instead of basic income, what if "basic needs" were all free: Food, shelter, healthcare, and recreation. Money would only be free for people who work. Money gives the freedom to do consume goods that are not free.

Sigh. And now to tear down my own thought. Maybe "free basic needs" works (psychologically) for everyone reading HN. But I'm afraid it could destroy a percentage of the population. If someone has no fundamental drive to work, what happens to him/her when work is unnecessary? Hunger is a pretty good motivator. Maybe working any job is better than not working at all (i.e., better for our our mental state). I guess what I'm saying is this: once we meet everyone's basic needs and remove desperation, we still have the problems inherent to idleness.

Crap, let's move to Switzerland...
Yes, I believe Windows usage has fallen to just under 9 out of 10 desktop computers.

Oh, the people use mobile argument...right. Great consumption devices. Love my iPad...still need a desktop.

Basically, until something comes along to fill the void where 80% of people just want a cheap desktop, and not a premium brand, I think Windows won't be classified as dying.

Should we discuss the computer that people use when they show up at work. Nah. Surely you understand by now.
Project creator here (and kind of surprised to see Opa as news).

Reading the different comments, I must say that Opa is still active (although we lack resources to animate the community). We are a small French startup meaning that I get to spend 50% of my time struggling with administration, and our evangelism resources are not compatible to those of companies like Meteor (and btw, Opa predates Meteor by a while).

Currently, we use Opa to build a secure communication application, named PEPS :

https://github.com/MLstate/PEPS

which is a good example of a "big" and open source application written in Opa. Note also that bringing a new language (or framework) from toy examples to real apps is definitely not easy.

Overall, quite glad to see that many things we introduced in Opa ("JSX" syntax, CPS-transforms, etc.) are becoming more prevalent, especially thanks to ES6. Indeed, adapting Opa to ES6, which we are looking at right now, would enable existing applications to use the latest ES6 features without changing the app code.

That was one of the goal of the project: Opa was meant to be a "good way" to write applications, letting the compiler choose a target platform and write code for it.

Opa is still relevant today, as a "good quality" (especially in terms of safety -- and if you are interested in certified applications like common criteria, please contact me: Opa is relevant in that space) "one-stop shop" to build develop web apps or services. Remind that when we started a few years ago, many were criticizing that we use a functional programming language, were telling us that nobody wants static typing, etc. (that was before Hack which helped a lot in popularizing the feature -- and Opa too is written in OCaml).

And Opa has a future. The way the compiler is written, it's not that hard to have it compile the same application code into cloud platforms, including a lot of Amazon Lambdas...
Is this satire? What are you getting at?

Stephen Behnke has a PhD and a JD, and he used this amazing education to enable and excuse torture and torturers, and to be besmirch America. Shouldn't he be infamous?
I am a little frustrated at the "slow" pace of NASA puts the raw LORRI images on their public website. The newest is two days old. At this pace of approach every few hours closer has a new and more fantastic image. At least NASA puts up raw data fairly quickly. ESA takes months for its Mars and Rosetta images.
Why do some countries drive on the left and others on the right?
I stopped smoking by getting a prescription drug called Champix (apparently Chantix in the us).

The instructions tell you to pick a day to stop like 5 days after starting the drug, I think on day 7 I just didn't feel like smoking anymore. After the prescription ran out I started to crave cigarettes again but no where nearly as badly as going cold turkey so I just didn't smoke any more.
heh.

Well, we could argue about it, but how about you go and read the Intel Q1 2015 earnings statement(2), have a think about how daft those guys must have been to have missed the obvious short term decline in sales leading up to the Windows 10 launch.

...but hey, don't take my word for it. There are plenty of other 5 year forecasts out there; just pick up a few and do some background reading.

(2) http://www.intc.com/releasedetail.cfm?ReleaseID=906520 "Year-over-year revenues were flat, with double-digit revenue growth in the data center, IoT and memory businesses offsetting lower than expected demand for business desktop PCs," said Intel CEO Brian Krzanich. "These results reinforce the importance of continuing to execute our growth strategy. "