skysight-inc/HackerNews huggingface dataset:
"commit" usually (always?) means to take the changes you made and enter them into the version control system.

Git is a distributed system, where every user gets their own repository, so "commit" alters the repository on the local machine. This means you can use version control with impunity and not worry about giving bad code to colleagues. You can commit a broken work-in-progress without harming anything. You can also create branches with impunity and not have to worry about naming conflicts, polluting the space of branch names, etc. If something turns out to be a bad idea, you just zap it and nobody ever has to know.

When you reach a version that needs to go out to the wider world, you use "git push" to send it to a shared server. By default git remembers where you used "git pull" to obtain the source from in the first place, and can automatically push back to that server. (Note that I say shared server, not central server. If you want a single official server, you a free to dictate that for your project. You can also give each work group their own repository.)
So who was the woman they interviewed? An elderly 4chan user?
Conveniently forgetting IM,IRC,etc eh?
One can prove, ab initio, that 1+1=2 in less than ten lines in Coq.

Algorithms are _meaningless_ without accompanying proofs. There should be --- and is --- a continuum of formality. The 20th Century has been unique in recognizing the fallacies and contradictions of completely informal reasoning; why give up when we're finally ahead?
J: an alternative to cd that learns where you spend time
For any zsh users out there, I made a couple changes so it works in zsh: http://github.com/burke/j
Stand for Open Access, Oppose HR801
Daring Fireball: Copying the Wrong Thing
Battery, RAM, and HD access on new 17-inch Macbook Pro
It seems to me that for backup you'd want a file format with redundancy, or that could tolerate a few bit for sector error while remaining mostly readable. This seems to conflict with most compression schemes.
How confident does this make you that anyone read and understood this bill before voting for it?
Inspirational article for those of us doing (or at least wish we were doing) Mac indie development.
Get Satisfaction gets new CEO and funding, amid growth
Whoa - 10 minutes ago, out of the blue, I was poking around on Wikipedia reading about compression algorithms and thinking how it might be a fun side project to mess with something like that. Now I reload my RSS reader and find this!

Life is strange sometimes...

What I started wondering about is if there's a chance of achieving better compression results if the compressor and decompressor could communicate about the compression before it happened. For example, (ignoring CPU constraints) what if when I was downloading a large file over the web, the web server and the browser conspired together to achieve a higher rate of compression customized just for me by using some kind of shared knowledge (like a history of what was recently downloaded or whatever) to achieve a transfer of less data? (Like, if I had a bunch of files on my client that the server also has, could it use small chunks of those known files and index their location in the new file to be transfered - thus saving me download time?)

Obviously this is not a fully formed thought... but I think it might be worth considering that compression need not always be bound by the type of data, but also by the receiver of that data and the intention and method of that data's transmission.
Most of the Java "enterprise" ecosystem is the result of people trying to make simple problems more interesting by framework-ifying them to the point that they become hard. Not coincidentally, most of the Java ecosystem is also used by/built by corporate IT developers . . .
I took the liberty of flagging this for being vapid.
This article is complete fluff.
Reading your posts here it seems that you've been exposed to some really poor managers. Me too!
unique in the same way

So, not unique then.
Isn't this just a rehash of the lates 19th/early 20th century intuitionits vs. formalists debate? Even though Gödel had shown that the ultimate goal of the formalist program is unattainable, they still mostly won that debate by being able to produce more meaningful results. The radical intuitionist, with whom the author seems to sympathize, did not only reject the axiom of choice, but even things like the law of the excluded middle (i.E. they assumed that "A or not A" is not necessarily true). That makes many proofs considerably harder to perform, if not totally impossible.

Not surprisingly, the formalist program was also more fruitful for endeavours like computational logic and the theory of computation, which resonate with the formalist tenet that mathematics is just the manipulation of strings of abstract symbols according to specific rules.

This http://en.wikipedia.org/wiki/Brouwer-Hilbert_controversy gives some of the context.
Tell HN: Fill in those Profiles!
Howdy Hackers,

After giving it some thought, I've fleshed out my profile quite a bit, almost making it into a cover letter. Reading it, you can get an idea of my experience and how it may shade my comments.

Without sounding too pretentious, I want to make my profile a sort of standard in terms of information. It is undoubtedly easier to converse civilly with someone when you know enough about them to consider them friends, and profiles provide a soapbox for an individual to broadcast this information.

So my fellow hackers, join with me and fill in those profiles! We are currently subpar, and things have to change.

-Shamiq
It looks like this app is actually solving a small problem people have on twitter. I don't actually use dm's on twitter(unless really necessary), so this app would be of little use to me.

Also i am seeing a small percentage of people using twitter as their mail id. As twitter grows more and more, there might be more people sending dm's to people who are not following them back. Also there are a bunch of purists on twitter who follow people whom they really know well to keep their timeline clean, it would be useful for them.
That's definitely a good distinction; that clients CAN tell you what they need by if you ask the right questions.

