It's Like Déjà Vu All Over Again
"You could probably waste an entire day on the preceding links alone. But why take chances? We also give you Paul Snively..." — John Wiseman, lemonodor
In this article I demonstrate that Google's choice was technologically poor, compared to that of eBay and Amazon. I will show that a Google API based on XML, HTTP and URIs can be simpler to use, more efficient, and more powerful.
Yeah, right! Worse is better might seem to apply here. Better to start off with something people understand such as RPC and build on that than to start off with the better, but harder to understand i.e. REST. [Roland Tanglao's Weblog]
This is the part I find baffling: someone as smart as Roland finds REST "harder to understand" than RPC! I'd be very interested—no sarcasm, as Dave would say—in hearing some comments about that, as I want to gain a better understanding of the issues so that my own ignorance doesn't become self-defeating in RPC and REST discussions. Thanks!
6:23:51 PM
Kind Software, - producing formally verified software using a modern SW eng'g principles. (SOURCE:email from Simon)-Interesting to see if the market is ready for this. If not now, it will be later.KindSoftware is dedicated to quality software through the use of formal methods, quality software technology, and wise use of modern software engineering principles.
Want to learn more about how to build high quality products? How to design architectures that you can be proud of? How to ship software that never crashes and has no bugs?
Want to know what tools, foundations, and techniques can help you accomplish these goals? Are you interested in supporting the formal methods community or have a tool/process/product/theory of your own to promote?
If you answered yes to any of these questions, then you have come to the right place!
First Mark Baker, and now Joe Kiniry—another great mind that I met at OOPSLA '98. I need to do something to catch up with these guys.
BTW, if you like the idea of formal methods but have been put off by the sheer bulk of the burden of learning and using them, you might want to take a look at Alloy, which seems like a very simple system to pick up and use.
6:17:20 PM
Roland (and others who are interested), if you're specifically interested in the Lisp family and continuations, you may wish to check out Christian Queinnec's Lisp in Small Pieces. It's supplanted Allen's dated text as the canonical source on Lisp implementation techniques. Highly recommended.
Of course, EOPL 2nd ed. is also a must-read for programming language design in general. I just bought it myself a couple of weeks ago, to replace the first edition that I bought when it came out.
9:16:46 AM
