skysight-inc/HackerNews huggingface dataset:
Google Restoring Maps Access for Windows Phone
While it isn't version control, wiki usage has become prevalent amongst collaborators, departments, and fields.
I don't see how it's misogynistic. A woman on a dating site who didn't want to settle down and raise a family would probably have the exact same reaction to a single father's profile.

Maybe there's a more polite way of phrasing it, but if you don't want to be raising a kid, then seeing one as "extra baggage" doesn't seem like a stretch to me.

Edit: As sfall points out, he wrote "extra" and not "massive"
I lived in SF until a few months ago. My dating performance there was only marginally worse than NYC.

NYC has more females than males, but I'm also not in finance, nor do I ascribe to the young professional set. The typical NYC "scene" does me no favors.

But yes, a severely handicapped person would probably have it much worse.
"probability a fake script will have copies taken down = 5%+5% = 0.10"

So the probability that the automaton who combs file sharing sites for "Warner Bros" and spams DMCA requests would both: A. be in a position to know whether or not the script was real, and B. would refrain from issuing a takedown if it were not is 90%?

This does not seem to fit historical evidence.
Part of the problem is that people are horrible at defining who they'll actually fall for.

Several of my past partners have been people who would have ruled me out for various reasons, including "big" ones like race and age that would be high up on the list of first things people would expect to filter by.

So while they' reduce the pool of messages, chances are good they'd also rule out the wrong people.
www.postjobfree.com - a job board and resume aggregator.
Designing a responsive, Retina-friendly site
This is not an issue of syntax. You can have probabilistic languages with existing syntax--Church, for example, uses Scheme syntax[1].

[1]: http://projects.csail.mit.edu/church/wiki/Mixture_models

You can even embed your new language in another, well-known general-purpose language, letting you reuse the host language's syntax. Haskell is great for this sort of work.

This is entirely a question of semantics. And what do probabilistic semantics give you? They make writing complex models for data much more natural. These languages allow you to abstract away much of the incidental complexity of specifying these models, making the logic clearer. In turn, this simplifies reasoning about the problem and working on a solution.

More generally, this is the motivation behind most domain-specific languages. The core idea is to express yourself in a way that fits the domain you're working in. For machine-learning, you want to express your program in terms of probability distributions. For writing parsers, you want to express yourself in terms of CFGs. As people like to repeat, a program written more for people to read than computers to execute, and reading something in terms relevant to the domain is easier than trying to force the domain to fit an existing programming language and paradigm.
That's a loaded question if ever there was one!
I don't see anyone saying it's not Google's right to do these things. People are simply saying that it looks as though Google is attacking Microsoft.
Everything I ever heard on the subject says that Tolkien "wanted to write a mythology for England" when he started writing LOTR.

Mythologies are almost by definition uncontrollable, so the fact that it's taken on a life of its own in a way proves that Tolkien actually succeeded with his initial goal.
The problem with Cheddar is that it's a todo app. There are a billion of them already. I wasted an entire afternoon trying to decide which productivity app to use (the irony was not lost on me). There's already too much choice.

FYI: I almost went with Nozbe but settled on Trello.
Kudos for telling this story, especially discussing your relationships with investors.

These days it is pretty rare to see a story where such topics are addressed credibly beyond the standard "we love our investors" line.

If an entrepreneur loves their investors it is not news, but if they are willing to openly discuss problems that usually is.
I am using w3m for hacker news, it is clean and pretty good.
Heh, that's pretty much exactly what has happened.
Recent nexus 7 purchaser (~ 1 week) here, previously disenchanted with android, who therefore reverted to a Nokia N900 but is now considering using the nexus 7 in the real life on a daily basis.

There are many great points in the article (and BTW I purchased the same cover - it has a magnet to turn the screen off when it closes and works a bit like an ipad cover) but there are some weird points. Well, a big one : no software phone by default.

Why should we need grooveip?

I have various SIP accounts, and on my laptop, I can use google voice to send call from the browser. I just wish the Nexus 7 had something better than "click to call" (to another device)

