Biweekly links for 01/19/2009
- Towards a Wiki For Formally Verified Mathematics
- “the wiki will state all of known mathematics in a machine-readable language and verify all theorems for correctness, thus providing a knowledge base for interactive proof assistants.”
- The Art Of Community | jonobacon@home
- “The Art of Community” is a new book being written by Jono Bacon, the Ubuntu Community Manager. It’s not yet done, but will be published by O’Reilly, and will also be released under a CC license.
- Site intended to be a “Wikipedia for academic research”, summarizing academic papers.
Click here for all of my del.icio.us bookmarks.