skysight-inc/HackerNews huggingface dataset:
There is something to be said for making sacrifices, including on behalf of your entire family, in the face of ethics, and that most massive ethical challenges the human race has faced are because of people who would not refuse to participate.

But this structure can be applied to varying degrees in varying situations. A company who keeps an unencrypted copy of all my files and welcomes, for no particularly good reason, an INCREDIBLE advocate of overreach in government surveillance, not to mention violent tactics such as torture to extract information, and an architect of today's guantanamo bay facility, onto their board is a reason to be concerned about doing business with that company.
This whole episode reminds me that staunch liberals are no different than religious fundamentalists AFAIK. Same nature, different nurture.

Both groups hypocrisy knows no bounds.
That was a beautiful post.

Currently I'm in the complete opposite modus operandi. I don't do a lick of side-project work during the week, and on weekends I take a modafinil(wakefullness promoting medication) and stay up nights on end to crack out as much as I can.

I get an INSANE amount done on the weekends that I have the energy to pull this off, but it's horrible for my health. The rest of the week I have anxiety about the coming weekend, and it completely throws of my circadian rhythm. Not to mention that I'm only able to pull this off perhaps once or twice a month.

I'll definitely be changing my work schedule to be more in-line with a daily habit. Being able to look back and see a lot of consistent work being done sounds way preferable to being able to look back at a few weekends of consistent insanity.
Well, we know now that Chrome is switching to OpenSSL, so that's likely what prompted Mehta's discovery. I have no idea who Codenomicon are or why they were looking though.
Try out lobste.rs

It's way too easy to argue about politics on the net without any real effect--too fun, too easy, and too useless.
I'm not saying you shouldn't, I'm just suggesting it's not news. I think this is coming from a bizarre hatred of the Bush administration in particular, and not some newfound resolve to hold individuals accountable to ethical actions. If it is simply a new action that coincidentally is starting with Condi, then great. I don't believe that to be true.
Businesses can take a moral position, and in fact, many businesses who work with the government _do_ take a moral position in doing so.
I know for some people, TDD is the kind of friction-causing mechanism that kills the desire for everyday coding...but I've found it extremely helpful, even for small personal projects.

On nights when I absolutely cannot write a piece of working code, I scaffold out the tests. When I wake up the next morning and have 5 minutes with my coffee, I pass a test. Not much gets done, but by building the habit and ability to "jump into coding", no matter the time, place, or circumstance...that's how I've been able to build the coding-zen-mentality needed to write "real" code when the time comes.
Ask HN: Is there a way to automate logging in on the top 1000 websites?
I think this would be a very helpful tool to ask the web "Where do I have a username and password matching this: XXXX and XXXX?"

It would be the opposite of 1Password or LastPass, supplying you the websites instead of you supplying it the websites...
Also about the service: is the website compliant with AML and KYC regulation? You might be acting as a money transmitter under FinCEN rules. Might want to consult a lawyer.
Fireside chat – Jeff Dean, Urs Holzle, Eric Brewer
Doesn't help that it's not particularly compelling:

http://www.zdnet.com/the-big-browser-benchmark-january-2013-...
http://www.techradar.com/us/news/software/applications/best-...

I use Safari daily, both to test and to visit several popular websites. My experience is that it's the first to somehow lock up with even a moderate number of windows/tabs open.

There's a lot of things to like about OS X, but these days I don't think Apple's heart is in web-related stuff.
Great post! A similar approach has been working really well for me. I'm on target to hit a year of consecutive days of coding this weekend. GitHub: https://github.com/zachlatta

I had a bit lower baseline than the author. My rules are as follows:

1. Commit something, anything. Even if it's just fixing a typo in a readme or phrasing some documentation better.

2. You must commit every day.

3. Every contribution must be useful.
So that was "You can always just refuse to run any function [at] compile time that has not yet passed termination check."?

