skysight-inc/HackerNews huggingface dataset:
> Haskell is more likely to be correct after a successful type-check than other langs

Is there any empirical evidence for this?
I live in China. I know a black American guy who used to take IELTS exams for Koreans when he lived in Korea. Please think of how flagrantly obvious this was. The Korean students in question had powerful parents but it's still indicative. The entire country of South Korea has had the SAT canceled on at least one occasion when the exam papers were leaked. My girlfriend's friend was dating a guy who sold SAT answers at one stage. As to the culture of cheating my friend's wife sat an English proficiency exam for her cousin that said cousin needed to graduate ~community college as a kindergarten teacher. Those are things that are a matter of public record or personal experience.

There's more in this line from Ed at educationrealist.wordpress.com though I can't speak to their reliability. According to them there are massive threads on college confidential where people reconstruct SAT exams.

Cheating on tests is really common in China and Korea.
Odd... I feel the same way about Python.
A similar piece in Pando about a year ago: http://pando.com/2014/04/15/dark-patterns-the-crimes-and-mis...
"Ethical" investment funds also did well for a while. Even if the women in this study are better CEOs (and that share price reflects this) any attempt to capitalize on this will change the population. ie assume equal talent pools, top 30 from each beat top 60 for either.
If your lawyers are "going to try and wrap up every single detail without considering any of the downside risk," you should get better lawyers. In particular, I find transactional lawyers have a much better "deal sense" than litigators moonlighting at it. Once you've found a lawyer you can trust, you're more likely to trust his or her judgment more on what the legal risks really are.

If it's the other side's lawyers who are overlawyering the agreement, why not politely suggest to your counterpart that they, not their lawyers, should be driving the deal?
http://chat.stackoverflow.com/transcript/message/21019002#21...
An excellent filter! Anyone who cares about something this trivial isn't worth my time.
Creating an Effective Hashtag Campaign [EBOOK]
Or maybe the Tox Foundation is covering it up?

Hopefully I archive most for good measure.

https://archive.today/Y6LEw

https://archive.today/MajJV

https://archive.today/KkSWp

https://archive.today/CWBUp

http://a.pomf.se/kqwgsg.png
Um. What exactly is your percentage in defending these guys?
Exactly. Ironically, it seems many academics don't do the research to see what happens with a career in academia.

The market will pay for jobs at their replacement cost. If a stream of aspiring professors are willing to work for near poverty wages, with the occasional complaint, that is what they'll get. Why would the administration pay more?

(If a gas station starts charging $10/gallon, you get your supplies from another. Even if gas provides tremendous value to you, and you internally value it at $100/gal. Only if fuel isn't available elsewhere do you pay the higher cost.)
You are using a spot instance right?
Well they're Swiss after all ;).
I know my point of view is really unpopular, but in my opinion if you value your freedom and privacy you should buy a phone. Just get one that is cheaper or a used one if you can't afford the latest greatest.

Would you take a subsidise laptop with a bunch of restrictions from your ISP?
A Guide to Social Media
You Can't Copyright Facts
The article says that a similar issue happened a year ago with a Berkeley student and it didn't spread or anything. Very likely the situation will remain contained. Not sure if I'm ready to take away peoples right to choose just yet, even though I've been vaccinated.
Firefox for Android is not compatible with Flipboard
After all these discussions about achieving 60fps on mobile web, flipboard apparently nailed it with its static page.

Bugzilla report: https://bugzilla.mozilla.org/show_bug.cgi?id=1132310
Because it's hard to imagine that anyone actually has a increasing marginal utility of money. If they did, over wide enough of a range, they'd bet their entire life savings on the Powerball.

What's much more likely is that they're getting some entertainment out of playing the lottery, or they're poor calculators of risk and reward.
Well, that's an interesting comment. I have almost a decade experience in Python, and having recently picked up Haskell, I clearly see the value of having (or not) a static type system.

I have noticed that during all these years I would just "type-check" the various APIs in my mind, or with the aid of the REPL, but it's not as easy when programmers with less experience join the project. I would often have to explain tracebacks about type errors (e.g., tried to call a missing method on `None`, but the programmer didn't expect that API to return `None`). Strong typing avoids errors from propagating, but without static checking only gets you half-way there.

