skysight-inc/HackerNews huggingface dataset:
Dusting, thanks for the suggestion, but I'm not looking for Haskell. It's not what I'm looking for. What I want is declarative, not functional. There is an inherent limitation in the functional approach, I hope to cover why that is in a further article in the series.

I am not after correctness per-se. I am actually more after "cheapness" at least in programmer time. But I do think a lot of the programmer time is spent in things that a solution-describing approach removes, and correctness gets a ride.

Hopefully I am in a right path in that direction!
Here is another way of defining something is sorted, taken straight from a real language:

Inductive StronglySorted : list A -> Prop :=
| SSorted_nil : StronglySorted []
| SSorted_cons a l : StronglySorted l -> Forall (R a) l -> StronglySorted (a :: l).

What this says is that an empty list is sorted (SSorted_nil), and that given some sorted list l, if a is less than all of the elements in l (well, we generalize to some relation R), then a prepended to the whole list is sorted. (SSorted_cons)

But it turns out, there is another way we can say this property, if our relation is transitive: all we need to say is that the element is less than or equal to the first element of the list.

And for any non-trivial specification, there are literally dozens of ways of specifying it, all of which happen to be identical. Which one do you pick? Which one is easier to use? Hard to say, in general.

Source: http://coq.inria.fr/stdlib/Coq.Sorting.Sorted.html
Hmph, I'd forgotten that. Interesting that we wouldn't do that sort of thing now. It would seem too rude to mention Google explicitly. Whereas when we first started YC we were so obscure we couldn't successfully be rude to anyone.
I used www.autotempest.com late last year to find my latest car and I'm glad to see some competition emerging.

After a quick review, two things that strike me:

1. One feature I like about AT is being about to see which cars are in which markets. Even though the search radius may include 5 surrounding cities, it would be nice to see some physical separation between the markets when combing through the results.

2. One feature I DIDN'T like about AT is that in trying to accomplish [1] from above, I often found myself annoyed when nothing was found in specific markets. This resulted in me having to click through the pagination to see if anything existed in other markets. The better way to handle this would have been to show only those cities with results, in order.

Good work so far!
Idea: Lets give roads, junctions and intersections URLs
JQuery Mobile and Sencha Touch Framework Comparison - Blog - Solid State Group
This has been in testing for a while. It was announced two months ago:

http://googleblog.blogspot.com/2011/11/next-stage-in-our-red...
Which the author totally ignores.
Coffeescript is just a tacit admission that Javascript is capital-N Nasty.
Yerk. I hate these things instead of the drop down menu because

a) often the way I discover about the other programs/things that are similar is the fact that they also appear in the same drop down menu.

b) memory. Often the name of the item is not something I recall, but I remember the shape/color of the icon, or the association with the location in the menu

c) namefail. These things (at least how it works in Ubuntu 11) suck at finding the actual program. Some programs have multiple names by which they are known and they don't show up when you type the more common one. Google Earth is a good example. Or some - just don't show up at all for some reason.
Its not a request router ..one of the founders of the Mobile Monday stuff did one a few years back, his was shelved because he could not figure out how to support via ads though.
I checked and here at my location in Cupertino I am about 2800 feet from CO!

Does anyone have experience with their "Business T" service for $308/month?

I wonder what the install charge would be for that?
The rights I was referencing are freedom of assembly and freedom of speech. My point is that it is extremely difficult to remove money from politics and still allow these. Let's say you and I want to start a movement to influence our representatives to get the money out of politics. How do we do that as a team if we can't pay for advertising, a website, adwords, phone calls, etc...? That stuff costs money. period. It's not enough to say candidates can't spend money directly, but private citizens can. That just pushes the candidate spending to shadow groups that are really just mouthpieces for the candidate (e.g. Super PACs).

I'm asking this question genuinely. How do we do it and not make a hash of a bunch of other rights? I'd love to see a workable solution, the country would be better off if there could be one.
Apple's Astounding Q1: $46.33 Billion Revenue, $13.06 Billion Profit
Moore's law is more about economics than physics.

You just need more layers or bigger chips, and you still get more transistors per chip.
8 Startup Tips From Mark Zuckerberg
If he turns into Hank Scorpio, sign me up!
In all seriousness, though, I think this could turn out like the SLU neighborhood here in Seattle. Paul Allen bought all the land and turned it into a major biotech hub, and now Amazon, tech stars, and others are taking it over.
Let's hope that the quote isn't true. There's nothing that signals "jumping the shark" better than arrogance and the sense of untouchability. It's almost cliche how people at their peak think they can say and do whatever they want without consequences.
One of the companies I worked for had control systems where the vendor hooked them up to the internet so that they could provide support if the need arose. They were disconnected, the vendor complained that they wouldn't be able to provide support then. So a specific network was created, these systems put on that network, and then a single firewall/router was configured that could be used with an SSH session to connect to this isolated network.

