skysight-inc/HackerNews huggingface dataset:
I took the second edition of Grossman's course and it was very good. Kickzales's Introduction to Program Design was also good as was Pascal Van Hentenryck's Discrete Optimization - his enthusiasm is infectious.

Odersky himself is teaching Functional Programming in Scala later this month, and I'm looking forward to that.
Fair point! I was wrong above - "Can a dependent type system catch all type errors at compile time?" Yes, so long as you're okay with rejecting some correctly typed programs! If you're not okay with that, then your type checker might not halt. Shame it's too late to add an addendum above...
Critical Update for JetPack WordPress Plugin
> “[It] will give our adversaries a huge moment of pause to go: ‘Do I even want to go engage a naval ship?’” Rear Admiral Matt Klunder

ah, yes. Because a railgun is the determining factor when considering attacking the US Navy. "Well darn, they now have railguns. Let's call off the nuclear Armageddon guys!" As cool as this may be, our military industrial complex is hopelessly delusional.
Well my $25 and $50 bikes have required exactly zero maintenance. I oil the chain once a year, and that's pretty much it. Originally these bikes cost about $200 new I think (Raleigh Ozark and MTB Trekker), so they're fairly decent bikes that are about one step up from the Walmart models. Note that I only ride a couple of times a week, and not every day.

To be honest I think once you spend more than a few hundred dollars you're just paying for fancy suspension and fancy brand-name. I could of course be wrong, as I've never bought an expensive bike.
As far as I understand, the sloppy ones are the sysadmin behind those sites, not the WordPress installs. And as far as I know, lazy sysadmins don't discriminate regarding what technology they are lazy with.
Presumably people want TLS heartbeats for TCP because, by default, on Linux, TCP keep alive doesn't kick in until the connection has been idle for 2 hours.

Why write a call to setsocketopt() when we can just reinvent new features?
Inside HF&J's $20 Million Divorce
"Dependent types" is a quite broad term. The Liquid types people certainly call their work dependent types, even though it has a different flavour than e.g. Coq or Agda.
IANAL and I'm not familiar with the act, but I can totally see the ability to sure under the Uniform Trade Secret Act being abused by companies in Massachusetts if this passes. Hopefully that act includes provisions for protecting employees from frivolous fishing lawsuits against former employees.
Let's talk about how I fail at life
Show HN: Online Wishing Well (just a few hour hack)
The things facebook does to keep people's shower thoughts readily available.
SO their MFR cost is ~$650....
I got the impression the apps were free and he was using them as a test bed. Declaring him not cut out for business is as harsh as banning him for life.
Besides, many businesses have done much worse things and made much more money.
Nice work, so glad to see someone doing work in this area. Thanks for sharing it. It was a little disorienting (as a novice Vim user) to press return after labeling a node, only to create a new node, which then remains as an empty node after I switched back to normal mode. But for all I know, that's the whole point of...something :-)
It's not a completely reasonable feature.

It's a feature that had a sensible use case in DTLS (datagram TLS, TLS not run over TCP). It's unclear as to whether the use case was best addressed at the TLS layer, whether it could have been specified as something run alongside TLS, or whether it was something that applications that cared about path MTU could have handled for themselves.

The TLS WG actively discussed whether Heartbeat had reasonable use cases in TCP TLS. Some people agreed, some disagreed. Nobody threatened a temper tantrum if the feature was added to TCP TLS. Therefore: the extension was specified for both TCP TLS --- which does not need extra path MTU discovery, and which already has a (somewhat crappy) keepalive feature --- and DTLS.

The larger problem is in treating TLS like a grab-bag of features for corner-case applications.
I know, I'm agreeing with him.
The corollary is also that Rice (and many other figures in recent, post-WWII American wars) remain highly controversial, but the moral condemnation is not universal the way it is for certain other wars. In the SF Bay Area tech scene, there does seem to be a seriously strong consensus - and Obama is also negatively regarded when it comes to issues of continuing wars, wiretapping, etc. but generally not as strongly
Yes. I enjoyed watching LV code execute graphically.
You haven't read what I wrote, have you?
I like the "don't break the chain" method as well. I actually designed a calendar that displays the whole year at a glance. Mine is printed out and placed on a wall that I will see every day. I use it for the "don't break the chain" idea, but it is also really good at reminding me how short a year is. Really drives home the idea that every day is important.
That picture of a dead girl is really disturbing. The link should have some sort of warning for graphic content.
2 years ago some friends and I started writing one song each per week (and met every Thursday to listen to our respective master-pieces). We mostly ended up composing and recording the songs on iphones the Wednesday night before (thank god for GarageBand), and after 3-4 weeks were producing more creative content in this compressed timeframe than we'd had been able to with no deadline before. A few months in we skipped a Thursday or two, and suggested the solution was to write one song per month instead. That was definitely not the solution. We didn't find more time to write, and the lack of schedule killed the momentum. My biggest regret of the last year is not sticking to it - however a friend just moved to our city with the condition that we'd get it started again with the weekly frequency, so I'm optimistic :)
Its a strange world where governments in EU collectively decide to infringe basic human rights, and then have to deal with being told that they did it. I am thus happy that PTS recognize the absurdity, and allow ISPs to stop now rather than later.
> Am I wrong that it's easier to get code into OpenSSL

