skysight-inc/HackerNews huggingface dataset:
What I couldn't find was an answer to the question "why?"

I could see this being an interesting basis for teaching Computer Science in high schools, where a text like this functions in a way similar to Euclid in high school Geometry courses. I'm pretty sure there aren't any non-exceptional examples of high school Computer Science courses (e.g., the AP CS course is better described as an Intro to Computer Programming course).

And in any case this is a nice exposition.

But aside from that, I'm not sure I see any new insights here about CS/verification, nor any suggestions for research directions that aren't already extensively explored. Perhaps I'm missing something, though.

(Edit: There's a list of suggested future work at the end of the paper. I guess I get it now; although all of these things have been done in verification/PL -- and even by non-type-theorists -- they almost always involve the development of a new logic, and aren't done in pure set theory. So certainly there's a lot of work to do if you want to do things in this style. But I'm still trying to see the benefit of this style, aside from pedagogic or philosophical benefits. Is my inexperience in this area blinding me from some obvious potential? I don't know much about non-high-school set theory.)
The Transpacific Partnership and “Free Trade”
So, question on the geostationary satellites. A lot of them have relatively high inclinations, like ~14 degrees. At first I thought this was because the countries that use them are at corresponding latitudes, but then I realized they'd be opposite the equator half the time.

Are these orbits to optimize directness during the day, at the expense of the night? If so I guess that would explain why they tend to favor the southern hemisphere over the dark side of the Earth and the northern hemisphere over the light side (because that's where population is concentrated).
Assuming you were talking about debris, you can choose to stop tracking objects in the tracking station. This also destroys the object, unlike the pesky real world.

But if you've got that many stations/satellites that you want to keep, you're on your own :).
Wow, this is pretty cool.
I think something like an airplane is a much better analogy, as it is a complex system in a constant state of flux. It requires constant maintenance and has to comply with ever-changing FAA rules and regulations. It has to adapt to changing routes and distances -- it might be retrofitted to hold more fuel, or redesigned to burn less. During its lifetime, it will undergo several cabin reconfigurations, and will likely be completely rebranded more than once as it changes ownership. It will live through various versions of seat-back cell phones, overhead entertainment systems, seat-back entertainment systems, WiFi, foot rests, tray tables, and power outlets. And after decades of constant changes, it will be forcibly retired. Like software, it won't be retired because it no longer works -- it will just be EOLed because it's old, and something newer and shinier has come along.
> With Heroku (frankly also thanks to Ruby on Rails) I can be a sys-admin, developer, database administrator and QA all at once; far easier than before. For the price of $100k I have seen developers build successful products that used to cost $1M+ to develop.

Unfortunately, Heroku is down constantly. Don't take my word for it; google "Heroku down" and see how often it occurs.

Microsites? Sure. Hobby sites? Sure. Business applications that generate revenue? Good luck.
Small point of grammar: AD goes in front of the date. IPv6 will be exhausted in AD 5,395,000,000,000,000,000,000,000,000,000, not 5,395,000,000,000,000,000,000,000,000,000 AD.

Explanation: AD stands for anno Domini, "in the year of our Lord...." You would say "in the year of our Lord 2015," not "2015 in the year of our Lord."

BC and CE go after the date.
Damn. I thought that was my idea. Slam is ripe for some deep learning love. So many ways to apply it. God if only I didn't have a job. I've considered going to prison for a minor and morally acceptable offence if only so I could have time to work in this field - and I would but they don't have computers in prison. Perhaps a permissive monastery will take me in. Perhaps in another partition of reality, somewhere out there, is a version of me that has the time to play in these glistening pools. Such a shame to miss the start of something even bigger than the internet...
It is a thoughtful gesture and proper etiquette.
As happy as I am with this, I would really like to see the impact of sleep on the mood a full day later, instead of just the mood that morning. There's a difference between waking up unhappy and consistently being unhappy. Of course you do have to watch out for correlation vs causation, but the full day gap would partially reduce that effect I would think. Still not scientifically cause + effect, but oh well.
I'm a developer. I live in my car. I have a job but I don't make much. On the weekends I escape to libraries and try to find shaded areas before and after hours in parks. This past weekend was especially miserable because it was a 3 day weekend with nothing open. I spent a lot of hours just sitting in my car doing nothing. I find refuge at night at Walmart lots.
It's not a good life but I'm managing. It keeps me hungry. I'm pushing myself harder than ever to learn and hopefully get a better job.
Keep your head up, and remember this is only a temporary situation, it will pass.
Health boosting benefits of cinnamon
This sounds vaguely like when I interviewed for Dark Horse Comics' IT team, without the parties.
Could segment.io help you?
It's fine to use intuition, but it's extremely important to be able to reflect and recognize on its shortcomings, which is that you may be inadvertently layering your own subjectivity on what you think is objective. In this case your outburst is not valid.

Is forcing yourself on another person immoral? Yes. Is intentionally manipulating someone's relationship for personal gain immoral? Yes. Are two people recognizing they would be happier together, and leaving a previous relationship immoral? That doesn't seem wrong.

You are the one coloring this scenario as "stealing". There is no information here about who these people are, what their relationships are like. You are projecting onto this situation and constructing this strawman, and in turn moralizing about the strawman. That isn't reality.
> Also, is there any way to actually resolve this issue quickly while Cloudflare deals with their fuckup?

Learn basic troubleshooting so you can determine which vendor is the problem (ie not Cloudflare in this case).
WeNote: never forget anything anymore, anywhere
It sounds like their research is a little more robust than that:

http://www.ncbi.nlm.nih.gov/pubmed/18037011

It's not like Lamarck or Lysenko proposed specific persistent markers on DNA, the failure of their ideas doesn't do a lot to discredit the possibility of epigenetic effects.
You really need to rephrase, because the way I read this statement is contradictory:

Responsibility: the state of being the person who caused something to happen.

Blame: to say or think that a person or thing is responsible for something bad that has happened.

I think what you want to say is that we're asking people to stand against this sort of abuse, which seems to be happening to the extent possible. If you have suggestions for further steps to stop this sort of thing I think everyone is all ears, but the language you're using suggests random programmers and sysadmins should write long blog posts taking responsibility for negative acts of which they had no part and are against. That seems both pointless and somewhat insulting.
And you know this because you interviewed the hundreds of thousands of discontent reddit users I presume?

Generalizations are fun, but they don't make the greatest arguments.

Not all users that were upset at the /r/fatpeoplehate ban were subscribers to that sub, and not all subscribers to that sub were partaking in harassment I presume (which is a reasonable assessment based on the subscriber numbers and the usual ratios of participation in online communities).

So taking all that into account, even if this is in fact the main demographic of disgruntled users, that still has nothing to do with misogyny. If it were true misogyny, they likely wouldn't even be using a female employee as their martyr. I really don't understand what distorting contexts and stretching the truth to frame things in terms of sexism is supposed to accomplish, but it's certainly not proving any points.

Reddit screwed up, and it's CEO's decisions clearly affected an influential and vocal part of the community, to the point where it's now open to competition from sites like voat. There's enough business mishaps and silliness in all this to explain everything, I don't see how shoehorning misogyny into it adds anything of value.
https://www.youtube.com/watch?v=Dda-0Q_XUhk
We had the same question and concluded that the only reasonable way to say more than "Well, we hope this doesn't happen again" was using 2 different authoritative DNS providers (both anycasted). Details: http://blog.papertrailapp.com/dns-outage-on-monday-december-...

It's not a question of trust; at some point, any single provider will get DDoSed or have an operational bug.

The only question is whether you're willing to accept that. If you are, then try to pick one great provider.

If you're not, and are willing to spend a little time to avoid this problem, try to pick two great providers. Since then, DNSimple has made primary/secondary providers even easier: https://support.dnsimple.com/articles/secondary-dns/

Basically, if you don't want this problem, don't pick one provider. It's not bulletproof, but it's a lot closer.
Consider working directly with the FCC to catch them. It would take time, and it might be a pain, but that sounds like a great "honeypot" for analysis.
Footnote Detection: understanding a page visually at the machine level (2014)
This is part of the design of IPv6. There are (amost) never networks other than /64. This allows the possibility of generating addresses based on a mac address, and frequently changing addresses for privacy reasons.

Most devices will not work on a network with a mask longer than 64. The only common exception is point to point links between routers, which may be a /127.

Removing variable length subnet masks from end networks makes routing and configuration a lot simpler.
> However their debt would still be payable in Euro and the new currency would have a terrible exchange course.

Ahh, I didn't realize this, but yeah, you're right. The debt would stay in Euros...

Or would it? Maybe you switch to a new currency at 1:1 (at the start, of course it drops immediately) and your debt uses the new currency too? Who knows
This is a variant of 'I don't understand [something]...therefore I must be right'.
Success Is a Question of When, Not If
The headline of this Feb 12, 2015 blog post exaggerates how generalizable these results are likely to be. By the way, do we have a direct link to the published version of the study readily available? I just tried some of the usual online steps for looking up the author's most recent publication on the issue, but what I found was a repost of this Scientific American blog post (which is already a few months old). I study this research with a journal club populated by leading behavior genetics researchers, and any preliminary findings of this kind need a lot more replication before being publishable in an astute journal.
> This amazes me: what makes them think that they aren't a trusted source of news for their audience?

They probably know that their audience trusts them as a source of news, but they also know that the wider perception of them is not as a trusted source.
It reads like full-bore PR nonsense to me.
It was the most fun I've had in a long time, I would definitely encourage you to participate as it is a global hackathon [1] and anyone can join from anywhere actually :)

That said I'd still prefer to be on-location as there was such a wide range of people with different backgrounds who were all super inspiring and a joy to work with! There actually weren't enough programmers so I got to hook up a lidar to an Intel Edison for another team which ended up winning the Intel price - the team leader even gave me one of those Edisons and invited me to visit Google NYC.

Yupp, I'm a lucky bastard :) and I didn't even mention that Lord British gave a talk too [2] (he bowed when I thanked his honour for being an inspiration since my childhood).

If you are only slightly interested do participate in the next Space Apps Challenge!

[1] https://2015.spaceappschallenge.org

[2] https://twitter.com/musha68k/status/587000418095464448
How Mexico is becoming the drone capital of Latin America
Yeah, bug reported, some users are experiencing problems with it. We've just fixed this and will be corrected in the next update coming in a few hours (hopefully no more than one day)
Material Design Lite – Material Design in Vanilla CSS, HTML and JS
Did anyone proofread this PDF before they sent it out? I couldn't read the equations.
We have a lot of Chinese students that come to the school I work at. All of them have this software and similar installed and it causes nothing but headaches.

They believe they actually need it installed even when the school supplies them with a laptop that has all the necessary protection pre-installed.
Write Text Adventure in Original Infocom ZIL(F) Language
Apalled that this was downvoted. Either you are attacking the poster directly or you are against freedom of speech, either way, poor form.
ZenDesk uses Dyn. Hence, it was down. Sorry about that.
You really can't discount the study of epigenetics as a modern field, simply because Lamarck and Lysenko were incorrect over a century ago.
There have been a series of well-reproduced studies, in animals and humans, looking at methylation of genes related to stress hormone receptors in the hippocampus of subjects exposed to stress/abuse.

http://www.nature.com/nrn/journal/v10/n4/full/nrn2629.html

These changes can persist to their offspring.

This may be a pop science article, but the steady stream of these findings suggests that there's some pretty ground-breaking stuff happening here. One of my mentors in residency was betting that Michael Meany will pick up a Nobel Prize for this work.
Or you know... just use the in-built security in Windows 8.1. It's fun telling people they don't actually need to install a free AV anymore. They never believe you.
That's because Route53 is basically bullet proof, such that their SLA guarantees 100% availability. I have switched everything I touch to Route53 and have had zero issues.
There was a radiolab episode awhile ago about a study in Sweden. They had records going back centuries, of family trees and each years harvest. They found that grandchildren of people who starved at the age of 9 had significantly better life outcomes.

http://www.radiolab.org/story/251885-you-are-what-your-grand...
Here's the thing: accountability/responsibility must match control.

Can I stop all this? No. I'd like to, but I can't. Then there is no realistic way that I can take responsibility for it.

Can I call out whatever I see? Sure can. That I'm responsible for.
> Freedom of speech doesn't mean that anybody other than the government has to have anything to do with you and doesn't apply to anybody here in their personal judgments of somebody who's choosing to act shitty.

Man... I'm really sick of this lame, lame, lame misunderstanding of free speech. The first amendment of the US Bill of Rights is a legal embodiment (among many others throughout history) of the ideal of free speech, but that's not where it ends. Attempts to shame (or otherwise coerce) unpopular speakers into silence is still a violation of that ideal.
> I am not familiar enough to say he did or didn't steal company property, but I would certainly not say that "there is no market for stolen code".

He hasn't stolen anything (since the source code is still on GS' computers), he just copied it illegaly. Using the word "stealing" for this is plain propaganda.

