November 2004 - Posts
It's been a while since I've done much HTML work, but I had no idea that I'd missed the boat. Apparently a good chunk of HTML elements and attributes have been deprecated.
This is fine by me, as I'm taking a few minutes to learn hard-core CSS (goodbye, tables!), but the few of you that don't need to support Navigator 2.x anymore may want to check out the following link.
Good riddance, width attribute when used in an hr, pre, td or th tag!
Deprecated HTML tags and alternatives
Oh, right. The Next Big Thing. I'd completely forgotten about it until I was Orkutspammed by some guy today. Thanks, pal, I'll check out your band PRONTO.
It's always fun to check out .NET-related goings-on at MSFT Research. A new (to me) project is Spec#
The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. The system consists of:
- A programming methodology, which includes a sound treatment of object invariants in object-oriented programs.
- The Spec# programming language, which is a superset of C# and adds things like non-null types, checked exceptions, method contracts (like pre- and postconditions), and object invariants.
- The Spec# compiler, which is integrated into the Microsoft Visual Studio development environment, statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the specifications in metadata for consumption by the program verifier.
- The Spec# static program verifier, which translates programs into logical verification conditions, which are passed to an automatic theorem prover.
- An interface to the SpecExplorer tool for test generation and model-based testing.
Check it out..you may be using a feature or two in the future.
Wow. The Pixies are in town for five days, starting Sat. I went a little nutty when I heard this earlier in the year and bought two tickets: one for Sat and one for Tues.
Good move! The Coctails, who have played only once since breaking up (AFAIK), are opening on Tuesday.