skysight-inc/HackerNews huggingface dataset:
As someone who went through the same thing, my best advice is, don't read monad tutorials; just write monadic code. Reading too much can just be confusing and might make you feel like an idiot for not understanding it yet. In the beginning it might be weird, and you'll no doubt spend a great deal of time puzzling over obscure type errors, but it will eventually become intuitive, if you're actually writing code and working through it. Haskell is a theory-heavy language, but it's still a programming language, which is actually meant to do things. There's no substitute for experience.

Perhaps try going through "Write Yourself a Scheme" which uses monads from the outset, or look at "Monad Transformers Step-by-Step" (be warned though, it starts off mostly simple but then makes a sudden and somewhat jarring leap forward). Try to implement a stack with "push" and "pop" monadic operations (use this as a starting point: http://brandon.si/code/the-state-monad-a-tutorial-for-the-co... but keep in mind it's much more important to WRITE the code, and play with it, than to try to understand how it's all working just via explanations).

For what it's worth, here's my ten cent explanation of monads:

A monad is interface for containers. A type which implements this interface must have two methods, `return` which inserts an object into a container, and `bind` which says what should happen when we use the value in one container to create a new container.
Not if I register it first.
Social media keep ever lasting digital copy,it's a big problem
one of the biggest problems in the social media is that whatever people share or post, it keeps the ever lasting copy of it in the internet. if all those posts a person are collected and analyzed, it could reveal serious information about the past of the person impacting the person's future. therefore, privacy issue could be solved with twitter like platform with self destructive feature so that no digital trail is left. www.bablrr.com is just the right platform i think.
The comments on it in the dartlang issue tracker indicate that it has already been a problem; one commenter indicates that his contribution to a crypto library was rejected because he had only tested it against Dart and it didn't work correctly in Dart2js (due to 64-bit ints)
Our "integrationist" school policies don't remedy segregation, they create more of it. When you tell middle class parents that their only public school options in the city involve schools where 90% of kids are low-income, they just opt out of the public school system, send their kids to private schools, or move to the suburbs. That's the story of the last 30-40 years in American cities.

One way or the other, middle class people will send their kids to schools with the kids of other middle class people. The question is whether those schools will be in suburbia, or will be allowed to exist in the cities. It's almost certainly better for everyone involved if they're allowed to exist in the cities.
I don't think so. Someone saying this on their deathbed is not necessarily opining about how much they loved work vs. family in the moment. They're assigning a long-term absolute value on the amount of time they spent with each.

Say you spend 80 hours a week at a job you absolutely love, and 20 hours a week with a family you kind-of-get-along-with. At the end of your life, it might be that you decide "time spent at work" no matter how much you enjoyed it in the moment is just less fulfilling than "time spent at home" even when the day-to-day of home life is not as immediately gratifying.
I really hope you don't get stuck with these domains then... because most of them would never be purchased willingly. :)
Meet 2013's innovation agents (re-grouped fastcompany's articles)
Of course that article was back in June, and if you read the followup, a day later, written by yours truly, you'll see your assertion is untrue:
http://news.cnet.com/8301-13578_3-57588337-38/no-evidence-of...
> The docs on connections pane list only JavaScript, CSS and HTML can be evaluated

Ah, that's because its a two stage process. You need something that can compile cljs to js (eg nrepl) and something that can eval js (eg browser, node, lighttable).

I think I was confused about that at first too. We should figure out how to make it clearer.
Interesting idea, but if you are seeing the full list, what's stopping you from just assigning yourself to the domains that you want?
I prefer 1440x900 but to each their own :)
Not to mention Tetris is in the default installation anyway ;)
and here's the HN post
https://news.ycombinator.com/item?id=6799854
You assume the author is a male.
Is that our responsibility, to save a man from mental illness? I don't feel it is.
Because I'm not an asshole?
Pydub
Sex workers may not have another choice, but the clients do.
Ok, just added one ... this actually kinda fun
No, you got it wrong. No special treatment is the name. Real equality.
No, because the allegation is untrue.

