skysight-inc/HackerNews huggingface dataset:
The context I've read that remark in before is discounting the need for automated testing. At least one example has been provided in this thread of a Haskell developer claiming to have released code after it was verified by the type checker but without actually testing it. I don't think it's reasonable to take the phrase at anything but face value, considering that it's used as a promotional slogan by Haskellers.
Saying a person doesn't know how to use git productively based on their personal github projects is simply ridiculous. Nearly everything I put on github is experimental wankery presented as a curiosity, not a release. It has nothing whatsoever to do with my ability to use git productively. I can only conclude that anybody who would make this criticism has a strong "everyone should be just like me" value and is probably not someone I'd want to work with.
From Wikipedia anyway, "Since the late 1980s, the focus on the legality of homeschooling in general is no longer in serious debate but legal questions have shifted to whether homeschooling communities can access state school funds, facilities, and resources."

I think it's a very exciting model. A small private co-op of like-minded parents with 10-15 like-aged children, hiring a single truly excellent teacher, and paying them about $100k per year, while supplementing with access to public school resources in the local town to which they are entitled for extra-curricular and filler classes.

The "classroom" would float between public areas like libraries, parks, museums, and local areas of interest, and rooms made available in the parents' residences.

I think the model is particularly attractive K-8. I guess the only problem is the kids would be so far ahead by 9th grade they would have to go straight to college rather than high school. :-/
I'm happy to see this on the front page instead of flag-killed(?) like it was earlier today: https://news.ycombinator.com/item?id=9036698
Infinite regress. What caused what caused what caused the beginning of existence?

Next.
Mitchell Hashimoto: Containers or No Containers? That Is One Question for 2015
SDN Series Part VI: OpenDaylight, the Most Documented Controller
Installing MPI for Python on a Raspberry Pi Cluster
If you ever screw up the whitespace, it's possible that the mistake won't show up in common diffing software, because most diffing software is designed with the assumption that whitespace is insignificant (and hard to display).
> It's all very sketch.

To me it seems very simple: level of effort. Uploading your hack/mod/whatever to rapidshare takes about one minute, or less. On the other hand, if you want to learn about git and github, you have to spend plenty of time on that.
Yeah, you absolutely can't trust client-generated timestamps. We have a table tracking metadata on customer-uploaded photos (dimensions, file size, color profile, &c), including the camera's timestamp. According to their cameras, our customers have uploaded pics taken before the Buddha sat beneath the Bodhi tree, and after the Khitomer Accord was signed.

Fortunately, we also store an upload timestamp, and our servers all sync to local NTP.
Why would you be interested in YC? Once you're profitable, you don't need an accelerator. You also need to ask yourself why you need investment.

Is it because your profits aren't enough to help you scale? Or is it because you think that a normal lifecycle of a company involves accelerators, seed, A round, etc. etc.?

I'm genuinely asking you those questions, by the way.
We have a winner! Yes.

People have been hiding crypter variables in debug registers since… the early 90s was the first I saw it? Sure it might have tripped up those who thought SoftICE was the bee's knees, but those of us who had access to (or wrote) emulating debuggers - which had "debug registers" and a functioning "MMU" just fine - sailed right through this sort of thing and could just read the obfuscation code and adapt it to dump the unencrypted code right out.

Hell, with this, we wouldn't even have to translate/recompile bytecode, the MMU did all the work.
I really wish static typing advocates would consider making inductive claims. The last few times I've asked for such evidence the response has been along the lines of "you just don't understand". It's indicative of a general intellectual orientation that I think has held back the introduction of valuable PLT concepts into mainstream languages.
Stroke treatment improves patients' chances of avoiding brain damage
SpaceX successfully landed a rocket in the ocean
Undergrads and sessional instructors tend to think of the primary job of a university to provide well-taught classes. On the flipside, university management and the faculty running each department are often much less focused on teaching than you might hope.

