skysight-inc/HackerNews huggingface dataset:
I believe you have missed the point. You should think about reading the article again.

The fact that "she failed to be recognized because she doesn't sell herself" does not translate into "she should sell herself", because the very act of doing so can undermine what makes her be so good at what she does.

And in fact, a lot of people don't care about selling themselves well, so why put so much effort and time into something a) they don't like b) they don't need?
And CRT is short for Cathode Ray Tube.
I am, right now, trying to beat a Nexus 7 into running stock Linux. I am failing.

Looks like Ubuntu, Bodhi and something else all came out with distros for the N7, and then all gave up on them. The only current one is Ubuntu Touch, which is a total dead loss. (They've disabled apt-get...)

At the moment I'm trying to run a Debian userland in a chroot, and it's not working particularly well. If only Android supported virtualisation!
For the companies you've heard of, the median number of names you remember of people who work there is zero. For some companies you pay attention to, it might be one (typically the CEO), or two, or maybe more if you have a deeper relationship with them. If you work there it might even be hundreds. But once a company gets to a certain size nobody remembers everyone's name.

Similarly for bands or movies. The lead may be male or female, but either way, nobody except the most obsessed fan or people who worked there is going to remember more than a few names. The closing credits give you a more accurate picture of how many people it takes to make a movie, but that's not the story anyone can remember.

The press knows this already. If you're going to interact with them, you need to understand their need to tell a good story, or nobody's going to read the article.

So I think we can't blame the press for this (much). They could tell slightly more complicated stories, but they're still going to be inaccurate, and you won't remember all the names anyway.

If anything, blame how human memory works, and keep in mind that no matter what stories you read, the world isn't really story-shaped.
> Except that every database has their own flavour of SQL with plenty of proprietary extensions. Not to mention each database will support a different subset of SQL.

Its a lot easier to become familiar with a new SQL dialect than a new query language, especially since a lot of basic querying will be the same between different dialects.
It's sorta weird to read your comments because they have a certain lens on the world that's very much at-odds with published stories about how YC actually got started.

They didn't "recruit" RTM or TLB because they had specific skills that YC needed. They asked them because PG, RTM, and TLB had previously founded Viaweb together, and so they knew they could work well together and all had shared history and cultural knowledge. And then if you go back to the founding of Viaweb, PG and RTM started it because they were best friends at Harvard, well before RTM wrote the Morris Worm (indeed, if you read some of the news articles on the worm, PG is quoted). TLB was brought on because they asked all their friends "Who's the smartest person you know?", Trevor's name came up, and then when they met him, he rewrote their entire product in Smalltalk in 2 weeks.
Has anyone done a breakout comparison of Zenefits vs Gusto (/zenpayroll)?

There has to be quite a few companies who have benefits with Zenefits and payroll in Gusto; wondering what's ideal moving forward.
I'm sure they've been working on it for a while. And, it may even be part of the cause of the falling out between ADP and Zenefits, who knows? But, nonetheless, I bet it feels good to launch.
Whether you like it or not, Silicon Valley startups do have a habit of overemphasizing the tech aspects of their companies to get the best talent. It isn't a bad strategy, considering that it makes sure that your business or service isn't susceptible to a technologically superior startup showing up and providing the same services. It is indeed true that there isn't anything groundbreaking about Airbnb or Zenefits (at least technologically). Uber has disrupted the way we travel using technology. Though it isn't as complex as Google, it is still a valid disruption using tech.

Well, it isn't always true that unicorns are easy to outcompete. I could argue that Amazon (not AWS) isn't anything special either. The point of a unicorn isn't to develop complex tech. At scale, these companies are hard to beat.
And people die needlessly because they can't pay. Are we not better than that?
There are millions of dollars invested in this project, I highly doubt that the entire goal is to have a massive mining pool.

The main idea is to buy and sell digital good and services, that's the big revolutionary bit of this, not some mining pool scam.
You should try my approach of pre-wincing at page load time.
The original Moto G (1st gen, 2013) is still getting updates. Not even just security patches, but even full OS version upgrades. I just got an OTA upgrade to Android 5.1 a few months ago.
Ancient Board Game Found in Looted China Tomb
Part of the problem is that every time the fact that it needs discussing is brought up, there's a group of reactionaries that turns it into a fight -- thus not giving us a chance to have that conversation without it turning into a brawl.

You don't even have to be belligerent about it. Just say "maybe we should discuss the gender imbalance in tech and startups" in a public forum, and you're guaranteed a flamewar.
Oh, look, non-exhaustive checks are exactly as with if-else. And no, `match ..
with' cannot be calculated in compilation time typically. Poor argument.

It's being a combination of destructuring, branch selection and variable
assignment that makes pattern matching superior.
Yes but if you go to "Members" you see all of them, which is confusing at best. The term makes it sound like this is a list of people who are members of your project, when they're not.

And for something like the Linux kernel, it's not hard at all to find people who are about 236,000 commits behind the master.

I agree that GitHub has some accurate views but they're all mixed and it's very easy for a list to look like something that it isn't.
CompCert

There's now a lot of work in this space, e.g. http://sf.snu.ac.kr/sepcompcert

and it's going to stay that way!

Whoever said this has been proven wrong. This stuff works, it's just expensive. The only real question is: when will formal verification be convenient enough to be widely used in industry. I reckon that's 15-20 years away. Right now organisations like Facebook (http://fbinfer.com) and Microsoft (https://www.fstar-lang.org) use it, but sparingly.
For example - ports other than 443 and 80 are more often blocked.
VMware Open Sources Project Xenon – Decentralized Systems Development Framework
Ask HN: After the Paris Attack, have your feelings changed on NSA surveillance?
Yes, there are real differences between the genders, but I think they are much fewer and less pronounced than most people think. Many supposedly immutable gender differences have been found to be societally imposed upon closer inspection. (Citation needed, I'm posting this from a phone.)
>'Joyable' is not an English word

I honestly just assumed it was some new piece of web development jargon (like "RESTful") that I had somehow missed, and kept reading assuming it would somehow explain itself.
It also provides an explanation for why national political conversations are so awful.
There exists a moral line, somewhere. In this case, parents of children with a rare, dangerous condition and the doctors that treat them find themselves on one side.

If the price increase had been negotiated, or given fair warning, or was tied to any documentation of the cost of production, it would be much more tolerable - or at least understandable.

Instead, this follows a recent trend of exploiting sick people for profit through mind-boggling price increases for critical medications after sometimes decades of very low prices. There is most certainly not a 2000% increase in the cost of production - if there were, there would likely be a lot more transparency.
There may be requirements to purchase the drug from manufacturers that comply with government regulated quality controls.

Not that someone who really needs the drug couldn't seek out an online source to get it cheaply from overseas, but doctors may not be able to legally prescribe it from those places.

I don't have any knowledge on the subject though, just speculating. At least in the US buying directly from overseas pharmacies seems to be more or less illegal.
I'm going to repost a comment I made elsewhere that may shed some light:

Maybe we need a charity that builds a research war chest to threaten companies like this with redevelopment. It costs a lot to replicate a pill and go through the FDA hoops, and once a private company does, the price just gets competed down to the point where it doesn't cover sunk the redevelopment costs--so in some scenarios no one bothers.

Instead, a charity doesn't have to take profit into consideration and can just threaten: drop your price or we'll persue independent redevelopment. With only the credible threat of spending on independent redevelopment, they could devalue a lot of these orphan drugs, and then buy up the rights/trade secrets to them for open release.

Competing businesses can't do this, because they can't pose a credible threat, because following through wouldn't make business sense. A charity can have non-business aims.
I think @makecheck is talking about forked repositories showing up on a user's public account page, making them appear to be contributors to jQuery or NodeJS because they forked the repo instead of starring it.
"Unfortunately, none of the descriptions demystify the magic. Maybe I am reading the descriptions incorrectly, but the actual logic behind the magic is never explained. The descriptions only contain an appeal to a magic oracle power."

Which says, to me, that pg doesn't understand it, either. He just trusts it based on historical reliability.

I'd also be curious to know what some of those magically insightful questions were, but I don't think it nullifies the point of the article to not include them.
I'm not very familiar with the drug market myself, but game theory can theorize why they can do it. From what I have read, drugs cost a lot of money and a few years to get to market even when they are not patent protected. This means that when a competitor starts investing money in a competing product, the main company can simply reduce the price to a point where that investment is no longer profitable. Potential competitors know this and that’s why they wont enter the market.
I sometimes talk to myself or to hypothetical instances of other people I know. I try to do this quietly at times since I know it might not be perceived favorably by others. Mainly I do this to verbally externalize thoughts and force them back into my auditory memory (deliberately), hopefully reinforcing or bolstering a position I want to take or a course of action I need to take later.

I hope I never lose track that I am initiating those conversations...I'm old enough to be well past the standard age for developing schizophrenia...but if I did lose track, I at least have my atheism to fall back upon and my memory of having read through Jaynes a couple of times.
I agree with you that a lot of the warfare over the years was actually "terrorism" in today's lingo.

> Islamic imperialism in the 1000's and terrorism are linked

How do you think they are linked? I know ISIS rhetoric talks about re-establishing a caliphate, world domination etc, but do you think there is any material connection? To me it sounds about as unconvincing as when sanctimonious leftists say stuff like the Iraq war is a continuation of the crusades.
The title says "one night of poor sleep", but the quote in the article says "one night of total sleep deprivation". I often have nights of poor sleep. I never have nights of total sleep deprivation. Title is misleading.
I know I am missing things (I can only read with PG and others write and post) and your version sounds plausible and is much closer to how I imagine reality actually is.

However, your claim nearly directly contradicts this essay:

>PG: One of the things she's best at is judging people.

>You: She is ... not at all judgmental ([exception])

So, yes, we have this exception where the key value is all in the judgement of individuals (I'll put aside the seeming contradictions in this line of thought for now), but the basis of the judgement is never given. Instead all the descriptions just refer to generic "negative character attributes" (my own paraphrasing). There is never a description of what a negative character attribute is (other than the very vague, "faker"), how it was determined that a person possesses such a character, nor how the decisions are followed up to see if the judgments were accurate.

The essays also make it sound like Jessica's feedback is never given to those who are interviewed. From the descriptions, it sounds like Jessica either gives you a thumbs up or a thumbs down. If you get a thumbs down you just get the boot, but likely no feedback on how your character was judged.

>call it a cult if you like

I didn't call YC a cult. I said that some of the descriptions given in this essay, and others, are vaguely cult-like.
Pandora to Acquire Key Assets from Rdio
We are having our son repeat 1st grade this year–not because of his academic progress but because of the social/maturity aspects this article speaks of.

There were "redshirt" kids in his class last year that were almost 1 year older than him (he has a July birthday).

I think it was a good decision.
Sounds like further acceptance of the fact that G+ is dead
About every three months I've doubled it. It got to the point where the 3 minutes of time started instantaneously passing and then the same thing happened with 6 and now its starting to happen with 12. A very weird / cool feeling that really builds over time
Subtitle: New study in canines examines the effect of sleep loss on insulin sensitivity

So, does it apply to humans?
So I guess the time to politicize these attacks has come already. Pity.

But if anything the attacks prove that the whole surveillance thing isn't effective, not that we need even more of it. After all if a bunch of lowlifes and assholes are capable of setting this up without any triggers in spite of some of them already being in police databases for activities related to terrorism then clearly that approach is bankrupt. So, thanks for the 'rekindling', now please shut it down. And divert those funds to old fashioned policework, which seems to have worked pretty good in the past (RAF, IRA etc).
> Naturally regulated markets satisfy customer demands at the lowest cost when compared to the results any other system

Do we have any study about that claim?
Never let a crisis go to waste.
Getting from any place in a western country to a different place in a western country (possibly a different one) is solved. It costs money and time, an estimate for both is often available using ITA Matrix or Kayak or Orbitz or Expedia. There's effort involved, yes, but it is not generally considered a problem in the circles I frequent.
So I can eat whatever I want as long as I get a good night's sleep? Sold.
An interesting mixture of the existing election systems with sortition might be the following:
Elections for seats in the parliament are done in the usual fashion. However the number of seats selected by vote in the parliament is only equal to the percentage of voters. The other seats, basically representing the non-voters, are selected by lot.

On can justify this by arguing that non-voters are on the one hand not satisfied with the given choices and on the other hand indifferent to who is ruling them. So selecting the seats by lot might actually represent the will of the non-voters best.
Ah, thanks. The current headline is misleading, perhaps it would have been better written something like:

Study finds improved self-regulation in students who delayed kindergarten enrollment.
Case in point, yes?
Walmart is selling $10 Android phones
> Second, depending on time of year and attitude you can go from having no daylight in the winter to no darkness in the summer.

Isn't this a perfect example where using more than localtime() is pointless? Just because it's dark all the time outside you don't want your screen to be red-ish all the time. And in summer you want the effect if you try to sleep, even if the sun is still relatively high.
As a non American: What is Kindergarten? Here (Netherlands) kids start school at around 4, the first 2 classes are playing only, reading/more-serious-school starts at 6. Everything before 4 is optional (unless you have a language problem). Is Kindergarten just for playing or do kids learn to read and do math?
Huh? Works fine for me...
Comcast and Ticketmaster execs would heartily agree with that opinion
In addition to corporate firewalls, it isn't uncommon for all ports other than 80 and 443 to be blocked in public wifi environments.
> One can object to the fact that the means of pharmaceutical production are privately owned, but given that these are not currently non-profit institutions, the outrage seems misplaced.

The outrage with the outcomes is the only way a society to addressing the question of the appropriateness of the structures which produce the outcomes. That it is a natural outcome of the existing structure doesn't mean that it isn't absurd, though it might mean that if it is absurd, it is only because the structure of which it is a natural consequence is also absurd.
Pandora in Talks to Acquire Music Streaming Service Rdio
I've not seen any indication that Zenefits is offering a shoddy product. Their other products seem to be well-regarded, do they not? And, their other products are in the same general area (most benefits programs have some tax and accounting repercussions that they'd need to understand, as well as integration with banks and payroll systems), so they already have some domain expertise in-house.

So, yes, it's hard to build. That doesn't mean that no one can do it. Many companies have done so, including several startups. And, given how poorly one of the market leaders (Intuit) has implemented it, I'm willing to give a startup a try.
The SourceAmerica Tapes
Insulin resistance is driven by sugar, not fat. What are these guys talking about?
Could cyber warfare actions against a terrorist organization be considered illegal when we are actively trying to bomb/kill them? Honestly curious.
there is indeed an argument that says that daily mark-to-market (with collateral reconciliation) nullifies all but the very wide tails of the distribution. So the 6-sigma risk is paradoxically increased on daily liquidity, because you're sleepwalking into taking bigger risks, on which big sigmas are never materially manifested......until they are...

Basically - we're erasing "normal" counterparty risk in derivatives, in so doing blinding us to big abnormalities. Imagine an ocean with zero waves (ie a pond), until the tidal wave hits. Wouldn't it be better to have some fear of waves hitting you daily, so you're (somewhat more) prepared for "the big one"?

Scarily, there are something like 70 trillion of swap contracts outstanding. Someone correct me if I am wrong (though I'd bet I'm underestimating).

There is a large and growing body of evidence that huge central bank involvement in markets is increasing exactly such risks and it is an extremely important point.

Still... if we consider that you wear the up-to-6 sigma risk with Treasuries (ie 99.999999% of the time - whatever the number of 9s is), but you are spared all but the 6-sigma risks in swaps, then it is probable (though I agree .. not certain), that you're better off with the mark-to-market collateral protection that you get in swaps. Thus the article's main point is erroneous.

It is clear that the idea pushed by Bloomberg here, that banks have somehow become better credit quality than the US government, is wrong, as can be seen by a simple look at their equivalent-maturity borrowing rates in the bond market (well above Treasuries). IE: not comparing apples with oranges.
In the US, you still have to get FDA approval to sell drugs that claim to be reformulations of another manufacturer’s product. This isn’t entirely baseless - demonstrating your version’s bioequivalency to the original is part of the process, which doesn’t seem like an unreasonable thing to require.

Unfortunately, the whole approval process still costs in the low $millions at a minimum & so for out of patent drugs that are a pain to manufacture, and/or have small numbers of patients, they just aren’t financially viable once you factor in the approval costs.

Part of what you see when a drug company steps in and jacks up the prices like this is that the new owners know that the FDA approval process combined with their pre-existing manufacturing capability gives them an expensive moat to bridge for other companies that isn’t justified by the size of the market, so if they’re willing to take the reputational hit that the previous owners weren’t then they can jack up the prices enormously since the patients have no-where else to go.
Lambda Soup – HTML Scraping and Rewriting with CSS in OCaml
I'm really curious to see if the negative effects of a night of sleep deprivation/poor sleep could be offset by some naptime in the day.
To do what? DDOS the ISIS website for a couple hours?

Does anyone think that Western powers are not conducting cyber operations against ISIS?
"Should array indices start at 0 or 1? My compromise of 0.5 was rejected without, I thought, proper consideration." - Stan Kelly-Bootle.
I don't presume to speak for Go's developers, but I would guess because it's not that big a deal, especially in a cooperative environment. "If I can't obtain the mutex, yield" is a perfectly defensible thing, and is easier to write and probably to maintain than a lock-free list.

Having Java's concurrent stuff is nice, don't get me wrong, but I can understand it not being the biggest priority in the world to go rebuild that later. As I've mentioned elsewhere in this thread, there are much bigger beefs.
For anyone curious on how to get there:

https://github.com/stonesam92/ChitChat/network/members

It lists all people who have forked instead of only contributors. The 'members' tab in general doesn't appear to make much sense.
I think the main issue is that most research is done in C++ and Fortran.

Both are not supported by OpenCL, which is one of the reasons many researchers go CUDA instead.

Khronos finally got out of their C only APIs mentality with the upcoming revision of OpenCL, but apparently AMD might have felt it is already too late to make developers use something SPIR based, with most vendors already targeting PTX.
Also, iTunes tends to crash your program if you try moving/resizing it via Apple's Accessibility API if you're playing a video in it.
Facebook's Infer is just an ordinary static analysis tool, albeit one inspired by separation logic. It is unsound and does not prove that code is correct.
Thanks for this.

Over the years I've decided the gradual adjustment lat/long bits are really a negative feature. It engineer cool but it's counterproductive to the goal.

I want the monitor dim between 7pm and 630am regardless of time of year so I cronned that into redshift.

Your body clock probably wants the full blue light in the am fwiw.

I'll give sct a try to see if its more pleasing to the eye.