In fact Google was challenging the legality of FedGov national security letters in two different courts (my article in May was the first to disclose this) even before the Snowden documents began to appear.

edit: here's the link: http://news.cnet.com/8301-13578_3-57587005-38/
I loved the Tron sequel. I can't quite imagine making a comparison like that though - both Tron and the sequel were extremely light on story and works primarily with the combination of concept and art. In both cases the story itself is enough for about a 5 minute short.

Tron: Legacy to me is some interesting ideas coupled with a movie length absolutely fantastic Daft Punk music video, while the original excited me for the computer graphics and the ideas it presented.
You can usually transfer it to another user on the same registrar. They just don't want to lose it to another company. (At least, that's my super rough understanding of it.)
The Best Board Games of 2013
Oracle to buy Responsys for $1.39 billion in cloud software push
In my book its breach of contract between the employer and employee and that is illegal.
My favorite part of `git bisect` is `run`: give it a script that'll exit with 0 for a good commit and non-0 for a bad commit, and it'll do it all for you!

Personal gripe: I always, always, forget to `git bisect reset`.
That was my thought, actually.
I like it, I've signed up with one of my hey-this-could-work-but-oh-i-got-lazy ideas.
Or...

http://www.imdb.com/title/tt0087015/
I looked at that benchmark and there's a few huge red flags right away:

1. It's not running Ember in production mode which is much faster.

2. It's running an older release candidate version of Ember.

3. It is purposely wrapping individual events in run loop executions rather than just letting ember figure out when you put things into run loops.

I re-ran the benchmarks with the latest production mode Ember.js and removed the incorrect run loop usage got the following results:

https://gist.github.com/eviltrout/8058560

It's still slower than ReactJS but much less so than before. In fact it's now #3 in that benchmark suite behind ReactJS and Backbone (and much faster than ReactJS in the completing benchmark), although I wouldn't be surprised if the other frameworks were set up as incorrectly too.
Multimethods are not quite as powerful as type-classes. Type-classes can dispatch on any part of the type signature, whether it is an argument, result type, parameter to a type, etc.
That's true for keys, but that really only covers a subset of what JOINs can do -- if I want to use things like dates, times, quantities of things... and frankly, if I want to do something other than JOIN on equal values, say join on greater or less than or between, then that's an entirely different thing altogether.
They cause damage of course, but they never achieve their actual goals:

https://web.archive.org/web/20110727223802/http://lesswrong....

http://www.gwern.net/Terrorism%20is%20not%20about%20Terror

>"In a [previous study of mine] assessing terrorism's coercive effectiveness, I found that in a sample of 28 well-known terrorist campaigns, the terrorist organizations accomplished their stated policy goals 0 percent of the time by attacking civilians."

>"The seven puzzles...are: 1) terrorist organizations do not achieve their stated political goals by attacking civilians; 2) terrorist organizations never use terrorism as a last resort and seldeom seize opportunities to become productive nonviolent political parties; 3) terrorist organizations reflexively reject compromise proposals offering significant policy concessions by the target government; 4) terrorist organizations have protean political platforms; 5) terrorist organizations generally carry out anonymous attacks, precluding target countries from making policy concessions; 6) terrorist organizations with identical political platforms routinely attack each other more than their mutally professed enemy; and 7) terrorist organizations resist disbanding when they consistently fail to achieve their political platforms or when their stated political grievances have been resolved..."
Well if they just want 20-somethings, they could always market the spaceship as a retreat center. I mean, cmon, it'd be the ironic thing to do. ;-)
I agree, I can appreciate the idea of share nothing threading(web workers) which is more like multi-process rather than multi-threading, it's probably the better model for much of the threading use cases out there. However there are performance critical scenarios where lightweight shared memory threads will always win and will be required if it is to be a valid compile target for c/c++ coded bases.
Show HN: Wondering which SDKs are in iOS and Android apps & how they were made?
I started SourceDNA because I wanted to build a highly scalable, cross-platform binary similarity engine. We can dump in libraries and apps from all over and discern patterns in their code. We've been scanning thousands of mobile apps and finding what's inside, and we wanted to make this data available now for others to explore.