Research, recruiting grad students, sports, student services, and facilities are all things that may worry a university administrator more than ensuring the best teaching is going on in their undergraduate classes. The more familiar you become with how a university is run, the more you'll realize that the goals undergrads think the university should have are quite different than the goals it really has.

For example, if a great teacher leaves and is replaced with a grad student with weak teaching skills, that can show up on an administrator's spreadsheet as a win because that grad student was dependent on the university for living expenses.
A Crypto Trick That Makes Software Nearly Impossible to Reverse-Engineer
The Google restructured the days of the week in 2034, removing Mondays and renaming the other days in accordance with the kolakube organization for standardization, so it's actually 2058 by a 2015 western calendar.

But, of course, that didn't happen. There was never another calendar.

Not much has changed. Oceania is still at war with Eurasia, etc etc. Worker bots get one day off a year on St Jobs' day. There was never more than one leading company. There will only ever be one : )
What I hope this is, is an API in which I can test two things:

1. Information about users

2. Information about URLs

In the first case, I want to be able to determine whether users on my service have been responsible for phishing and malware on other sites. A bit like stopforumspam.com does for comment spam on forums, but for messages that contain/lead to phishing attempts.

In the second case, I (like most service operators) run outbound links through a redirect service (of my own). I would like to be able to test a destination URL against a service and if phishing/malware has been reported, to then safely provide the user with the information on this so that they can determine whether they wish to continue their navigation (regardless of what browser they are using).

The main reason for my wanting to control that second one (rather than leave it to the browser) is that I want to be able to produce reports and statistics to highlight in real-time the content I host that points to malware, and then do something about it. And if it's popular content that is disguised as a real URL, then at least I can attempt to manually correct the URL by providing an alternate safe destination.

This is what I hope ThreatExchange provides... outputs that web applications operators can use to make a safer experience for users of their web apps.

What ThreatExchange actually provides I cannot say, Facebook haven't really said enough on the site.
Given that Apple rendered MAC addresses useless for tracking users in iOS 8, and make developers swear up and down that they're only going to use IDFA for advertising, I think they're a bad example to start with.
Good luck in the real world, where nobody gives a shit what your major was.
> such an obvious power imbalance

you're implying that love is based on rational thought in the first place
> They have been disrupted in markets where phones compete on price.

Just not true.. Here's how they're doing in China: http://i.imgur.com/cVKCJmO.png

And their global marketshare is dramatically increasing in spite of nearly ubiquitous dirt-cheap android competition: http://i.imgur.com/QbUmJkk.png

