skysight-inc/HackerNews huggingface dataset:
a type system can be both logically consistent and expressive. the trade-off is with things like the efficiency with which it can prove the program is correct (and even the possibility that it cannot be proved at all).

what typesafety is talking about is errors. not trade-offs. that the type system says something is safe when it is not.
This is simply amazing. Admittedly, I downloaded the leaked album minutes before seeing this link, but after watching this 4 times in a row I now have the song stuck in my head and just pre-ordered the album on iTunes.

Oh yeah, and if you see a smiley face on the ground in the desert scene I made that :)
We use Wicket for most of our web-based applications.

http://wicket.apache.org/

It's Java, though, which is decidedly uncool with the HN crowd.
This reminds me of my idea for a compiler that guarantees performance but not correctness, instead of the other way round.
This would be a great idea, but will never get implemented because wall street has almost perfect regulatory capture.
There's been a lot of academic research on call auctions (e.g. http://www.springer.com/business+%26+management/finance/book...) which are somewhat similar what you describe in terms of their effects on price stability (though pricing happens differently), but they've not been successful in practice.
"Woah. Spooky. Someone tell William Gibson and Vernor Vinge."

cstross, actually: http://www.antipope.org/charlie/blog-static/fiction/accelera...
No matter the motive I would not buy a computer with a rotational disk drive that isn't easily replaceable. Firstly it is the most unreliable component, next I might need to use the 16TB drive that became available after 2 years of me owning my computer.

It was a piece of cake to replace my MBP's optical drive with OWC kit - I have 256Gb SSD for the OS and 500Gb for data - I totally see using most of that space and it makes a huge difference speed wise.
Things you Need to Read to be on My Level
According to the keynote at Google I/O, Google has been working with Netflix to get it working on Chromebooks. I would hope this means inside the Chrome browser everywhere.
I'm pretty sure Facebook employees have been provided some rationalization about it - for example, "Google is pushing a creepy feature and stealing our content, we are just trying to make it public". Believe me, when you have $$$ riding on a side, believing their version of truth is extremely easy to do so, thats human psychology.
It was a little hidden, so here are the devices it supports:

1.	HTC Incredible with Android 2.2

2.	HTC Nexus One with Android 2.2, 2.3

3.	HTC Evo 4G with Android 2.2

4.	HTC G2 with Android 2.2

5.	Samsung Nexus S with Android 2.3.
If anyone is interested in teaching arduino to the next generation, I'm developing an open graphical programming platform for arduino that is aimed at kids. http://kck.st/mnWW8y
My laptop is a single screw (Thinkpad). 2 Screws to Add RAM (well for one slot anyway).

Or there's a HD Caddy that I can swap out for my CD Drive by flcking a little switch.
Haha, I spent a bit looking at Net and FreeBSD, but I stopped because no-one really uses it, so what's the point?

To be fair, this stuff happens in BSD land too, but nowhere near as much as on Linux. To be fair again, the Linux codebase is a very different beast and has grown in a very different way.
Check out --

http://www.touchatag.com/
http://en.wikipedia.org/wiki/Touchatag

I got one of their readers for free at a conference. Can do pretty much everything you're describing I believe.
Exxon CEO Says Big Oil Needs $21 Billion U.S. Aid
I'm glad they backed out the changes to attr(). Backward compatibility is critical for any popular library, often more important than having completely "correct" behaviour.

Without any kind of type-safety or compilation in JavaScript, it's even more important for jQuery to preserve compatibility than libraries in other languages. You probably wouldn't discover some obscure breakages until the software using it is in production.
Canada has a fairly good prison system that has often been emulated abroad. However, our recently elected Federal government has plans to increase obligatory sentences, prison sizes and reduce costs - which all leads to a very bad mix. Zed, any comments on Canada?
Silly rabbits, I am too using Google Chrome.
If you depend solely on technical analysis and you aren't a total pro, then it won't work. For most people it should part of their overall trading strategy.
I would love to play with a Maple mini. How do I get one?
Statistical Technician vs Statistical Philsopher
What exactly are you objecting? That this topic is covered in HN or that it is being discussed in an "amateurish" way.

