in

ASP.NET Weblogs

This Blog

Syndication

Tags

My Job

My stuff

Old stuff

Useful Stuff

Jeff Key

It works on my machine

November 2004 - Posts

  • Deprecated HTML

    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

    Posted Nov 29 2004, 06:12 PM by jeffreykey with 7 comment(s)
    Filed under:

  • Wuh, Orkut?

    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.
    Posted Nov 29 2004, 06:04 PM by jeffreykey with no comments
    Filed under:

  • Tiny peek into the future#

    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.
    Posted Nov 12 2004, 08:33 AM by jeffreykey with 2 comment(s)
    Filed under:

  • Mr. Key Gone to Heaven

    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.

    Rejoice!
    Posted Nov 12 2004, 07:21 AM by jeffreykey with 4 comment(s)
    Filed under: ,
More Posts
Terms of Use