I would still use Python (or other dynamic language) to introduce someone to programming - not having to reason about types lowers some barriers - but nowadays I'm not sure it pays off for a project expected to be maintained.
Yeah I read all that and it's really the main dev trying to track down the guy who maintained all the servers because he dropped everything. Maybe he acted awkwardly, I don't know, I don't care; the point is, there isn't some sort of "Tox Foundation conspiracy" trying to deceive everyone (as if the tox community was large enough to be worth deceiving) and given your tendency to shitpost on 4chan I would be more inclined this is another epic troll attempt to sabotage a project that actually went off.
Passphrase Entropy
I have a question--please let me know if I'm way off base here. Gravity distorts space and we postulate the existence of dark matter from the distortion of space without corresponding mass/matter. Why must space without matter/mass be non-distorted to begin with?
Strike, if you're unionized. Quit, if you aren't. Encourage others like you to do the same.

This isn't going to get better if you're willing to keep doing this job at that wage. You really need to walk away.
There is a fundamental rationality to insurance that is not present with the lottery if you accept the marginal utility of money to an individual. Your top dollar is worth less to your than your bottom one. So it is worth sacrificing the first to safeguard the second.
Calling it a fork would be too much; it is actually just a modified main System application for FirefoxOS to allow it to run 'headless'. The rest of the infrastructure is nearly unmodified B2G.
Anyone remember 'Boo'?
I'm really not a fan of Google's direction as of late.
"But they did not expect these emails to be released in such a public way."

When you email any public figure, expect it to be available publicly.

This should be more of a learning exercise for the people that emailed him than anything else. The lesson is that anything you email a government official can and will be available to anyone that asks.

Leave it the the media to take more transparency in government (which is what everyone seems to want) and spin it as a bad thing. If someone like Elizabeth Warren did the same thing, would we be seeing the same outcry? I think it would be spun to make it look like better transparency.

I remember a couple of years ago Wikileaks released undercover agent information online with no redacted names or information. The majority of people here on HN thought it was no big deal.

A more recent example is the Sony hacks. Emails were illegally obtained and published and sites like Gizmodo (and every other media outlet) didn't seem to care about the personal privacy of the people that were involved in these emails. They were too busy speculating on the content of the messages.

I'm sick of the hypocrisy and spin to make your political opponents look bad. You don't care about privacy Gizmodo, so please stop lying.
Nqqvat be fhofgenpgvat jnf cer-neenatrq. Sbe 3,X gur ybjre bs gur gjb vf pbashfvatyl X.
I was expecting a talk about how cool C++11 features are. It was actually a talk about how C++ lets you be super close-to-the-metal and do ridiculous performance hacks. Interesting.
Relevant and recent.

https://news.ycombinator.com/item?id=9031420
I haven't watched the last 10 minutes yet, but there's no mention of C in the talk before that. The only comparison is to Assembly.
I can think of quite a few examples of people who had "done it before" and went on to have a very disappointing experience. Often, the people who have done it before will fail because they assume the same strategy will result in the same payoff. It is often easy to overlook the importance of luck and chance.
You are just some troll trying to kill our project with fabrications and lies. You twist the truth to fit your own agenda.

The guy in question tried to damage the project on his way out so yes I grepped our server logs for his ips because I wanted to know if he had tried anything weird.

This guy posting this comment here is someone who decided to start this war against the project after I refused to kick someone who actually did something from our project. He posts this bullshit everywhere.
Not so sure about that. Lots of commits and few issues could mean that it's cool or interesting somehow, but isn't actually being used for much. Vice versa for few commits and many issues.