Clickable link: http://sourcedna.com/stats/

This interface lets you see which SDKs (ads, analytics, optimization, etc.) or cross-platform tools (Unity, Adobe AIR, Xamarin, etc.) were used to create the top 500 free apps on both iTunes and Google Play app stores. You can select an individual SDK vendor and the apps containing their code will be listed at the bottom. You can also click on an individual app to see what's inside it.

I'd love to hear how you'd use something like this and if you have suggestions on how to improve it. If you're interested in the technical details of how we managed to do all this, I'm happy to talk about them here.

Nate Lawson, Founder
Build SEO-Focused Pages to Serve Topics & People Rather than Keywords & Rankings
this is great. i have a strange compulsion to buy awful domain names, regardless of their usefulness. is there any rule against multiple entries (aside from the possibility of exchanging with yourself?)
Do you work at Zynga?
You don't understand at all.

I was in a relationship with a psychopath. Love does not matter to these people. Your emotions do not matter to these people. Your intentions do not matter to these people. The only thing that matters to a psychopath is their own ego and self-aggrandizement. You're taking an incredibly naive view that will likely leave you completely taken advantage of and hurt. It doesn't matter how much love you show a psychopath, it won't ever be enough. They will try to manipulate you to make you feel like you're not doing enough for them. They will be the victim when it suits them and helps their argument, or they will be the victor when it suits them.