Its a lot simpler for folks to just connect them to the internet.

And while 10,000 seems like a lot, there are billions of these systems out there. Of course the article would not sound great if someone said .01% of the Industrial Systems installed are connected to the Internet.
Here's a screenshot http://dl.dropbox.com/u/361483/archive/help_menu_search.png
It's a Unity clone of Counter Strike using the textures. If you have Unity installed, here's the link to play it on your computer: http://www.kongregate.com/games/IgorLevochkin/counter-strike...
Isn't this the recipe site that started off stealing everything from soar.berkeley.edu? Shades of Gracenote & CDDB.
Kendo UI Mobile Beta: Native HTML5 UI for iOS & Android
They couldn't but someone did have the domain originally, after it had started becoming a brand.
I use Gnome-Do, Launchy, and Quicksilver on all of my machines, and I think this is a pretty horrible idea. The lack of similarity between program names is why the aforementioned programs are useful; the similarity between menu names are why this is questionable at best. I don't think "Close Project" and start typing it, I think "File menu" and scan for it, until I know the keyboard shortcut for it. Typing as much of "Close Project" is necessary to make it realize that that's what I mean, then arrowing (or whatever) to it, is slower than mousing to it. Once I know the keyboard shortcut for it, this "HUD" silliness is useless.

And if HUD ever gives me "Close Project" when I meant "Close Window", I'm going to throw it out the goddam window.

I like that they're trying new things, but "people like Quicksilver, so people will like something entirely unlike Quicksilver" is terrifyingly bad reasoning.
But when it comes to the state's evidence hinging entirely upon the defendant's cooperation, no - that's why we have the 5th Amendment (gov't cannot compel one to testify against self).

And really, doesn't that mean it (whatever is obscured by a lack of cooperation) shouldn't be considered a crime? Kind of by definition?
Its getting there slowly - the problem is traffic, as you rightly identified earlier. Its slow to build, takes a lot of time and effort. The spikes from posting on reddit never last, so its either a question of constantly writing quality content and posting it, or having a massive marketing budget :)
Shhh! You're not supposed to think about that :-)

You are correct, of course. One of the things I find amusing about the breathless talk about replicators is that people conveniently ignore such mundane problems as maintaining material inventory, the various types of material in any nontrival product and the ability of the consumer to evaluate the quality of a design they downloaded off the net. If I give you a design for a new replacement part for your car how do you know it won't cause more harm than good? Now we've moved the concept of malware into the physical realm.

3D printers are certainly an exciting technology with a bright future. But it's just another manufacturing method that's better in some ways than what's popular now, and worse in others.

But saying that doesn't get pageviews.
A few decades from now, when someone writes up an HBS case study on Google, how will it read?

My suspicion is that Google is going to treat us to a very painful object lesson: what happens to your business when you compromise the values of a beloved core product.

Here's the thing: having the most complete, most accurate, most relevant search results means never having to say you're sorry. You can add ads, you can do additional products, you can add a kind of clunky single-signon, whatever. Because at the end of the day, the user needs the thing you have that no one else does.

Now, Google had this. But one day, maybe around 2009, something happened. Where once I was delighted with Google's search, it started getting annoying. Things like automatically showing you a SERP for a different spelling of your query, because Google thought you were looking for that. Then they started matching to synonyms (tear and rip, say). And so this tool that used to do exactly what it was asked became too clever by half.

Meanwhile, SERP quality began to deteriorate as well. We suffered for something like 18 months under the regime of those Stack Overflow scrapers and their ilk, with plenty of equivalent nonsense in other verticals (hello, ebooks!).

So, already, Google took its eye off the ball for the one thing that previously had been inviolable. And now there's the comically titled SPYW.

Google's not stupid: they get that the rise of mobile and specialty apps/services that go with it are going to whittle away at the searches they'll be asked to do.

They've bet the company on Android and Google+ giving them an out. Android was a good call, as it puts them in the driver's seat for a lot of this mobile action. But they need the web, too. Can they get away with compromising their search with this nouveau portal strategy?

My hunch is that they're going to pay dearly in the process of finding out the answer is no. They're too big and too smart not to make the transition to whatever the next big thing is after search.

But boy – screwing with the golden goose that earns both reputation and cash?

