skysight-inc/HackerNews huggingface dataset:
"DARPA has also supported programs on the Semantic Web with a great deal of emphasis on intelligent management of content and automated understanding. However James Hendler who was the manager of the DARPA program at the time has expressed some disappointment with the outcome of the programe."

The Semantic Web is not a good use-case in terms of reputation for modern AI..
DARPA Grand Challenge? How's that a breakthrough in AI? Sure, it's uses a lot of results of "AI" research, but there's nothing revolutionary about that.
It is a palindrome, my wife liked it, and there was currently not a project called arora out there.
And when you find competitors, you need to realize that probably no one else you know has heard of them. The people here have rather bleeding edge knowledge of start-ups. There may be 10 start-ups for your idea. Some of them are probably running on vapors at this point.
Hehe, originally it was supposed to be a bear sleeping on a planet. Probably should come up with a new one :)
Most vi users I know use a combination of gnu screen and bash job control to accomplish this sort of thing.
Even their desktop computers have now standardised on mini displayport. All currently shipping iMacs, Mac Minis and Mac Pros have mini displayport.
Firemacs, Firefox extension which gives emacs keybindings.

https://addons.mozilla.org/en-US/firefox/addon/4141
UCT for Tactical Assault Planning in Real-Time Strategy Games [pdf]
Ed is fun to use, and learning it makes you better at vi.
The comparison to insects is very interesting. Now that you said it, it's easy to make a connection between stupid bugs that fly into the light, into windows, walls and simplistic Quake bots or automated vacuum cleaners.
I am sick to death of the editor wars and editor advocacy, I wish people would just stop. I bet most hackers have made their editing decisions long ago and are content with their choices.

Having said that, I would like to add something positive to the discussion. I think whichever editor you choose, you should learn to move the cursor around without using the arrow keys. There is considerable value in keeping your hands on home row. Every time you reach for the arrow keys you add latency to your workflow. It adds up.
This is probably true. But if the purpose of Wave is to be "Collaboration Tool for Large Corporations to Share TPS Reports," isn't it doomed with most hackers anyway? Who would want to write programs for that?
Ubuntu 9.10 Karmic in Beta, Available
"It seems that a large part of AI is thinking up new functions with parameters to be tuned."

Doesn't that encompass all of Computer Science?
Near as I can tell, there is only one reason not to simply rebind C-x C-f to anything-for-files: it doesn't create files. That's fixable:

(defun anything-for-files-create-if-not-found ()
"Just like anything for files, but gives the option to create a file."
(interactive)
(anything '(anything-c-source-ffap-line
anything-c-source-ffap-guesser
anything-c-source-regular-filename-completion
anything-c-source-recentf
anything-c-source-file-not-found
anything-c-source-buffers+
anything-c-source-bookmarks
anything-c-source-file-cache
anything-c-source-files-in-current-dir+
anything-c-source-mac-spotlight)))
Information Theory in Computer Vision and Pattern Recognition
This post is suggestive. ;-)
Or you could just say that they both are very unappealing. It probably took the author under 5 minutes to type up this blog post.
(setq comint-input-ring-size 2048)

The default undo history is only 32. I like to be able to go further back.
http://github.com/jonshea/config-files/blob/master/.emacs
I have put together some suggestions/hints for vi users using vim a while back that might be helpful as well.

http://geocar.sdf1.org/vim-hints.html
There is also now DNS poisoning of high profile sites like Facebook and Twitter. So be sure to use a DNS proxy that is outside China.
This post is supposed to be suggestive. ;-)
The commands you demonstrate are not going to convince anybody that Vi(m) is a great editor. Not at all.
That was worth reading if only for this clever comment:

> Dave just got pwnt.

http://hypecycles.wordpress.com/2009/09/30/interview-questio...
Interesting data...to your point about our piracy rates being high at 85% - I agree but think it is only a symptom of our App being new and expect it to trend toward 50% or less in a few months.