> https://www.youtube.com/watch?v=IeTybKL1pM4 [Copying Is Not Theft]
Chrome on OSX here, it originally rendered the orbs, but then once the Earth was rendered they disappeared.
Hey that'd be awesome, thanks for helping out! My email is dave@roomblocker.com

Random side note: I met my co-founder playing basketball. Good way to test a person's character ;)
congrats dave!!!
One could say the same about any so-called free people. Do you feel free? Even though you don't have eternal life? Even though you can't afford to fly to work every day in a jetpack? Even though you can't have sex with a woman other than your wife? If you have the things that matter to you, and can make the choices that are meaningful to you, then you are free.
We're talking about _root_ _canals_, not dental fillings! Other than the anaesthetic, the materials used in root canals are are entirely different from those used in a dental filling.

Furthermore, root canals require different training and are (usually) done by endodontists. Dentists usually handle the more mundane and more tested procedure of dental fillings.

My point is, root canals are much more invasive and have their own problems(not associated with dental fillings).
Reddit’s Community: Can’t Win with ‘Em, Can’t Win Without ‘Em
> Freedom of speech means the government can't arrest you for saying it

As I mentioned above, that's overly simplistic to the point of being wrong. Yes, there are statutes in various legal systems throughout history preventing the government from limiting expression. No, that doesn't mean that freedom of speech only exists in that regard.
Residents only is also unfair. What if I wanted to own a place in SF?