(and I wish it was possible to connect by SIP to google voice)

Just put some cash on your account and you can also send call.

The form factor is not really a problem - you just use the nexus 7 'differently'.
Math is a humanity. Theorems _are_ computationally proven. However, they might not be adopted for humanistic reasons.

For example: http://en.wikipedia.org/wiki/Four_color_theorem.
Why TV will be around for a while
They sure do. Slower than Scala and requiring more code and lacking the awesome power of the JVM. Great choice, indeed.
I don't know if you have tried to encode a reasonable sized theorem/proof in Coq or Agda. It is worth giving it a shot if you haven't. It is kind of eye opening (and both these systems are significantly different from each other).

The real problems I have had with that so far has been a) the extreme precision required in encoding the problem. This exceeds what you normally require in a paper proof b) ensuring that the prover "understands" the necessary background math that you are basing the proof on. i.e. Libraries of math. This situation is improving with time c) The search strategies that the prover is using to verify steps is sub-optimal/does not work for your case. When a human reads/writes/verifies a proof there is a lot of cognitive shortcuts and background information coming in to play. But for a prover this has to be spelled out precisely. Provers tend to come with a set of built-in "tactics" to do this and (often) allow new tactics to be written out. (Coq, for example, allows you to write your own tactics for example. But it is not exactly fun). Again this is slowly improving.

For most mathematicians this process is a high overhead one (as yet).
Yeah, my understanding was that they wanted much more information than is available through the Youtube API, presumably because the Youtube API was not designed to make a full Youtube client replacement, complete with the ability to "search for video categories, find favorites, see ratings, and so forth".

It's not clear to me why a phone vendor would be entitled to an API that provided that information, especially if theres a mobile web client available (that you don't get redirected from). I understand why a phone vendor would want it, but if Samsung started saying that their new Tizen deserved access to a more fully featured Youtube API, would they be getting any press?
The original article also includes the picture of the snake-like rock: http://www.space.com/19143-mars-flower-curiosity-rover-photo...
Wigwamm - an auction for rental property, every Monday night

Http://Wigwamm.co.uk
I'll second WorkFlowy, but I don't know if the two are comparable. Worfklowy is completely freeform. There are no lists. Only one recursive list.
keep on reading, they got their money in the end.
Besides, their books were making piles of bacon
I much prefer the movie approach where The Shire and its inhabitants remain largely oblivious to and untouched by all the evil, death and suffering that has happened. It's almost as if everything happened so a little part of the world could remain innocent like a child.
I had never heard of probabilistic programming languages and was intrigued but unfortunately also rather confused by the submission. So thank you for the excellent pointer.
No More Out-of-Date Contacts (iPhone app: Reach Network)
As noted: there was specific end-user software supported on Unix platforms, which could be, but never was, trivially ported to Linux.

More tellingly: Linux's overarching success has been in the server space (and the platform is emerging as the mobile leader). Microsoft's server software, including most notably SQL Server (derived from Sybase, originally targeted at Unix systems) isn't available for Linux. Neither are Exchange, Active Directory, Sharepoint, IIS, or Windows File Sharing. Free Software (and proprietary) alternatives and work-alikes for each exist, and in many or most cases are more successful, though AD remains a market leader.

Microsoft conquered the desktop PC market by leveraging compulsory per-CPU OS license via bundled office software to create a self-reinforcing illegal monopoly, which it then attempted to extend into the small server space. It's fought every attempt to crack any part of that stranglehold, fighting OEMs providing other operating systems (DR DOS, Novell, BeOS, Linux), by not porting its Office products (except to Mac OS X, since discontinued), and by not porting/building its server products to other platforms.

Major companies which have not avoided the Linux market include IBM, Oracle (and acquired companies Sun and PeopleWare), and Informix. Yes, all server space. I'm making a point here.
I hope that a similar and more transparent analysis can be replicated in other countries.

