skysight-inc/HackerNews huggingface dataset:
Or store it in a Git repository, the "stupid content tracker". If you have binaries use git-annex.
Note it's very difficult for a non-EU job applicant to get a permit to work in Switzerland. Many HR depts will not even attempt it as it requires a lot of paperwork to apply to the canton and approval is subject to very restrictive quarterly quotas. Given there's a pool of half a billion EU citizens eligible to apply for Swiss jobs without such barriers, I've been told by a few different people in HR that they generally just discard the non-EU résumés.
First human-pig 'chimera' created in milestone study
I drink a couple of cups of coffee in the morning and then water the rest of the day. You got to eat right and sleep well. If your looking for stimulants to keep you awake your doing something else wrong. Both Red Bull and Diet coke are poison. Stay away from fast food.
What is the problem exactly ?

Dont want to recieve emails ? Filter them out.

Dont want to be hired by Amazon, send a restraining order and what not, contact their HR directly, or what not but ranting on medium will not solve the authors problem.

This makes me question if the author is secretly just clickbaiting for attention
This would have been really useful a few years ago, when the international version of NBA League Pass was a far better experience due to the complete lack of blackouts, as well as being roughly 50% of the price for the much more limited US version. Instead of fixing the US version, they've simply doubled the price of the international version and made it worse, from what I understand.
If you are checking a feed like email, or chat, you are expecting a new item. If you fail to get a new item 9/10 times you check the feed, it certainly makes sense that you may feel stressed or feel like you have less control over things. You can't control when the items come into your feed. 9/10 times, you are hyping yourself up to expect something, and then getting disappointed when it's not there. I think this kind of result is true for anything that requires waiting for something out of your control. The train, the doctor's office, replies to your comment, etc.
Use the Tea Party strategy: threaten to fund and support primary opposition from the left unless they push back harder.

The GOP only barely has a majority in the Senate. They'll need Democratic support for some things, and as far as I know filibusters are still legal.
Success is kind of subjective, maybe check out biographies? I know some people are absolutely nuts about these systems of goal setting.

I get inspired to goal set maybe once a year when I'm unhappy and I try to use the energy I have to establish a habit. The easiest way is singing up for a class, the better way is to have a bunch of friends who also have similar goals.
It's the bullshit that gets me. The lies.

"I read your profile and I think you'd be perfect for this role" - Amazon recruiter, who didn't notice I'd stopped working at Amazon 4 weeks before, as clearly indicated on the profile they 'read'.

They aren't even outside of the norm. Technical recruiters are about 90% bullshitters who would say anything at all if it meant they got you into an interview. I'm with my current company in large part because our recruiter is in the other 10%.
Flappy Bird creator’s latest mobile game is slightly less impossible
I don't think wanting reasonable evidence before believing that a medical procedure works and works safely is the same thing as arrogance.
I'm not sure if you can really cast this as a debate between Church and Turing. It is certainly a difference between Brouwerian constructivism and this presentation of the Curry-Howard isomorphism. I think you'd be much happier with the (Brouwerian) realizability interpretation of logic. The idea here is that a proof is a (untyped) program, and types are predicates on programs. By Curry-Howard, propositions are certain special types, so this gives you a way of defining when a program p is a proof of a proposition A, written below as "p |= A". Here are some examples:

p |= A /\ B: if p evaluates to a pair of a proof of A and a proof of B.

p |= A -> B: if p implements a total function mapping proofs of A into proofs of B.

p |= exists n, A: if p evaluates to a pair of a number k and a proof of the statement A where n is replaced by k.

This is, for instance, implemented in NuPRL. It validates all laws of intuitionistic logic, but is also open ended. You can always add new axioms, so long as you can implement a realizer for them. E.g. if P is a boolean predicate on natural numbers, the statement "(~forall n, ~P n) -> exists n, P n" is true, since we can realize it using linear search, which terminates because of the assumption on P. Similarly, we have a realizer for the statement that "all function on real numbers are continuous", so what you get here is truly distinct from classical logic.

