I'm watching the weekly University of Washington Computer Science & Engineering Colloquia on UWTV. This talk is given by J Strother Moore. He described his work on AMD's microcode verfication efforts. He proved FDIV for them in 9 weeks with thousands of theoroms with the help of his theorom prover.
10:59:22 PM    comments ==

I ate dinner at wendy's tonight. I had to resist the urge to offer condolences.
10:01:28 PM    comments ==

I spent this evening helping a friend customize Internet Explorer a bit. He was pretty well set except he found incorrect information on MSDN on how to do what he wanted to do. The task was to custimize the editor for a web page in IE and the application called from "view-source". Here is the answer for prosterity:

Adding an editor to the html editor list in Internet Explorer

1. Open regedit, go to HKEY_CLASSES_ROOT, find the key ".htm"
2. Expand the ".htm" key and find the key "OpenWithList"
3. Create a new key under "OpenWithList" named after the editor you wish to add, in this example "vi.exe"
4. Close things back to HKEY_CLASSES_ROOT and find the key "applications"
5. Create a new subkey under "applications" with the same name from above. Ex "vi.exe"
6. Create a new subkey under the key created in the last step called shell.
7. Create a new subkey under shell called edit.
8. Create a new subkey under edit called command.
9. Change the default value under the key command to the full path to your editor in quotes plus "%1" (with the quotes) Ex: "c:\vi\vi.exe" "%1"

This is doing two things. Steps 1-3 tell IE to try to use an editor with the name specified. Steps 4-9 tell the shell how to use the edit verb on that application name. The quotes are important. The quotes around the full path the executable keeps the program in one group, and the quotes around the %1 makes it such that the whole file name is accepted even when it has a space in the path (which it almost always does).

Changing the view for view source in Internet Explorer

1. Open regedit, go to HKEY_LOCAL_MACHINE
2. Expand the key "Software"
3. Expand the key "Microsoft "
4. Expand the key "Internet Explorer"
5. Create key "View Source Editor" under "Internet Explorer"
6. Create key "Editor Name" under "View Source Editor"
7. Change the default value of key "Editor Name" to something named after the view you wish to use, in this example "vi.exe"
8. Close things up and expand HKEY_CLASSES_ROOT
9. Expand the key "applications"
10. Create a new subkey under "applications" with the same name from above. Ex "vi.exe"
11. Create a new subkey under the key created in the last step called shell.
12. Create a new subkey under shell called open.
13. Create a new subkey under edit called command.
14. Change the default value under the key command to the full path to your editor in quotes plus "%1" (with the quotes) Ex: "c:\vi\vi.exe" "%1"

This is simular to the other hint, except you register in a different place, and this command uses the verb "open" instead if "edit"
9:00:58 PM    comments ==

Korean's can be weird when it comes to Clubs and Dating
11:10:58 AM    comments ==

Here is a story going around about The Lord of the Rings and Windows XP
10:06:31 AM    comments ==