Advogato: Personal info for norm

norm is currently certified at Master level.

Name: Norman Megill
Member since: 2004-03-15 06:18:12
Last Login: N/A

Notes: My Metamath site is one of the things I have done. My email address can be found at the bottom of its home page.

Recent blog entries by norm

Syndication: RSS 2.0

10 Apr 2004 (updated 28 Apr 2004 at 09:13 UTC) »

I wrote a reply to a MathForge article on computers and mathematical proofs, which in turn is about the New York Times article In Math, Computers Don't Lie. Or Do They?. An interesting tidbit (that would otherwise remain obscurely buried in noise) is that solovay proved 0=1 with the HOL-light proof verifier.

15 Mar 2004 (updated 15 Mar 2004 at 21:05 UTC) »

I can reply to articles now (thanks Raph:), so I replied to the article My Linux Wishlist and removed the duplicate comment that used to be here.

Others have certified norm as follows:

raph certified norm as Master
marnix certified norm as Journeyer

[ Certification disabled because you're not logged in. ]

New Advogato Features

FOAF updates: Trust rankings are now exported, making the data available to other users and websites. An external FOAF URI has been added, allowing users to link to an additional FOAF file.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!