Of course, realizability has the problem that it already presupposes that you know how to show properties of arbitrary programs! On the other hand, if you have a proof for a positive statement you can always check the truth of special instances by running a program and looking at the results.

Anyway, to get back to your question. Under this interpretation, you can implement a proof on a metabolic network, in the same way as you can implement it using sticks and stones. Whether or not that has anything to do with the "Curry-Howard" correspondence is another question, though.
Transpile ES6 to ES5 UMD Bundle with Ease
Interesting, I did not know that. Thank you. Interesting argument wrt educational dogma in the Middle East. I know it's a problem in Indian higher education.
A few years ago I discovered CogniTea[1]. It's a tea blend that puts 90mg of caffeine, 100mg of L-Theanine and some gingko and such in every tea bag. Best stimulant I've ever used.

So I guess I'm on 400mg+ of Theanine per day. Have been for 2 or 3 years. :D

I suggest giving it a shot. I got the entire office hooked.

My favorite part is that when I travel and don't drink it, there's no headache. Sure, feels like brain mush when unstimulated, but hey, no headache. :)

[1] www.cognitea.com
Christ almighty, I wish I could share the actual source, but I can't find it.

There was a study a decade(?) ago that took a look at 'Top Schools' and instead of looking at the best students, they took a look at the worst students. They took out the legacy children, the athletes, etc, and only looked at the kids that got in on their 'merits'. Typically, the schools will have a ranking system that combines GPA, ACT, SAT, etc. The researchers (out of Michigan, maybe?) then looked at the bottom people in that ranking order that accepted into the schools.

I read the popular press article about it (Wired?) where they focused on a kid from Arizona that got into Stanford. He was super passionate about this park near his house that he hiked in. His grades and whatnot were average at best. When budget cuts closed the park, the guy fundraised and solicited the state house until the park re-opened. He applied to Stanford on a lark, and got in mostly based on the essay about the park closure.

The researchers concluded that the 'bottom' kids that got into super elite schools were are very unique, but similar in one way: They were super passionate about one specific thing. These kids were really spiky, not well-rounded. Effectively, Stanford et al. were actually asking the kids to come to their schools. These kids really didn't need the schools to begin with, they were going to continue doing their thing anyways. But those schools wanted those kids because of that passion.

So maybe then we should be trying to go for that approach when it comes to education for our children. Maybe we should be trying to make them super passionate about one specific thing and not trying to be well rounded; a 'T' shaped mind where they have a little bit of know-how about a lot of stuff and a lot of know-how about one thing instead of a '---' shaped mind where they know a little bit about a whole ton of things.

If anyone knows where the original paper is, PLEASE link it!
Not to speak of, but I have friends with earlier models who I think did experience some weirdness. ISTR something about a BIOS update fixing it?
I think the concept of the Forgetting Curve in language means that some knowledge you'll keep for years and years. For instance Duolingo thinks I'm completely rusty in one of my languages but I converse a few times a week so I've maintained it.
To be clear I, the writer of the post, got my current job through a recruiter, and politely respond to all recruiters that I am not interested. But, if the same company keeps spamming me, and I keep asking them to add me to their blacklist, that another story.
I've seen many examples of non-root CAs for such purposes, but it seems unusual (though not completely unheard-of) among root CAs. I dug through Mozilla's standard certificate bundle, and found very few such certificates. Amazon has one, but they also use that to issue certificates through AWS. Someone elsewhere in the thread mentioned a DoD root CA. The certificate store has some certificates from companies like Dell; no idea what they use those for. Who else has a root CA used exclusively for first-party certification?

In any case, I was only trying to suggest why this seemed odd, based in part on the availability heuristic: whether this is a common practice or not, it doesn't seem like something people (even people who regularly read about changes or events in the CA landscape) would see regularly.
> In terms of keytravel Lenovo laptops and Macbooks <2016 are much better.

