skysight-inc/HackerNews huggingface dataset:
There is no trouble in proving a negative that does not exist for proving a positive. For example, you can prove to your own satisfaction that there are no monkeys on your shoulder, even though that is a negative claim. The problem of proof to which you alluded with your example is just the famous problem of induction, which exists for both positive and negative claims.

The negative claim that so-and-so has never eaten a baby is difficult to prove because that claim is actually a group of claims: so-and-so was not eating babies at time one, time two, time three, etc. Each and every claim in that sequence could be proven with a photograph that shows so-and-so doing something other than eating babies. Each negative in that sequence is provable. The problem is the length of the sequence: you need hundreds and hundreds of proofs. You would have the same trouble with any similar sequence of positive claims, such as the sequence entailed by the statement that there is a human-habitable planet in one out of ten solar systems.
Any word on an LLVM frontend for go?

Andrew Wilkins has written llgo, a compiler for Go, written in Go, and using the LLVM compiler infrastructure: https://github.com/axw/llgo/#readme
And wisest yet is using it as a barometer to rule out ever listening to those people who find it ludicrous.
I'd like to see neural nets built out of these.
I suggest mailnurse.
Every indication seems to show they are committed to the Tegra and it's way too late to change hardware spec other than adding an extra port.

Barring something like Nvidia stepping in and deciding they'll personally help out and give them a deal on Tegra 4 for the publicity or something... I can't see that changing.

It is a bit sad to see that there are 50 dollar Android 4.0 TV sticks selling from China right now. And they are using Mali 400s which are actually faster than the Tegra. http://www.alibaba.com/product-gs/581994032/hot_sale_mini_HD...

There will probably be 5 more, all faster, by the time this thing launches in Mar 2013.
When people say X should cost Y, what they really mean is that they only value X at Y.

You can't get them to increase their valuation by arguing that X can't be made profitably for price Y.
Just watch it. Do it for me. Truly innovative stuff.
Thanks for the correction. Yeah, 50ft or 50m both are pretty amazing claims. I want to see some third party reviews of how well this works with random substances and how often oregano becomes pot and cash is ID'd as cocaine residue, blood, nitroglycerin, or other random things. No references are provided to any of this though, yet it sounds like they ready to sell and deploy this without any public review or consent.
Ask HN: How do you decide which skills to list on a resume?
I see these resumes from applicants with 10+ languages/frameworks listed. It's extremely unlikely they are very competent with all of them, so I never have any idea which skills they are actually good at. Is this considered good practice? My thought has always been that if you put a language on your resume you better be comfortable coding in it during an interview.
This is fantastic. Always wondered why quick look wasn't set up to parse plain text files just because they had a different extension. Especially Markdown.
I have a hard time imagining a world where nobody worked for anyone else. Who would drive the garbage truck?
Not the same. For example, sites that can be banned without court order include sites containing:

- any information about drugs, methods of their use and places where they could be bought (i.e. if your travel guide would contain a sentence like something like "in Goa, marijuana is frequently sold in bars" - it can be blacklisted, same if you host a book that contains chemical formula of cocaine or Pulp Fiction movie that depicts drug usage).

- information about chemical substances used in manufacturing of illegal drugs (which include such substances as iodine, sulfuric acid, acetone, hydrochloric and acetic acids and many other basic chemical substances)

- information about methods of committing suicide

Unfortunately, most English translations lose the nuance of the original text, so here I give Russian wikipedia link with the summary of the changes:
http://ru.wikipedia.org/wiki/%D0%97%D0%B0%D0%BA%D0%BE%D0%BD%...

Unfortunately, the server of Russian legislative acts that contains the original text is down currently, but once it's back you'd be able to see it here:
http://www.duma.gov.ru/systems/law/?number=89417-6&sort=...

The site can be banned without a court order, but can be unbanned only by court order. Given almost complete absence of independent judiciary in Russia and the widespread practice of expansive understanding of such laws by the security services, you can imagine how it's different from France.
>would it not make sense to bring that to the fore