If it is the first, this brings us back to the "what should be covered by HN" debate. I, for one enjoy discussing matters unrelated to C++, Erlang, VCs, YC, Apple, etc. every now and then. If you don't agree, there are tons of other topics on HN.

The second point is more self-evident: of course it is amateurish, we don't have foreign policy experts here (I think). Yet we are (mostly) intelligent people tackling a problem with the small number of facts at hand. Your statement then becomes self-referential, because by posting it to this thread, you add nothing to the discussion.
Ah that might explain why your moral code seems to draw from legality.

It's not nitpicking to separate theft from copyright infringement - they have very different effects on the owner, and to conflate the two is basically spreading FUD to confuse the argument. They should not be treated the same way by the law, despite what the rightsholders might like.
> Reasonable people can disagree about the extent to which OBSD is a win; in 2011, I'd rather have Spengler on my side than Theo.

To quote the wisdom of the dude:

"Well, yeah. That's like, your opinion, man."
I admit I struggled to come up with a headline for it and my choice of wording was not very good. However, he did lose search traffic as a scraper site took over his top ranking for certain searches.

It appears he has more details about specific queries on this page:
http://www.google.com/support/forum/p/AdWords/thread?tid=0bb...
Make Drug Use Pay Its Own Way
You don't seem to have read the article.

The search:

["a superb app for iPad and iPhone that lets you quickly and easily transfer photos and videos between iOS devices and computers – has been updated this week, to Version 2.3."]

returned results from content scrapers above the original content.

For me, the original content doesn't even show up in search results, even though it's in Google's index:

http://ipadinsight.com/ipad-apps/photo-transfer-app-updateda...

Further, Google wouldn't let the site owner buy AdWords to drive traffic to their site.

Google owns both search and AdWords. This makes the headline here:

Google penalizes original content site because of scrapers

accurate, as far as I'm concerned.
Real tldr: trust our dear leader, nothing to see here, move along.
The comparison chart is incorrect, though. ZFC can prove its own consistency... according to Falso, at least.
It's a joke, but a slightly wrong one, I think: they should say "provable" instead of "true".

For every true statement it's negation is false and viceversa, so exactly half of all possible statements are true. In a system like ZFC not all of the true statements are provable, so less than 50% are provable. (Also, less than 50% are refutable --this means provably false--, and the non-provable, non-refutable statements are called undecidable.)
For people who speak dutch, there's a great interactive documentary for the iPad called "Money & Speed" that examines the flash crash and high-frequency trading:

http://itunes.apple.com/nl/app/money-speed-inside-black-box/...
Looks like this is only for US-based Netflix customers? It's not showing up in the Market for me (I'm on a N1 with Android 2.3).
I think it was about a 363% ROI on their $300 million dollar investment.
A Huge Facebook Flash-Mob is Amassing Right Now in Brazil
The same thing happened to us as well. When I did an event last month our page rank dropped from 4 to 2 despite getting 12+ new links, which I strongly suspect is because all of the bloggers who link to our conference site are having their blogs duplicated by content farms. Overall our page rank has dropped from 7 to 2 in little over a year, despite having 10x more inbound links. (And zero SEO or anything else that would violate Google's best practices.)

I did ask a Google employee, who said it was because we weren't using canonical tags, but this doesn't make much sense and fixing this doesn't seem to have done anything to improve the situation.
Meet CoffeScript Peepcode Screencast
Ask HN: Fujitsu HOAP-2 AI programming.
I have access to a HOAP-2 robot just sitting there after years of prolonged non usage.

What would be the fastest way to get it up and running again?

Anybody have experience with EusLisp or Qi?

Any suggestions for a way to get it running again welcome.
How to kill aim chatbots with a SQL injection attack
For me, those annoying mass-forwards have just moved to Facebook. "Repost this on your wall if you hate cancer!" Ugh.
Colourlovers (YC W10) is hiring - build creative services, play with color
COLOURlovers.com is a Y Combinator-backed creative design community that is changing the way the world looks. We build fun, easy-to-use design tools and provide the world with access to a massive library of quality creative content.

We've bootstrapped our way to 570k registered members, 5 straight Webby nominations for Best Community, and nearly 2 million visitors each month. We just raised our first round from some killer investors and we're looking to add a few more passionate self-starters to our team.

We're still a small team of 5 people, so this is a great opportunity to get in early, have a lot of responsibility, and play a big part in our success.

Help us share the COLOURlove!

--

WHAT WE'RE LOOKING FOR:
We only care about one thing: what have you built and shipped? No resumes needed here, we just want to see what you can do.

So if you've got the chops with one or more of the following skills, and you've got the portfolio to back it up, we want to meet you!

- PHP/LAMP
- HTML5/Canvas front-end development
- SVG
- Design (with strong UI/UX)
- iOS and/or Mac app development (see http://www.colorschemer.com)
- Wordpress development
- Android development
- PC app development (Delphi preferred, open to other languages)
- Ad sales/Biz dev/Partnerships

--

TO APPLY:
Send examples of your work to: love@colourlovers.com
Or visit our job board: http://colourlovers.theresumator.com

--

LOCATION:
Our dev team is growing in Portland, but we have team members in SF and NYC as well. We also know that some people work best from home, so working remote is just fine with us.

--

CHECK OUT:
http://www.colourlovers.com
http://www.colorschemer.com
http://www.themeleon.com
There doesn't seem to be a mention of encryption anywhere. I'm surprised they didn't avail themselves of a little PGP. If a giant notorious terrorist organization isn't using public key cryptography, who is?
broken link...
google is not an acronym for web standards. Half of the time google things (adsanse, adwords, analytics, gmail, you name it) don't work on my main browser (opera), and each time i say to myself, ffs, cant they hire someone to fix this..
Omaranto already answered, so I'll just add to links:
https://secure.wikimedia.org/wikipedia/en/wiki/G%C3%B6del%27...
https://secure.wikimedia.org/wikipedia/en/wiki/List_of_state...
Google Setting Aside $500M to Settle DOJ Charges
Netflix releases Android apps
I wonder if that would actually work against them. Assuming the government has some system that is reading all emails sent to country x, they may specifically sniff emails that match a certain signature... such as one that was encrypted. Its probably less revealing to setup a code around every day language and problems.
Agreed, I was really hoping for some amazing minimalist techniques for adding that professional flare to any design.
I just tried this and I'm honestly amazed at the quality of the video over 3G. There was a bit of blockiness but nothing too bad and no stuttering at all.
What is the advantage of such a market? Near as I can tell, what would happen is that whenever the market believes the price should move, liquidity will drop to 0. Eventually the market will allow trades at the right price, and liquidity will return. Why is this a good thing?

Also, HFTs will still exist. Suppose the "right price" is $50 - even if the market hasn't adjusted (say it's stuck at $51), HFTs will race to have their orders first in the queue at $50 for when the market does readjust.
I'm not quite sure I see why you would use

element.prop('property', value);

instead of

element.property = value;
That helps, but I guess it begs the question of why you would want "10 processes asynchronously responding to one browser"? And what does that really mean?

It doesn't sound particularly useful for traditional HTML responses (unless you had some kind of simple template system to aggregate them into a coherent response), but I could see it being interesting for WebSocket applications, especially multiplexing multiple backend services over a single connection. For example, on Facebook's chat and news feed services multiplexed over one connection. Is that a typical use case?

It would be really awesome if Mongrel2 could support something like Socket.IO or Orbited, which provide a WebSocket-like API to the browser, but automatically negotiate another transport if WebSocket isn't available.

Maybe it already does, I don't know. I'd just like to be able to use something like WebSockets without worrying about the capabilities of the browser or backends (Socket.IO is for Node.js and a few other platforms. Orbited seems like a dead project, but I believe it used the STOMP protocol).
Since I am not a programmer, I started with Drupal. Not bad for what it is. Currently learning Rails and loving it.
Ask HN: Review my simple Craigslist ad tracking - first web app
Hey HN,

I'm an Electrical Eng. with an interest in web stuff. I built my first web app, www.ClassyTracker.com, to scratch my own itch - I wanted an easy way to track my Craigslist ads. Please let me know what you think, and any suggestions for improvement. Is it a tool you'd use? Would you pay a fee to get detailed stats, see longer stats, or other features? My goal was to make something so simple that even my mother could use with no problem. Thanks!
Not necessarily. That would only help if everyone used it. Otherwise it'd be another tool for the scrapers to claim legitimacy.
Clicky link: http://www.classytracker.com

Here is a live ad with the tracker on it: http://raleigh.craigslist.org/fuo/2361192207.html

Here's the admin page for the link above:
http://www.classytracker.com/index.php?name=ej4756w5vgw.jpg
I have a compiler like that. It turns any code into "return 0".
Feel you want to work remotely, eh?
Looking forward to this showing up on the Xoom.
The results for that query are horrible, but his complaint about losing traffic certainly isn't due to his ranking on 30-word quoted queries. I'm hoping to get an example of a normal query where he's losing out to scrapers so we can debug what's going on.

The headline implies that he's penalized in search due to scrapers, which isn't happening.
I actually did this - not the wholesale thing but selling off extra candy I had with my lunch. I then turned around and bought comic books with the money.

I also did door-to-door sales of custom imprinted holiday cards. I got into that game be sending in a flyer from a comic book. So basically for me, my method of getting into entrepreneurship revolved around comic books.
It is absolutely amazing to me that terrorist organizations would not use encrypted email.
Apple's current position is nothing like Apple's position then.
I remember watching the movie "Traitor" a few years back and wondering if Al Qaida used something similar to what the fictional terrorists were using in that movie.

(From what I remember, they were merely writing messages and saving them as drafts. Then others would log on and read the drafts. No emails were sent.)

Interesting though how much he relied on couriers.
tl; dr: Write email. Copy to USB. Give it to courier who takes it to a distant internet cafe and sends it out. Incoming email is copied into the same USB and delivered back.
Finally we don't have to change the code to run by interpreter or compiler! Fixed one of the most annoying thing for me.
Isn't crashing the compiler pretty far to the "less" side of "more or less fixed"?
> The difference between American prisons and this one in N.Korea is the size of it and the blatant attempt to keep it secret from the rest of the world.

While the scale of this issue is completely different, the US does have the tendency to use secret prisons - in different countries. See: http://en.wikipedia.org/wiki/Black_site#Suspected_black_site...

What really bothers me about those sites is that they don't seem to be monitored by local government at all. The US is many times accused of torturing the prisoners in countries which don't allow such practice.
do you think there is need for javascript for desktop
like javascript wrapper for Qt?
I want to point out that it is running on certain rooted devices as well. I am running CyanogenMod 7.0.3 (with Android 2.3.3) on the Original Droid and it runs fine.
"The problem is that a lot of those people belong in prison."

Why do you think the situation is different in North Korea?
impressive.
Can any foreign terrorist organization count on having encryption that would defeat the National Security Agency's efforts to break the encryption? Surely the first thing for anyone hiding from the United States government to do is simply practice good tradecraft (as bin Laden and his group have long done) and never let the message be accessible to the United States government in the first place. I wouldn't count on PGP or any other software solution for encryption that is readily available worldwide to be secure against NSA attempts to decrypt it. That's especially what any "high value" terrorism suspect should keep in mind.
I just read the entire block of text. I found it informative. If I was in the market for new work it would have converted me.
"So when you argue that Turing-completeness is what makes it possible to run lots of different kinds of VMs on the same machine, it's hard to take such an argument seriously."

Turing completeness is why you can run a JVM on top of a C environment. It means that any computation that C could do, the JVM could do. It means that I can run a JVM on top of any Turing Complete environment. The JVM could be ported to a modern day Lisp machine. The JVM could run on a Russian ternary machine. C does not get "credit" for enabling the existence of the JVM, because the JVM could run on any Turing complete substrate. You have the causality backwards.

"- what will people write language implementations in, if not C?"

The new systems languages will be written in themselves! What do you think C is written in? "Bootstrapping."

"- if C is a barrier to innovation, why is the JavaScript landscape so thriving?"

Wrong question for what I'm talking about. Javascript has no innovation of interest to systems level programming, it's just a thin layer over C. I'm talking more like something like Go, which is hampered by the fact that it can't really use C libraries properly because Go can't grab and schedule C routines properly. Or how E [1] is really hampered by the fact that it basically can't work properly in a C environment, its whole schtick really only works if it's down to the OS level. The entire point is that I want to replace the foundation, so it can do things that C basically can't. Like, write a secure operating system, which C is incapable of, despite immense amounts of effort.

Basically, why is UNIX still the preeminent OS? Yes, it was good, I know that, there's a reason why it's the only survivor of its time period, but where's the capabilities-based system? Where's the thing we can't even think of because we're too stuck on C? Why is one of the preeminent kernels of the day, the Linux kernel, still adding an average of two security vulnerabilities a week, the same ones, over and over? Why are buffer overflows still coming out in 2011? Why do I still get segmentation faults in 2011? Why are we building the very foundations of our system on a language that all but mandates such failures, when we know how to not do that?

C.

As for any response you might have as to why C is still worth it, my reply in advance is that every one of those things is room for "innovation", much of which has already been done.

[1]: http://www.erights.org/
In Conversation with Julian Assange
It does seem quite funny, but it's totally plausible. Although, I highly doubt that it's a definite measure for future success. I myself used to do the same(buy from Sam's Club and resell in school) while in middle school(now a senior in college), but I'm no where near close to a million dollar success...yet :). What would suck though is that if and when I do have some kind of success, this story would be kinda overused, so I do understand where you're coming from. Guess we need to teach our kids something else to make money off of...
Take a look at Dojo Toolkit, it has a pretty full set of widgets with consistent look and feel, and even accessibility built in.
Here's a simple idea that could fix a lot of this problem. Copy Twitters idea of verified accounts.

Google could issue verified sites. If someone copied a verified site the content would be automatically removed from the index.

Now they would have to hire some staffers to research the applications and handle complaints. But this is beginning to cost them far more than adding a few more staffers.
Uh, I know sometimes a study is needed to actually bring something to scientific standards, but isn't this sort of thing just obvious? This is what the energy business is all about, creating more output than input.
According to my girlfriend who grew up in Africa, this is normal behavior when you have to pay for internet by the minute.
Jobs no longer have points or submitters

http://news.ycombinator.com/jobs

This page still shows the submitter and points (though with the new system upvoting presumably doesn't make a difference - however it still works to store that story in my "saved" list).
The sites under discussion are very explicitly not for spec work. Because they make their money by taking a percentage from the payment, in fact, they do everything they can to make sure all work is paid.
Where do you think all the VC and angel money is coming from? Banks and pension funds and investment firms are almost certainly funneling money into these things, we just don't get to see it because it's being done on the private market.

The very thing that makes everyone comfortable with this bubble (that it's mainly "private" capital) is the scariest part. Last time, you could mostly tell when grandma's retirement fund was betting the bank on social networks for dogs. This time, it's all on the down-low.
Think of it like a CAPTCHA. It's not a reflection on you as a person, and it's not much of an imposition — it's just a way to stave of an inevitable flood of illegitimate requests.
One method that seems to be gaining in popularity is to order the people you let into the site by how many people they invited signed up. So someone who shares your site with their friends gets in before someone who didn't.

Of course, this only works for a site that can let people in at a trickle.
PGP encrypted emails protect the contents of the email. They don't prevent eavesdroppers from knowing an email was sent, or where it came from.
Examples of sites that get positive results would be:
http://ready.chair6.net/?url=arin.net
http://ready.chair6.net/?url=he.net

Examples of not-so-ready results:
http://ready.chair6.net/?url=news.ycombinator.com
http://ready.chair6.net/?url=facebook.com

(Granted, some of these tests are not relevant - say, where all you want to do is provide AAAA records for your web site.)