Love does not matter to a psychopath. I gave her every ounce of love I had available to me, every ounce of understanding and care. It might as well have not happened. She still thinks (I'm not sure if she genuinely believes this, or is just trying to be manipulative) that I was a horrible boyfriend who was too selfish to give her what she needed (I paid for her to live in my apartment, I paid for about 95% of her food, I helped her find her first job, I helped her move cities).

Love does not matter to a psychopath. The only way to win that game is not to play.
It is a common mistake I've heard from many CL newbies that believe CL is a "FP" language.

The best descriptor I can find to date (of CL) is, "programmable programming language," which allows it to encompass almost every desired feature one may need; including many that fall under the FP umbrella which may be where the confusion stems from.

However one of the opening points of the talk was that, "FP," is not a rigorously defined term and is subject to interpretation. Which leads to bikeshedding over language features and a lot of hype.

I believe it also leads to a lot of misplaced faith in the purity and completeness of mathematics (it's almost as if the popular notion of FP is being reborn as a modern Principia Mathematica).

CL obviously cannot be called an, "FP," language since its inception seems to predate the popular notion of the term. Scala may suffer in the same way due to its reliance on the JVM and the expression semantics it has carried over from Java. However many of the features one tends to associate with modern FP languages (though not all) are present in both languages.

As for your aside, how so? Perhaps a discussion we can have over email if you're interested. You sound smart. However I don't understand your statement and would like to know more.
I have my fingers crossed for a Tron 3, with Quorra in our world...
Clearer Conditionals using De Morgan's Laws
There's a handful of those in the list: interesting old names for apps. Then there are a lot of "Wouldn't it be funny if I bought ____?" domains. Those are pretty great too.
I think the issue is that most front-end developers test on chrome for Mac first, and then assume that it works the same on windows.
Aw, I let a lot of my unwanted domains expire this year instead of hoarding them. But given that they were all rubbish, it does mean that heapt.com (you know, like 'heaped', piles of things!) and f6ing.com (a gaming thing...) are free and unencumbered.
My persuasion skills are impeccable.
All scientific research should be verifiable and reproducible. It could be hard to reproduce physical experiments. But we should at least be able to verify authors work.

Study without original raw data or source code, is just authors opinion, not a science!
> I can't tell if I'm a psychopath or not. Are those who desire power, control, and inflated egos always psychopaths?

No. I, and I suspect most ambitious people, also desire power, control, and have inflated egos to some extent. Psychopaths are still human (though broken) and also have these traits, but since they lack other traits like compassion, generosity, etc., the former tend to show through more.
Not necessarily on topic, but...

"... will give $200,000 in BTC to the first person ..."

Is that $200,000 in BTC at the time the contest was announced, or at the time the winner is announced? Or at some other point?

(This comment brought to you by the Committee For Pointing Out That A Currency That Wildly Fluctuates In Value Is Not Particularly Useful (CFPOTACTWFIVINPU).)
More like i was born on a planet so i can handle gravity.

The only thing i meant by that is that he/she is the sweet, loving, sensitive type nothing wrong with that but may not be well suited for some things.

I on the other hand am fascinated by psychology and love surrounding myself with different types of people even psychopaths.

Everybody has to offer a unique way of looking at things.

Some may consider that crazy, maybe it is.

I don't fall under any definition of normal that's for sure but normal is boring anyway.
Houston's a great buy compared to Silicon Valley, but I wouldn't say its cost of living is low on a national scale at all. It's still drastically more expensive than most American cities (it's the 4th largest, after all). Most inner-loop neighborhoods are filled with million dollar homes, most of which are not mansions.

Don't get me wrong, I love Houston. But it's not just a sea of cheap McMansions. There are a lot of very highly paid oil executives, corporate attorneys, and physicians (Texas Medical Center) who can easily afford a $1M+ home so the urban core of the city is really transforming into a much more expensive and exclusive area.
Throwing away all of the advantages of dynamic scripting is not the answer. We just need better webgl support in browsers.
Nope! Right now I'm allowing multiple domains, up to a point. (Maximum is 3) Enjoy!
The finished tunnel isn't filled with water because it's lined with concrete.

The unfinished tunnel might be filled with water if it wasn't for the pressure that the TBM maintains at the cutting face.
"It's like Nagios, for the people you love!"

Even better: for the people you hate.
Sadly, AFAIK, Idris does not have linear types out of the box. I am aware that you can prove you are properly releasing your resources using dependent types, so technically speaking there is no loss of expressivity. However, having the compiler do the checking and enforcement automatically is a huge usability win in my book, especially since juggling with the lifetimes of various resources is such a common task in systems programming.

That aside, Idris looks very promising for verified application development.
InVision Raises $11.6M From FirstMark Capital And Tiger Global
Erectile Dysfunction Remedies
http://www.edmedsale.com/
The cost of the One World Trade Center rebuild is at 3.8 billion last I read. Probably about the same to build in SF.
They aren't always charming and intelligent, sometimes they are repulsive and brutal.

I'd say the big warning signs are cruelty, a repulsion of weakness while also finding it irresistible, rapidly changing tactics (sometimes within seconds) that shift between dominance and attempting to garner empathy that begin to appear shallow after the first few salvos, highly manipulative to ends that don't really matter, and always "clever".
Your experience is not universal. Out of myself and many young friends, there are few bad dealings with Police and mostly positive. Including people convicted and sentenced.
No. An opportunity is an idea connected to a market need.

There's more than one way to connect an idea to a market need.

One case is where the market already exists either entirely or to some degree and you have a solid idea of how to make it better: iPhone.

Another is where you are the target market yourself and know the market very well. You see the need. You see the pain points and you are equipped to address them. I could argue that might have been the start of Hewlett and Packard.

FedEx is a case of an idea that was discounted and then proven to have been right on the mark. Some ideas can't be tested with $15,000 over a summer.

There are other cases where the idea and the market opportunity reveal themselves during some kind of an instant or event that provides the necessary clarity, if you will, that connects the two. A friend of mine and I had the idea for what eventually became LoJack a year or two before that company came out with their product. We were young, making very good money at our respective jobs and simply didn't have enough of that "clarity" (for lack of a better word) to take the idea seriously. To this day we laugh about it.

Ideas that are just ideas with no connection to a market happen at least two ways.

One is the case of a well established or entrenched set of players against which it'd be almost impossible to compete. It'd be hard to go up against Google or Facebook. The insight an idea would have to have in order to connect with a market opportunity in search or social would have to be so incredible that people would literally want to throw money at you. Even with that, it would cost hundreds of millions of dollars to even begin to have a shot at that. For all intents and purposes you can say that ideas in social or search really don't have a market because you really can't get that market.

The other category are ideas that really don't have markets, at least in the context of what makes for a good scalable company. Local restaurants. Great idea if you want to work 20 hours a day seven days a week, have huge risk of failure, no real scalability and no prospects of any kind of an exit that makes sense. For some people that would be a market. If it weren't there would be no mom-and-pop local restaurants. For most ventures that are looking for or need scale in order to be considered successful a mom-and-pop restaurant idea is an idea without a market.

I could go on. There are, of course, ideas that really lead to nothing useful. Most of those are obvious to most except for the guy married to the idea.
"Addable" will not actually be more informative than "Monoid", to someone who doesn't know "Monoid".

"Monoid" will be very informative to anyone who learned it from mathematics.

A "Monoid" is a type which supports an associative operation (`m -> m -> m`) and a neutral element (`m`) which forms its identity element.

"Addable" suggests it is an "addition". Does this mean it is commutative? For the sake of preciseness, I'd hope so! (Monoids aren't commutative). Does this mean it has a negation? No. So it is not "addition", why use a misleading name for the sake of some false sense of "intuition"?