Also important to note is that calculated the piracy rate as the difference between iTunes sales and Pinch media uniques. I have found that Pinch Media's data is less conclusive than it used to be so I wasn't using their metrics for either cracked or jailbroken phones.

As for the pirates try before they buy excuse, I agree that this is probably not the case. I think it is a churn game (similar to music) for most pirates - they try hundreds of apps for very little time and stick with only the very few that they like.

As for your piracy block - I tried this once and decided better to let them have a lite version of the app over blocking them entirely. Not sure the point of angering the most vocal, early adopters on the web. Check out a post I wrote dealing with this: http://www.icombatgame.com/2009/05/22/on-the-web-every-users...
Apropos reading. I just finished Larry Nieven's Ringworld. I only noticed that it was written in 1970 halfway through the book.
Soundcloud are doing good things.

Wesabe and Hype Machine are examples of sites that have moved from the usual page-by-page way of navigating to loading views via javascript and transitioning between them.
An Introduction to Google Wave - Google Wave: Up and Running
Slight tangent, but:

we don't buy Apple monitors or RAM because of the excessive price

I've been thinking of adding RAM to my MBP. Excessive price is bad. What should I do?
That's a dumb reason to vote up an article. If I submitted the man page of vim, would you upvote it? The man page is actually more useful than this blog post.

It's not about the subject, it's about the content.
PAC-Bayesian Supervised Classification (Thermodynamics of statistical learning)
Wave is simply too new. Appropriate conventions, best practices and basic netiquette haven't yet been communally agreed on.

Most of the other problems reviewers have identified appear to be almost purely basic software issues (new or updated waves don't float to the top for example, can't draft a response yet, etc.), things that Google could just silently update tomorrow or next week.

In addition, we've only seen one Wave client. The protocol itself seems sound, but alternate clients could easily solve many of the identified "problems".

The importance of Wave is and always has been the protocol. The client is just an example or reference app.

For myself I'd love to use it to co-author papers and collaboratively write technical specifications and design docs with my (across the continent) colleague.
I work mostly inside git repositories, so this has been really valuable for scoping commands to the current repository:

(defun my-git-root ()
(if buffer-file-name
(let* ((current-directory (file-name-directory buffer-file-name))
(git-directory (concat current-directory ".git")))
(while (and
current-directory
(not (file-exists-p git-directory)))
(setq current-directory (file-name-directory (substring current-directory 0 -1)))
(setq git-directory (concat current-directory ".git")))
current-directory)))

I also hated editing system files until I added this function, which I almost definitely cribbed from somewhere:

(defun sudo-find-file (file-name)
(interactive "FFind file (sudo): ")
(find-file (concat "/sudo::" file-name)))

I got sick of having to context-switch to the browser when I needed to do a quick search, which is where these come in:

(defun go-to-doc (base-url)
(let ((default (symbol-name (symbol-at-point))))
(browse-url (concat base-url (read-string "Search term: " nil nil default)))))

(defun rails-doc ()
(interactive)
(go-to-doc "http://apidock.com/rails/search?query="))

(defun ruby-doc ()
(interactive)
(go-to-doc "http://apidock.com/ruby/search?query="))

I really, really hope package.el is built-in soon:

(when
(load
(expand-file-name "~/.emacs.d/elpa/package.el"))
(package-initialize))

and by far the most important line in the whole file:

(server-start)
Agreed, I get around 100-200 emails a day. Most of them are just continuations of a single conversation between the same 2-3 people. On top of that, because email can get unwieldy, we often just fall back on IM for many things.

Wave seems almost obvious except that it wasn't invented earlier.
My understanding is that they made a big leap during the challenge - from catastrophic performance in the first run, to several successful drivers in the second run.

Revolutionary or not, I don't think it was trivial to make an autonomous vehicle.
A correction: These aren't macros, they're fexprs.

There are a lot of other interesting things on the site; the cola/idst stuff is especially interesting.
Who is afraid of non-convex loss functions?
It definitely is over-hyped. I think it has to do with the focus seemingly on the developer addons and bots and such vs. the collaborative communication medium.

