skysight-inc/HackerNews huggingface dataset:
It's a tricky thing to do because of all the possible versions of all the possible web servers. The dropdown would end up being rather long, and require maintaining a list in the code. And then there's distribution specific backports, etc...

So we tabled this problem for now and went with a free field, but please do open a github issue and we'll add look for ways to do it.
I just read Smartcuts, Made to Stick, and Traction - a great trio of books to get your mind in the right spot as you pursue a market to create a product.
The Four Essential Digital Skills
Lyft support answered my email:

"After reviewing your statement and digging deeper into our payment back-end, it appears that because your phone number had transferred ownership the new owner of this number may have logged in thinking that this was their account. Due to this occurrence, we at this point in time have placed a hold on all logins using this phone number — this in turn will halt any further use of this account."
Are you confusing SS with something else? It's not at all high-intensity like cross-fit and similar. It is just as heavy weights you can manage (with good technique) for 3 sets of 5 reps for most excercises.
How Pact Coffee uses Raspberry Pis to ship upto 4k coffee packs a day
What about this comment: https://news.ycombinator.com/item?id=9355499. How is this happening?
the fee is not on the return its on the balance. so if you make money, they make money. if you lose money they still make money. mutual fund feeds end up being massive over a long period of time which is why financial advisors do so well if they have a big enough asset base
> the complete absence of Indian Consular services or the myriad of Indian cultural organizations in the story is appalling.

Amazing considering how many Indians pour millions into temples and such in the US.
This is very interesting. I was recently looking over Leslie Lamport's writings[0] and noticed that his first publication was in high school, and was actually about graph theory. Similar to another comment on here he was interested in braids, a branch of graph theory.

Obviously he is a prodigy compared to the general populace. But perhaps an earlier introduction to some of these mathematical concepts led to the man we know today? If so, one would hope that a similar interest would motivate young students to take a different path, one where mathematics isn't quite so scary.

[0] http://research.microsoft.com/en-us/um/people/lamport/pubs/p...
Get a colonoscopy now. Don't wait for them to test you in your 50s.
Starting strength and similar routines are great but be very careful of starting light and maintaining proper technique as getting injured can really impact your health and happiness in a lot of ways especially as we get older.

It is very easy to get injured doing squats or power cleans with any kind of sizable weight. For example the injury rates in CrossFit are estimated to be between 20-75% [1,2] of participants which means you're more likely to get hurt than to get fit. Personally I don't think this is due to the exercises being more dangerous but rather that the excellent group motivation of CrossFit working a little too well and people overreaching in their lifts.

For people starting out I highly recommend taking it slow, being patient and giving your body time to adapt. Start with a basic fitness class or trainer and work your way up to more strenuous exercises.

The fitness subreddit getting started guide [3] and FAQ [4] have a lot of excellent information and links to other resources.

[1] http://ojs.sagepub.com/content/2/4/2325967114531177.full
[2] http://journals.lww.com/nsca-jscr/Abstract/publishahead/The_...
[3] http://www.reddit.com/r/Fitness/wiki/getting_started
[4] http://www.reddit.com/r/Fitness/wiki/faq
Darpa wants to brainstorm with you
The problem is we're comparing a hypothetical situation to a real, different situation in a different country with different laws. In most places in the US, there is no such thing as consensual prostitution. However, if buying sex is illegal and selling women for sex is illegal but being a prostitute is not illegal, then we're effectively saying the woman is the victim of the transaction. There is no way it could be consensual if it's illegal on one side but not the other. The reason it would be legal to sell yourself for sex but not legal to purchase is because the women were often being coerced or otherwise forced into prostitution. These laws automatically assume the woman is the victim and automatically assume the sex is non-consensual even if both parties agree to it. Just like how a minor cannot consent even if they say yes, with these kinds of laws a prostitute cannot consent even if they say yes.