All of this is certainly the case, and useful, and interesting. It doesn't contradict the point that 1) guaranteeing termination and 2) guaranteeing you return "no" on every incorrectly typed program are incompatible, which was approximately the original question.
"It's one of the Internet's biggest security flaws" - aww, you're killing me here :)

We have looked at it. Repeatedly. First when porting Chrome to Linux (and trying to decide what sort of UI there should be for NSS cert management). Then for ChromeOS. And then again, revisiting it in light of the OpenSSL migration.

The reality is, the certificate management/configuration UIs, of all platforms (Windows, OS X, Linux-via-Firefox-and-Chrome-which-just-copies-Firefoxes-PSM), is hard. It's hard to express the decisions. It's hard to explain how the branching and cross-certifications of CAs can affect trust decisions (eg: recall DigiNotar's cross-certifications).

And in the end, it's not where users are spending their time/being tripped up. Getting the lock icon into a more meaningful state is a far, far greater investment, with far, far more actionable returns in users security. The work of the Chrome Security Enamel team on this - especially Adrienne Porter Felt - has been focused on trying to improve this.
This time, I definitely consulted a lawyer.
#1 isn't interesting because placebos don't work. By definition. "[A] simulated or otherwise medically ineffectual treatment, per Wikipedia. If a trial of a medicine works as well as a placebo, that means it does not work.
Ah, ya, you aren't going to be able to use Github's users on a Gitlab instance. It is like hosting your own copy of a Github-clone, basically. :/

You could write API integration between the two yourself but it wouldn't be that similar.
Tactical weapons guidance systems, tesla and space-x, I believe those are in the category of "NSA will secure this with a bit more tools than given to the public as recommendations".

It could be methods like increasing security for those companies gmail accounts - on the Google internal network and all, closing all normal backdoors on Tesla employee computers, installing NSAs own intrusion detection system on them and such.

And to top it off, feed any Chinese and Russian hackers misinformation through honeypots and "accidents".

In Sweden for example during cold war it was quite popular to install extra instrumentation on jets and provide "just for the soviets" technical documentation - seed confusion and such.
The mobile ecosystem could really use a platform that is web friendlier. Firefox OS will have web developers becoming mobile developers overnight. That said, I wonder if those developers will understand the performance differences of a desktop vs a mobile device. If they don't, the performance of Firefox OS apps will be awful and Firefox will be blamed by the end user.
Try out lobste.rs

I do, and I like lobste.rs, but it's a little bit of a catch-22. Lobste.rs is more "ideologically pure" because the userbase is smaller, but that smaller userbase also means there is a lot less discussion going on at any given time. But I think we're clearly starting to see aspects of the "Eternal September" effect here, due to the user growth over the years. So what can ya do? sigh

It's way to easy to argue about politics on the net without any real effect--too fun, too easy, and too useless.

So very true. :-(
Link to the original article. http://www.reddit.com/r/getdisciplined/comments/1q96b5/i_jus...
Could we please bring this to a coffee chain that makes good coffee? Peets or Philz?
I find it is easy to get along with a wide range of people of the same age, probably because of similar circumstances and concerns (get education, find a place to life, get a family etc), even if the chemistry is not that great.

With people of different ages it's far harder to work around that, and easier to notice when the chemistry is great. It's fantastic when it works out like that, but difficult or boring if it does not.
we're actually in the process of changing the name :)

EDIT: re FRP, you might find this Lambda The Ultimate post insightful: http://lambda-the-ultimate.org/node/4900

FRP has issues with openness and isn't real great at dealing with collections. It also forces you to express things kind of unnaturally (e.g. instead of "click this and increment x", you say "the counter is the count of all click events"). There are other methods of managing time, like Glitch[1] and Bloom[2] that seem more promising :)

[1]: http://lambda-the-ultimate.org/node/4910
[2]: http://boom.cs.berkeley.edu/
+1. I've been using Joe's Goals [1] to track my daily goals since I learned about it on Life Hacker years ago. Can't recommend enough.

[1] http://www.joesgoals.com/index.cfm
I would say changing to a more consistent work schedule is definitely a good idea, but don't lose the "schedule" part. There's a huge advantage to being able to say "okay, now is work time".

However, after writing that I imagine it's a very personal thing, not everyone will work best in the same way.
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN" "http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><!--This file was converted to xhtml by LibreOffice - see http://cgit.freedesktop.org/libreoffice/core/tree/filter/sou... for the code.--><head profile="http://dublincore.org/documents/dcmi-terms/"><meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/><title xml:lang="en-US">- no title specified</title><meta name="DCTERMS.title" content="" xml:lang="en-US"/><meta name="DCTERMS.language" content="en-US" scheme="DCTERMS.RFC4646"/><meta name="DCTERMS.source" content="http://xml.openoffice.org/odf2xhtml"/><meta name="DCTERMS.issued" content="2014-04-10T12:09:56.750408000" scheme="DCTERMS.W3CDTF"/><meta name="DCTERMS.modified" content="2014-04-10T12:10:53.104205000" scheme="DCTERMS.W3CDTF"/><meta name="DCTERMS.provenance" content="" xml:lang="en-US"/><meta name="DCTERMS.subject" content="," xml:lang="en-US"/><link rel="schema.DC" href="http://purl.org/dc/elements/1.1/" hreflang="en"/><link rel="schema.DCTERMS" href="http://purl.org/dc/terms/" hreflang="en"/><link rel="schema.DCTYPE" href="http://purl.org/dc/dcmitype/" hreflang="en"/><link rel="schema.DCAM" href="http://purl.org/dc/dcam/" hreflang="en"/><style type="text/css">
@page { }
table { border-collapse:collapse; border-spacing:0; empty-cells:show }
td, th { vertical-align:top; font-size:12pt;}
h1, h2, h3, h4, h5, h6 { clear:both }
ol, ul { margin:0; padding:0;}
li { list-style: none; margin:0; padding:0;}
<!-- "li span.odfLiEnd" - IE 7 issue-->
li span. { clear: both; line-height:0; width:0; height:0; margin:0; padding:0; }
span.footnodeNumber { padding-right:1em; }
span.annotation_style_by_filter { font-size:95%; font-family:Arial; background-color:#fff000; margin:0; border:0; padding:0; }
* { margin:0;}
.P1 { font-size:12pt; font-family:Liberation Serif; writing-mode:page; }
.T1 { font-style:italic; }
<!-- ODF styles with no properties representable as CSS -->
.Endnote_20_Symbol .Footnote_20_Symbol { }
</style></head><body dir="ltr" style="max-width:8.5in;margin-top:0.7874in; margin-bottom:0.7874in; margin-left:0.7874in; margin-right:0.7874in; writing-mode:lr-tb; "><p class="P1">I don't get the point either. Plus, Markdown has its <span class="T1">own</span> set of annoying rules. Most software will already export to HTML, too, like LibreOffice.</p></body></html>
>Basically, yes. If you want your type checker to be decidable, you're going to have to restrict the type language to be much smaller. In general, dependent types are undecidable to type check.

In dependently typed programming languages like agda and Idris typechecking is decidable. You are wrong here.
Personally I like to do my side coding project in the evenings. I find that if I do it in the morning it's too "all consuming" (I'll end up working on it to the exclusion of my main work.) For me morning/early afternoon is my prime coding time so it feels right to devote those hours to my job. I concede that the weekday side project code won't be the most amazing ever, but it's something and it's moving me forward.
When the so called Seinfeld technique really takes off, you forget to even mark the calender, then get the gratifying experience of going back and marking a big block of days after the fact.

I guess that's the threshold of the internalised habit.
if you only have 1 repository with more than 10 stars, sorting your work seems a like a premature optimization.
We can disagree. But she was a participant in something that I find horrible. I was one of the people she and her group fooled at the time.

Yes, indeed, I will hold it against her. Her morality is abhorrent, and it, frankly, is wrong to think that it should not have broader consequences for her living in society.

I think that if we got rid of this idea that "it's only business" or "she did what she had to do" or any of these other little slogans that allow us to dismiss antisocial behavior outside of the context in which it occurred, then we would be revoking some sort of implicit permission that so many seem to be willing to grant to people who wish to do bad things.
If they make a point about it, say you'd be willing to negotiate on the six month notification clause.
The American people were duped. And it wasn't easy; they had to create a lot of lies, some coming straight from the CIA (being pressured to create a case for war). They put on quite a show at the UN. And when the people get behind something, politicians have to take notice; after all, they can't wield any influence on the process if they don't get voted in. The mood in the country at the time was vengeful, hawkish.

And really it's a separate issue. The point is, who would you rather vote for? Would you really prefer voting for the really successful liars?
Thanks for the feedback. I updated the post with notes that mention these corrections.
Would you say that it's ok for it to come out of the closet now that Eich's gone.
Knowingly I will not support a company that works with politician who are known to support and subvert privacy of individuals

https://en.wikipedia.org/wiki/Google_China

If people want open-access to technology around the world, do you really think a 28 year old founder is going to get a fair deal from Vladimir Putin or the Chinese Government/? The US Potus has a hard enough time (with all his staffers) dealing with the complexities of internatinal relations. The same goes elsewhere... So, one can show up un-prepared or not show up...again no easy answeers.

(also) http://googleblog.blogspot.com/2010/01/new-approach-to-china...
This is the system Apple used to test iPhone software in 2006
>Gödel guarantees that full-blown theorem provers, even with human guidance, cannot prove all true statements about sufficiently rich systems. 'Sufficiently rich' here just means 'includes Peano arithmetic', and you can find tons of tutorials for doing just that (Church encoding) in even the simplest type systems.

They don't prove theorems. You do this by writing a program.
It does! We don't require special changes to your code so if you can change a hostname you can use our tools.
Yes. That group wouldn't be 150 though.
Hey guys! You might remember our last app, Card for Coin, where we were buying Starbucks for bitcoin. Well, here's the other side- we're looking forward to your feedback.

The websocket stuff is a little touch and go, so please let me know if you have issues. Let me know if anyone has an issue loading a card or getting a refund, and I'll work it out.
Does Starbucks have an API for creating gift cards and transferring balances?
The ability to denominate cryptocurrencies in other cryptocurrencies. It's similar to having the dollar back by gold.

http://www.cryptocoinsnews.com/news/adam-back-sidechains-can...
I agree, definitely. I tried to emphasize how important it is to make this a lifestyle change (equivalent to dieting or exercise) rather than just a "check the box" tactic. I've absolutely broken streaks in the past (especially for dieting and exercise) - but I feel confident about this one because I care about it so much. I just can't let it fail!
>The problem with theorem provers like Adga and Coq is they are brittle to refactoring and thus hard to make changes to an app. Something seeming small can ripple through the whole system.
I hear Idris is more reasonable in this regard and has better general purpose programming properties.

You can say the same for any strongly typed language, but reality is it's the opposite. If your program has a good design, it's easy to refactor.
I am not a fan of markdown, but I think it shines in niche uses.

For instance typing two "*" or 5 "<>/" are a completely different experience on an iPad for instance. For a sublime text plugin it seems irrelevant, but if you edit your files in different environments it's a boon.

It's also a lot more parseable and sanitizable than html, and doesn't need much escaping when moved around.
I Think WP and FirefoxOS are the two big players in the low-end smartphone market, and the victory of one of those depends on that segment of phones.

WindowsPhone8.1 already allow developers to use html5/js to create native apps (using winJS or any other framework) and the smartphone that sold most is the lumia520 -> the most low cost of all the wp gamma.

I hope FirefoxOS will succeed, but considering that MS is trowing literally Billions to keep wp alive, I doubt it will be easy.
Yes we can- and we are. We started with Starbucks for a number of reasons, but I can't wait to get Peets in there. Hell, I'd really love to get some good indie shops- but we've gotta start somewhere.
Faster-than-light communication using entanglement is not possible, according to the standard rules of quantum mechanics.

(Dropping some credentials doesn't seem inappropriate here: I worked professionally as a researcher on quantum computing and quantum information for 13 years.)
>I have to admit, it does look pretty spammy.

I agree, more on this below (end of the page).

https://support.google.com/googleplay/android-developer/answ...
Nope https://news.ycombinator.com/item?id=7565410
It is possible to work at Google and own a side start-up at the same time? Is UK less prohibitive about such situations than US (intellectual property)?
I just want to caution folks, from experience, that it is easy to miss the forest for the trees if you are constantly trying to code.

I think the key takeaway here is that sticking to a plan is helpful, and that a coding heavy plan is a productive one. This is a great post for that.

I would argue that a good plan should include time off for reflection, and to avoid burning out. I have seen too many engineers burn out because they were convinced that working constantly was optimal for progress.
If so, I'd love to hear about it.
A chrome extension built using famo.us
Stephen Colbert to succeed Letterman
I'm just suggesting that the outrage in general over Condi and Dropbox is a bit hypocritical, and not really about her past actions but simply her connection to the Bush administration. You can boycott whatever you want, I just find it interesting that in most people here it is very selective. I'm boycotting this company for this reason, but not this other company that does VERY similar things.

To me it just shows that Dropbox isn't as important and has easier replacements than the other companies we are talking about. It would be impressive to convince people to stop using something that doesn't have a good alternative. It just feels a little hypocritical to be gung ho I'm boycotting this company (that I maybe didn't use that much and has 7 easy replacements) but I'm doing it because I'm all about ethics and Condi is terrible.
The US under Obama managed to avoid getting involved in a civil war in Syria, despite much rhetoric form the Republicans telling people how weak that supposedly made Obama look. If you prefer to stay out of such conflicts, would you really consider voting for the party that was enthusiastically calling for intervention?
Experiences with modafinil have been mostly positive? Any major draw backs?
The world as a general whole, and the United States in particular, has been moving in a more open, more inclusive direction both socially and legally for quite some time. First blacks, then women, now LGB's (and hopefully soon T's).

There is not only no evidence to suggest that ludicrous extremes like the one you posed are anywhere near happening, the evidence (at least if we're analyzing the existing pattern) points in the complete opposite direction.

But this is exactly how things like "Jews just aren't human" get started.

Stop it. This is not only unhelpful, it's pandering to a completely absurd fear.

The pattern is a bright, unmistakable line, and the massive majority of people I see complaining about it are attempting to make an excuse for bad behavior in one way or another - thinking that certain actions shouldn't have any consequences because of this irrational (or is it?) fear that they'll be next.

Sorry, we left that world behind the moment we entered the information age, and trying to haul it back is ludditism at its finest.

Actions have consequences whether or not anyone likes it.

The moment a movement to deny rights from Jews or whatever starts up with any seriousness and with any level of mainstream acceptance, I'll be right there with you asking "WTF?!" - but in the meantime, let's stop trying to compare intolerance of harmful actions to intolerance of someone based on what they are. Tolerating evil makes you at least a little complicit in it.

Not only are they not the same thing, but the motivations in play are lightyears apart.
Oh no, now you can build cool stuff and be an internet activist on HN.

Waaait a minute.. Now I get it. These sly HN activists are forcing you to go into political threads, read them and participate in the discussion and you don't have time left for reading about cool stuff. Damn these poisonous activists!
The linked page says it takes 25 minutes to get your money back, but the FAQ says it takes only 15 minutes.