Well, give 'em this: they're willing to take risks.
UK Mobile Operators Censor Privacy Tool "TOR"
Yeah, I guess for the average user it might not matter much. For me it projects the clean design and simplicity of the whole thing. If I see path.com pop up on Twitter it is much more likely to grab my attention than somerandomtwoworddomain.com
The deniability doesn't diminish at all. You can even testify in court that the drive is encrypted using TrueCrypt and that TrueCrypt has plausible deniability. The whole point of TrueCrypt's plausible deniability is even when you know about the feature, you simply can't mathematically prove whether or not it's being used.
The New Philosophy of Cosmology
I use Gnome-Do, Launchy, and Quicksilver on all of my machines, and I think this is a pretty horrible idea. The lack of similarity between program names is why the aforementioned programs are useful; the similarity between menu names are why this is questionable at best. I don't think "Close Project" and start typing it, I think "File menu" and scan for it, until I know the keyboard shortcut for it. Typing as much of "Close Project" is necessary to make it realize that that's what I mean, then arrowing (or whatever) to it, is slower than mousing to it. Once I know the keyboard shortcut for it, this "HUD" silliness is useless.

And if my muscle memory [i]ever[/i] gives me "Close Project" when I meant "Close Window", I'm going to throw it out the goddam window.
Blender has been doing this for a while. Works pretty well.
The way courts generally work, they need a proof you've done something wrong to condemn you. If there are a dozen friends who had the wiping rights to your keys, and they knew you'd been arrested, any of them could have decided to wipe the key, just in case.

Unless the judge can prove who did it, he can't condemn the 13 (12+you) of you because one of you did something wrong. Besides, the 12 innocents don't know who did it either, so they can't snitch.

It requires the wiping procedure to be impractically hard to trace back, but that can be done.
In response, institutional investors will do what they have always done: migrate to other sectors in which startups require substantial amounts of capital upfront.