Of course, one major constraint in large corporate/government development is not being able to speak directly to the people who will actually be using a system. I've often had the experience of spending months developing and producing a working system before being allowed to show it to any of the eventual users. While incredibly stupid and occasionally frustrating, this can make development much more interesting and challenging.
Nokia to Sell Phones With Skype Software
I must say I don't like the name of this particle.
I think the philosophy expressed here is true regardless of the language you're programming with. Where Chuck Moore differs is that he has attacked the inefficiencies at the lowest possible levels where the rest of us grin and bear it.
Where did I say the bill would end graft and pork? I didn't. What I'd like is the kind of transparency that could out the graft and pork to the American people. With enough outrage over the crud tucked away in this thing, maybe we can get decent people in the seats in the future.

Read, instead of infer.
Went to recovery.gov. Tried to access the already famously slow Government Printing Office resources. Crushed. The Obama team might be running Drupal, but they need to take a trip over to GPO and bring those services into the 21st century.

Come to think of it, shouldn't the GPO be at the leading edge of information distribution? What's going on over there? Anyone want to bet they're running uncached Oracle on a leased 8 year-old Sun server?
Unfortunately "Q: Is the spending data on recovery.gov available in a format (like XML) that developers can use to create mashups and gadgets?
A: Not at this time. But, as new systems are developed to capture the allocations and expenditures under the Act, we plan to make that data available in exportable form"

http://www.recovery.gov/?q=content/frequently-asked-question...
His name is out there, if you really care. If I recall, he's attended at least one conference.
As for, "Women just don't seem to be..." types of generalizations

If they were interested, they would be actively participating.
Open Source Funding
My understanding is that Fermilab may not have high enough baseline statistics right now to be "convincing", even if they do find good candidate events.

The LHC should be able to produce much higher statistics and thus have a better chance of finding the Higgs.
From the author in his site's comments:

"What’s changed is that they’re not trying to build their own walled gardens, they’re trying to fence in the commons."

This is very important to keep in mind.
Drupal itself uses JQuery, so "JQuery on Drupal" is redudnant. Recovery.gov uses Drupal.
noted :-)
And for a bit of a related joke:

http://abstrusegoose.com/118
Executive summary:

Old cart: Opens new page, standard cart design.

New cart: Lightbox style (gray out the background, box in the middle), ajax shopping cart.
see which API's Im working with... or if from scratch then see which API's I'll be constructing and how those will be used by higher up functions...

if the app has a GUI then mockup the GUI first in some graphics program to see which kinds of things are useful to users, and then see what the minimum number of primitives is needed from the layers bellow to service that
I am so used to loosing my place when clicking links, that I routinely middle click them to open new tabs - this includes add to cart links.

So I would never discover this new box on my own on your page. (Since middle clicking just takes you to the old cart.) Ideally you'd want middle click to take you right back where you came from, but with the ajax cart pre-opened.

Am I so unusual? Every person I show the "middle click open tab in background" to gets hooked, and now that's the only way they browse.
Im in non-silicon valley - and not leaving anytime soon - I have a family, putting down some roots, etc. My hope though was that the online world would provide this network effect, though I guess there is just not enough bandwidth in online interactions for people to size each other up, make friendships, relationships, etc.

I understand the Silicon Valley advantage exists b/c of the physical proximity of so many important ingredients, and the overwhelming number of the ingredients, but surely the number of non-SV people outnumbers even that.

I would love to hear those kinds of conversations in diners around here - but it doesn't happen. The only place I hear those kinds of conversations are here, on the web. I have a fairly limited dialog with people on these subjects, really the market and my partner are the major sources of input for ideas and where to go in the future.

I'd love to be in SV, to be a part of it, but I'm not willing to trade what I and my family have for the benefits to found there. How can anyone afford to live there also, is beyond me.

Anyway - i'm rambling. I guess I should start to take my online identity more seriously. I should post in my profile what my company is and does. I should try and connect with people I meet on here. But finally, something is holding me back - a certain innate caution retreats from that type of display. Because for all of the wonderful people that are on here, there are probably some bad apples. I guess its the same as in the physical world, but there you have cues, and police, and safety.

pg - any way to add some kind of reputational system to hacker news? Or maybe thats a good startup idea.

You could put in anyone's username, and any site, and rate them on a series of categories - whatever. It can be as simple as 'friend' like facebook. But it would be a kind of metadata for these relationships. I could see if someone who is a friend of mine on here likes them, trusts them, etc. Though making all of that explicit might be too much. Human social interaction allows for alot of subtlety - you can say alot without saying anything. Thats another place online communication suffers, its very hard to detect sarcasm,etc. Oh well, I guess I'm really rambling now.
Plop makes me think of the toilet.