This is such a sad statement about the quality of today's laptop keyboards. Of the laptops I can remember using the keyboard on the Thinkpad 701C "butterfly" was superior to that on the T20 and T42 in terms of key shape and stroke, and the T42 is superior to the X60. The keyboards on the (work-issued) Macbook Air 2012 and Macbook Pro 2013 are garbage by comparison.
It's only bad if you think it's secure. It's not like a secured wifi is likely to be secure, either.
Putting my devil's-advocate hat on:

What sort of failure modes are there when something inevitably goes wrong, either through malice, incompetence or sheer plain accident, and you end up serving different content from the same hash?
Daughters love their daddies
The Best At-Home Facial Massage Routine
As I recall some of these techniques were used on race horses long before trying them on humans. Stem cell injections in particular I think. Thank the gamblers for that :)
How to Use Hash ID’s in Your URL in Ruby on Rails 5
Yes, that's an issue that could some refinement, but it's different than the issue with student government where eligibility is tied to enrollment, not legal residency, which may be very remote from the institution.

So, for most student government positions at universities, would have to show up as possible eligible positions for all searchers with a model which uses zip code of residence as the only criteria and prefers risking false positives to false negatives.

That's pretty useless, which is why I say student government is a bad fit for the model.
I know at least 5 people (one of them is my wife) that work at Amazon and love it.
I didn't realize people had ripped Netflix original content.
Firefox themselves appear to have tested and confirmed that regular F5/Refresh (not Ctrl+F5) causes revalidation: http://bitsup.blogspot.de/2016/05/cache-control-immutable.ht...
You'd need a backup plan for sites that have transferred ownership, or for sites that needed to revoke the old key due to compromise. And once you have that backup plan, how would you decide whether to care if that additional signature exists?
Dead link?
Note that the text of the book is available free here:

http://www.deeplearningbook.org/
Who are Prevendra? Are they reputable?
I went to sleep on election night and woke up homeless.
That's still not the complete picture.

My first job was at a company with no visibility to mainstream tech firms, doing relatively uninteresting stuff, getting paid far less. I had to do hours of LinkedIn homework and cold-applying to get any single interview, and that's still no guarantee of a job either.

Now I'm at somewhere with a recognizable name and I get recruiter emails quite frequently. I could set up an interview with a five minute phone call in response. Sure, any of those jobs may still be a bad fit, or I could fail the interview, but it's about 50x easier to even get to that stage now.

So if you're complaining about getting recruiter contacts, don't be surprised when the people not in that world have little sympathy.

(Amazon does seem particularly messy and disorganized, though. I get quite a few contacts from them from various departments in locations I've told them before (for other positions) that I'm not interested in...)
It recalculates checksums of your files and compares them to checksums of the backup data at the destination. (I work on Arq)
Can you explain your use-case?

PS: 8GB user
Tesla claims former Autopilot director stole data
We banked the embryonic stem cells and cord blood from our child's umbilical cord. There are a few companies that offer these services; we went with CryoCell (no affiliation).
10 crazy iot ideas that can be real shortly
How did you hear about these substances and what conviced you to swallow 4(!) pills a day with our national drug caffeine ?
Interesting move, I guess it makes sense.
Google isn't less trustworthy, but it is far closer to being a monopoly. I would like to bias towards a more decentralized infrastructure.

Especially since Google is US based.
Lots of copies keeps stuff safe.
I think it's more like they would vote the country to grow a fraction of a percent more slowly in exchange for a more secure job in low skilled or unskilled labor
So this is how girls on Tinder feel.
I've seen this in a few places, and my suspicion is that someone on the trump team that got access to classified briefings on the election hacking leaked info back to their Russian handlers, which is probably going to cause these people to die.