Perhaps they thought they had to differentiate from message boards or IM or email or IRC?
Artificial Intelligence - is it really possible in this way ?
I´m a graduate student of Computer Science from Brazil and i´m studying Artificial Intelligence, and i´m loving it. Before i start the course, i was working in my self "intelligent machine" without any knowledge of formal AI.

I see, there´s a lot of research made at last decades, but i don´t think they (the AI researchers) are even close from something that we can call Intelligence.

My point is ... is it possible to create intelligence without life ? Intelligence from a dead "system", like softwares ?

Intelligence is critically connected to existence ... so how can we create intelligence without creating a living artificial organism before ?

What you think, am i flying ?
I'm forced to use this beast: http://store.apple.com/us/product/MB571Z/A

To run a 30 in secondary display off my 17 MBP. It's flakey and I have to make my machine never sleep when it's plugged in. The other day I got a KVM switch to do windows builds and it runs through it. Fortunately I don't have a terrible case of "Fuzz of Death:"
http://discussions.apple.com/thread.jspa?threadID=1837465...

But it does happen every now and again. Total PITA esp considering that their old display ports worked just fine.
We decided not to go with Highrise because we can not import our categories/tags (they're more than 3k contacts). As of now we're analyzing Salesforce & Microsoft's Business Contact Manager
Did Google just buy dropbox.com?
If not, how long have they had it?
Red Hat is so kickass. We need more publicly traded open source companies.
I've never gotten this. How do they know there aren't bugs in the proof? Mathematical proofs often have bugs. They're caught by inspection by other mathematicians. Sometimes it takes years before that happens.

The problem is that most proofs about code are likely to go without much inspection, just as most code goes without inspection.
I'd like to have an actually meaningful conversation in a Wave (one not about Wave itself) before I render judgment. Unfortunately the only people in my Wave contact list are waxy and Joe Gregario because I've emailed them each a while back.
Statistical Learning Theory : Models, Concepts and Results (Notes by Schoelkopf)
I thought the same thing, "meh", until I had an epiphany last night.

I really think this changes everything. People keep leaning on the document aspects of it, but I tend to think of sites like reddit, digg, hn, even 4chan and how, if applied, it changes the way web communication happens. Imagine a realtime Reddit with living, breathing comment threads. Even the StackOverflow model becomes something new with this.

Even more basic than that is how this, I believe, will replace email for even casual users. I'm sure the rest of you have similar experiences where you get involved in long email threads with friends, and how that can slow down, say, planning something to do that night, or planning a trip or some kind of thing that requires consensus and a bit of discussion. The flow of reply-all, wait, reply-all goes away completely.

And, of course, the collaboration aspects of it are pretty awesome.

So I wasn't convinced until last night, and now I'm nearly as excited as when I first saw the graphical web with Mosaic or sent my first email with a NeXT box in college or dialed up my first BBS.

There is quite a bit of promise here.
Interesting thoughts on how hard it's for old stuff facing the change Juggernaut
The whois is from someone who registered it in 1995, so I would say no.
Honestly, my current solution to that is to get my current directory correct when I start (:cd ~/Programming/project) and then just :e app/controllers/users_controller.rb when I need a file. Tab completion makes it fast enough that it's not worth optimizing faster.
Machine Learning Theory
Extrapolating the effort involved in proving huge numbers of complex safety properties for an operating system written in C to programs in general is a bit silly. Doing formal verification in more abstract languages gets considerably easier, and considerably easier to mechanise large chunks of the work (a Hindley-Milner type system is a kind of proof of a safety property, for example, and that's totally mechanical).

So it might take 200,000 years to verify Windows, but considerably less to verify an equivalent amount of non-operating system Haskell code, for example.
Stewart Brand: environmental 'heresies', urbanization and developing economies
So in order for you to track your metrics, you willing to annoy your client's followers. I am not sure that's a good idea.
As a starting point have a look at http://en.wikipedia.org/wiki/Predicate_transformer_semantics.
As has been said before, it's not about being "bug free" - it's about a number of safety properties always holding as long as the assumptions are true.

The safety properties might be things like who can write to what memory, and when it is acceptable for bits of the kernel to do certain things. Lock freedom in scheduling is probably also a big thing. I haven't looked at any of this very closely, but I'm just guessing based on the sorts of properties I would try to prove initially.
The Emergence of French Statistics
It works, thank you so much for the stuff.
It's not just a tool for corporates though; they're just a handy example because at their scale the problems are unavoidable.

If you have to coordinate communication and collaboration among any group of people, Wave will help. Though if it's only 2, 5 or 10 people, it's more likely you can get everyone to agree on convention and get by with older tools.
Google File System II: Dawn of the Multiplying Master Nodes
it has been like that for a while now.
You left out hjkl and C-bnpf, the cursor. And / and C-s, search. These are the only things I know in vi but it makes it barely usable for config.
You can do the same thing with bm.el, but you also get multiple bookmarks (visible in the buffer) which you can then cycle through. I find it helpful to have bookmarks and the region decoupled.

http://www.nongnu.org/bm/
Nope, I don't think the downvoting came from dissent, it came from you shitting on other people contributing helpful technical documentation while adding no value of your own.
No. But they should. :)
Wait a second, what relevance do knights in armor have to the London stock exchanges? Nothing, or I'm a blithering idiot.

The comparison between corporate hierarchy and feudal hierarchy has been around for many decades. Incidentally, both of these are only indirectly related to markets. No claim of analogy is being made to markets. Please keep these things straight.

http://tinyurl.com/yb5tkka

So the Brits are uniquely good at open source because, at one point, they had agriculture? AGRICULTURE?! Every modern nation has agriculture!

Actually, there are particular practical aspects of rice agriculture which are especially conducive of cooperation. Basically, the irrigation requirements make pre-industrial revolution rice agriculture impractical without a much greater level of cooperation than is required of, say, someone with a subsistence potato patch. (The idea is not mine. It comes from western anthropology of Japan.)

http://www.publicanthropology.org/Archive/HO1991.htm

Thanks for mistaking your lacking a few pieces of information for someone else's poor thinking. So all "agriculture" is functionally equivalent? It's all an undifferentiated token? I guess that would make sense from a strategy game POV.

Every modern nation has agriculture! Well, I suppose it is an indirect pre-requisite for Computers on the Civilization tech tree WHAT UTTER TRIPE AM I SAYING.

So you get your ideas about history from strategy games, project the same toy world view on everyone else, then accuse them of being misinformed? Your adjectives are appropriate, but perhaps they're directed at the wrong party?

Actually, the history of technology is much better represented as a vast, dense, directed acyclic graph, not a tree as in most games. This might help you out. There's a TV show if you have too short an attention span.

http://en.wikipedia.org/wiki/Connections_(TV_series)

If you have a really short attention span, try just skipping to the 3rd episode. You can relate that one to Left4Dead.
One Small Leap for Open Source, One Giant Leap for Mankind
Here are just a couple things I find really useful day to day. I used to have a timeout that would revert to normal mode from insert mode after about 30 seconds if idle, but I got tired of that after about six months and just got in the habit of hitting Escape when I finished with an insert action. I did it just now, even though this is a textarea.

" For (ab)use with :sp
map <C-j> <C-W>j<C-W>_
map <C-k> <C-W>k<C-W>_
set wmh=0 so=999 winheight=999

nnoremap i :noh<CR>i

" \s is global-replace-this-word
:nnoremap <Leader>s :%s/\<<C-r><C-w>\>//g<Left><Left>
I see your view, but my problem is, I really like free content.

I can accept that to produce and distribute that content costs someone money. The ad based revenue model aligns very nicely with the quality of the content produced (assuming greater quality == more readers).

The problem with the pay per read model is that you don't know if you want to pay before your read. Now that probably works for larger publishers of quality work (e.g. IEEE), but for those random one-hit-wonder bloggers (and there are many of them), how would you know if yesterday's highly linked post was worth the 50 cents?

Some times a three paragraph blog post is insightful enough to be worth the nickel, sometimes I wish they paid me for the 2 minutes it took to read.

With a book or a larger volume of work, it's easier to briefly browse and make a purchase decision.

For the informal survey, I don't use ad blockers, but I just don't get bothered by the ads (with the random access afforded by a visual page they are rather simple to avoid). The onerous ones click-throughs and pop-ups), yeah, those are annoying.
http://news.ycombinator.com/item?id=760547