The actual explanation of what a Monoid is precisely is so short and simple, it makes no sense to try to appeal to inaccurate intuitions.
Equity Crowdfunding Rules Q&As
After visiting SF / SV earlier this year, I think that a remarkable amount of productivity is gained solely based on the weather. You wake up, it's beautiful outside and you're ready to work. To me it's a major advantage over the Northeast (where I'm from).

I think Austin has to be my #1 city in America that I have left to visit.
List of important publications in mathematics
The argument that every function has arity 1 is technically true (this is the whole point of currying) but is not useful when definitions like "let a b c = ..." suggest other semantics. It's possible you've had a difference experience with this, but I tend to get confused when the semantic argument list isn't delimited.

There is nothing wrong with relying on the type checker, except that it tends to add cognitive overhead.
Like I said, it's a scary term, because hearing the word "monoid" conveys exactly zilch about what it is, and it sounds strange and abstract. And like I said, the definition I gave is not a precise one, but it's an intuitive one. Once you have an intuitive understanding as a starting point, you can abstract to other things.

This is just my opinion, of course.
Remember that in Canada, prostitution was already almost legal. You could prostitute yourself so long as you didn't harass customers or walk up to people and offer your services. You could however put ads in the newspaper for "Angela, 38DD, busty and hot, will massage you... all over".

One of the things that you couldn't do was also very hurtful. You couldn't team up with other street workers in order to insure your safety. That would be a whorehouse, and they are illegal.

So, you end up with girls in the streets, with no security, who cannot even talk straight about what they were willing and not willing to do.

I'm very happy that those laws are lifted. And it doesn't come out of the blue. There has been discussions about in in the media in recent years, and I believe that most people understood that forbidding those girls to have security is an idiocy.
A General Overview on Tunnel Boring Machines
I recently bought some underwear. A day or so later, I noticed men's underwear ads on Youtube, and declared "damn you, Google!" I eventually had to search for and watch other topics, like Call of Duty, to make them go away faster.
Yes, http://code.google.com/p/dart/issues/detail?id=1533
I think the problem is that other than San Jose, there isn't really a large scale downtown or space that can easily turn into one that can accommodate such a large campus. So you get stuck with isolated campuses like Google, Facebook, etc... Apple's offices are actually closer to a downtown than those two.