Hard to say much for sure without breaking down the details, who's discovering the issues, how many are real, how many are serious/blockers versus minor annoyances with workarounds or feature requests, are the commits new features, bug fixes, refactoring, etc.
I have been able to use the modified System application on my own firefoxos-based boards. However, for GPIO I have used a background process based on NodeJS (which exposes the ports using a REST-api). Getting GPIO working on some phoneboards would still prove a challenge as mostly they do not have these easily exposed.
> We can understand our own unhappiness as workers not as a psychological problem that demands Prozac, but rather as a human response to domination.

As someone who has struggled to find enjoyment at a job working on products I didn’t believe in, I found this line particularly poignant.
Yes, I meant keeping their costs lower overall by doing things like taking tax credits and/or grants to get cheap electricity in the longer term.
It's poor that the developers didn't keep in contact with Bryan but that's not Molyneux's fault - I'm sure he's not the company's PA.

It's a bugger the game isn't released yet - but he explained in the article the external unforeseen issues that caused the delay. Software often gets delayed. Why is this illegal for PM?

PM's only fault was getting excited about features he wanted for Fable which they weren't able to implement. That's a communication style issue which I think he has learned from. Other than that he has an enviable backlog of titles which prove his ability to deliver. I don't believe he deserves the BS he gets from gamers who seem to think PM owes them something.
How to Become an Internet Markter
The smart watch that you actually might want to wear
Even better, anybody wanting to distribute something using free services should upload to multiple services (github included). Redundancy is a good thing.
Ahh, I misunderstood your requirement.

Fortunately, CJDNS works for this use case as well. It is possible to use a "tunnel" to connect CJDNS nodes via an IPv4 virtual interface or to connect to a gateway to IPv4. This way, IPv4 software can connect both to other nodes and to the outside internet.

At the moment, I believe that this is only configurable through the UDP admin interface, but this is most definitely a feature that we'll build into Cirque.

https://github.com/cjdelisle/cjdns/blob/master/admin/README....
Canada, the U.S., and Australia all have reasonably strong laws protecting the privacy of their own citizens, but everyone else is fair game. It therefore makes sense for them to contract out their domestic spying to each other. You watch my people, and I'll watch yours.
Not fond of significant white space?
BQ Says They Received 12,000 Ubuntu Phone Orders per Minute
NoFlyZone database will tell drones not to fly over your house
Strange that he thinks Xiaomi is the company of reference for this gigantic new market, when Google has very good alternatives for each one of the services. Whatever you might think of the Google versions, hard to see how Xiaomi will get more traction than Google outside of China.

Homekit -- Google Nest with Android Home.

Carplay -- Android Auto, not to mention what crazy things the self driving cars research will provide.

Apple Pay -- Google Wallet

Siri -- Google Now

HealthKit -- Google Fit

EDIT: BTW, I see that his refutation of Christensen hinges on the nebulous "user experience". It is not clear what "user experience" or the often repeated most Apple-like quality "design" actually entails. For a very good analysis of the pitfalls of just using “design” as a strategy to create market-defining products at Path, Dropbox, Square, Medium is by a designer

http://mokriya.com/designer-duds-losing-seat-table/

Why Apple is successful today, when its core principles have remained pretty much constant over the entire history is to be found outside Apple.
You're right, Azure SQL is very limited in terms of being quite different from non-hosted SQL offerings. You can't just throw OLAP on top.
Obama Administration Plans to Open Center to Fight Cyberattacks
A Crypto Trick That Makes Software Harder to Reverse-Engineer
So how does this differ to Retroshare or Ricochet?
The author posted this reply, as a sort of continuation to the story: https://medium.com/@AndrewR_Physics/i-was-not-amused-b4a2e4c...
That is art right there. I'm not sure it's thats useful on Earth where we have so much pre-existing infrastructure available for construction. However on the Moon or Mars it might be amazingly useful.
and for discipline you need purpose
Grafana 2.0 Alpha
High Demand Skills for High Demand Jobs
Check out http://en.wikipedia.org/wiki/Working_holiday_visa

US nationals can get working holiday visas for Australia and a few other countries. Your pay will almost certainly be highest in Australia because it is a very prosperous country at the moment.

