skysight-inc/HackerNews huggingface dataset:
Nix (package manager):

- There is a version history in the release notes appendix of the manual. [0]

- As others have posted here, the project is currently hosted on github [1], though it was originally in a svn repo. [0]

- Eelco Dolstra is the active project maintainer. [2]

- First checkin for Nix was ~March 12, 2003 (in the file nix.c/nix.cc). [1]

- Version 1.0 release on May 11, 2012 (also first release from github). [0]

[0] Release Notes: http://nixos.org/nix/manual/#sec-relnotes

[1] https://github.com/NixOS/nix

[2] https://github.com/edolstra

Edit: Thanks to sibling posts for the other info they were able to dig up for us.
In western Pennsylvania, where I'm from, people definitely do go to Sheetz just for food.
January isn't very deep into 2017, but I've backed a good half dozen Kickstarters and they rarely hit their targets (then again, Pebble is pretty solidly established at this point).

But, even if they ship in January that is still a long ways away, and plenty of changes and new products will be launched before (in my opinion, that's the real risk with these long announcement/pay times for this kind of presale).
> The correct pronoun is 'her', not 'him/her'

No, the correct pronoun is 'him.' Chelsea Manning, despite his self-perception and despite his name change, is and always will be a man. Gender is an objective, physical, biological fact, not a subjective experience.

There are people who believe that they are disfigured even though they are perfectly normal looking; they are not disfigured, even though they believe so. There are people who believe that their limbs are not their own; those limbs are theirs, whatever their perception. There are people who believe that they are the Messiah; they are not.

When talking to someone, it may be therapeutic (or simply kind) to use the words he prefers even if they are incorrect, but when talking about someone, there is no need to humour his error.
A conversation about history blogging in Canada – Congress 2016
Allow you to filter out certain topics you are uninterested for the questions page. (i.e. Right now you can choose what you want to see, but say I want to see all things that having nothing to do with windows, I can filter that out)
Tabs are too variable for me, and on some (albeit ancient) platforms won't even display. Spacing with spaces is more universal (well except for HTML).

If sometime in the future they device some new formatting standard it would likely supplant and deprecate tabs, but spaces I believe would always be a fallback option.
Wired its actually scared because they're a similar website with a similar business model
GDP is a weak proxy for wealth. We are much more interested in adding up the consumer surplus and the producer surplus, but getting accurate numbers is usually impossible.

If we are comparing economies that are, in a suitable sense, "the same shape" then more GDP is better. But adopting new technologies in the way that your question imagines, changes the shape in a way that breaks the proxy. GDP goes down and that is a good thing. No surprises or paradoxes here; GDP is well known to be a poor proxy for wealth.

http://lesswrong.com/lw/jmm/true_numbers_and_fake_numbers/ai... works through the details, but the other way round - the robot breaks down, prices go up, GDP goes up and that is a bad thing.
I disagree with the notion that tech is "the most powerful industry" or more powerful than the press. The press is the most powerful industry, by far.

With a single front-page story they can make a $9 billion company worthless (e.g. Theranos — not saying this is a bad thing!). They can get popular products banned (e.g. Four Loko). They can set off moral panics (e.g. Satanism) that end up with people being imprisoned under false pretenses for decades. No other industry besides government has such power.
Turing complete is by now means a 'low bar'.. Turing complete means that a language, system can compute anything. Anything that can be computed, can be computed with java generics. Thats what it says. Its quite a important term.
This is the best use of the new .lol TLD I've seen yet.
I highly doubt there is any difference, since the only difference is the medium. If a book is published online, it's still a book.
Ah, I thought I heard about that somewhere. I did tests on 16.04 recently with ansible, but python2 was here, so I guess the image I was using wasn't a vanilla ubuntu (from a VPS provider).
16 Ways to Make Your Customer Service More Personal
About $50/year on initial registration, but that's because .coms were so expensive then / seemed expensive / didn't find cheaper options.

Then $10 / year. And now $15 / year on a registrar I trust with security a fair bit more.

Reason for a change in paying a little more for a much better (perceived, at least) service was I started getting mails from someone with the (almost same) name suggesting I 'give' him my domain name (and Twitter, and Gmail, and LinkedIn, etc). Give him. As 'I was not using it'. Despite having it as primary email address for ~15 years and a small placeholder page for namecard, logins, ssh, personal projects, cloud hosting, etc. Persistent, timed emails, every 6 months or so. And he was in SEO so perhaps somewhat cluefull of dark arts, so move to a non-cheapest registrar.

If you're on the reverse, check your registrar is providing a secure service, for example passwords not (or seeming to be, based on login hints), in plain text.
Inject dependencies via constructor parameters - this is best practice in any language. Unit testing you can just... pass in the values you want.
The law does not define what's ethical. Mao, Stalin and many other authorities acted strictly inside the law and yet commited massive attrocities.

Frederic Bastiat wrote a short book "The Law" where he elaborates on this and the purpose of law.

Thomas Jefferson was also very aware about questioning inmoral laws.
Funny how everyone thinks that if Gawker the company goes bankrupt, it means Gawker the profitable website is going away.
What does this mean in practice? That I can compute an arbitrary algorithm with Java generics? How?
regardless of what he is, he's allowed to say shit in private. it's called freedom of speech. his privacy is however, protected.
The First Amendment says the cops won't bust down your door for saying something. It has exactly zero bearing on whether or not that same speech results in you being unemployed or unemployable, having your romantic partner leave you, or being shunned by greater society.

As for Citizens United, you do realize that before the decision affirmed it that corporations were understood to have 1A rights? What has people upset is that the "wrong" kind of corporations have those rights. It was okay when it was friendly media companies, unions, or non-profits with the correct ideology. But let some chunk of people with extreme Clinton Derangement Syndrome band together and "whoah Nellie!"?
Same thing jumped out at me--having racks of mac mini's seems like a waste
In 2014, one-third of adults in Utah had a prescription for opioid painkillers
I also used to be an engineer at Facebook.

Definitely the corporate culture wouldn't allow anything like this. Believe it or not, many FB engineers have some kind of free software / civil liberties background in their past, and most people don't seem to realize that A) they have options, they can and would walk out if they witnessed anything shady B) the company has enough fake scandals wound up by the press as it is, to risk doing something genuinely evil for short term gain, and have a former employee eventually blow the whistle on.