(From Benedict Evans' excellent blog: http://ben-evans.com/benedictevans/2015/1/27/chart-dump-appl...)
Have you thought of cruise ships? I worked for 5 years on ships, traveled the world. The work is not amazing, the hours are terrible, but the views are awesome. Depending on your degree you can do Entertainment Staff, Youth Staff, or IT, or Shore Excursions if you're outgoing.

And it's a good way to find out which countries you'd like to live in, meeting people from all over the world is amazing. I personally met a Japanese girl that I just married after 6 years of being together (mostly on ships).
Why does the app need these permissions?
SDN Series Part V: FloodLight, an OpenFlow Controller
Ryu, a Rich Featured Open-Source SDN Controller
Wow, quite a lot of fury there!
If you want to share something legit, Dropbox/Google Drive/etc. seem to work fine and have working business models.
And here's my genuine reply:

I'm interested in YC because I believe the next step of our company is a platform instead of a service.

You're right, our profits right now are not enough to scale. We are living comfortably but really would rather rule the world instead of an apartment in L.A.

I believe there is no normal lifecycle. Every company/person has their own unique path.
Recently, I've been wondering why we use exhaust fans in bathrooms and not dehumidifiers. I might be way off base here, but it seems like taking conditioned air that's a little moist and dumping it outside and replacing it with drier unconditioned air would be less efficient than just removing the moisture from the already-conditioned air.

I imagine it isn't one of those things where it's "always cheaper to do X", but there's probably a break-even point. Does anyone know how to do the math to draw that chart?
Debug registers require ring 0, so tresor would be restricted to (most generously) applications with kernel help, right?
Trema,a Framework for Developing OpenFlow Controllers
Defining Software Defined Networking: Part 1
I Was Not Amused (Contract Teaching at a Canadian University)
If I had to guess (and this is based on nothing but conjecture), an amount like that for an early stage e-commerce play is to be used for some sort of capital expansion. Perhaps somebody is going to buy up RadioShack stores or Sears leases.

Harry's Shaving Products is another one that comes to mind raising this much money early-stage, and they've pumped all nine digits of their round into a German steelmaker.

From the large investor perspective this provides some sort of fallback scenario, as worst-case scenario you're left with some commercial real-estate portfolio.
Yes. For instance, suppose a point-like object is moving on a flat plane, in a repeating figure eight path. The ideal repetition unit is one cycle of the entire figure eight. But by the frame similarity heuristic, we will find that the cross in the figure eight creates two identical positions which give rise to a half-cycle of the figure eight also being considered viable. In this half cycle, the point abruptly changes direction at the cusp of a tear-drop path.
An alternate viewpoint is that static typing advocates invented a novel categorization that allows them to dismiss typing systems they disagree with. "Tag" doesn't have a consistent theory meaning "type determined at runtime"; on the other hand, "type determined at runtime" has been referred to simply as a "type" for decades.
Correct, but they're exposed over file descriptors, and I added http://janos.io/api-reference/fs.html to talk to them :-).
I get the point, but I still feel like the problem surface is not really reduced that much by static typing it away, and the bulk of the problem is simply moved elsewhere rather than solved outright since the root of these issues is incorrect specification anyhow.

As in, I take issue with the word "dramatic", not the word reduce.

Additionally - it might just be my python bias talking - but I tend to find that most useful "real-life" libraries need to have an opinion about what happens when a variable is None, because it is almost always meaningful. I guess if I were writing haskell my code would end up looking like a bad carly rae jephsen song :)
AFAIK Freenet is basically a cache with no incentive system, so content will expire. There are some cryptocurrency-oriented storage projects but they all seem to be in way over their heads.
> It could be a lot higher

I'd believe 95% LOC don't perform IO, just like any codebase in any language, though it may be easier in Haskell to identify which LOC those are.

But it doesn't matter! The problem could be in the non-IO functions. Take this "scary!" line of code:

rm -rf "$STEAMROOT/"*

That's a correct IO function (rm -rf) using the result of an incorrect non-IO function ("$STEAMROOT/"*).
How to Attract Only Positive People into Your Life
Rumors of Robo Advisors’ Deaths Are Greatly Exaggerated
Great Job!! Congrats!

Very simple and easy to use. No doubt highly helpful in those difficult times. Try posting in Product Hunt, you'll get lot of traction (since it is your early days)
> On a large codebase, there is nothing superficial about it. The more boilerplate you have, the more difficult it becomes to understand the codebase and to find code which actually does something.

In case of types it's true for humans. IDE will be able to build a very precise model and ease navigation and code changes when it understands types.
Contests/bounties are not indicative of security because it is very likely that potential profits from selling or using an exploit are greater than the bounty offered.
> std::vector implements one of the simplest data structures in computer science.

It may "implement" one of the simplest DS, but this particular implementation is anything but trivial to use. You can get a pointer to an element in it, and keep using the vector, and the pointer will point to the correct element... until you push_back() one too many element, it resizes, and then suddenly your pointer is invalid.

But if you reserve() the right amount of space, you can keep it valid! If you are very careful. But then you don't want to call reserve() too often because it may actually turn your O(N) algorithm into O(N^2)! (Basically, calling reserve() N times on O(N) length vector takes O(N^2) time, while doing push_back() N times is guaranteed to be O(N).)