If that's true, we're well past impeachment and in to treason territory.
Glacier now has an "expedited" retrieval tier which lets you restore your files within a few minutes. You pay $.03/GB for retrieval using that tier though. The bulk retrieval tier (5-12 hours delay) is $.0025/GB (in the US).
To my recollection, the worst performer was parsing all of the QML at startup. This did not impact us at first, but as we grew the QML portion it went from a noticeable delay at startup to an unacceptable delay. It was something on the order of 10-30 seconds (on rather high-powered workstations to boot) to parse all of the QML files for what amounted to less than a dozen UI screens.
>Well, to paraphrase your next sentence: "that these people exist in the Democratic party is impossible to deny, to tar and feather the entire Democratic party as this way is how we get to the binary world view."

That's fair, I should have included that point as well.

>You mentioned Twitter; if Trump being a Nazi is one bad option, and there are x-1 other good options, I think it's only natural that the kind of people who like to tweet are going to tweet about what they think is the most dangerous one.

I mentioned twitter mainly because it's what comes to mind first. Here's a tumblr example:

"I have seen a lot of people talking about the issues that were removed from the White House website. What I have seen little discussion of (or any, tbh) is what’s gone up in their place. There are exactly six issues now listed:

America First Energy Plan

America First Foreign Policy

Bringing Back Jobs And Growth

Making Our Military Strong Again

Standing Up For Our Law Enforcement Community

Trade Deals Working For All Americans

Just those headings should be terrifying enough: between the focus on state violence and the coded “America First” white ultranationalism, this is an unabashedly, literally fascist platform."

https://shotfromguns.tumblr.com/post/156267047201/i-have-see...
Did anyone else think of 'OMFG' in the URL? I.e. I read it as 'Voodoo OMFG'
I check my email once an hour. I hate the feeling of imminent distraction, so I close the email client and open it again one hour later.
The largest error in this analysis is the arbitrary picking of a .1% failure rate for some arbitrary time period. In order for this analysis to make sense, it should be right at the probability of failure for the time period it takes to replicate back to 3 copies. What makes this hard to compute is that drives don't have a linear death rate in regards to age, it's more "bathtub" or `U` shaped. And this number should really be a function of the ages of all the disks.

Drives seem to have a sweet spot of reliability after a few months and up until a 2-4 years that is really low.
Not sure about the last part of your comment, but I agree that inequality probably isn't a bad thing per se. I'm guessing crime isn't increasing as a result of increasing inequality because the quality of life for the "99%" is actually increasing as well, even if their incomes are not drastically increasing.
Supposedly the super rich are so much richer than the non-rich. But are they? In the US at least, rich people basically only have more expensive versions of everything middle class people can have. Is that really such a huge wealth gap?
I guess I would say that the wealth gap between middle class people in developed countries and poor in undeveloped countries is much greater than the top 1% and the middle class. Really this is a subjective assessment, but I think it helps to put the quantitative assessment into perspective, and also put in check the notion that inequality itself is somehow bad.
This is the author. I respond to every single Amazon recruiters and told them my reasons why I am not considering to work for Amazon (specifically, relocating).
I posted online, because I believe Amazon deserves a better process for head hunting. Maybe it solve the problem, maybe not.
13" is just fine for me, personally. I value portability. In fact, the newer line of laptops following in the vein of the bezel-less XPS13's that can fit 13" of screen into an 11" chassis is even better.
Personal pet peeve: the map is not the territory. Alphabet didn't miss anything; the analysts mispredicted performance.
Bet you're right. I'm sure there's a big market available though for stuff like speech prompting for home automation and image analysis for robotics. Could also be a blended system where there's local object track with remote object identification.
Possibly a reference to:

http://www.businessinsider.com/ap-top-manager-at-russian-cyb...
Mind racing in bed, thinking about a million things at once. Keeps me up at night sometimes as well.
> The study also found that, unlike boys, girls do not believe that achieving good grades in school is related to innate abilities.
>Honestly, confusing these 2 fundamental concepts makes me seriously question your entire experiment.

Was it really that hard to see what they were doing?

I thought the analysis was well written, and the screenshots helped show what was going on, terminology problems aside.
Show HN: Peek Launcher, Android home screen meets machine learning
s/Email/HN/g for me
I can't take Caffeine without L-Theanine. If I take caffeine alone I bite all of my nails and get a general sense of impending doom along with a shitty mood.
You don't have to believe in God to make the argument that an embryo is a developing human being who is therefore worthy of legal protection. There are plenty of secular pro-lifers. [1]