I might be wrong but the idea I have is that currently Google more or less owns OpenSSL and thus it is maybe more easy, makes more sense for them to get patches in OpenSSL and try to migrate exclusively toward OpenSSL.

Another question I have is since when the HeartBleed flaw was discovered by the Google's employee? Was it formally reported to the OpenSSL team or only to OpenSSL members working for Google? And if the other independant group of engineers had not independantly discovered the flaw would have it been disclosed as quickly as it has? Bottom line it seems to me (and I'd like to be wrong) that the current opacity of OpenSSL disserves everyone but Google.
Google is one of the few companies I've dealt with that generally does not easily fall victim to social engineering of this nature.
Eich is the direct CEO of Mozilla.

Rice is not a direct member of the management team of Dropbox, and her past experience is not related at all to Dropbox's product.
Don't forget cost of ownership - $1000 for a car is just the start - after that you need to insure it, service it and pay for the gas - that's probably more per year than the initial price.
Hey, I just wanted to sign-in and comment to say that at some point in the past, I found myself reading your book website. I do recall back then it had way less chapters, and I remember hoping that it'd find its way to completion eventually. I see a lot of new chapters. Great work! Very good resource, too.
So you don't hire against track record? Past performance is still the leading indicator of future success.
IIRC Boosted boards are based on boards from Loaded Longboards. If these guys also used Loaded Longboards, they are going to look very similar. Wheels as well are going to be one of the commodity items on the board. Bright orange, green and Grimace purple are some of the most common colors for longboard wheels.

Loaded makes awesome boards and their bamboo construction is excellent and quite springy (great for pumping and carving).
I think the board is pitched as the _last mile_ of transportation. It's light, small and easy to carry so you can ride the bus or the train and use the board to get from the stop to home (final destination).
I have a note 2. I use messaging because it's attached to my news feed. Remove the convenience and it's no different from the 5 other messaging apps i have.
I won't judge whether the heartbeat feature itself is reasonable or not. But the inclusion of a payload was unnecessary, and specifying that it has to be copied to the reply message is so useless as to defy description. "Flexibility" my ass. It's downright suspicious.
It means that a bunch of people who once thought they were somehow above or apart from politics find that they are not, and that the things that happen in the world constitute news of real interest to hackers. That's growth.

Unless the views that "unite" them are repulsive. If Rice's viewpoints were the polar opposite and we were all jumping on the bandwagon to boycott dropbox because they didn't support torture enough, would that be "growth"?

Of course not.

You don't like Rice's views on this issue, and want to convince people-- including the HN community-- that she was wrong on this issue, and that her views on other issues (warantless wiretaps, etc.) are dangerous for a business like dropbox. Moreover, you don't want to support dropbox now that Rice is a board member. Fine. But to claim that just because we all (or at least most of us) disagree with her views, that in and of itself means that we're "growing" as a community is genuinely dangerous-- because at some point, most of us are going to be wrong about something, and arguing on ideological merit is going to be the only thing that can "save" us. Simply saying that "we all agree, and that's growth" will just ensure that we're all wrong forever.
App.io Ads – Your game becomes the mobile ad, with try-before-install
I met Sasan and Heidar at the hackathon where they first built TruckPlease. Neat concept that definitely solves a problem, and they're smart/friendly guys!

Super curious what their plans are to monetize (it looks like TP is currently completely free)?
Truman was the president when the US stepped in to help South Korea, and he was a Democrat, not a Republican.
It's worse than that. Keepalives are only really useful for (a) long-lived connections that (b) are expensive (usually: requiring manual intervention or renumbering) to reestablish.

Those parameters describe no connection made by browsers.

In other words: application-layer keepalives are only valuable to applications that already have the freedom to define their own truly application-layer keepalive anyways.
> The things facebook does to keep people's shower thoughts readily available to advertisers.

FTFY.
Can you use this service in Mexico or Canada? It doesn't seem to be covered anywhere, or maybe I haven't looked hard enough.
TCP Keepalive is a much better solution for this problem.

Nearly all bitcoin pools utilize TCP keepalive to maintain connections with miners.

These are systems in which performance and DoS resistance are paramount.
In what way is it harmful to society?
Even cars that run on open source software (Tesla Model S runs Linux) don't release source for their GPL'd code.

