norm is currently certified at Master level.

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

FOAF RDF Share This



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

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

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!

Share this page