My entire post was exactly that, that it does makes sense. Again, why do you think this is something sinister?
Thanks for your comment. I'm happy to hear you've bookmarked the site!

My response to your criticism:

1) Good point. Originally, clicking the images would take you to the source page. I removed that functionality because it messed up the experience for touch devices. I'm going to add it back in for desktops in a few minutes.

2) The map is sort of a "look ahead" feature. That is to say, it's value will rise as more and more location-based images are shared. I'm rather impressed with the quality of content currently available around major metro areas.

3) Curious to know what hardware you're using. I'll add a way to turn off the background in a few minutes.

Thanks again.
Nice! They did it just for me!
Likes are a pretty useless signal, IMO. So many businesses offer contest entries or coupons for "Liking" them, that many users (if most of my friends on FB are any indication) have Liked tons of businesses they've never had any interaction with.

This is part of the reason I think FB's advertising value is overrated - a Like is so noisy that it is almost useless, whereas other entities may have actual purchase data, which is far more useful than a "Like".
For one membership is quite cheap compared to other co-working spaces. It also has the potential to host very large group meetings outside of a corporate setting.
For a variety of reasons it doesn't really matter if you authenticate the hotspot if the rest of the traffic goes in the clear as unless you also do key exchange as part of the authentication and then use it for protecting your traffic someone could just forward the authentication to a real box and then take over or simply hijack your connection after you've authenticated. There is also the problem of wide deployments like coffee shops making it pretty easy to steal certificates.

WPA Enterprise / WPA2 Enterprise with PEAP (and several other flavors) includes a server certificate as part of the authentication process that you can validate before supplying your credentials. While it's not perfect, you can run public wifi with WPA2 Enterprise and just set the login to guest and a blank password (and say that in the ESSID). That allows anyone to connect but still allows them to authenticate the hotspot and have a fair level of protection from session snooping or hijacking.

Realistically future versions of 802.11 should use some type of system like that for unprotected connections, but they don't seem very interested.
>What makes you say there isn't enough RAM? Are you saying it from a "future-proof" point of view? You're only going to run one game at a time, and I don't think Android games can even use more than 50 MB of RAM or something (just like they can't on iOS).

Agree in general but with one giant exception... Minecraft.

The Pocket and Xbox versions of Minecraft have tiny little maps due to memory limitations.

If adding more memory did one thing -- gave them an console Minecraft clearly superior to the Xbox version -- that's worth it. They'll sell a ton of them. They knew what they were doing when the one game they namedropped in their video Minecraft.
I'm really straining to see how you can be slandered by the fact of your sexuality.
Sure, I'd like to reduce government corruption and waste. However, I think most of the problems relate to scale and bureaucracy, not the public/private distinction. I've seen enough of how large multinational companies work to have my doubts about the private sector's efficiency and honesty, as well.

I suspect a lot of people opposed to "government" and "taxes" in some general sense have ulterior motives, mostly relating to libertarian ideology ("taxation is theft", etc.) or just plain not liking to pay taxes... as opposed to honestly assessing the efficiency of different organizations.
I doubt it's such a simple choice to make when you have a wife and two young daughters. Also, consider rephrasing to avoid categorically labeling all ALS patients as "indecent".
Hey LogicX,

https://github.com/iron-io/iron_worker_examples/tree/master/...

then follow the blog post.

Let me know if you have any questions or issues. I'll try and do something more exciting later like grab 100 sites, create pdfs, and store them in S3 all in parallel.
The biggest question I have-

Say it goes crazy and they sell 100,000 units via KS.

Is that enough of an install base to make it work? Would developers target a platform of only 100,000 users? How would they get more users?
Microsoft Transforms Windows Server Into Cloud Host
I was thinking the same thing. I have heard the name but I have no idea what they do.
Note that it lands on August 6th "GMT" but it lands just after 10PM on the west coast on Sunday the 5th. That's why I'm having a "Welcome to Mars!" party that day. Drinks, snacks, and we'll watch the landing live on big screen TV courtesy of the NASA TV channel.
I would rather sell to a million home users at a realistic price than to a thousand "industrial" users for some obscene amount for a small part like that.

