skysight-inc/HackerNews huggingface dataset:
For what it's worth, younger generations of the Republican party are recognizing civil libertarian viewpoints more and more. With luck, it may in time become the political party it is supposed to be. But I guess that's being pretty optimistic.
It shouldn't matter who express the idea. It should only matter if idea is right or not. Just because it was expressed by someone you don't like it is not less right (or vice versa).
Want to be Engineer #3? Ruby engineers apply here!
Well-funded YC company in San Francisco is looking for Ruby engineers. We are Le Tote and we are looking to bring on an engineer who will be working alongside with the Head of Engineering.

You should seriously consider Le Tote because:
* We're still very early in defining our direction, so you will have a chance to work on exciting things instead of a plain vanilla eCommerce storefront.

* You will have a big impact AND you will be able to get a competitive salary and meaningful equity in the company.

* We’re building all our software from the ground up. You’ll get to work on everything from consumer web to warehouse management to mobile.

* You will play a critical role in determining the company's success with your creativity.

* We follow agile guidelines and pair program as needed.

* Early stage startup funded by Andreessen Horowitz, Lerer Ventures, Google Ventures and many other notable angels

You must have the following background & skills
* Ruby on Rails, Javascript
* Data Modeling
* Full-time engineers based in the Bay Area.

If this sparks your interest, email me at rakesh@letote.com
They seem to have dropped their big map marker right on top of Agilent (between 280 and Lawrence in Santa Clara). If you do a search for 95051 (that zip code), it eventually tells you there are no locations there.

I wonder what the significance of that marker is, then...
The practical way to validate an email address is:

1: Does the domain part have either an MX or A record?
2: Does the address in that record accept mail?
3: Does the server that accepts mail at that address respond favorably to the local part as a RCPT TO argument?

If yes, it's a valid email address.

In particular this article is wrong that emails are always 7-bit. With SMTPUTF8 you can put whatever you want in there.
The AI Sandbox looks similar to this. I've played it before and it was good! http://aisandbox.com/start/
Is the argument whether using either of the proposed IV generation modes is wrong or if it was do to NSA tampering? It certainly is wrong to do so (and should have been known to be wrong by the time of Rogaway's comment).
It was Betty Crocker's cake mix. Cakes are made for celebrating, so making it too easy lessened the experience of baking something to make someone else happy. People felt like it was too easy without the eggs, like they were taking a shortcut.

Or so the study says. I can't find the source from my notes.
Although this might seem great on paper, he just created more intractable problems for future generations to have to deal with. Instead of focusing on the quantity of life, we should focus on the quality. Educate people instead of helping them make more children that will lead sad lives.
I vote yes. Formal verification has great benefits for software security and it's the "final form" (if you will pardon a redditism) of unit testing. It's one of the top skills I would like to learn.

You might be interested in L4; there's a variant that has been formally verified (but I think it's closed source?).
> Christianity never made sense to me, with its insistence on guilt. You are supposed to feel guilty for what Adam did, guilty for what people did to Jesus, guilty for your inner thoughts, guilty for your supposed sins that the Satan put there.

That's certainly a way that many people approach Christianity, but I would say its not the best understanding of Christianity. Certainly, it is central to Christianity to acknowledge responsibility for sin as part developing humility, understanding the necessity of both human forgiveness and divine grace, etc.

But an excessive focus on "feeling guilty" moves away from that and into the sin of Judas, despair. OTOH, some people take a lot to get to the point of accepting responsibility, so what for some people is excessive for other people is simply necessary, not in terms of the point they need to get to, but in terms of the presentation it takes to get there.
I believed this until your post prompted me to look it up, but apparently it's not true: http://www.snopes.com/business/genius/cakemix.asp
> With all due respect (as they say) does this really add anything helpful to a discussion? It's like "I've searched online and people say that wordpress has security issues..."

I wasn't arguing against escrow.com. I was arguing against the comment I replied to, where the author presented escrow.com as an obvious choice, with the incorrect name, and no reasons in support of using them.

That's why I said "might" instead of "should". My point is that one can always find reasons not to use something, in absence of reasons why they should use things.

I don't want my comment to be taken without taking into account the comment I replied to, and if that's the only way people are going to read it, I retract it.
But maybe that would buy enough time for other parts of the equation to shift... It seems to me that we humans tend to change things up faster than our environments can keep up, but our environments do eventually change.

Maybe if we are part of a process that lowers the number of Jellyfish, another part of the equation will surface to help: Natural predator, loss of needed food/fuel for Jellyfish, etc.

We are always having to adapt to changing circumstances, this may help solve the immediate problem and may give us time to face the changing environment of the future.

I do not think humans can ever do anything that would be considered perfect on all fronts...
Thanks