Argentina - It's easy to live there semi-legally. But, expect very poor pay if you work locally. You could do remote call center work in the US and live there reasonably well. It is useful to speak Spanish to get along with the locals. There are a lot of Americans and Europeans hanging out there in the Northern winter though. People call it the Paris of South America. The Paris of France is way nicer.
Universities don't offer any more than they have to. Apparently you can pay less than $30k a year to get a hard-working instructor with a Phd to teach your students. So, that's what they do. I'm sure this guy is awesome, but the reason he's being offered a pittance is because he and the people like him will accept it. If nobody would teach classes for less than $50k, then that's what they'd get paid.

It's the flip side of the big companies complaining about a skills shortage and advocating for increased immigration. Yeah, it's hard to hire an engineer in Silicon Valley for peanuts. But there's no god given right to be able to hire cheap labour, and if you really want to hire someone, pay the market rate, or stop whining about it.

I'm also not thrilled by the email he sent the student. I feel like communicating with students outside of class time is absolutely part of the job of instructor; his email reads to me like someone saying "I'm not paid enough to do the entire job I was hired for". That wouldn't fly in any other context. If he decided to just not show up to some lectures he was hired to teach, what would the university say if he told them he wasn't being paid enough to attend every class? He may be dealing with a shitty deal from the administratio, but passing it along to those even weaker than him is hardly admirable.

Now, despite my tone above, I am sympathetic. He's doing a crap job for little pay. I have empathy for him! But he's the one who signed up to do a crap job for little pay, and keeps signing up to do it again every year. And that makes him part of the problem.

Ultimately, there's only so many teaching slots available, and there's a fuckton of Phd graduates desperate to obtain one regardless of the salary or employment terms. Doubling the salary won't increase the number of teaching slots available (more likely decrease it), and it won't decrease the number of Phd grads looking to teach (it would absolutely increase it). Academia is already a lottery where the many chase the tiny number of tenure slots; does making the competition even fiercer and more Darwinian help improve the fairness?
I think his point was more about the indoctrination and conditioning of young women in the LDS system.
New Online Marketplace Jet.com Raises $140M
I'm also part of the problem. I teach one course a year. So it's far from a fulltime thing. The pay is about 100$ per hour OF LECTURE. Considering the prep time needed, and the mandatory unpaid interaction with students after hours, it probably works out to 10-15$/hour. I'm part of the problem because I don't much care about the money. I teach because it impresses my clients, which brings me more realworld consulting work.

Let's do the math for the last lecture I taught. 30 students pay about 900 each to take my class. That's 27K. But I also know half of the school's budget comes from the province (ie government support). So let's double that to say 50K, of which I take home 4 ... 8% to the instructor and the rest to the admins.

I think the real issue is the larger move towards academic admin as a separate profession from teaching. None of my four bosses have ever taught a class. Law schools are probably the last vestige of the old system whereby most admins are senior profs, not professional administrators.
Google May Already Be Expanding Integration with Twitter Tweets
I haven't looked into the details or the validity of the claims made in this article. That said, this is really cool. The application of high throughput computing to optics and RF stuff is very exciting right now.
Good advice to use these people if your college has one, but lots of smaller colleges (like mine) were completely useless in this regard.
The very first cut (the "foreshots") really smell like something you shouldn't consume due to the presence of acetone and some other compounds that are detectable in very small concentrations.
Gonna need some more details. I'm still not 100% sure what's going on
We generate ids using the following:

$id = Functions::generate_random(5) . uniqid() . Functions::generate_random(3);

`uniqid()` ensures each id is unique (somewhat), and the random paddings of 5 and 3 characters make the ids harder to guess and unpredictable.
I don't have to imagine that anyone prefers occasionally playing the lottery to never playing the lottery. I can see it in action any time I please, and while some of the people doing so may be laboring under delusions as to the quantities involved, I see no reason to conclude that all are. (I will proffer myself as an example.)