Lots of people only live in a place part of the year.
Have you gotten a chance to read Seveneves yet?
The “Sharing Economy” Is the Problem
I did something remotely similar with a guy online - we set a schedule to each launch a monetised microsite within five days and 'keep each other honest' (e.g., not get lazy and do nothing each night). The plan was that each morning we'd check in and show progress - only allocated an hour each night. The pressure would motivate us to see it through.

Even though we'd never met and did everything via email, I still found it effective and built a site that made several hundred dollars and then sold down the track. Nothing lucrative, more than my hourly rate by hours spent.
I don't know if the exact percentage is publicly known, but that Google Ventures invested $258M into Uber certainly is: http://techcrunch.com/2013/08/22/google-ventures-puts-258m-i...
Fun FAIL: try using the URL without a (SQL, Linux, etc) category:
http://xquizzes.com/programming/
Awesome! How can I register to get news when you do start working on those projects?
A Venice Beach surfer cashes in with an iphone app. Just go surfing, yo.
How+a+Venture+Financing+Can+Implode+Post-Term+Sheet
I agree it doesn't make sense for Servo to be a drop-in replacement for Gecko, but that doesn't mean we shouldn't bend Firefox towards compatibility with Servo. A future Servo-based Firefox is far enough off that it's impossible to predict every step from here to there, but if you ask me, dcamp's email is on the right track: we should evolve Firefox away from dependence on non-standard tech like XUL, XBL, and XPCOM and towards self-hosting on standard web technology and taking full advantage of everything Servo has to offer. What that looks like in practice remains to be seen.
Carrying Two Phones
There are a couple of ways to do "geosynchronous".

