Yale Patt on Abstraction

Abstraction’s a good thing? Abstraction is a good thing if you don’t care about the performance of the underlying entities. You know, so many schools teach freshmen programming in Java. So what’s a data structure? Who cares? My hero is Donald Knuth, who teaches data structures showing how data is stored in memory. Knuth [...]

The smart phone patent

Coming to Marshall Texas. 33 defendents, 128 claims .

Google’s engineering culture

Article in the New Yorker on Google contains a fascinating description of a product design meeting:

Page and Brin had wanted an upgrade of an existing product, and they were unhappy with what they were hearing from the engineers. At first, they were stonily silent, slid down in their chairs, and occasionally leaned over to [...]

Boeing’s clever idea

(Update – great link in John Regehr’s comment)
Apparently, passenger, admin, and air control computers are all connected. Here’s a reassuring comment (emphasis added)
Boeing spokeswoman Lori Gunter said the wording of the FAA document is misleading, and that the plane’s networks don’t completely connect.
The FAA is concerned.
The proposed architecture of the 787 is different [...]

The forefront of Internet 2.0+ and stuff

Welcome to the world’s most dynamic eBusiness marketing, design and consulting agency. We provide distinct clients with groundbreaking business strategies and cutting-edge designs to aggressively and creatively compete in a changing economy.

From the stunning website of Huhcorp. The sister site is even better.
Does your PHP network have double back-end XHTML redundancy? Is your [...]

what do we got to verify in an os?

From comments below.
Just one more comment: I think we should make a distinction between a tool that can verify threaded code and a tool that can verify the code that implements threading. The latter is what you are looking for here and it is much more difficult. Furthermore it is arguably unnecessary — a reasonable [...]

blog administration

Nonessential update:
if you are getting a feed, you can update the path /w/feed/ or /w/rss can have the “w/” drop since this is now the main page.

Update to blog

We start the new year with a brand new design and link structure. If you have any trouble with access to pages or with RSS feeds, please drop me a line or leave a comment.
thanks
The Mngmt.