Or maybe: please do sell this for $30+ so that we can buy it on deal extreme a month later for $5 :-)
Best way to increment of 1 in python?
It certainly is confusing. Saying the paid plan has 'unlimited storage' and not mentioning storage on the free plan strongly implies that the free plan has some storage.

Further how can you claim to be more convenient than dropbox, when for the majority of users (I am pretty sure the majority of dropbox users have free accounts) setting up a payment system just to share say one file represents a massive complication over the alternative.
If I see more than a few things listed, I assume the applicant is just writing down anything they've ever touched. Unless they make up for it with something really cool in their work history or various online profiles (I stalk quite a bit), it's pretty much an autofail.
Is Semantic Web and Linked Data Good Enough? SPARQL vs. Python & IMDbPY
I hadn't noticed your other trolling comments in this thread. I won't waste any more time on you.
I had some trouble loading the page, it also seems to be published on VentureBeat: http://venturebeat.com/2012/07/07/stop-building-apps-and-sta...
Lean Publishing for Ninjas
Sit fewer than 3 hours a day, add 2 years to your life, study says
Doesn't the court itself have some power to enforce its mandates?
underrated: not worrying about LOC counts
We're using it to collaborate, generally with groups of people. As such, uber-sensitive files tend to not be the types of files we're sharing.

I like Tarsnap in theory, and as a backup solution it's great I'm sure, but it isn't meant to be a competitor to Dropbox for a lot of reasons, but mainly because Tarsnap would suck horribly at collaboration. It's far too private for that sort of thing.

For what it's worth, I've used Encrypted drives on Dropbox, and it works perfectly. It has to sync the entire volume if any one thing changes (for obvious reasons), but that solves the privacy issue. I've used it on the old 20G plan where 10G was encrypted and 10G wasn't, and it worked as expected.
You know, I'd put $20 down that a moderator wrote a script that scrapes the front page every N minutes and then compares titles on the submission to the title of the link and fixes it if they differ. It was probably just a quick experiment, much like many of the changes on HN.
Fact: C is faster than Go:

http://shootout.alioth.debian.org/u32/benchmark.php?test=all...

Fact: Python is more expressive than Go (less code):

http://shootout.alioth.debian.org/u32/benchmark.php?test=all...

If I wasn't interested in Go I wouldn't complain about not having binaries. You may not be running RHEL 5.0 but there are many organizations which still have many systems on it. It's not always up to Joe Developer to decide to upgrade the OS on every box in an organization. Perhaps I need to know more about building go to compile my own binaries, but not having to deal with C is one of the reason's I was looking at Go in the first place.

How is this FUD? C is faster than Go, Python takes less code than Go and the binaries don't support RHEL 5.0. I thought my post wasn't particularly biased, but I'm pretty shocked at the reaction I got :(
Well, you apparently haven't seen much of how enterprise contracting works. Companies can easily blow $100m+ on bespoke software development that produces crappy results and still be in business. Companies like Exxon, BP, etc. could, and do, waste billions and not go out of business. Sometimes they spend tens of millions and get nothing delivered at all, or scrap the result. And the incentives within the megacorp are fairly similar to what you describe: managers who are the worst at managing budgets get their group's budget increased, because they can argue to the relevant VP that they need more money for whatever boondoggle they're currently working on. Not spending your money is more of a problem, because it means you're less important.

I assume it's the same outside of oil as well, but I know the most about that sector. Someone elsewhere in this discussion mentions that the NYTimes paywall cost $40m to implement!
Hacker Dojo is an awesome place to work and network and learn with like minded individuals in the valley. I will purchase the t-shirt.
The Ultimate Beginner’s Guide to Blogging
If you're just reading, reading, reading, reading, then you're not going to get much out of the reading. If you take a few minutes after each article to correlate the information to your own experiences, you'll get more out of the article. Thats why I try to leave behind a comment to each blog/article I read. Like right now!!