This NYT article by the paper authors is a more easily digestible version of the paper conclusions: http://www.nytimes.com/2013/01/06/opinion/sunday/social-secu...
CYA was my immediate thought too.

What if he has impressed everyone else in the process so far? Maybe he's very personable when talking to men, or other interviewers happened to not ask questions that would have revealed skill deficiencies.

If they want to hire him, saying he made a sexist comment might not prevent the hire. "Maybe he's not that bad." But if you have a couple of comments he made, and can show that he isn't technically proficient (or merely average) then you have evidence other people can use to make a good decision.
I very much agree that there is a balance to be struck, and messages designed for people to read should be composed with that fleshy audience in mind. However, if a polite message goes unread, the effort was in vain. And getting computer users who are not techies to actually read messages is very difficult. I've found brevity helps a lot. To your point, though, it may be the case that if all messages were a bit more empathetic, people would stop ignoring them so often.
Minesweeper is probably the best "first" game out there for people to make. It's relatively simple, and you can just use grid coordinates as input if you want. Definitely a lot less trickier than something like tetris.
>Here, too, the author says that he didn't like Java's IDEs (really? does Go have better tooling?

You should really write a GO code to understand what the author means. Writing GO code has no frills. And I have seen nothing cooler than: http://gofmt.com/.
A look at probabilistic programming and  Microsoft Infer.NET
The qualitative difference with the 17 and 24-year relationships is that they're ongoing. The implication is that some people pair for life, with the wedding not being the critical factor, while someone with a string of few-year relationships might have some quite a different view on relationships, a drifter of sorts. (Or, they might just be unlucky).

That 'drifter' would be strongly inconvenienced by forming and dissolving marriages every few years. So one way to indicate by the 5-year stage you are not that way inclined and that you are committed to your current relationship is to tie the knot. The signal only works one way - the two of you having chosen not to marry doesn't imply anything (in the strict logical sense).
I use a Galaxy Camera with a 4G LTE MiFi from Verizon, and can tell you that a Nexus with a similar backend should work nicely for you. Advantage of the MiFi is that I don't have to do anything to tether (no funny business like with a phone on US Carriers), and I am free to change the phone more often. I personally use Skype since their codecs give better quality over even 3G connections. For your consideration...
Given http://news.ycombinator.com/item?id=5014230 this was the simplest intro I could find (it is quite easy to understand and not specific to Microsoft, except at the very end).
> the estate is clearly a victim of "Hollywood accounting"

I agree with you that this is an amoral practice, but the thing I can never understand: since virtually everyone is aware of this con, how is anyone still taken in by it?

I mean, by all accounts the negotiations for the LOTR rights were tense--but neither Jackson's nor Tolkien's lawyer figured out to put a "percent of box office" clause in there?
It was intended as a humorous debate starter... but you're right, the logical conclusion of the 3 Laws in "I, Robot" was that humanity had to be removed from control and curated by the governing AI for the robots.

Not that drones are capapble of anything like that level of AI... I just thought it was an amusing way to draw attention to the drone issue.
is this only for straight people for now?
Automated Therom Proving is ridiculously hard and a guess would be that it is almost impossible to train an ML algorithm to do this efficiently.

However, verifying that a proof is correct is somewhat simple, if you give the machine enough information to actually run the formalization details. In modern mathematics, this may be a necessary thing to do since nobody has time to verify these 1000 page developments anymore.

The problem is that the level of detail currently needed is very high. And this slows down the formalization process. But the area is in wild development these years, so hopefully something good comes out of it.
"In fact, as I’ll try to explain, objects at a negative temperature actually behave as if they’re HOTTER than objects that are at any positive temperature."

So... overflow? :)
It's technically legit. Here's one way they could do it. The movie studio makes no money on the movie. The studio sells the movie to the distribution company for a fixed amount. Then the distribution company made $300 million on it, but that's not part of the contract.
Reminants of the illudium Q-36 explosive space modulator.
clickable http://www.xanthu.com/first-c-program
This isn't going to happen because it turns doctors into technicians: You have this illness? Click click click - OK it says this drug is best.