OA has contradictions (Sony Walkman only competition then acknowledging iPod's lack of features vs other mp3 players) and fails to recognise Apple's central drive - ease of use. The iMac, iPod, iTunes made things easy. The lack of features was a feature.

"Apple stores will need to keep their true believer sales staff energised to sell ten versions of the iPhone to customers who will no longer feel fortunate to even be in the store."

The queue that forms outside the Birmingham UK Apple store most mornings these days is people trying to get things fixed. It used to be people trying to buy the new things. In that sense, the OA has a point.
With one important difference -- when a medical procedure or substance is shown to be useless or dangerous, doctors stop using it or go to jail. By contrast, psychologists just carry on with business as usual -- for example, there are still therapists offering recovered memory therapy.

If a medical drug were proven ineffective as anti-depression drugs have, doctors would have to stop prescribing it or be sued for malpractice. You can't sue psychologists for malpractice, because there's no such thing as good psychological practice for comparison.

If psychologists were forced to adopt evidence-based practice, they would be subject to lawsuits for the first time, which is why they have resisted such proposals:

Link: http://www.apa.org/monitor/feb05/pc.aspx

Quote: "Some APA members have asked me why I have chosen to sponsor an APA Presidential Initiative on Evidence-Based Practice (EBP) in Psychology, expressing fears that the results might be used against psychologists by managed-care companies and malpractice lawyers."

The critics were right -- evidence-based practice would have been a disaster for psychology -- and the proposal (2005) was shouted down.
Can you describe in more detail what went wrong with the mix of offices and open-plan? That always seemed to me like the obvious compromise: an office for when you want to get away, and shared open space when you want to work together. Were the problems fixable without going fully open-plan?

For me, headphones would help but wouldn't be enough. I hate having people moving around behind me. I could have my back to a wall, but there's still a potential problem of visual distraction. I haven't had the chance to try that, but next time I'm in an open plan I'll ask for a back-to-the-wall seat.
Ballast water is pumped in from the surrounding water when needed and discharged when it's not. It's not a commodity that's procured on-shore.

For an extreme example, see submarines.
Wal S'yphrum
I think there's a valid comparison there, although I'm not sure the author captured it. We're being collectively manipulated by all sorts of marketing and propaganda campaigns.

Those manipulations cause us to make decisions not necessarily in our long-term interest.
Bacteria do pretty well without brains too.
NSA Can Reportedly Hack Your Smartphone
FYI you'll want to check its value on the used book market.
Radiology residents do a 1 year internal medicine residency first and then they enter their radiology residency. Makes perfect sense.
> We cannot really objectively measure or test pain.

http://en.wikipedia.org/wiki/Dolorimeter

Perhaps you meant in the brain.
Stephan Guyenet is a phd and he also kinda poo-poos the whole "sugar and fructose are toxic" thing. The problem with fructose is just that it's so yummy to humans that its modern ubiquity causes people to overeat.
I reject the implications of the dichotomy of command based and montessori based management structures, but I also think you're shrugging off some important negativities that come from open offices and flat structures. (I also really wish people would stop making statements like "they are farming black swans" when talking about these big tech companies. If black swans were farmable there would be no significance to the black swan).

Where I think the article has a good point:
- These open offices are incredibly distracting, and it's not just sound, it's not a problem that can be mitigated by putting headphones on alone. In the open office at my workplace, I can see people moving; I can see who's going to meetings; I can see who's talking across the room. I think of this distraction, to use a popular new term, as a dark pattern to productivity.

I'd like to call B.S. on those who think great, creative new products come from chattering with your peers rather than working really hard. Ideas are the cheap and easy part, it's the execution that decides whether they come to fruition or not.

To me the big point about innovation, that I think you touched on and the article is wrong about, is these great ideas only happen when employees have the freedom to work hard on a side project. This is more likely to happen in a flat company, but can happen in a hierarchical one as well. Employees need to know that they can work hard on a gamble side project, and if it turns out well, will also have the freedom to integrate it with the company's product(s). That's where innovation comes from, and an open style office only slows down the work required to make an idea into a real product, and a hierarchically structured company is more likely to not allow such freedom.
I feel many people here miss the point: it's not

edit edit edit ./src/Browser
maybe annotate it with some smth
./verify some-property ./src/Browser.ml && echo 'seems OK, ship it!'

It is

coq proof.coq > ./src/Browser.ml

The source code is just a side effect of proving some theorem.

How long do you think it's going to take before program formal proof becomes the new standard in commercial applications quality standard?

Long enough
So, how is Silvrback development coming along, I wonder?
i have been using lua for request manipulation and logging.

here's a use case: you want to proxy request cookies from your application into 2 cookies (session/persistent), but you don't want to rewrite the legacy app. lua does a great job with request/response manipulation.
Definitely, spending time validating email is useless. Look for an @ to make sure the user didn't mistake the email field for the name field and send him a confirmation email if you really want to be sure.
> A negative is an indication of a bot activity or some other oddity that needs attention. Feel free to support that transparently, but the question is why would you want to do that.

Why?:

It's very bad UX to say to a human "we don't support you because we think you just might be a bot".
Ask HN: Help, I'm over-extended and I can't get up 
My parents' raised me to be a helpful person, and I've always tried to help others' when asked. It's worked out well .. I feel good doing this and learn from the experience. I'm a hacker and founder, and after having (a modicum) of success at both the requests for help have risen dramatically.

I read an article a few months ago that made it seem A-OK, that things would somehow "work out": http://www.nytimes.com/2013/03/31/magazine/is-giving-the-secret-to-getting-ahead.html?pagewanted=all&_r=0

This has not been the case with me. I have learned a lot, and gotten closer to a lot of people, but I've been neglecting my own interests to do so. The problem is I can't say no. When I say can't I really mean can't.

I don't have the vocabulary or gumption to (even politely) say I don't have the time or resources to do someone a favor. I realize this is not sustainable, but I also don't want to burn the amazing bridges I have built.

My goal right now is to go from "going all out" on every request to instead add a bit of value (suggestions, intro's etc) while maintaining at least 75% of my efforts on my own projects and interests. If any of you have had this problem, please let me know how you solved it!
IMHO after working in mobile for 2 years (we were bought by HTC but worked for most (all?) major global mobile device manufactuers except Apple) and then going through the process of interviews - in English then Mandarin.. and I'm anglo - to manage the Smart TV products for the world's largest TV producer (hint: they're Chinese) ... this whole industry is out on a limb and the myth of user experience that seemlessly moves between 'the three screens' is not only a falsity but not something consumers actually want. Primarily, vendors want it to lock you in. Appstore-style.
In any case, open plan offices are less about happiness or productivity and more about saving money and accommodating high headcount growth, with some rationalization about communication after the fact.
Okay, but Reddit could do that to the Rome Sweet Rome thing, too. Their TOS has the same set of rights granted, spelled out even more explicitly:

>>> Except as expressly provided otherwise in the Privacy Policy, you agree that by posting messages, uploading files, inputting data, or engaging in any other form of communication with or through the Website, you grant us a royalty-free, perpetual, non-exclusive, unrestricted, worldwide license to use, reproduce, modify, adapt, translate, enhance, transmit, distribute, publicly perform, display, or sublicense any such communication in any medium (now in existence or hereinafter developed) and for any purpose, including commercial purposes, and to authorize others to do so.[1]

I guess that what I'm saying here is that this clause is not in the least bit uncommon.

[1] http://www.reddit.com/wiki/useragreement

EDIT: In fact, I noticed after posting this that the Rome Sweet Rome wikipedia article has a section about "Licensing Issues", talking about reddit's TOS. (Plus general content contributed by other users.)
It seems like the author is mixing the idea of an open floor workspace with a casual atmosphere at work.

I'll be the first to rail against a lot of contemporary Silicon Valley/tech culture, but running your business like 1950s IBM has nothing to do with producing a quality software/hardware product. If you don't have a public facing job, then does it matter if you wear a t-shirt and jeans to work, and have video games in the break room, etc?

"Time was when firms modelled themselves on the armed forces, with officers (who thought about strategy) and chains of command. Now many model themselves on learning-through-play “Montessori” schools."--What do you bet that the author of this piece has never served in the military?
I think the idea here is to guard against crashes and security violations, not whether software is able to accomplish some goal or not.
Ok, but it looks more like a chicken-and-egg problem. Think about this :
Let's say i create a java/scala/whatever web framework that is even just "30% formally proved" (i know that's pretty vague, but bear with me) : don't you think it would be such a competitive advantage in the corporate world, that it would instantly be a commercial hit ?

Then once one popular code lib or framework starts doing it, we all know the rest will follow and the trend will be set.
In the beginning, Dribbble had to throttle growth, because it was a very large side project and not their full time job. I still like the idea of people being responsible for who they bring into the community, kind of like the mob.

I'm not sure if there is an algorithm for when they send out invites to people; it seems to be something that happens every so often, and there is a finite amount of them. Seeing as how many people use Dribbble as a place to find more work, I feel like there is more at stake than just making sure that the best work rises to the top. It's not my site to run, and the majority of people don't want to see those parts of it change, so I don't think it will.

I will second your feelings on the "contests" that people who do have invites run. It seems these gimmicks aren't really about finding great talent, hell, that's all over the place, but it seems like a formula for getting more Twitter followers and retweets, as that is always part of the "contest rules". If you have an invite, just give it to someone who deserves it, it's that simple.

My advice if you are trying to get more industry attention and you can't seem to get an invite is ask around and see if someone will simply share one. There are some cool people in the web industry who will, usually people who are the most well-known (hmm...there's a lesson). The other alternative would be to set up an account on something like Behance. I like the ability to tell a story on Behance with a project, and show all the steps and thought process anyway. Showing the thought process behind your decisions is a lot more valuable in many ways.
I'd even drop the '.' requirement. Look for an @, then send a confirmation email. Done.
Yes but not to the extent of a machine. We don't chew our food to mush.
Perhaps this ignores that powdered eggs do in fact taste horrible compared to fresh. They're also apparently quite bad for you (oxysterols).
You gosters are planning on writing a lot of for loops, huh?

Y'all can't be just plain ignorant about what you can do in a language that has the features to support a proper collection library... So what's up with that? You like them for loops? Or does everything that's so awesome about go make it worth the apparently complete crap state of collections?

I suspect all this has to do with a choice of greater type safety over expressiveness, but I'm not sure. I know there's this big generics discussion in the go community. The thing about generics is you sprinkle butt-ugly and cross-eyed syntax on top of expressive and you get...expressive ugly cross eyed butt syntax collections.

Help me out here -- I read these rave go reviews and then I see this kind of thing and I think "well, it'd be better than Java -- maybe way better -- but it feels like Java redux all over again reheated."
thanks, didn't realize that.
I don't want anyone to starve, but lets not go overboard on the hero worshiping.

Increasing carry capacity of the land can "save" people in the moment, but once the population catches up to the new carrying capacity we run into the same problems again unless something has changed in the meantime. Except that all the problems are worse because the new carrying capacity is

* more brittle (as other commenters) have already pointed out

* borrowed from unsustainable approaches such as converting fossil fuels to fertilizer

Arguably many of the countries that implemented these approaches have been able to slow populations growth, possibly with the help of temporary food security from these approaches.

I am just hoping for more intelligent conversation on the issue that helps people realize the true heros are those implementing sustainable technologies.
Wide use of JavaScript which we are talking about started in attempt to enrich web platform. Otherwise we would be just using PHP for web and that's it.
Hey, thanks. We're looking at a couple ways to pair with wineries, the tough part being that the small wineries are the best market, except they're the least experimental. Big wineries have people who understand trying out new venues.
Oh-my-zsh has a plugin 'cp' which is basically an alias:
alias cpv="rsync -poghb --backup-dir=/tmp/rsync -e /dev/null --progress --"
Say hello to the hideous new USB 3.0 cable
Quantitative Economics in Python
Or Canonical's packagers will just carry on patching the Intel drivers?
"Feynman would marry twice more and have two children with his third wife." http://www-history.mcs.st-and.ac.uk/Biographies/Feynman.html

Anyway, my point is, being smarter is not an excuse for "cutting one's ears off when trying to woo girls" (re:my parent comment) or for otherwise being socially dysfunctional.
The opening example the author provides is a completely inapt for their premise. In the example, the choice is between a box containing the object of your desire and emptiness; happiness and nothing. Life rarely presents us with this type of choice.

A better exercise would have been if the two empty boxes contained something unknown, but not empty.

Also, can someone explain this to me?

> Switching from Box A to Box C won't guarantee success, but will massively improve its odds.

Why would switching choices increase the odds of success?
Figure 2 is misleading, but not intentionally so. See Edward Tufte's book The Visual Display of Quantitative Information (Graphics Press, 1983).
There are no houses or doors involved here. These physical analogies don't work and never will.
> If a medical drug were proven ineffective as anti-depression drugs have, doctors would have to stop prescribing it or be sued for malpractice.

Anti-depressive (and other psychiatric) drugs are a subset of "medical drugs".

> You can't sue psychologists for malpractice, because there's no such thing as good psychological practice for comparison.

You can, in fact, sue a psyschologist for malpractice [1], but a psychologist isn't going to be prescribing anti-depressants in the first place (and, if they try to, they've got bigger legal problems than potential malpractice, starting with practicing medicine without a license.)

[1] e.g., http://www.insurancejournal.com/news/west/2007/11/19/85123.h...
1.) Grow a spine.

2.) Learn to politely say no. When I say politely, I mean to give a valid excuse why you can't spend 100% of your time on said request.

3.) Offer alternatives ie: I know person X who could help you with Y, but I likely won't be able to get to this for a few months and it would be a better use of your time to talk to person X.

In my career, I've never ever had a problem with saying no so long as I am able to offer a viable alternative for the user. Just thickening up and growing a spine will make you a lot less frustrated, try it sometime. Saying no is empowering :)
I want to build a SAAS based licensing sub module for existing blogging platforms (does not matter it is wordpress, blogger, or your own website) as long as your integrate with the licensing SAAS platform, you can license your content. Anybody interested in something like that? Idea and discuss about welcome.
Is there a public repository for "proven code" ? Like a github specialized in that field ?