Its sort of lik the difference between going to class, listening to the lectures but never doing any of the homework, as opposed to going to the class, and doing the homework each night.
True. I probably would not have used the word fearful if the parent post had not. Having pride in your work is better.
For anybody else interested in the objectives of Curiosity (I wasn't sure so I checked)

The MSL mission has four scientific goals:
1. Determine whether Mars could ever have supported life
2. Study the climate of Mars
3. Study the geology of Mars
4. Plan for a human mission to Mars

Sweet!

From Wikipedia: http://en.wikipedia.org/wiki/Curiosity_rover#Goals_and_objec...
Google's Nexus 7 discovered to have Smart Cover-like magnetic sensor
Good point.

So why is the perceived value dropped so low? Is it the plethora of teardown sites that show you "oh, SuperWidget Tab4 only has two chips and an LCD in it. How expensive can that be"? Or is it the deluge of cheap commodity stuff on Monoprice and NewEgg that has inoculated us as how this stuff needs multiple generations of devices to cost-reduce the toys down to a price that is finally acceptable?
Sorry Max, looks like it's working now here: http://www.nirandfar.com/
I suspect that we'll get another non-answer as well, but that's not stopping me from spending 30 seconds to sign the petition. (Okay, more than 30 seconds because their site is slow.)
The SOPA petition got Obama to publicly say he would veto anything that is overly broad, without due process and threatens the nations security (the DNS stuff in it). Soon afterwords they dropped it.

Albeit they made a new differently named one later, but still I don't think the situation is quite so hopeless.

Edit: fixed the spelling of publicly.
There's a countdown timer on the JPL page if that helps.
http://mars.jpl.nasa.gov/msl/
Sitting Three Hours A Day Can Cut Two Years Off Your Life [video]
Estonia is helping Greece now? Do you have some news source?
I don't get the 'free' bit. I mean a pay phone was just that an opportunity to plug into the communication network for money, why not a 'pay hotspot' ? Now I could see that NYC could create a token system which would make using a licensed paid hot spot practical, but don't see what they are trying to achieve with free access here.
Yes, it IS ridiculous that women are so poorly portrayed, poorly treated, misrepresented and under-represented in TV, magazines, film, video games. All media. All of society.

The same can be said of people of colour, of LGBTTIQQ2SA people, of all minorities.

Please, do not diminish a problem because it is common (or in this case ubiquitous). That only makes it that much more of a problem.

Women are portrayed the way they are because it makes straight white men happy, but it destroys the agency of women as equal beings.
Kicksend partners with Walgreens for 1hr photo printing from your iPhone
As an immigrant, I definitely agree with the "[Americans] Are Poor At Expressing Gratitude And Affection".

Every single ex-girlfriend has pointed out to me that I am very affectionate, whereas all I was doing was being myself. I guess this is because where I come from (Turkey), people are expected to show their affection and appreciation with lots of touching and hugging. For example, when you run into a friend, you usually kiss each other on both cheeks as a greeting. In the US though, this would be considered aberrant behavior - might even be perceived as "gay" if it's two guy friends. Instead it's either handshake or fist-bump.

Suppressing affection is pretty hard. Often times I find myself with an urge to give people hugs, but refrain from doing so.
I've spent some time working on jobs as a programmer, but the companies weren't all that great... to be honest, I had the chance to take a somewhat close look at the infrastructure of one of the largest retailers from Brazil, who happened to be one of our clients, and it was scary how it was so poorly designed and implemented - it was something like a tower of babel, there was lots of third-party workers and no one was really responsible for anything.

Now I'm trying to do a PhD on security for distributed systems, though I'm having trouble to find it inspiring. I have a recurring feeling that this is not for me, but when I think about quiting it to start something for myself I have trouble thinking what could be usefull for other people, for those who use it as a tool and not as a research object. It's a bit frustrating :)
FullContact Raises $7 Million
It may be time to ring your own Liberty Bell
How To Access Free WiFi from New York City Pay Phones
Depends on those users I guess. If they are enthusiastic gamers with high disposable incomes then yes that probably makes the platform viable (or at least has a chance to).

If instead they are a mixture of geeks who want to hack the hardware and low income families who are likely to run pirate games or buy relatively few games then no.

Basically it's the same situation as with iOS/Android phones. iOS has a smaller install base but the base they do have is generally more profitable.

It will also depend on how difficult it is to port existing titles to this console.
This will manifest itself in terms of controls (for existing touch screen games) and in terms of software compatibility.

Hopefully also, games developed for this will be trivial to port to a regular Linux distro.
> Yup. Apple just doesn't seem interested in 'lowering' itself to selling anything that might be considered a game console.

Have you seen how much they like to brag that the iOS is an immensely successful gaming platform?
Attempting to login to https://petitions.whitehouse.gov/ is very slow and eventually gives an error message:

Our Apologies....

The site is currently undergoing maintenance. We appreciate your patience while we make some improvements.

Please check back soon.
Did you give a try to wkhtmltopdf? http://code.google.com/p/wkhtmltopdf/
I am currently using Duolingo to learn Spanish and I find it quite amazing. It offers a great interface and I love the gaming elements. It's by far one of the best web applications I have used in a long time. So kudos to Luis von Ahn and the team!

I recommend watching his TedX talk (the mind boggling thing from the presentation is: English Wikipedia could be translated in 80 hours if 1 million people used Duolingo!)
http://www.youtube.com/watch?v=cQl6jUjFjp4
IMO Go's standard library (http://golang.org/pkg/) is at least as complete as Python's for everyday programming and includes some things that Python's standard library doesn't such as crypto, image processing and a production ready HTTP server.

Right now I'd say Python has an advantage in comprehensive frameworks such as Django or Numpy but I think it's just a matter of time before similar frameworks emerge for Go.
That's a good point, I'd forgotten about the private citizen distinction. Though again, the fact that the posited story was on the front page of the newspaper would sort of be an existence proof that the target was a public figure. Citizens whose lives are newsworthy are public, sort of by definition.
What is GRRM?
I seem to recall the story of a comp sci professor keeping a teddy bear (or maybe another stuffed animal) outside his office. Before any student could ask him about a difficult problem they were having, they had to ask the teddy bear about that problem. This supposedly saved him some time by triggering this exact phenomenon for his students.
Is it really just and sane when the defendant is out thousands of pounds even after winning?
Show HN: XBMC Plugin for doctape
I had an HP that didn't even work properly with a clean install of Windows 7 Pro (it came with 7 Home...). Audio over HDMI would bug out after a while with any drivers that didn't come on that HP "restore" partition.
I block all apps, have few likes, and have silenced my chatty aunties... not too bad now.
I don't think VCs should be worried about Kickstarter, at least in the near future. A VC can see the long-term value of a business idea, whereas Kickstarter supporters are just excited to get their hands on a shiny new toy.

A bright entrepreneur would have to be crazy not to ask themselves if they can come up with an interesting deliverable (ie shiny new toy) before they give up stake in their company.

I don't think it's a stretch to imagine an alternate history where Instagram raised serious money by offering supporters bonus filters or where Zuckerberg came up with incentives to raise his first few million in the early days. "We want to bring Facebook to all the major midwest universities, but we need $200,000 to build x. We'll open it up to schools X Y and Z if we get to the next level! And you'll get a badge on your profile!"
We'd probably still have floppy drives too…
How many public holidays are there in America vs. Europe? Australia is 20 days paid leave + ~10 public holidays off per year. In general people will try to avoid contacting you when you're on holiday; obviously the better you do handing over the less likely anyone is to get in touch with you.
>Have you seen how much they like to brag that the iOS is an immensely successful gaming platform?

And yet Apple has never created a standard interface for controllers, killing any third party products, and has never suggested they are going to launch their own.

The AppleTV that is out now has a better GPU than the Tegra 3 already. That could easily do everything this console will do. But they choose not to do anything with games on it.
Michael Bolin (author of Closure, definitive guide) gave a presentation advocating the use of "with" for a particular problem: http://bolinfest.com/talks/2011/jsconf.us/#1