Sure, std::vector is useful, and I use it all the time, but it is anything but simple. It's C++ after all. :)
This is better described as a 'publish-subscribe pattern using web sockets'. To be brutally honest (take this as constructive criticism), the addition of the HTTP endpoint isn't very interesting either. Implementing all this takes perhaps less than 100 lines of code.

Furthermore, your site is susceptible to XSS

curl http://web.sockethook.io/hook/foo --data "foo=<script>alert('hello')</script>"
> To the author, this seems to mean "therefore, we shouldn't have types!".

This doesn't follow from the author's earlier statements about using and benefitting from languages with static type checkers. An ideal typed Lisp dialect would fit the author's requirements.
Now that I've seen it I share your dream. Thank you!
Not to drop the pc bomb... but isn't the name kind of racist?

The Sherpa are an ethnic group, after all.

HealthNegro? HealthWhitey?
Verizon told me last week they will not unlock my iPhone 4S for other US carriers, and were adamant that they never will. I should try again.
As a grad student in the 2000's I was told by a professor that the department would take into consideration the expected attrition rate (typically ~50%) when admitting grad students. The idea being that they would have enough TA's for intro classes. Attrition would make the number of advanced students more inline with the money available to fund PhD students till they graduated. In other words, they purposefully over-admitted to get TA's, most of whom would leave with an MS as best.

This was in science departments. In departments that had few or no "general ed" courses, such as engineering, and thus little need for TA's, the graduation rate was much higher.
I believe that very much depends on the printing material. It should be possible to use a concrete with very small fibers. These are called whiskers.

Whether that is enough to build a bridge I don't know, but material scientists are doing amazing things with concrete.
The author paints the therapist, Keith Saylor, in a really bad light imo. The whole piece flips so hard at that moment. The relationship seems mostly positive and normal, seemingly with evidence. Things get rocky then a therapist quickly encourages and hard reinforces an much different and extremely negative picture. It almost feels unethical to reinforce such a tale without a police investigation. Couple this with the recent NYTimes article about fabricated memories and therapist could make anyone honestly believe anything they wanted to. That's scary.
http://en.wikipedia.org/wiki/Pyramid_scheme
If anyone's still following this thread, the blog post is up:
https://www.joyent.com/blog/debugging-enhancements-in-node-0...
Clojure. Transducers, Reducers and Other Stuff
4 Most Important Things to Know About Valentine Day
To me Sony lost because they didn't understand non embedded 'software'. Sony had talent and mastery over hardware internals and interfaces (fixed set of physical inputs). It was new and difficult, you had to make strict physical compromises, something nowadays software doesn't have to. Their pre 90s hardware did what you wanted earlier and better than others, now they're selling sub par products (they don't own TVs, laptops, media devices like they did) thanks to their past glory.

The thing is, their skills aren't worthless, I often wonder how they managed to design and ship things that would work right away without the ability to fix it later at low-cost like a software patch. Also, I kinda miss dedicated physical interfaces. As amazing as speaking to your phone is, I think that touching stuff is valuable for mammals.
Why should this be a property of the IDE and not the language itself?

No, seriously. If the language sucks but your interaction with the IDE is fine, why not have a language that is closer to your interaction with the IDE to begin with, and use a text editor?
You're assuming those two things are survival traits
Steve Jobs met Laurene in a very similar fashion. Everyone knows that. He saw her during a class visit, and invited her out (although she was a graduate student).

Upon reading the emails from the plaintiff and her mother available at http://joelonsdalestatement.com/ , one gets the general impression that they were trying to throw themselves to JL.
imo they failed to adopt to the Cloud Model .
one interesting company which I think pivoted form being a similar site to cloud/backup space is Mediafire

http://www.mediafire.com/
The Kelly criterion is a way of choosing a number to bet from the set of rational numbers between 0 and your bankroll (inclusive). However, this isn't the set you're choosing from when playing the Powerball. You're rightly accounting for this. However, you're accounting for this incorrectly by adjusting the size of the bankroll ("Oh well, if you are a centimillionare you can buy a ticket and be rational."). Your bankroll is fixed. The correct adjustment is to change the set of values from which the fraction of the bankroll can be chosen.