EDIT:
The loading took a very long time on google chrome.

Is this built with GWT?

If the clouds moved really really slowly then they wouldn't be so distracting.
Ask HN: Where to find expired domains? (startup domain search)
I am looking for domains for a new startup and wanted to see if I could find any potential expired gems.

I tired GoDaddy's auction list and it was rather weak.

Do you know of any sites that aid in that type of search? (or any other good domain sites) Thank for the help!
"Scientific orthodoxy says that human evolution stopped a long time ago."

No it doesn't. I call blarney on this article.
They dig the fur, I hear.

I'm tempted to send you the original Delicious pitch deck to see what you can do. (Black text on white background!)
I think it's possible, but I have no idea how likely it is.
This reminds me of one of the very first actions by Steve Jobs when he took over Apple again. He reduced the product line to 4 models, a portable and desktop version for consumer and pro markets. They have slowly added new model categories, but for the most part it is still iMac/Power Mac and Macbook/Macbook Pro.

(Then there are the iPod models, but those came later and is still only up to 4 models, and iPhone is one model with 2 configurations.)
What human obsession with "formal proofs"??? Have you heard of religions?
Did Kevin Mitnick Sell A Telephone Hack?
any way to add some kind of reputational system to hacker news?

I've often thought of doing something like that, as an aid to people trying to find hackers to hire. Would other people want such a thing? (Assuming it could be implemented in a way that wasn't obnoxious.)
A comment on HN a while back suggested that Apple had asked Google not to use a standard jack for controlling the phone. Apparently one of the google execs is connected to apple.
It's fuzzy but I think it's at least plausible that they didn't do it to lock customers down or out.
Why do Tax Cuts contain $61B for Protecting the Vulnerable when there is already a Protecting the Vulnerable category with $81B?

Also, if Obama were really interested in transparency, he would direct the Treasury and Federal Reserve to comply with the FOIA requests made by the media regarding the TARP and the liquidity injections.
Why limit yourself to expired ones ?

I've bought some excellent domains off ebay, another option is monikers domain auction.

Another thing you could do is to simply approach the owners of a bunch of domains that are parked and that you'd like and ask them if they'll sell it with a reasonably low bid (say 60% of what you are willing to pay), then see if you get traction.

Last option, and probably the best, is to come up with a good name that is still free, it is definitely possible.

You just have to be a bit tenacious and creative :)
It's a non-standard port, but you can use standard headsets with an adapter (which T-Mobile is now distributing with the phone). It's an HTC thing, not an Android thing; HTC did the same on their Windows Mobile devices.

I'm not sure what to make of "the keyboard and drop down styling is a cheap ripoff of the iPhone"... Is the problem that it's too similar to the iPhone or that it's not similar enough?
The site isn't built with GWT, but it is running on Google App Engine.

So far, my hosting costs add up to $0.00, as I note in a blog post about PlopQuiz:

http://blog.jamtoday.org/post/77146082/the-plopquiz-origin-s...
IAccelerator: summer startup program @ IIMA
I think there are plenty of reasons to keep your profile brief, I have made mine as verbose as I would like it, I assume plenty of people here are either anonymous or nearly so because they don't want to put other people off.

Each to his own :)
I'll be the last to say that was stupid, not that long ago I made a similar gaffe. Ever since I have the autocompletion in my email address bar set to off, and I would advice everybody that deals with sensitve data on a regular basis to do the same. It's all too easy to send an email to entirely the wrong person like that.

Oh, and another easily avoided error is 'reply to all'.
Well isn't that a separate process? You should be able to make any file redundant, not just compressed files.

Something similar to the way CDs are written to be able to handle scratches should work well in this case.
Regarding the potty reference...

"Plop" refers to how its easy to make and share quizzes. But when I told a very, very well known developer about PlopQuiz, the very first thing this person said was, "is this a site about going to the bathroom?"
I'm running this program with CIIEindia.org the incubation center at IIMA. We invest 5 Lakh in the companies we work with and ask them to move to Ahmedabad for 5 months May 1 - Sept 30.
The way to avoid disorganization is to refactor your code constantly. As soon as you complete a feature, refactor. Most high-quality "open code" you've read has probably been rewritten 4+ times as the developer became more familiar with the problem domain.
Previously: http://news.ycombinator.com/item?id=479196
Bank nationalisation gains ground with Republicans
An easy way to find out what framework a site uses, is this bookmarklet:
http://blog.olicio.us/2008/11/08/wtframework-bookmarklet/
The Wall Street Journal should know better than to comment on stuff they haven't got a clue about.

Every time an egg gets fertilized that's evolution in progress, every time a human being does not get offspring because his/her desired mate gets snagged by a more appealing specimen that's evolution in progress and every time somebody gets killed by accident before they get to reproduce that's evolution in progress too.