One controversy after the other, during my time at Facebook I witnessed the chasm between the mostly innocent motivations behind a product feature, and what the press / outside world made of it. This experience probably taught me as much about media cycles and conspiracy theory dynamics, as it did about engineering.
It doesn't have to be the entire cost of living, just the cost of housing.

In Upstate NY there are farms everywhere so food is cheap. The upside to everything being gray and snowy all the time is that water is basically free. And as for other services like telcos and electricity, we pay around the same as the rest of the country.

But then comes rent.

It is ridiculous to think that unless you live waaaaaayyy out in the sticks there's no chance you are gonna afford a mortgage down payment anytime soon after graduating college (forget high school), and even as a professional with a professional partner the idea of buying a house is still years away. If we can't own a house we can't build equity. We can't use the property as collateral if we need a loan. It all goes back to housing, and right here, it sucks.
My takeaway from this whole story, We can't get justice without lot of money. Which is sad.

Hogan/Bollea should be able to fight his case without Mr. Thiel's financial support.
If Thiel hadn't kept it a secret, it could have affected the trial. I think that alone is a perfectly good reason for keeping the involvement secret.
American Schools Teaching Kids to Code All Wrong
It's extremely unfair to characterize them as "dumb". They have the same credentials as the tenured faculty did when they start, but they don't have tenure.
Decorating: the magic decorators for animated and writing parallel
"What a time to be a programmer."

Yes, what a time! I imagine next years, and I wonder how much still better it shall be. Great times are coming.
So I don't really agree with Thiel here.