So I wouldn't expect a project like this any time soon.
Facebook Tweaks News Feed Algorithm to Combat 'Spammy' Posts
So you want regular joe smoes to move people or fully licensed movers?

Local or national?
Not much more suspicious than ping(8)
You don't want to be longboarding when it is raining anyways even on a non-electric longboard. I've done it tons of times myself, but there are the following issues:

* bearings will get dirt in them that will greatly reduce their life
* if you don't have expensive ceramic bearings you'll want to pull out the bearings and make sure to get the water out and get them dry, otherwise they might experience some rusting (even the stainless steel ones).
* Stopping distance is way way longer when its raining.

If you're riding in the the rain you're greatly limited to fewer conditions under which you can ride and any time saved by riding will be offset by the time spent drying, cleaning and maintaining your board.
In case the reason you link to the cached version is because you can't access the site, the issue might be the HTTPS-Everywhere addon. I had to disable the "PC World"-entry a few days ago to access their articles.
Unfortunately we are US only at the moment, but we hope to be able to serve outside the states soon.
It's 50% off if you pay yearly, plus 2 months free on top. $25 for the year, not bad. Not exactly comparable, but still.
The comments are more or less full of French people contesting the truth of this assertion. Seems a bit dubious.
Counterpoint: http://www.buzzfeed.com/marietelling/no-france-did-not-make-...
As an American it is hard to understand how something like this is even possible.
I am still slightly bewildered by reading this news. To me it sounded like a great fake news article at first. ( may be still is one )

I still wonder how critical outages will be handled in the tech world. E.g. Google/FB Fr faces operational issues or even worse will they shut down their nuclear plants too @ 6 ?

I wonder why the down-votes ?
How is this possibly beneficial? My dealing with email after 6PM often saves me time/effort the next day, and if anyone is truly bothered by it they could...not check their emails after 6. I've also put out a few fires and helped a few people putting out their own fires via email...and was much happier doing it by email than by having someone reach me through other methods (calling or texting).

If nothing else, this seems like a clear intrusion of the government into things that don't affect them—if someone wants to read or send email at a given time of day, that should be their prerogative.
See point #2. Central monetary bodies specifically change monetary policy to prevent deflation, worse case they can just print more money to cause artificial inflating to combat deflation.

Bitcoin doesn't have this defense mechanism.
Yep, they mention that it is waterproof in one of the videos on the site. That probably means "splash proof" rather than "submersion proof" however.
Update: The Skydiver and the Meteorite. I Mean, Rock.
Software is not eating the World.
Based on my current connections, and experience, I can't fully see myself ever getting the chance to do so, but I'd love to have the opportunity to work on similar problems - at Facebook or anywhere. I've always loved working on lower level problems such as this. I learned to program by writing computer game hacks, reverse engineering games and coding in C / ASM. Currently, I find myself writing C# every day for a small company at which nobody understands a single word I say about programming.
IRCCloud finally launches
It is likely that there are exceptions.
Not the finest of solutions, but it does work
Xmarks: http://www.xmarks.com
As someone who's been longboarding for years (including commute), I would be interested in something that:

* Would let me ride normally, without using the motor at all (e.g. gear in neutral).

* Would recharge going down hill.

* Would assist me going up a steep hill.

My current board is 40+ inch Arbour board that I got for around $200 5-6 years ago. Every couple of years, I spend ~$40 on new barings (too lazy to maintain).

I don't actually want an electric board most of the time, as it's one of few sources of exercise for me, but it'd be nice to have an assist going up hill.

Not sure I'd spend more than $400-$500 though.
It harms our ability to have open and candid discussions on contentious topics.
Anyone want to host their mission critical project with a team that has 7/5 support as opposed to 24/7?
Useful PHP Dates and Timestamp Converter
Your point #2 doesn't really work. You can manipulate the market in the short-term but you can't control the inherent value of the currency. Fiat currencies issued by governments can do that because they can literally just print or destroy money through monetary policy.

And I'm talking purely about bitcoin. I'm a lot more bullish on the future of crypto-currencies in general, but bitcoin has a lot of flaws that are probably deal breakers at this point.
Not sure how long ago they launched, but seems they are out of invite only BETA, use them quite a bit, and they have been fantastic.
Yes, that's true—I lapsed in terminology. Maybe calling it ITT would be better? There's a lot of ambiguity there, of course. And less marketing.
I would create a 3rd category that is akin to delivery. It could technically fall into moving but moving brings to mind the actual idea of moving.

What I mean by delivery is more something along the lines of...

- I have something I want to pickup (maybe off Craigslist or something) and I don't have a truck. Would be nice to have someone who has one help for a flat rate.
>Let me clarify my position: In theory yes, you're right, it is decidable. In practice Agda and Coq force you to prove pretty much everything about your program using expensive annotations, in order to satisfy the typechecker. It's like pulling teeth. The type checker must be taught that your program terminates, and it must be taught that you maintain even the most simple of invariants.