The optimal bet for a +EV bet is always positive when the set of possible bets includes positive numbers, because a zero bet has effectively a zero EV. My intuition is that you want the number in the set of possible bets that is closest to the Kelly Criterion number when weighted along some curve (I'm too lazy to calculate which curve on my mobile device). If this is correct (I haven't proved my "closest on a curve" idea) then the optimal bet is to buy a $2 Powerball ticket (the smallest positive bet).

That said both these ideas assume an infinite number of future bets following the same strategy, with no other games to play. If you play the Powerball every time the EV is positive, this is like an investment that will yield a return, on average, long after you are dead. And there are alternate games (the stock market, education, job searching) which yield more consistently and possibly with a higher EV.

Finally, the goal isn't to maximize your bankroll. I just spent the cost of a Powerball ticket on a coffee, which has a -EV, and I couldn't be happier with my decision.
> manual entry for rand understatedly mansplained

Heh, I see what you did there, but the downvotes imply others didn't.
I'm 33 and I can count on one hand the number of 26+ women I've dated in the past year (they all turned out to be married - perils of dating in India). The vast majority have been in college, the rest on their first job.

None of them have gone crazy like in this story and this outcome is hardly apparent. Most are nice women that I'm still friends with. Maybe it's more common in the American college scene - there certainly seems to be a moral panic going on there. If you take a lesson from this, it's probably closer to "avoid American women" than "avoid younger women".

As for whether it's "weird", it depends on how you look at things. A lot of folks are fairly restrictive in the categories of people they interact with - I know several people who can only deal with very intellectual sorts, for example. E.g., they'd never date an anti-intellectual type (religious, feminist, etc), an unintellectual woman who seeks to enjoy life, a woman of a different socioeconomic background or even a woman at a different stage of life.

I don't view things so restrictively so I can enjoy the company of all sorts of people. Then again I'm also pretty weird so for me being super restrictive might simply result in being forever alone.
No income verification auto loans
>Why would a company make them launch without recovery?

Because recovery reduces the capability of the rocket. If you look at SpaceX's web site you'll see they plan to have two versions of the Falcon 9 and Falcon 9 Heavy. One version will be recoverable, and one will not. A customer that needs ever last m/sec out of the launcher will not be able to use the latter.
Hacker News Reader for Wordpress
RabbitMQ 3.4.4 released
If you want to look and see how to make your code less exploitable just look at the security layers of iOS.... the jailbreakers seemed to have documented it quite well. It has this, ASLR and a bunch of other stuff

Also this article sucks
Thanks for speaking my mind!

Any typesystem that offers algebraic data types solve issues of this kind. As crdoconnor rightly puts it, handling these cases is ultimately a burden your spec has to bear. Haskell nudges you to handle them upfront.

What I hate most, is people using unusual but cromulent values as sentinels. Eg a function that takes a timeout will often interpret 0 as infinity. That's just wrong, and a symptom of working around an inadequate type system.
What do you mean by, `than us'? Confront it, people working in the software industry are generally wealthier than the average Joe. We do have more options. (Of course, there's always a bigger fish.)
IDEs can help, but they're not a panacea. There is still a mental overhead when dealing with a more verbose codebase. Not to mention increased programmer time, especially when coding guidelines mandate the creation of builders.
Several other vendors build on that code, including some that don't ship Play Services. See http://www.quirksmode.org/blog/archives/2015/02/counting_chr...

Anecdata alert: On my main test phone, Play Services consumed more network/battery than anything else. (Admittedly, I never use that phone for games, phoning or really anything except testing a single app). So I deleted Play Services and its relations, so I could measure my own stuff better.

Battery lifetime improved greatly.
Now you can download iPhone apps from curated Pinterest boards
Read about the incident in Deep Survival, absolutely stunning survival story.