But fundamentally, the issue here isn't Thiel. It's the laws he is exploiting to muzzle truthful speech by Gawker [1]. We've had a variety of laws created to protect Jennifer Lawrence and other sympathetic females. Those laws would also have protected Carlos Danger, had they been in force when he was tweeting dick pics. Those laws are a danger to our society.

Me on the topic, a few years ago: https://www.chrisstucchio.com/blog/2013/defending_hunter_moo...

That said, this is a very interesting article. It's definitely bringing up an interesting issue, that centralized manipulation of public opinion (and hence democracy) is becoming easier - definitely one of the many flaws with democracy, I'd say. The willingness of the public to participate in cathedral-instigated lynch mobs of this sort is also troubling.

I wish I could think of a good way forward.

[1] I never thought I'd be the one defending Gawker. I want them to die. But I'm more afraid of laws stifling free speech than Gawker, although watching Gawker in action has made me become more afraid of free speech than I was before.
I would agree that family structure plays a huge part. Kids are expensive and take a lot of energy. As much as we as a society celebrate single moms, it's a tough gig to work full time and raise your kids alone. I don't think anyone would say it's the ideal family situation.

One reason the marriage rate may be is dropping is that it's become fairly disincentivized for men. A lot of younger men (25-35) I know voice concerns like the ones listed in this video:

https://www.youtube.com/watch?v=BoXQf2f2Yxo

Perhaps if they were to make marriage and custody laws more fair it would help the rates increase.
> In practice it just means the compiler can't be proved to halt on valid code.

Which is a terrible outcome, and isn't a problem for nearly any other language save C++.
I use Scala for that kind of use case sometimes. If you have a REPL and you have good enough type inference you can pretty much just do what you would do in Python, and as a bonus you can reuse library functions from your real system rather than having to duplicate or shell out to them from your scripts
haha, yes, a use case we hadn't considered.