Doctors like the thought that they are evaluating each case based on first principles.

Right now there is: Dr. -> Urgent Care -> Emergency Room

We need something below Dr., for the really routine stuff. In some countries certain drugs are not over the counter, but are prescribed by pharmacists.

(Obviously there is a very important place for proper diagnosis. I'm talking about the really obvious stuff.)
As the candidate, that's a curveball you should be able to handle and you should still act professionally.

If I went to interview with some small company and the technical interviewer didn't seem to know what they were doing, that would certainly be a mark against the company in my book. If they extended an offer, I might decide not to take the job.

But things can happen. What if the real technical interviewer had a sudden crisis come up and someone else without much experience was substituting in? If you do a good job they may be impressed with your communication skills on technical issues when talking to less technical employees. Maybe you'd get a further interview with the more technical person since you did a good job in that accidental circumstance.

There are quite a few people here saying she was unprofessional for handling things that way, that she should have cut the interview short. If he thought company was acting unprofessionally, he could have just cut the interview short, saying he didn't think it would be a fit.

For all we know, as soon as the interview started he made up his mind and stopped trying.
Cartoon physics meets gratuitous story changes. The Jackson films have gone downhill from Fellowship (which wasn't too bad) to the unwatchable Hobbit film.
i am confused about whether it's best to post here on in a separate thread, so apologies for doing both, but this provoked me to look for a good intro to probabilistic programming and i found http://research.microsoft.com/en-us/um/cambridge/projects/in... which is a very easy read.
While correctness is preeminent, it isn't the only factor for the adoption of a proof. Coherence and intelligibility are essential. Typically, context is important too (i.e. a proof leverages a reasonable and translatable program).

While I hate that Michael Sipser uses the phrase "crank file," he's expressing an important distinction between mathematicians, computer scientists, or philosophers and, for example physical scientists: humanistic attributes are important.

P.S. You're an "undergraduate math student," not a "lowly undergraduate math student." Hang in there. :)
Looks good. Cleaner and more articles on the screen than visiting Hacker News using lynx.
When a woman has a Caesarian, it seems pretty typical that the anaesthetic is an epidural which removes feeling from the lower half of the body while the patient retains full consciousness and feeling from the chest upwards. My wife said that operation felt like they were looking for trainers in a sports bag, but it didn't hurt. We couldnt see what was happening because it was behind a green curtain a bit like a table tennis net. I could see that the surgeons had to pull pretty hard to get the baby out. I wonder if there are lots of mothers out there with PTSD? 1 in 3 births was by Caesarian at the hospital we were at although the national average is something like 1/5.
In that case, maybe they can put just enough pressure on the lid to close the eyes, but not too much that you can't force them open. If I lightly touch my lid as it's closed, it stays closed, but I can force it open if I try.
In the Talmud it mentions how judges are not permitted any sort of gift whatsoever.

It talks about one Judge who had a tenant. The tenant brought his rent early one day and asked the Judge to rule for him in a dispute. The Judge refused the case, and referred him to someone else.

The Judge happened to hear part of the case, and immediately his thoughts turned to arguments on how he could help his tenant. The lesson being that even getting a payment that was already his, not even an extra gift, influenced him. And this was a very prestigious judge.

How much more so an actual gift to more ordinary people.
I'd like to see this used as evidence that the movie viewing may cost 12$ for a ticket, the movies are actually worth negative dollars.

Use their own tax cheating against themselves.
Getting Fired From Microsoft
I have to agree that this is invaluable.
I didn't realise the board didn't just do that for me. Thanks.
If anyone is interested in learning go, my site has a compiled list of tutorials and so on

http://pineapple.io/resources/tagged/go-language?type=tutori...
I broke a collar bone a few years ago doing winter sports. It broke very close to the junction with the arm so the doctor decided to put a long screw to hold it into place. Being both young and stupid, I smoke a cigarette before the operation, which is not recommended. I recall the exact moment clearly, it is when they started drilling into my shoulder, I could feel my whole skeleton vibrating with the drill. I suddenly woke up from anesthesia puking all over the place. I remember telling the whole operation crew that I was sorry for making such a mess (yes, I'm Canadian), then some sort of oxygen mask was replaced on my face, I guess they gave my another shot and I soon fell asleep again. I think I slept for over 12 hours straight after that, but I have no other permanent trauma.
I guess that means there is only a market for one lathe[1] and one milling machine[2] since when you buy one, you can then make your own.

Anyway, a universal machine maker would likely run of nano technology, and once we reach that level of technology, all bets are off. The game changes and suddenly a lot of businesses are buggy whip manufactures.

[1]https://en.wikipedia.org/wiki/Lathe
[2}https://en.wikipedia.org/wiki/Milling_machine
One big reason I'm returning my Lumia 920 for an iPhone 5. It's not even just the size, it's the weight. It's so much easier to reddit one handed on the iPhone while e.g. feeding the baby.
The Adventures of Alice Holmes: Sherlock in Wonderland
This style of blog is exactly what I've had in mind now for a few months for my own website, I think its a great way to tell a story. Congratulations Paul. Wish I could fork it on github and apply my own styles to your foundations.
Yeah- that is great as long as you don't care about using 30x times more memory.... The awesome bloat cough I mean power of the JVM in action.

Go vs Scala: http://benchmarksgame.alioth.debian.org/u64q/benchmark.php?t...

It will be interesting to re-visit this when Go 1.1 is out as well. Go being even younger than Scala has a lot of low hanging optimization fruit. :)

P.S. If Go didn't exist I would still be using Java/C#/C/C++ for everything. (I still use Haskell/Prolog where needed)
I don't think hand wavy was exactly the right way to describe it, more like flippant.
Bleah, I don't like drinking :(
Neat game! Maybe you can even implement some bomb icons and explosion sound effects next!
It has been loyal insofar as the character's names are the same and occasionally including lines verbatim from the books (although sometimes in the wrong place).

I don't actually know if them myriad of changes, small and large, made the films more accessible to someone who had never read the books, but calling the work "superbly loyal" is laughable - especially the Lord of the Rings "Extended Editions" which contain almost no material from the books whatsoever.
In the UK its quite common to see a nurse for routine things that you're talking about here, personally I've not seen a doctor in years because of this.
The text/font is very nice on galaxy nexus.
I was greatly peeved at how many times Jackson expanded a 1- or 2-sentence mention in the book into major scenes. See Radagast and the stone giants for prime examples.

I think a PJ-style movie adaptation of The Hobbit would have fared well as a 3-hour theatrical cut, plus some extras for the Super Deluxe Director's Extended Blu-Ray Edition.

And why the hell didn't Bilbo's actual finding of the Ring from The Hobbit match the scene from the first LoTR film? Can't Jackson follow his own freakin' canon?
The timing explains a lot.

He almost certainly came forward to collect the prize in March 2002. Along with the probably hundreds of others who also submitted 'proofs'.
I take it you haven't read The Children of Hurin. It really has no comparison to the rest of Tolkien's work. Compared to the other books and collections, it feels like a John Grisham novel.
Like many, I was disappointed the first time I read The Silmarillion. But later, I read it with the guidance of an english professor who brought The Silmarillion alive for me and in doing so made me appreciate The Lord of the Rings so much more. The Silmarillion is what makes Tolkien stand far above other authors who play at the fantasy world-creation game. Frank Herbert is one who also has a well-developed world that makes his books enjoyable over and over again.
Even if that's the case, Go just brings too little to the table. And if you think gofmt is cool, take a look at Project Jackpot [1], or its use in the NetBeans IDE [2].

[1] https://bitbucket.org/jlahoda/jackpot30/wiki/Home

[2] http://netbeans.org/kb/docs/java/editor-inspect-transform.ht...