The fact that the changes accumulate too slow for you to witness this in real-time does not mean it does not happen.

Any scientist that works in biology claiming that human evolution has stopped will soon find himself/herself the laughingstock of his profession.
Watch Out YouSendIt... Dilberts In town.
Absolutely agree!

One of the best things I learned coming out of a failed video game startups (we had one win, our multiplayer tech is powering Quake Live :P) was the importance of positive and negative feedback for building an addictive community.

On BreakkUp.com, we're looking toward virtual goods instead of banners ads. There's no reason in this day and age that one can't easily produce and monetize e-cards and gifts on a micro level, for example. It better fits our demographic which is 25-35% teen — they practically ignore banner ads.
The lesson I took away from the book was not to take my plans too seriously, which may sound defeatist. But if the book is to be believed, we may end up quite happy even if things go seriously wrong, or even because of it.
Become an Editor for iPhoneCTO
Techcrunch "overrated" according to TIME
You might also like this way of looking at all the requests your browser is doing to a certain host:

http://en.gibney.org/capture_webtraffic/
happiness research is chilling. Do you want an optimal life imposed on you? A large part of what makes people happy is self determination and I do not believe that that is being accounted for.
The hack for that is to give people the illusion of free will but make all the important "happiness maximizing" decisions behind the curtain. But this too is scary. What is the happiness researcher made a mistake? Or is calculating via averages? My happiness is not other people's happiness.
Open Government Hackathon: Chicago, March 29-31 (PyCon)
Yes. Till I read your comment I wasn't sure what to say to the guy. I couldn't imagine how this couldn't work for him, because I'd forgotten it was possible to program without constantly rewriting your code.

In fact, the word "refactoring" feels a bit strange, because I was doing it for so long before there was a word for it. It's one of those terms (DSL, agile, etc) invented by mainstream programmers as they gradually reinvented Lisp hacking.
this case is on very shaky grounds

http://www.alternet.org/rights/65484/?comments=view&cID=...
it's not just that crackers are more experienced. DRM only needs one person to crack it for a total failure. The first person to crack it distributes it to everyone else without the DRM.
DRM only works on the non tech savvy. And those are the people who are unlikely to steal your stuff anyway.
At the moment I'm getting some strange behaviour, I think due to your Uservoice plugin - the site loads and then abruptly disappears, and subsequent refreshes only bring up the uservoice 'feedback' tab.
And a proprietary headset? Really?

These sorts of silly limitations will drop away as manufacturers other that HTC start to make Android devices.

As far as Android "succeeding" against the iPhone, I am not sure that it will in the near term-- and I am not even sure that it matters. However, I think it will succeed against every other phone OS, and rapidly at that.
I can't remember where I originally found this link (I thought it was here, but a quick check of SearchYC didn't reveal it), but I found the following article on intuitionistic mathematics for physics pretty fascinating. While I know a certain amount about intuitionistic mathematics, I'd never really considered that people might actually use it.

http://math.andrej.com/2008/08/13/intuitionistic-mathematics...
Time predicts techcrunch in the deadpool. Nice one. All this while TechCrunch visits are still growing, and Time magazine is decending.
http://siteanalytics.compete.com/techcrunch.com+time.com/?me...

Sure time is still bigger, but TC has been adapting in the changing environment. Great job by the new CEO in rescuing TC from going down the ValleyWag path.

Seems Time may not really understand TC. They say 'reporting on the movers and shakers of Silicon Valley', while that is true to a point, the screenshot they show is about western europe.

TC should write an article about how Time is an over-rated mag.
scrolling up+down is pretty slow. Too much going on.... Simplify.
Yes, but you have to be honest about the amount of information contained in the conspiracy. In the limit, the server could send the entire file as part of the preprocessing step. The compressed version would then be "yeah, that one".

That example is silly and extreme to illustrate the point. In your parenthetical example, the costs to be accounted for include not only the index information but also the catalog of shared files.
Cocoa with Love: An Asteroids-style game in CoreAnimation, Part One
I don't mean to gripe, but why is this interesting? The HR staff at a startup made a common and mildly embarrassing mistake that is unlikely to be of any long-term significance.
Stop bouncing: tips for website success
there's a reason why you can't just dm anyone.

Your spam filter better be perfect, which it's not, or else people are going to fetch your whole followers list and dm everyone on it spam.
This is why I gave up on OS X and moved back to Linux :(

The problem, really, is that Apple no longer sells a professional laptop. Because regardless of how their marketing department tries to spin it, if you can't swap out the battery on the go and replace its hard drive with minimal hassle, it's definitely not "pro". I love OS X, I just wish Apple would give me some decent (and reasonably-priced) hardware options...