this is probably why no-one's done this, and in fact most error messages are "horse battery correct staple" style messages :)
Well, in my defense, I have not been actively looking for actual implementations (I'm an academic researcher), so I'll have to concede naivety. But, I think my point still stands, and I think we agree about the capricious nature of these things.
A Peek at A/B Testing in the Wild
Maybe it beats "because they're cute"?

(FWIW, I eat meat and think squid are delicious. Just posting a related link to see what discussion comes of it.)
Damn it Nietzsche, stop playing with the computer!
... Facebook doesn't post things people don't want posted on there. There's a whole different level between "mines data people put on the site" and "posts sex tape against someone's will". Facebook makes an explicit agreement with the user.

Palantir is a bit different but the real problem would be with the scope of what it's customers are allowed to use it for and that can be solved by laws and courts as well. If you think they are breaking the law and causing a disservice find a lawyer, establish damages and you can make lots of money.

It's common for most people to not publicize they are involved in lawsuits - in any role - unless necessary. Nobody posts "going to bankruptcy court today" or "paying for my daughter's DUI lawyer" openly.

It's implausible to believe you don't see the difference between Facebook offering a photo upload service and Gawker stealing and uploading a sex tape.
if it's _truly_ agent-less why do they care about the python version on the target, I feel that python target code is the agent? I might be missing something.

Tried it a while ago, interested in developing tower-like management software(light-weight) using javascript as Tower is a bit too pricey for small/mid-sized customers.
Ask HN: Are eshares' 409a valuations independent and able to withstand audits?
Advice would be really appreciated on this.

We need to do a 409A valuation. Our lawyers, a large valley firm, said to not use eshares. Evidently, they changed the firm who was doing those outsourced valuations for them (it used to be preferred return and then greener equity) and couldn’t give a sufficient answer that they were independent. And this could present issues in DD from investors but also IRS down the road. In a worse case scenario, options strike prices will have to be re-done with tax implications.

Anyone have similar feedback or thoughts on this? Is it OK to use eshares prior to Series B and then switch over to something more robust? To make things more complicated, we need to do options and then a raise within a few months of each other so it would be nice to not waste a ton on this if we don't have to.
Numeric linear algebra code: an appreciation
Zamenhoff lived in a part of the world where the Russian, Austro-Hungarian and German empires intersected, and Esperanto reflects that. Although the vocabulary is largely Romance, there are words of German/Yiddish and Slavic origin and the grammar is more agglutinative in character, like Hungarian. It's very much a product of the roots, history and heritage of its creator and his homeland.
I'm not sure there's all that much innovation in smartphones. Android doesn't seem to have changed all that much over the past 2-3 years, it seems to have entered a holding pattern with various small tweaks over that time. I just looked up Android N, and the first article I got back had some of the top features as new emoji and keyboard themes! It strikes me that the whole area is mature and stable, which is great, but it doesn't exactly mean they're speeding off into the distance.

If they can catch up with basic functionality, web apps continue to develop and are integrated well, there's decent android app compatibility, and they can add an extra interesting feature like convergence (which requires that the next-generation hardware is fast enough), I personally would be quite enthusiastic to have an Ubuntu phone as my next smartphone.
yeah mostly it's plumbing these days. I can debug my own code OK, but debugging a weird library call is hard without the tubes.
L3 by chance?
I believe the intent is that it is not a very informative bar to cross. Consider that Conway's Game of Life is Turing complete. Doesn't really increase the usage of it for solving problems.

Basically, the expressiveness of a language is unrelated to it being Turing complete. And is much more relevant for most conversations.
Three to trial mobile ad blocking next month
> But, the realization that what really damaged him was his racist rant, then suddenly it does seem like Gawker was reporting something newsworthy.

Gawker didn't report the racist tirade. The tape that had the racist tirade on it was not published by Gawker.

You can hardly say that they were reporting something newsworthy about his racism when the evidence proves this wasn't the case.

However, there is certainly some truth in saying that Hogan was fearful of the other tape being released by Gawker, and therefore much more willing to sue in relation to the illegal release of his sex tape.
Is there a link to the paper?

Preferably one that you don't have to be at a university to read?
Creator of the bot here. Thanks for the shoutout!
Farnseworth Fusors it sounds like. So EIC fusion, fortunately it's pretty tough to get a strong enough vacuum and proper backfill of deuterium to produce actual fusion which would stream neutrons out and actually be dangerous beyond the dangers of dealing with high voltage, high pressure, and x-rays. They do usually ionize the gas in the confined center which looks pretty cool.
Basically all you need for turing completeness is the ability to jump/branch/ignore-some-bits on some criteria see SUBLEQ or cyclical tag systems or XY combinators.

it's actually very hard to avoid in a system that is supposed to do some sort of computation.
The Bollea v Gawker case itself is already a counter-argument to your suggested fix.

What would have been different if it was known upfront Bollea had third party funding and was willing to use it? The facts of the dispute haven't changed, so the end result should not have changed.

The main effect is that Gawker may have changed their approach to defending/settling the case. Which is a good argument not to disclose how the applicants are funded.
I have a hack project like this going in my garage.

I'm trying to build a resonant tuned polywell device. The tldr is polywell + tesla coil power source + microwave oven = fusion? I have no idea if it will work but is something I wanted to try.

The original polywell is a steady state device, where this is meant to create a dynamic system in tune with the power source.

https://en.wikipedia.org/wiki/Polywell

http://2.bp.blogspot.com/-3BPtWiGxd3c/Vj7ecWEoXuI/AAAAAAAAGc...
Amazon's AI Cloud to Be GPU Based
I think that's what @nimblegorilla was suggesting, and I think it actually fits with what the article was saying - the ROI on writing an article on Trump is much better than for other candidates because it's easy to write yet another article, and still get loads of pageviews for it.

In addition, Trump has significantly pushed up the total number of pageviews going to election cycle articles, even if the articles specifically about him are not as popular as the articles about Sanders, Clinton, Cruz, etc.
The big question is who, actually how, ethics gets defined, so integrated into the AI.

But is hard to think in defining ethics in an universal timeless manner. I think the main issue is the unpredictability of the future.

The closest thing I can think of is an hypotetical matrix (or bunch of equations) that maximizes the outcome in the evolutionary path for each individual (having in mind all their interactions between one another). The kind of calculus that once was attributed to be only solvable by The Great Matematician.
The most striking line is "US married-parent child poverty is so high that it's higher than the child poverty rate in single-mother families in the low-poverty Nordics".
What upstate NY are you talking about?

I've looked into buying a house up there and it looks incredibly cheap.
When I went to college, I saw smart people who not only studied insanely hard, but ALSO took adderall AND cheated just to stomp out the competition. I saw a few friends end up in the hospital, but they had no regrets.
> the machine's intelligence exceeding ours strongly implies (to me, anyway) our inability to predict its behaviour

Cognition and affect/motivation get conflated a lot in AI discussions. Motivations don't magically arise from intelligence. They are not just acquired in upbringing either. Affect is a separate and innate system that requires its own explicit hardwiring. There is some imprinting, conditioning and other fine tuning with experiential feedback, but the basic drives and reward rules (and morals) have to be there from the beginning. Otherwise the person, artificial or not, will be catatonic.
The Plan9 raspberry pi is probably the easiest way to get Plan 9 up and running, but not very powerful. The default image only has a 2gb partition. If you're interested in venti, it's a difficult process that needs to be manually set up (vs the ISO installer where it just asks you if you want to install fossil or fossil+venti) It makes a great introduction to Plan 9, and would probably make a great terminal for an existing Plan 9 cluster, but I wouldn't try making a cluster of them.

I use mine as a login server (and something to drawterm into when I want to play around with Plan 9 without booting up a VM), which is a great use case for it. I initially wanted to use it for Go development, but:

1. I had to start by writing a git client, which I never finished enough to be useable.

2. plan9/arm is only in Go tip (and will be in 1.7)
http://arxiv.org/pdf/1605.05274v1.pdf in the upper right corner of the page
US nuclear force still using 1970s floppy disks
Just click PDF in the right hand corner.
Not to hijack the thread, but any pointers to good resources to sell mgmt on Rundeck? We're currently using Jenkins(!?) for role, something that enforces a divide where developers are allowed to automate, but operations isn't.
I always keep this in mind when building fault-tolerant systems:

The major difference between a thing that might go wrong and a thing that cannot possibly go wrong is that when a thing that cannot possibly go wrong goes wrong it usually turns out to be impossible to get at or repair.

And user interfaces:

A common mistake that people make when trying to design something completely foolproof is to underestimate the ingenuity of complete fools.
Switch is putting a large portion of its company into Grand Rapids in the near future. So we may be seeing more tech coming in.
What it means in practice is that any Java typechecker is either (a) incomplete - it will disallow some programs that should typecheck; (b) unsound - it will allow some programs that shouldn't typecheck; or (c) non-total - it will fail to terminate on some programs. (Or some combination of these three.)
That's true though it's still interesting the three patients cited in the paper they reference improved. Here are some better links perhaps

http://alzheimer.neurology.ucla.edu/Curcumin.html

http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2781139/
What does this title mean? Why 51? Looks like a simple Mandelbrot set in Javascript.
I don't understand this report. You usually marry because you want to be with someone, not because it's efficient. Approaching it from a purely mathematical perspective assumes that randomly grouping people is equal to marrying someone.
All Firebird and InterBase On-Disk Structure (ODS) Versions
I picked $firstname.$localTLD in 1999, at the time I had to use register.com and I paid $79 a year for about five years. Nowadays the pricing is closer to $10.
I only have second-hand accounts from proselytes, and they say esperanto is nowhere as bad as English for Chinese, Japanese and Koreans. Just google around if you want to read from them. English is so difficult to pronounce correctly than my prior is to believe them.
this is a great piece on the subject.

http://fusion.net/story/306927/peter-thiel-gawker-dangerous-...
I agree strongly with this. The opportunities the above scenario provides & the reduction in stress is worth more than most average income jobs provide.
The Arctic Heat Wave Is Literally Off the Charts Right Now