skysight-inc/HackerNews huggingface dataset:
> These spreadsheets are pure ludic fallacy; advisors pretending they know how adding or removing some employees will affect some merger.

Yes, I agree. And I think Excel is an appropriate tool for that job.
Odd, here in Washington, 4WD/AWD get exemptionss[0]. However, my dad, who drives a 4WD, bought chains because he was told 4WD do not get an exemption, so there seems to be some confusion. The WSDOT site clearly says both are exempt though.

[0] - http://www.wsdot.com/winter/traction.htm
Is there a publication date for this? That's a really important attribute to include with comparisons like this.
"It really sticks out in the launcher" seems like a pro, not a con.
Call me sceptical but this Blockchain hype is reaching craziness. There seems nothing "distributed" about the mining activities in many examples I have heard of, case in point is this article, which totally undermines the legitimacy of the blockchain they are running in the first instance.

If there are very few participants mining then I truly wonder why people don't just write a basic ledger. The over complication associated with blockchain is horrendous if all you need to do is manage debits and credits. It would also be a lot easier to support, as the pool of genuine blockchain specialists to hire from isn't exactly large.
I once had a Jeep Grand Cherokee that had a "full time 4WD" system. Basically you could choose between 4WD low (traditional 4WD with front and rear diffs locked to each other, in a low gearing for massive torque), 4WD high (traditional 4WD as above, in normal gearing), 2WD (front diff unlocked and spinning freely as if it were a regular 2WD car) and full time 4WD (front wheels would automatically lock together only if the system detected slippage in the rear, and would receive about 35% of the engine's total power output).

The funny thing was, even though you were supposedly able to drive in full time 4WD on dry pavement, it would sometimes engage the front diff in parking lots and when taking tight turns at low speed, causing the front wheels to hop. I ended up leaving it in 2WD unless I was on a dirt road or it was raining, figuring full time 4WD was a marketing gimmick to compete with Subarus.
Both Diplomat (github.com/wearefarmgeek/diplomat) and Postie (https://github.com/johnhamelink/postie) are looking for logos.
Ticky-Tack book keeping around things like vacation and sick leave. Anything that implies a liability on the books.
With Spotify et al., prices for access to music settled on a low monthly rate. You get all the music for the price of half a CD a month.
Buying a song for $0.99-$1.49 is definitely cheaper, as I'd often buy a CD for $15 to get 3 songs I wanted. There were occasions with some hidden gems, but 95%+ of all my album purchases are categorized as $3-7 dollars per song I wanted. (even when singles were still a thing)
Elsevier and friends. There's a difference between funded by the government and made by the government. Things made by the government are public domain. However, things funded by the government are usually the property of the fundee(?). It's how SpaceX can have company secrets it doesn't have to release to the public domain.
Mexico’s Massive 24B Dollar Recycling Opportunity
The army gets interested in electric vehicles for troop transport because of their range. It happens that 1. A hybrid can basically provide the same range, 2. A hybrid can regenerate energy when the driver slows down, providing much better range, and 3. They can approach a target in silence for the last 15 minutes, thanks to the electric motor.

The drawback is, they struggle with on-field repairs.
>Yet first order logic encompasses 99.9% of the mathematics anyone ever does, even professional mathematicians.

I'm way out of my depth here, but I'm curious about this statement. In first order logic you can't even assert that the natural numbers cannot be put into a one-to-one correspondence with the real numbers, which seems like a fairly basic mathematical fact.
It's an "in-joke" in the sense that it doesn't make sense until you get the joke. There are people in this post discussion asking "What means .s and .ib?" It's not obvious to everyone.
Regarding 5, it actually does make sense for some products to defer email confirmation to post-signup (possibly gating features, etc). It's more work but depending on the situation it could have a very positive impact.
16 year old invents material to fight drought
For clarification Google took out support for the popular 800/801 chip from AOSP which meant vendors wouldn't pass CTS if they update to Nougat anyway. Seems that the requirement for N is having a Vulcan/OpenGL ES 3.1 capable device[1]. Which is a bit bullshit from the side that in regular usage this isn't warranted and that even target apps for that (entertainment) don't have those kind of support.

So, since Sony Z3 series running this SOC was very popular (and completely capable of running Android 7, Z3 even had a N preview), seems Sony will try to hint the community into building a custom ROM.

But probably it will have incomplete/unstable camera binaries, because they aren't open source.

Android is a mess.

[1] http://www.androidcentral.com/Android-7-snapdragon-800
Um, hi. I have tone feedback on your comment, if you want it. I am of course some internet stranger to you, with the unimportance that carries; this is just a request, not an insult or a demand or anything like that.

I found your comment more unpleasant to read than the non-sarcastic form would have been. I think that sarcasm often obscures meaning in a way that makes conversation less productive, and I think that happened in this case. It seems you weren't attacking the principle I proposed; rather, you were questioning whether it applies to San Francisco (specifically: whether the probability is non-trivial). Without sarcasm, it would have been easier to state that directly. You could have made explicit that you think the 37-year history of no new rent control is better outside-view evidence that it won't happen than the inside-view evidence that the earlier commenter brought up: https://ww2.kqed.org/news/2015/12/15/aaron-peskin-proposes-e...

If that's what you meant, we'd be talking about that. As the article says, "Peskin, who was sworn in as a supervisor last week, says he will ask the City Attorney’s Office to study an idea he thinks will get around the state ban on extending rent control. He wants to explore the possibility of imposing controls on new developments". If there's an interesting conversation to be had about whether Peskin's proposal is impossible considering the history, we could be talking about that, but the sarcastic form of argument doesn't naturally lead to that.

So I request that if we interact again, please refrain from initiating sarcasm and other forms of hostility. (Again, this is just a request; you are of course free to say whatever you want.)
Well, I've never worked in finance, but if these are like the mathematical models that I used to make predictions in grad school and for the year after grad school when I worked as a statistical analyst, I do. I presume these are predictive mathematical models, used for forecasting?

Why in the world would Python or R be inadequate for that type of work, if that's what you're implying? What do you think they lack that Excel has, other than a friendly GUI interface? Or SAS, Stata, or SPSS (all of whom have versions that they market heavily toward finance).
To be fair, publishers also act as gatekeepers in a good sense, filtering out the worst crackpots by arranging peer review. That's the only reason they might have to survive in the web age.

Music labels make a difference by marketing bands. Science publishers make a difference by formalizing peer-review. If these actors concentrated on their core differentiators, nobody would grudge them the money they make. The problem is, they don't; because the most vulturish and redundant aspects of their businesses are also the most profitable. For all the techno-utopianism in the world, this state of thing will not correct itself.
I really doubt if there's a competitive edge to be gotten. Chinese characters/hanzi and Japanese ones/kanji are a great deal more complicated than the spelling rules of English and less consistent. It doesn't appear to hurt academic achievement at all in either case. Nor is there a difference between countries using simplified hanzi and the traditional ones.

Earlier learning has amazingly little effect on later outcomes. Half of Europe have all play all the time kindergarten with almost non-existent academic instruction. Half of them have academic instruction. If you compare academic achievement of communities on opposite sides of borders but with very different numbers of years of education the differences are tiny.
$6.7M Available for Tech That Turns Captured Carbon into Useful Products
The other difference is that you can make a much better argument that free and open access to the scientific literature is a public good. Music piracy could be argued to be obtaining a luxury item for free, and that people have no right to do this. However, you can make a case that the public has some right to access the scientific literature, especially when that literature is funded in part by their tax dollars.
I like this. The title hints at a "look how cool this is"-demo but it goes way beyond that with a very understandable article explaining how it's made.
Proof assistants are frequently used to prove the correctness of computer programs. And since a proof assistant is a computer program, and often quite a complex one that could contain bugs that render everything it does useless, you might want to use your proof assistant to prove that its code does what you hope it does.

Goedel's second incompleteness theorem says you can't do that. Ever. And more generally, it says that you will hit a roadblock as you try to prove what it is that your proof assistant does. This is really annoying.

But you can get pretty damn close. HOL Light has something of a self-consistency proof that is so close to the real thing that it's worth taking seriously.

But incompleteness, by itself, isn't a big deal for theorem provers. Russell himself worked as if the existence of infinities wasn't provable, which is why Goedel had little relevance to Russell. Hilbert on the other hand....
Why I created my blog – or why the corporate world can't make millenials happy
What I learned this summer
Submit
Im just wanna login
At work at the National Library of Technology, Prague, Czech Republic and although this is in no way the opinion of my employer, I believe that I what I say represents the opinion of most of my colleagues in the actual library business:

"Just give us the papers, we will make them available."

The trouble here is that authors choose to pay Elsevier for publishing and libraries buy the papers back. In the end, it's all about "impact factor". They have to pay to publish in Nature because that's the only way for them to prove that they have, in fact, deserved the grant money and that they will get some more.
It is true that they do currently provide that service, and that science should employ peer review, but to really defend the publishers you need to say that publishers are the only way that peer review can be arranged. I do not believe that is true.
Cons prints the same as a list, which means when it is read, it is a list. '(1 2 3) is a PersistentList, not a Cons. In particular, this is what I expect:

(= foo (read-string (pr foo)))

As it turns out, in Clojure this holds (because = isn't identical?):

(use 'clojure.test)
(let [kons (cons 1 '(2 3))
kons-str (pr-str kons)
read-kons (read-string kons-str)]
(is (instance? clojure.lang.Cons kons))
(is (not (list? kons)))
(is (string? kons-str))
(is (= "(1 2 3)" kons-str))
(is (list? read-kons))
(is (not (instance? clojure.lang.Cons read-kons)))
(is (= kons read-kons)))

Does this really create confusion for more than the 30 seconds it takes to read the doc string of clojure's cons? I don't know about you, but when I move to a different language (even a different lisp), I don't assume things always work exactly like they do in Common Lisp. When I came to clojure, I even took a look at the old version of this page: https://clojure.org/reference/lisps, which details this and other differences from the Schemes I had mostly used in the past.
Imagine a game that had a procedural story arc generator, following the heroes journey. It really could be more then just a bunch of reused puppets and set-pieces.
That was quite an interesting read, and something I've been reading about for a while since the internet has shown what Akido has often become. I think it's nice that people have a good time in a kind of active, spiritual endeavor, but like the author of the article I wish they'd cut the bullshit. It's OK to be a martial artist who never intends to fight anyone; you may not be taking martial arts for that purpose. It's not OK to be a teacher who tells them that their meditation and stretching is going to make them deadly hand-to-hand combatants though.
The issue is with the impact factor.
Just curious, have they sorted out the updating problem already?
The Sinister Side of Cash
Most music. There are still record companies which think the exclusive deals are something good.
Nodm: automatic display manager
Language changes, as does spelling, both through drift and deliberate action. Even the morphology of letters changes - see "ye", where "y" is actually "th", and the old "s" which looks to modern eyes like an "f". An interesting one is the distinction between yay and yes and nay and no (negatory vs affirmative), which has utterly vanished at this point.

In terms of deliberate modifications, the most recent I'm aware of is French, which has seen a rapid anglicisation over the past decades (Le weekend, Le ice tea, l'office de tourisme), and had a spelling update last year - http://www.bbc.com/news/world-europe-35496893.

As with then, plenty of purists get their pantaloons in a knotte when they zyxt phantastique new words and spellings, but time ultimately makes the change whether they like it or not.

Notable is that the words in the article which have changed are the commonly used ones. "Woe" isn't in common parlance so hasn't drifted or annealed.
I did not argue for TLD-as-CA, but registrar-as-CA :)
Run Chrome apps in Electron
Publishers oversee peer review, but they are not the one performing it: unpaid researchers do. It is incredible, but, by and large, scientific publishers today are utterly ignorant about the science that they publish. (To my knowledge, the only exception to this rule is situations where scientific publishers pay small amounts of money to a scientist to act as an editor: but this only concerns some journals, and still the editor delegates peer review to unpaid reviewers.)

In the music world: "Oh, but we are also necessary, because we choose which music to promote! Or rather, we arrange a room where unpaid critics tell us which ones to pick."

(And of course, peer review can organize without scientific publishers. For instance, many conferences use EasyChair <http://www.easychair.org/>, which is not perfect but at least does not claim copyright on articles. For such conferences, the only role of the publisher (if any) is to obtain a peer-reviewed body of articles, ask authors to sign copyright forms, and sometimes take care of formatting issues.)
Keep It All In Your Head
Do you have anything to back this up?
Some context:

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

https://en.wikipedia.org/wiki/2012_Guerrero%E2%80%93Oaxaca_e...
Yes, I work for Apcera and linux-toys.com is my personal blog where I talk about open source technologies (mainly Docker lately) and software that I develop. Like the article states, I am a Docker fanboy and want them to be great again. The blog website is actually running on a four node Raspberry pi cluster that I referenced in the blog as a link. The reason I joined Apcera is because they are also developing cool container technology. Until recently, Apcera was only available to enterprises and didn’t have a solution for “homeduction” users like me to host and run applications like my blog and a few other services. With the community edition of the software, I can gather a few spare x86 boxes and make the switch. I will still be running the same Docker images but using Apcera’s orchestration software instead of swarm.
Peer review is arranged by each journal's editorial board, which is unpaid in a large majority of the cases. The editor-in-chief is chosen by the publisher at some point, but anyway publishers have a full range of journals from prestigious to total crap. It's not like they only choose the best as editors-in-chief. I don't think "arranging peer review" is a differentiator, in fact there are free society journals and grassroots journals that work just fine.
Is this also backed by research?

Because I sort of doubt this. An old browsers become a nuisance quite fast, with "sorry, you need a browser that supports $feature and yours doesn't". Well, I mean, I had to stick with 2 years old browser for some time and this certainly wasn't a good UX.
Yeah, Pyret!
Doesn't peer review—in its current form—require funding? How would you recommend replacing that institution?
Lots of secret meetings, CEO more stressed and distracted than usual, strangers visiting the office and looking around, hasty writing of documents.

The dead giveaway - salary paid late or not at all.

If your salary is ever paid late then check to see if you are being paid all of your statutory entitlements such as pension plan and government insurances. If the company is not paying these things, go to the CEO and tell no one else except them that you know they are not paying your legal entitlements and you want it paid now. If you have lots of leave accumulated then that is cash value to you and is at risk when the company goes bust. Resign as soon as you can because companies typically need to pay out all your entitlements and unused leave when you resign - and you definitely want to do that before everyone else rushes to do the same, and before the company goes pop leaving you with nothing. Somehow you need to navigate in a non illegal/ non extortionate way letting them know that you'll go quietly if they paid you everything you are owed - careful on this one, you are breaking the law if you say "pay my entitlements or I'll.... " You are of course entitled to explain that you have spoken to your lawyer and accountant to understand exactly what they owe you, and also explain that they have advised you to contact the tax office if you are not being paid what you are meant to be paid, presuming that is the case, which it should be. The CEO won't be enthused about anyone asking the tax office why the company is behind on its payments and this will give incentive to the CEO to pay you fully out. Make sure you and your accountant calculate exactly what you are owed and have it in writing - don't let the CEO/company calculate that because it is likely to be wrong.
The Chinese can certainly learn how to do things but it takes time and can be a head ache for customers. If you can bare with that and the financial impact they will eventually get there.

A problem I've had dealing with Chinese Factories (last 15 years) is that you never really get to the point where your relationship becomes a partnership. They will always try to to get more out of you and you have to be careful when asking for better pricing because they might agree but quality will suffer and they will not hesitate to cut corners.

There is also the issue of financially awarding people in the factories for good cooperation ;) but I suppose that is a given to insure things run smoothly.
The "peers" in "peer review" are not employees of the publishers.
Ask HN: I am doing $2M annually as a solopreneur and need your help
I work as a sole founder with little work outsourced and an employee to help with chores. My technical background coupled with marketing exposure I am able to enjoy awesome profit margins in my eLearning business. I now plan to expand my offerings and hence team but have no clue where to start. I don't want a co-founder as such. Right from the smallest of technicalities like giving control of my domains, server, sites to employees scares me. Then whom should I hire first, a core employee or a HR person? I have never dealt with such stuff and no clue how to proceed. How do small companies deals with such issues? Is there any exhaustive resource/course/book/video/case-study which lays down a process to take a 1 man company to a 'n' person organization?
Sorry for my naivety. Would love to get answers from the super awesome HN community.
What would happen if all animals were as smart as us
seen this? https://arxiv.org/abs/1605.09304 awesome generated images, from imagenet
> What's our competitive advantage then?

Probably selling Chinese made goods on Amazon? Or maybe Pokemon Go? Since Bezos bought Washington Post, it really went berserk in my opinion.
Peer review is done by researchers not affiliated with the publisher. They are not paid for their service.
GE under Jack Welch essentially invented stack ranking and its attendant hardline firings.
Right. And to be even more specific, they are not compensated in any way (except occasionally by perks with zero marginal cost, like a free online subscription).

Some editors, who manage peer review, do get paid, but the reviewers don't.
Hi, that is a good point. It was all written yesterday so is pretty up to date :) I've added some dates to the top of the blog post. Thanks!
It is 2016.

Why evolve a language if you can't use any the new features?
Oddly, this is an amazingly successful support channel in a variety of situations.

I had an issue with a startup-type company, complained on twitter and discovered that the girlfriend of one of the largest investors is one of my twitter followers. She forwarded it to him.

Within a couple of hours after my posting, the CEO personally reached out and had two high-level people working to deal with my issue.
I believe the answer will turn to be encryption support. Snapdragon 800/801 doesn't have instructions for AES operations acceleration (the equivalent of AES-NI on Intel processors) and Google seems to want to make encryption a standard feature of Android.
You don't need publishers for peer review; publishers do not pay reviewers. There are also completely open access electronic journals (like Discrete Analysis in mathematics), that charge a nominal fee ($10-15) for publishing, but these are merely processing costs. Everything else is free, but you get the complete benefit of peer review.
Thanks a lot. Fixed most of those issues. I just don't understand how to show more of the product without asking for basic use info first. Even to sign up for Twitter you will need to give more info.

Are you saying I should communicate the message more on the homepage/sign up page. Or make the product available by removing the sign up wall?
Show HN: Germans are the funniest people ever
You won't find Sci-Hub on Google, so for those unfamiliar with it: the site is http://sci-hub.cc

I remember being confused last year when I tried to find this "Sci-Hub thing". I stumbled on various sites that seemed to be it, except they were not. For example http://scihub.org/ describes itself as a "global science and technology publisher and provides free access to research articles" except I couldn't actually find any research papers on their site. They are just some scamming company usurping Sci-Hub's brand.
"The emscripten version is even smaller than the native version after compression, impossabru! I actually didn’t expect this myself (last time I did such comparisons the emscripten versions came out about 10..20% bigger)"

This is because JavaScript is alpha-numeric and is easier to compress than binary. There are a relatively 'small' number of characters in the alpha-numeric range, so they can be mapped together easier than the wider range of binary data.
The optics wouldn't be great, but Google (and their customers) would really benefit by having a very expensive paid support service available on a per-incident basis.