Name: Norman Megill
Member since: 2004-03-15 06:18:12
Last Login: N/A
Homepage: http://metamath.org
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.
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.
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:
[ Certification disabled because you're not logged in. ]
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!
del.icio.us
Digg
Google bookmark
reddit
Simpy
StumbleUpon
Furl
Newsvine
Technorati
Tailrank