The most obvious way is an circular equatorial orbit at 35,786km. As I'm sure you know, but others may not, the orbital period at that distance means that the satellite completes one full orbit in 24 hours, thus it completes a circle in the same time that the earth does, so it's always over the same spot.

There is also the concept of a Molniya orbit (https://en.wikipedia.org/wiki/Molniya_orbit), where you have a small cloud of satellites (at least 3) with extremely elliptical orbits that together can provide coverage for non-equatorial areas.

If you come up with the satellite's name or designation you found, it's probably relatively easy to determine why it is at the inclination it has. Do you remember what it was you found?
ICML 2015: New SOA for Neural Word Embeddings by Modeling Word and Char Order
Great idea. Going to show it to my toddler. See if it inspires him to draw.
The video is showing fine here. I'm using the HTML Video Everywhere! extension.
It lost me at "TED"
All of this discussion of the accuracy of the counter also overlooks the cosmology- Sol is projected to expand into a red giant, which while it will certainly destroy the Earth, will not actually explode. Our sun isn't heavy enough to go supernova.
I've been a jerk, to women, at work, a few times. Never sexual harassment, though.

And I'm trying to never do it again. And if I see someone else do it, I hope I'll call them on it.
Not yet actually, thanks for the recommendation - loved Snow Crash!
Waze enables this (add a destination en route to another destination) pretty seamlessly for a single additional point. They don't really do multipoint trip optimization afaik.
It's hard for me to believe someone telling me "if it's not 100% native look and feel it's not good" when they're trying to sell something and build a content silo.

> The correct thing to use is AppKit on OS X, WPF on Windows, GTK+ on Gnome, and Qt on KDE.

WHAT?! Personally, being asked to rewrite the UI for X different native platforms is rage-inducing.

Some people who write their apps in Web technologies have done native UIs and are sick of the duplicated effort. ;)
Is there a site using this does something useful and is better than a vanilla site? One that isn't a portfolio, resume, demo, or Material Design promotion? There's a site of "15 awesome examples"[1], but they're mostly promotions for material design, or very basic sites.