[1] http://www.secularprolife.org/
Arq does validate checksums of the backup data.

If there are transient errors it should be retrying. Please send mail to support@arqbackup.com so we can diagnose the problem and fix it. (I work for Arq)
Now I want to watch the movie Lawnmower Man, lol
I was excited, I thought this was http://red-lang.org for NodeJS :(
> The certificates are OK.

No, the certificates are pretty terrible too. Take a look at Peter Gutmann's presentations, or read the SPKI RFCs.

Among other things, certificates conflate identification, authentication & authorisation; they are based on a flawed, centralised, global phone book model; they are ASN.1; in one case, I believe that the meaning of a single flag has been inverted because of a mistake in a (Microsoft?) library that everyone has had to be bug-compatible with.

Some folks think that XPKI is so broken precisely in order to discourage its use (others claim the same thing about IPsec). I don't actually think that's true, but sometimes when I'm banging my head against some stupidity in XPKI, I wonder. I really do.
For me, the amount of pleasure I derive from using Swift instead of Objective-C far outweighs the downside of crashes and bad error messages. At this point I think I'd stop working on iOS/macOS if I had to go back to working in Objective-C again. Though I do hope they make fixing the compiler crashes a priority soon.
In my more conspiracy-minded moments, I conclude that the overall trend towards garbage keyboards even on high-end machines is long-game industry collusion to force us all, eventually, into pure-touchscreen interfaces.

I glimpse the future every time I use my smartphone, and it is stupid.
Notes from My First React   Redux Project – Audelabs – Medium
I gotchu' (/s)

curl http://pastie.org/pastes/10992864/download | bash
> and nothing depends on some company's servers.

Exactly my motivation. I have an mqtt broker at a heart of everything. homekit2mqtt for homekit/siri integration, lirc2mqtt so my harmony remote can join in, node-red providing some automation logic, etc.

But where it gets interesting is being able to support devices that won't otherwise. Homekit support for Philips Hue means €50 for a new hub - or mqtt-hue so I can support it myself. Belkin Wemo doesn't support homekit, and has no plans to - but I've done it via node-red regardless.

DIY looks messy from the outside. But once the ball is rolling, anywhere a vendor won't support the features I require, I'll support them myself. The ability to do so makes it all worth it.
Not only online. If a girl (especially a pretty one) is having a lot of sex, other girls will be the first to call her a slut (mostly behind her back). It has always amazed me how vicious girls are to eachother, even in groups of supposed friends.. guys tend to shoot the shit, but they do genuinely stick up for eachother.
Are constructive realizers the same thing as C-H proofs, though? A realizer is indeed any Turing-computation that decides a proposition, but I don't think it's the same thing as a proof in the C-H sense. The latter must be a lambda expression or a term of some other typed formalism, rather than an arbitrary description of a Turing computation. I.e., you could implement a realizer for a proposition with a metabolic network, but the network is not a proof that it's the realizer you're looking for. In other words, I don't think you can reconstruct the proof from the realizer, once the realizer is no longer in the formalism of the proof and is just a TM. In fact, I think that the halting theorem precludes you from telling what proposition a TM realizes (if any), and so a TM can no longer be the proof of the original proposition it realizes. The two coincide, I think, only if the realizer is still expressed as a typed term.

And I didn't try to cast it as a debate between Church and Turing (which never existed, AFAIK), but to point out that equating programs with proofs is one rather narrow perspective of looking at programs. Arbitrary programs expressed in arbitrary ways are rarely proofs of anything (or anything nontrivial, that is), even if they happen to correspond realizers (unless I'm wrong about realizers). I mentioned Turing to point out how this narrow view may result in missing out on fundamental qualities of computation.
https://web.archive.org/web/20170126211910/http://www.preven...

Read Here