There was some discussion on the original post to HN about this announcement. In particular, look at this:

http://ertos.nicta.com.au/research/l4.verified/proof.pml

Which talks about the limits of provability.

In short, a "proof" that contains errors isn't really a proof of anything. And you build your proof inside an automated theorem prover so that it can be mechanically checked for internal inconsistency (i.e. contradictions), or for a completely inability to be false (i.e. tautologies).
Scientists Develop Nasal Spray That Improves Memory
Ask HN: RTS AI Competition?
I don't have the time to do this right now, so I'll throw the idea out there...

What about a programming competition for Real-Time-Stragegy Game AI? The closest example I can think of is the Robot Auto-Racing Simulation (RARS) league.

A buddy of mine and I were working on this briefly, back in '94, but it went the way of many side-projects. Maybe it's time to resurrect the idea?

The competition could offer multiple challenge classes. E.g:

1) complete a given scenario with fixed win and loss conditions. (with some unknowns / variance as to opposing force)
2) compete against other AIs in a tournament
3) compete against humans in a tournament
...
4) compete in a game whose rules are provided in machine-readable format just before the competition begins

In case (1), it would be good to run the scenario multiple times (with, and without memory?) to get some idea of the AI's variance.

One thing I'd like to see is a domain-specific language that could describe the rules for many popular RTS's. This would allow research into more general RTS-playing AI that could compete well in whole class of games, rather than being custom-tailored to each game.