At the moment, such sectors include green energy, robotics, medical devices, biotech, and military weapons -- to name just a few. (Try and launch a new medical-device startup without capital; it's not possible.)

In all likelihood, there will always be startup sectors that are starved of capital.

[UPDATE: Edited to correct poor grammar.]
Apple's iBooks EULA may be unenforceable
I certainly agree with this. Back at the beginning of this century there was speculation that Google was so lavish with their perks because they didn't want those smart people going off and competing with them. Not as worried about that I guess.

Larry certainly does seem to have take Steve Jobs admonishment to heart. Which can give a company tremendous focus. Its an interesting time.

I used to remind people at the Googleplex that they were walking around in SGI's tomb. I found that was rarely appreciated :-)

So here is that challenge for this decade: Leave Google and kill Hollywood. Seems like a reasonable goal to me.
Ask HN: What's up with the state of pathetic business-class broadband in the US?
I work at a web agency in LA. We build lots of apps and hack on Django all the time. We just moved offices into a real sweet spot. Everything about this place is rad, but right now we're using horrible 4G wimax internet because there is no fiber or coax running into this building, and the CO for DSL is something like 12,000 feet away. The best thing we can get is something like 5mbps.

Why can I pay $40 a month and get 20mbit at home, when I have to pay $999 a month to get a symmetrical 5/5 or 10/10 line? I understand you pay more for a higher level of service... but when the bandwidth you're getting is barely enough for 1-2 people, it's not very useful?

I'd love to hear some of your stories, comments, and info from everyone. If you're close to the inside of the telcom/cable/internet world we'd all love to hear what you have to say about this too.

I'm a firm believer that there are certain expenses that you just have to cough up. There are certain things that you just need in certain professions, and for whatever the reasons, it means you need to also pay more than expected. In the web/dev/startup world... high-bandwidth and low-latency is something I can't personally live without.
Spoiling yourself after a "crazy busy" week.
Interesting question posted on Quora that makes me wonder what simple things could be done to keep yourself going after a long week busting your behind at work, or on your startup.
So instead of commending the CEO on articulating a vision and being determined about it the author somehow spins the words to fit the Google bashing theme of her previous posts.

To be clear: "This is the path we’re headed down – a single unified, ‘beautiful’ product across everything. If you don’t get that, then you should probably work somewhere else" != “Fuck off”.

There is plenty that could be said about the sad state of tech blogging but some of the blame falls on Google because they are losing the PR battle. It’s obvious that PR staff from Twitter/Facebook and others are doing a much better job at selling their rhetoric to these tech blogs, specially to the newly formed blogs looking for audience and traffic.
Thanks for the tip! That looks a lot better now.
Am I the only one that thinks SPYW is the right direction? We have seen that rankings were increasingly being gamed. Algorithmic search is a never ending arms race. SPYW aligns with what google has been trying to do for a while, provide results that are relevant and worthwhile to the user. If my mom searches for digital cameras , she would rather have a link to something written on G+ by someone in her circle than a blurb on a content farm.Algorithmic search is a no win situation, there is no way to judge the value of the link, they need to do that through +1 and other social features. It is just wisdom of crowds.
Habits of Highly Effective Bloggers
Had a feeling, thanks for the link.
"Criminal negligence" really is a category of crime. If damage is done or lives lost because you failed to take obvious or reasonable measures to avoid it, you can be held criminally responsible for the result. http://en.wikipedia.org/wiki/Criminal_negligence
The 3D printer is just a manufacturing method. The scarcity problem will still exist in the form of raw materials -- somebody's got to pay for it.

Information is a completely different animal. If there were actual physical costs to the person downloading copyrighted material illegally, do you think the RIAA and MPAA would be as agitated as they are?
This is getting quite ridiculous. What's up with all this speculation?

The reason Megaupload was targeted has already been established and well documented.

Do people honestly believe the FBI and NZ police are at the recording industries beck and call?
That was fun. One thing I'd suggest is previewing the new widget during the countdown to a new test, the two dimensional transition to saturation threw me off a bit as my brain came to grips with the new representation.
Have they acquired all the surrounding lands yet? If not, announcing this expansion plan might push up the price.
"We've had super positive response from users overall. But the experience is so close many people probably did not recognize the difference. We resolved some glitches from the initial release and now things are running smoothly."

This is an antidote to other threads on HN today predicting the demise of the web app. http://news.ycombinator.com/item?id=3506025
Finally a used car search service that makes sense. Though it needs a way to bookmark search results.
Meta: Throwing the new terms as SPYW around as if they have been around for at least for decade I believe is wrong. At first I thought its some kind of certificate, or even some kind of vaccination.
The rationale is clearly to drive traffic to their own products at the expense of competitors like twitter and facebook. SPYW is just more advertising, except for now it's limited to google properties. They're obviously banking that people won't notice or care that most search results are now paid placements.
A $50 phone cell phone that runs on a AA battery.
Finally a used car search service that makes sense. Though it needs a way to bookmark search results. Great job regardless.
what qualifies as a "different" tech news site?
That is why I prefer IT's with TERs much less than the ones charged by open ended UT.
Tech news does tend to head towards this kind of article. I think they will have some in depth long form pieces mixed in with the standard stuff. I think the problem is that to really drive page views you need a lot of this stuff, many posts a day. Going in depth will earn you some different readers at the cost of some others and people won't revisit nearly as often.
So want people to blow off NDAs for your karma? Fail.
Unless things have dramatically changed in the last 6 months since I left Seattle, SLU is still kind of a failure.

The big vanity streetcar Paul Allen wanted got built, and is still as useless as ever. He wanted "mass transit" in his neighborhood, but it's neither frequent enough, nor fast enough, to really make a difference. SLU remains as isolated from the rest of Seattle as ever, except now a lot of people are forced to make the commute (try asking a east side resident how they like their commute).

Some condos got built, but the area is still largely undeveloped, and it doesn't seem like there's a lot of residential development going on. Commercial tenants are moving in, but the residents aren't following.

Ditto, residential-support businesses (restaurants, coffee shops, corner stores, etc) simply haven't arrived at all. The neighborhood still shuts down after work, barring a select number of expensive bistros. I've heard through the grapevine that Vulcan is being extremely selective about their retail tenants - and anything that's not archetypically urban-chic (and expensive) need not apply.

It's like Belltown, except less organic, more artificially high-end, without any trace of nightlife, and way more boring. This is fine if Paul Allen imagined SLU as an office-park neighborhood, but that's not Vulcan's vision. Overall, I'd consider SLU to be the most sterile and soulless neighborhood on that side of the lake.
xmlson: XML/JSON conversion for node
This is basically Search for telling your computer what to do. People currently do this all day long at google.com.
The truly astounding statistic to me is that Apple sold 26% more Macs than the same quarter a year ago. This while PC sales for other manufacturers declines or remained stagnant. We expect to see increases in the tablet and smartphone markets since those markets overall are increasing. But to increase 26% in a stagnant sector is remarkable.
Sounds like a delightful blend of Agda and Prolog.
Lessig's point is a fair one. And it's not about banning lobbying.

The problem is the same - money in congress is distorting its policies, agendas and outcomes.

But Lessig's solution is to make the money = the people's voice. He recognizes that money will flow, and is in fact part of the process. But the idea is that you structure the system such that the candidates want to get monies from their constituents more than they want it from the big businesses.

He proposes one way to realign these interests is to publicly fund elections - in some way or another.
There was a wonderful mashup on Youtube of three different 40-year old Francoise Hardy videos each singing her hit "Voila."

Each of them had their own merits, but together, with modern editing and syncing to the best available recording, it was one of the most beautiful music videos I've ever seen.

It's sadly not available anymore in the U.S. I regret not keeping a copy.
It also dates it, in the same way that "Bill and Steve won't respect you in the morning" would make it uniquely a thing of ten years prior. Whereas making it generic makes it more timeless, and timelessness is good design in general.