If both buying and selling sex are legal, then it's a different story. But if buying is illegal but selling is legal, the prostitute is the victim. And if a drug dealer is offering something an addict cannot prevent themselves from buying due to their mental illness, the dealer is the criminal and the buyer is the victim.

Bear in mind, the point of not charging the prostitute with a crime is because they don't want to arrest someone who was forced into an illegal transaction, they want to arrest the people who are forcing others to commit crimes. If a carjacker puts a gun to your head and tells you to run a red light, you won't get a ticket. And if you're addicted to heroin, you don't really have a choice if you want to buy heroin or not. But the person who is providing you with that heroin doesn't have to sell it to you. That's why they're the criminal.
In Defense of Burger Cartography
Ask HN: Learn PHP or django?
I primarily work in ops but want to explore some dev work. Is it worth picking up PHP from scratch (I don't know any), or learning how to use django? I'm wondering what is easier.

I know a bit of python right now so that could make it better to pick up django, but I'm not quite how sure intertwined they are. AKA. if you have an existing python script, how much would be involved to integrate it with django and display output on a webpage. And as for PHP, I suppose I would like to avoid picking up another language (AKA if I improve my python.. it could help my serverside scripting as well as for web stuff, whereas PHP is only web), but would do it if the barrier to entry is easier/quicker than django.
In this case acceptance simply means facing the ugly reality that, in the real world, actors in power will rarely if ever fail to exercise it for their benefit and not yours.

The French revolution is a great example of this Realpolitik in action. The people rose up and overthrew their monarch, only to find just a few years later that very little actually changed, except the names of the principle actors and how power was distributed.
It wasn't easy but we made fastest prototyping platform
1. They lose the ability to use it as part of a similar attack in the future. They can't use the same trick too many times or it stops working, forcing them to work their way down a list of pawns.

2. It damages their relationship with Baidu and indirectly with other Chinese tech companies, in much the same way that NSA overreach affects US ones. There will be some internal political effects, depending on what stakeholders have political clout.

3. When external Chinese-speakers use Baidu, the government has some influence on what they do (or don't) see. If they are forced to other alternatives, the government loses a certain degree of information-control.
bq is already a very popular brand here in Spain, so I suppose they will be targeting their current market (and if they get devs in the process, better).
Did libreboard ever quit ganking Trello's graphical assets? That was a real issue when I first saw it announced a couple of months ago.

https://news.ycombinator.com/item?id=8936701
Millennials Managing Millennials
The mind-boggling universe of JavaScript module strategies
This post observes that

> the same tools that make Rust safe also help you tackle concurrency head-on.

The tools that make Rust safe, in this instance, being its ownership type system. Why on earth should that be the case? Why would ownership types make concurrency easier? The post gives plenty of in-depth answers to this question, but to my mind it misses the bigger picture.

The big-picture reason why ownership types and concurrency match so well is the Curry-Howard correspondence.

Ownership types are known as linear[1] types in the PL theory literature. Linear types are so-called because they correspond to linear logic, a logic sometimes described as "the logic of resources" rather than "a logic of truth". In linear logic, instead of reasoning about eternal truths like "1 + 1 = 2", you reason about resources, like "I have an apple and a banana". If you also happen to know that "from an apple, I can make applesauce", then linear logic lets you reason that you can obtain the state "I have applesauce, and a banana" (but no longer an apple).

However! Linear logic has another interpretation, a Curry-Howard interpretation. You can also view it as a type system for a concurrent language based on message-passing, where your types describe the protocols message-channels obey. "I have an apple and a banana" corresponds to a channel which will first produce an apple, then a banana, then close. This is known as the session-types interpretation[2].

At first glance it may seem that this interpretation of linear logic and Rust's interpretation are unconnected. I doubt it; in logic, everything connects to everything else. It's no coincidence, for example, that ownership (linearity) is what you need in order to send mutable values across a channel without copying. There is a deeper structure waiting here to be discovered, and I for one am deeply excited about it.

[1] In Rust's case, technically they are affine types. An affine type is a linear type whose values can be freely dropped, i.e. deallocated.

[2] Session types have been around for a long time, but only fairly recently was the connection to linear logic discovered.

Links/papers on session types:

1."Propositions as Sessions" by Wadler (http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-...)

2. Caíres and Pfenning, "Session types as intuitionistic linear propositions" (http://www.cs.cmu.edu/~fp/papers/concur10.pdf)

3. Pfenning's published works page (http://www.cs.cmu.edu/~fp/publications.html).
you should always write under a pseudonym: http://cypherpunks.venona.com/date/1993/10/msg00759.html
I consider them vulnerable. As a test I successfully hijacked a Reddit identity using nothing but tcpdump on my router. Leaking credential information is a form of vulnerability. Just because lots of people do this does not make it less vulnerable.

Even if Reddit allowed you to log in via HTTPS only and kept your session cookie secure, but let you browse anonymously over HTTP, they'd still be leaking info about what you are browsing, as you said. I agree, this is a problem for the user. Say, the user is looking at topics about maternity leave while her boss doesn't know she is pregnant. What can the boss do with this info? Or say the user is looking into methadone clinic experiences at work?

Browsing over HTTP also lets an attacker inject content. Ads are the obvious and somewhat innocuous case, but think about the phishing opportunities here. "Please log in to proceed" with a form that submits the password to the attacker.

You are right they won't change until either their users start complaining, or something really bad happens as a result of this negligence, but I am simply using them as an example of a pretty widespread issue. Lots of sites do this and it's very unfortunate.
At the time, I weighed 180 and benched about the same. I was less concerned with the numbers than just how it felt like I was hitting a brick wall and at huge risk for injuring myself.

Bench and overhead press were the two exercises in SS that were very straightforward though.
I read the article you linked to but didn't find it convincing. It seems to be saying, "I was a teacher who failed to have much effect on poor students. Therefore, teachers cannot have much effect on poor students".

We seem to disagree about how much impact a teacher can have on poor students, but I wonder if there is an experiment we can agree on which will settle the matter.

For example, imagine there are 400 schools which have two math teachers, and that the students are assigned to one of the two teachers at random. Now imagine that each year we give an award to one (out of the two) teachers whose students performed best. If teachers have no impact on student outcomes, we would expect that random chance means after 3 years about 50 teachers have won the award three times. But if we find that 125 teachers have won the award three times wouldn't that suggest that teachers have significant impact on student outcomes?
http://herebyapp.co. Apparently HTTPS URLs aren't auto linked on HN?
In Portland, Austin, and New York City, I have found it exceptionally rare when friends in a car would arrive at destinations before I would on a bicycle. That only gets flipped when the trips go suburban.
I like that the power cleans add explosiveness to the program. All the other lifts are slow (at least when I do them) and the power cleans make the program a bit more versatile.
I had massive exercise headaches from starting strength. It really isn't for everyone.

Now I happily do kettlebells.
Lua is pretty nice. Great memory footprint, easy to embed, and you can use LuaJIT if you want to trade extra memory usage for extra speed.

The best integration so far is probably Nginx:

https://blog.cloudflare.com/pushing-nginx-to-its-limit-with-...
Project Maelstrom Enters Beta
IETF is working on better stuff – and it will be standard.

RFC 7413 TCP Fast Open, already deployed on Android and Chrome OS.

RFC 6824 Multipath TCP, already deployed on iOS.

And the most important upgrade: HTTP/2.

Sorry, I'm not using commercial proxies with proprietary protocols. I believe that anything as low level as transport layer shouldn't have a "pricing" link.

P.S. QUIC is an interesting experiment, maybe it will become a standard like SPDY became HTTP/2. But UDP can't always be used... My university's WiFi just blocks all UDP completely, for example.
"thinking that this was their account'???
So now their name is Dayana, and they didn't notice? come on!
The text is still readable as plaintext, but I think you could concede that styling it a bit does make it easier to see the effect of your markdown.

It's like how, say, Sublime text has a syntax highlighter for markdown files. Sure, you could argue that is enough to signify that the contained text is bold, but it's hard to deny that also bolding that text in the editing stage is helpful.

Syntax "highlighting" like in OP's editor will always provide more than just plain text formatting can. So it's not really antithetical anyway. Sure, markdown is made to make written text as readable as possible in plain text, but that doesn't mean it can't be even more readable in a non-plain text setting.
GitHub Attack Perpetrated by China’s Great Cannon Traffic Injection Tool
We've had a long and detailed discussion on the dev-tech-crypto mailing list about the preferred ordering for Firefox and, subsequently, for the server side guidelines. It's worth a read if you're into these sort of things http://www.mail-archive.com/dev-tech-crypto@lists.mozilla.or...
I am actually playing with F# quite a bit. It is definitely forcing me to rethink the way I am setting up my C# applications.
I've seen the example as "guess the number of jellybeans in the jar," as well.
I think HTTPS has more name recognition than SSL.
The word "hack" can mean to assemble (e.g., hacking some code), but also to destroy (as in, hacking with an axe).
Treadmill desks look like a great idea all the way around. I just wish there was a model that would convert back and forth between sitting and walking easily. There are certainly times when I don't want to be walking...
Long-term, the real issue isn't the overall level of privacy or exposure in the society, but the power-gap created by privacy-inequality.
Whatever happens, it happens for good. Have faith and keep working towards your goal. No matter what if you come this far I can guarantee you all guys will make it big with or without YC's help, so keep smiling and working hard.
Can you explain more about the part where you can't fire people for being high at work? That seems wrong. http://www.calaborlaw.com/can-my-boss-fire-me-at-any-time-fo...
I would love to see a really good WYSIWYG-like thing that creates Markdown.

I'm one of the founders of Perch (http://grabaperch.com) and we have almost 6 years of experience with Perch - and many more of creating custom CMS solutions before launching Perch. We've always tried to get people to write Textile or Markdown.

When we were developing custom solutions we actually had pretty good success with getting our clients to use Textile, once we'd explained the benefits. With Perch we ship our default templates (which are really just samples) using the MarkItUp editor and set to use Markdown, and not allow HTML. However it's all configurable and we offer editor plugins so people can switch to using Redactor, CKEditor, TinyMCE or create their own editor plugin.

In discussing this stuff with our customers who are developing sites for clients, it's not something that inserts HTML that they want. They just don't want the end client to see the Markdown as they don't think they will cope. I think there is often an assumption that they won't cope, but for whatever reason they end up installing CKEditor or whatever and it allows in a load of junk markup. This makes me sad.

So, an editor that created Markdown yet allowed for some sort of preview of how things will look I can see the benefit of, if just to encourage confidence in not using things that allow inserted HTML.
That is Apple's choice for the Air (and they are notorious for slow refreshes in general). But the article is talking about the CPU industry as a whole, which is why I strongly disagreed with the "good enough since 2011" line of thought.
Counterpoint: I've heard from a lot of people that ketogenic diets have made their LDL and apo B shoot through the roof. This is how you get atherosclerosis (aka clogged arteries) and eventually heart disease/heart attack/stroke. A lot of these people look great and say that they feel great.
working out(surfing, jiu jitsu and interval training), lots of sleep(had to work on getting to bed early enough and shutting down use of computers/electronics before bed), meditation and drinking more water. Also I noticed switching to a standing desk has helped open up my hips and I am generally more flexible when doing Jiu jitsu.
I read Foundation, then the two prequels, then everything else by publication date. I remember this working well, but this was around 20 years ago :)
Smart Sewers Will Reveal What’s in Cambridge Citizens' Guts
Aww..Happily RIP $(warning)
Google has recently integrated Google Voice into Hangouts. They probably won't update and may deprecate the Google Voice site and apps. They have also been pushing phone calls from Hangouts. My suspicion is that Google will open up the usage of virtual phone numbers in Hangouts.
Is het Atkins dieet wel zo'n gezond voedingspatroon?
Damn! RIGHT ON THE MONEY.... "The reason that the 21st century's techno-euphoria relies on technology to change everything in the world is because making new apps and finding points of 'disruptive innovation' is easier than changing our fellow human beings."
As a recovering language curmudgeon, it literally kills me that "literally" is now an auto-antonym too [1].

[1] http://www.oxforddictionaries.com/us/definition/american_eng...
Looks like at least Germany and Austria have their own shop.

https://store-de.bq.com/de/
The Science of Smelling Old
> On the other hand, you can accept that both of us (along with every human alive today) will die. [...]

Why should I accept this? Humanity hasn't been improved by accepting that it was natural for people to die of smallpox, or be crippled by polio. The belief that such diseases could be eradicated was the first step in doing so.

Our limited lifespan is just another thing for us to defeat as a species. I like to imagine some far-off future where parents tell their children about our mortality in the same manner that we are told about diseases like smallpox.
I'd love to explore this further, as it looks like you've put a ton into it, but the simple difference in external documentation being there for bolton makes it much more attractive to me.

Does look like you docstring your functions--can't you autogenerate a docs site?

Edit: I do see the docs site, but it's a pretty sharp subset of the modules. The topical guides are nice, but I really prefer web-accessible basic docs too, so skipping those in favor of topical only isn't awesome from my POV.
Write C#. Run JavaScript
Dart: New AdSense Performance Reports
It's impressive they got this many colors out of it! I still remember the classic CGA Pink+Cyan color scheme[1]; those always seemed like a particularly garish choice for "default" colors.

[1] Example screenshot: http://s.uvlist.net/l/y2008/04/49443.jpg
The backup plan is that we are not immortal, so however bad it gets, at least no one can force us to endure it forever.
I've also used BLToolkit, and it is pretty fast too, plus it has Linq support to build strongly-typed queries that sometimes better than raw SQL queries. But when it comes to table hints, Linq and other stuff does not help. So, it always depends :)
The only confused person here is plainly yourself. Either that or you are somehow personally offended and desperately looking to excuse that wrongheaded comment, changing tack every time your latest attempt is shot down. Or you're just a troll. I am running out of care to educate you.

Go on and complain about tree types for not handling cycles. Because hey, sometimes you need cycles, don't you? I will be sure not to comment.

Image related.

http://i0.kym-cdn.com/photos/images/newsfeed/000/131/351/eb6...
There's a lovely app for OS X called Mou that does this quite well: http://25.io/mou/
Prolog. Extraordinarily simple model (you can implement an interpreter in a few hundred lines of code); yet extraordinarily powerful for solving many kinds of discrete-math (e.g. parsing, graph theory) problems.
I am just glad they had someone who would listen to them and act on it (the pastor/priest at their church). Good on the SPLC too for taking them on.

Glad the workers took action... if not, when their visa ended in 30 months they would have gone home abused.

The Indian Consular Service has never had a reputation for worrying about Indians - they do their best not to ruffle the feathers of their hosts. Your best bet with them is hoping that you reach the odd 'good-guy/gal' at the consulate.
I just looked at the MLB app, it allows a fine level of control over notifications, moreso than most apps. So it's a weird example he used.
(And the answer is that it's more than 1.21GW so long as they're sending 1.2x10^15 of them every second.)
Naive Bayes in Rust
This is one of Google's public facing Dart projects. AdSense is most likely the software service with the highest revenue by number of engineers (guesstimate).
I see two "axioms" in play - "was secession a legitimate state's right, yes or no?".

As tests go, this one was pretty conclusive. The South had maybe two stratagems that produced even a draw; they did ( or could ) not choose either.

I think of what we think of as "civilization" as a set of filters on humanity's basic prehistoric predilection for blood sacrifice. Sometimes these filters break down...
The same happened to me. Bad font choice, I guess. Tried several times until realized that was the problem.