Thoughts?
Has dropbox ever had the dropbox.com adress? AFAIK they have always used getdropbox.com
Buy the RAM from a third-party vendor like Newegg or whatever, not from Apple. Often you can get the exact same RAM, but for a much lower price. Just be careful to get compatible RAM.

Sidenote : I was just checking out iMacs, which are pretty cool. Upgrading from 4GB to 8GB costs 900$ at the apple store. That's expensive. That RAM better be great.
Oh, it's a long article, I'd try it later. Thanks for the link.
SEO Tools for Webmasters | TechJaws - Fraud Alert, SEO Tools, How to Stuff
It's a shame that Google gets the A record, since it now gets ~40k UVs from getdropbox.com misdirects...

http://siteanalytics.compete.com/dropbox.com/
Given that Roombas are programmed in Lisp, how long before someone ports the Roomba AI to Lego?
Receiver Operating Characteristic (ROC) Literature Research
http://www.crucial.com/ is probably a good place to start, select your system from the drop downs and it will give you the exact type of memory you need - and for a decent price. There might be cheaper options if you hunt around, just get the dimm size from crucial and google around to compare prices.
> So be sure to use a DNS proxy that is outside China.

This is where many people think wrong. GFW hijacks all UDP port 53 data, and OpenDNS fails like others. You MUST use a clean DNS server inside China or on localhost. Query DNS via IPv6/SSH/VPN/Socks/TOR/TCP.
Nice commandline directory bookmarker. (Saves you typing and tabbing too much)
He assumes that there are no more bugs once you put tests before coding, and he also assumes that there is zero cost to putting tests before coding. (Or at least, he doesn't mention these things.) With assumptions like that you can prove anything. Even without queuing theory.
In my time in the corporate world I much preferred Lotus Notes to Outlook for email, calendering, etc. And generally, you also had Notes development occurring which provided useful applications for the department. All IBM really needs to do at this point is develop and announce an 'App Store' for Notes and they'd be the hot topic again.
Can't you just provide a unique shortened URL within each tweet sent (or a hashtag) and track if it was RT'ed (when and by who) or the individual link clicked? You can have an opt-in/opt-out on the linked page too.