That's why we need gradual typing. Some critical parts should be written with full dependent types with termination checker, etc, but most of the code should be just type checked.

P.S. I have some dependent types experience, including applying Coq in commercial projects.
My understanding, from the heartbleed page, is that the packets for the heartbeat have a specific packet type identifier and that you can use this to train an IDS to watch for the heartbleed attack.

I would guess that makes them identifiable?
Very cool. I do find myself going for dd trying to delete nodes and gg trying to get back to the top.
As a truck owner, is there a way to make sure that I never end up on this website? :) Just kidding. Any truck owner knows the joys of having every non-truck-owner ask to borrow the truck.
Global solar dominance in sight as science trumps fossil fuels
The payload is meant to let you distinguish responses to different Heartbeats, right? I'm no expert, but sounds reasonable enough. I could see a lower limit on max payload size, but could you please elaborate a more detailed explanation why it's unnecessary and useless?
Zedapp: First Standalone Release
For those too lazy to read this debunk-piece:

No, France did not just ban work emails after 6pm.
"Find someone who gives a truck." would be a better tagline.

Other than that, really cool idea.
It might sound tactless because it breaks down the illusion of moral superiority that most sides in a political battle believe they have. In general, people don't like being told they may in fact be wrong, they want to believe their side is unique, superior, and the other side is committing crimes against humanity/unborn children/whatever it may be. When a huge proportion of the broader population (not necessarily HN) disagrees, in order to function as a society we need to remove these litmus tests. (The most compelling Rice-specific argument is about internet privacy vs. government surveillance, which goes beyond this - he's speaking of the "personal becoming political" in general)

It's completely relevant to the debate though and not de-railing, when it directly addresses the point of boycotting Dropbox for something political. Our society is becoming more polarized on these issues and (internet) forums of self-selecting ideologies and subgroups contribute to this. Going boycott is one weapon in an arsenal of political expression - now how often should people use it? (The next level of course is street protest, institutionalized ideology, and the extreme is fighting a war over it).

If we used a boycott at every opportunity, at every disagreement, where would we be? Would Christians, Muslims, and atheists ever do business with each other? Would pro-lifers and pro-choicers be able to open their mouths without calling each other baby murderers/misogynists? He's basically saying, draw the line closer to where the overall population is, so society can function without imploding. And we generally go about this on an everyday basis. Geographical self-segregation also tends to help. It's a moral cognitive dissonance, but one that people draw various lines for. My theory is those who have a more logical/black and white and less socially influenced conception (which may be more common in geeks) have a harder time squaring with this cognitive dissonance.
Looks like the author is getting blasted in the comments section for misrepresenting facts.

Here's the link to the document, which is an agreement between a coalition of employers and some French unions:

http://www.slideshare.net/lesechos2/syntec-avenantforfaitjou...
That's a good point. I did my senior project (mechanical engineer) on the boards. Developed a NiMH replacement to their lead acid batteries which dropped off 10-ish pounds. I also milled out a handle so you can carry it by the back (leave the front two wheels on the ground and roll it like a suitcase). Both of those things combined the board ends up being 18 pounds in your hand. It's totally not stock though, and I sometimes forget that :)
Hey, Matt! Great seeing you on here and thanks for the kind words :)

Right now we're completely free but we have a lot of ideas for monetization. One of them being handling payments and taking a cut and another would be to sell optional related services, like moving/rental insurance, cleaning services, and moving supplies.
All of the communication methods mentioned in the 'tips' section have proved invaluable for me personally, and really set Stripe apart from many companies. They're fantastically accessible.
Need a quick response? Ask on the IRC chat.
Think the API isn't right? Have a discussion.
Library missing something? Fork it and maybe submit a pull request.

The one thing that makes me consider switching is the lack of bank transfers in the UK (which isn't a problem unique to Stripe).
According to Andy Chou of Coverity on Twitter https://twitter.com/_achou/status/454287263917043712 - "We looked at the code and it turns out the bug is caused by something we don't currently detect." and then goes on to say "But we're going to look into it further. In cases like this it is not only about finding the defect it's also about not flagging hundreds/thousands of false positives at the same time"

So no, Coverity wouldn't find it.
It's about promoting a healthy work life balance. It's doubtful there will be enforcement if you choose to read e-mails after 6pm. However, now, there is no way a company can keep you on the tether around the clock. It's a positive development for the rights of the workers.
You're correct that all you said was that free speech and the first amendment aren't the same thing. The statement that you replied to indicated that a response to your speech was not limiting your freedom of speech. I read your response as disagreeing with this statement as well as pointing out the difference between the first amendment and the broader concept of free speech. Did I misinterpret what you wrote?