A person might well prefer the risk profile resulting from occasionally playing the lottery (small chance of tremendous gain, large chance of minor loss) to both the risk profile resulting from never playing the lottery (guarantee of no gain or loss) and the risk profile resulting from betting their entire life savings on Powerball (large chance of catastrophic loss, small chance of tremendous gain); these are all different risk profiles, so they can all perfectly well be valued arbitrarily differently.

[And I do mean arbitrarily differently. What rule of rationality demands that anyone who might want to play the lottery from time to time for the risk profile it produces ought further prefer to bet their entire life savings on the lottery? Whoever claims that to be a rule of rationality, I say they're the irrational one.]

Whether you would describe someone with such preferences as having "increasing utility of money" or not is up to you. But I see nothing problematic in having and acting on such preferences.
Also true in Singapore.

Some contracts can be nastier (e.g. no early termination, just pay the rest), but that may just be an unrelated local difference (I've seen the same thing with residential ISP contracts, where there isn't a SIM-locking equivalent).
Dr. Eliyahu Moshe Goldratt explains how to manage complex systems, trying to manage everything at the same time is not only unrealistic - it will also not bring success.

Explanation in his own words is for example at https://www.youtube.com/watch?v=tWvMODJ9cVc but also in many other lectures and presentations of his available online.

"... managing a bunch of wild cats" was said somewhere in there.
Of course it is unpopular. You're treating freedom and privacy as a commodity. If I cared and spent enough money, could I also restrict other people's freedom or privacy? Neither should be a function of ability to pay. That being said, that is more or less how it is now -- you pay in cash/time/effort.
Introductory Intel X86-64: Architecture, Assembly, Applications, and Alliteration
If you enjoyed Into Thin Air, you must also read Touching the Void.
Hacking Product Hunt for App Launch
It's highly likely that within the next decade or two we will have a very good idea about what dark matter is actually made of and have direct observational evidence of it. The most likely candidate for dark matter is a hypothesized supersymmetric particle that happens to be weakly interacting, there are several good candidates for such. But these particles should be detectable in future particle colliders and should give rise to characteristic signals in x-ray/gamma ray emissions from galaxies as well as perhaps being directly detectable in "dark matter wind" type experiments (which leverage the significant difference in speed relative to the galactic disk the Earth experiences at different times of the year).

Dark energy is still a rather large mystery, but it's possible someone will make a big breakthrough at some point.
My C# MVC Web App is reported as a Javascript app because of the templates I use :0
If I recall correctly those libraries aren't type safe and composable, but perhaps I'm remembering wrong.
Great piece. Unfortunately we don't have too much of a theory/model left to fall back on, but that's how life often is. Messy.

I wouldn't necessarily say that 'consumers aren't rational' but I definitely agree that many components and qualities that make a product valuable cannot be easily measured and quantified.

Perhaps Christiansen will come up with a new best seller. I mean an updated theory. Well both, hopefully
I've often wondered if Freenet, or a similar encrypted network file system would be a viable solution. This, of course, requires a significant number of computers to contribute full time.
> There is no write and forget media as far as I can tell.

Sure there is, you just micro-engrave it onto a nickel disc with a laser... http://blog.longnow.org/02009/05/21/what-13500-pages-micro-e...

Edit: Also paper. Low-acid paper in dry cabinets keeps a long, long time.
The bigger your handset, the more data you're likely to download: study
Layoffs at Everquest Next Studio, Including Director of Development
Show HN: Voxelvoid – My first 3D game
> Writing in those other languages was indeed a hellish experience - it was very clear that they lacked the expressivity to model half of even just this very core piece.

This is something that keeps sending me back to Haskell, I'm glad to hear Scala applies as well.

I've been meaning to learn more Scala, is there any "Scala for Haskellers" literature you are aware of? I'm going to start searching for some, but you could know of one that doesn't come up in my search results.
Yeah, I deleted that Gist because you're using it out of context.
I've talked with you one-on-one, and I've asked you to stop pasting it wherever someone mentions Tox.