[1] http://materialdesignblog.com/15-awesome-examples-of-materia...
While I enjoy calling epigenetics "Lamarck's Revenge", it's not correct, and I'm well aware of that (I'd even call it part of the joke, at least for myself). Lamarck was wrong about the dominant way in which traits are passed down, full stop, and no future discoveries are going to change that. Epigenetics is more limited, more nuanced, and also, to some extent, now inevitable that it's doing something.

Remember, the genetics you learned in school were just scratching the surface of what was known even then, and the science has been progressing by leaps and bounds since then. Everywhere they look there's another complicated mechanism doing complicated things for complicated reasons. It's terrible and awesome, in the original meanings of those terms.
The "genetics" in epigenetics can actually be quite controversial. That is, how epigenetic markers are inherited isn't very clear. In terms of DNA methylation, there are methylation maintenance enzymes. But for histone modification, how they are inherited (are they being inherited?) isn't very clear. Would enzymes that perform a certain histone modification being passed from mother to daughter cell during division be considered inheritance of the marker? The "information" for the epigenetic marker isn't being passed down, just the machinery is.

Anyways, there are still a lot of things to consider.
Conviction of Former Goldman Sachs Programmer Is Overturned
working for a corporate cult.

Much like the modern (wrong) meme of "every company should try to be an abusive monopoly," every company should also try to be a cult unto themselves. You want your employees willing to die for the chance at helping you become a billionaire while they get much much much less. They should wake up every morning wondering how they can win your approval, even if it requires sacrificing their own wellbeing.

A good SV-viewpoint sociopathic writeup of why your company should be a cult is (pdf) http://blognewcomb.squarespace.com/storage/essay_pdfs/cult.p...