STOP SOPA ☣ STOP RWA
Two bills are making their way through the U.S. Congress that would have highly negative consequences for AcaWiki and the public good. Please take action against both.
Many large sites are blacked out January 18 to spur action against SOPA. Visit americancensorship.org to take action against this bill, which is a censorship and security risk for the entire internet. Wikimedia's General Counsel explains how SOPA would hurt wikis.
RWA would prohibit federal agencies from conditioning their grants to require that articles reporting on publicly funded research be made accessible to the public online. This is unjust and would specifically harm AcaWiki by greatly reducing the number of people with access to important literature — access is required to summarize. Please tell congresspeople to oppose RWA.
See AcaWiki:SOPA-RWA for planning and discussion of this message.
A wiki for Mizar: Motivation, considerations, and initial prototype
From AcaWiki
Citation: Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers (2010) A wiki for Mizar: Motivation, considerations, and initial prototype. Lecture Notes in Computer Science (RSS)
doi: 10.1007/978-3-642-14128-7_38
Download: http://arxiv.org/abs/1005.4552
Tagged: Computer Science (RSS) wikis (RSS), version control (RSS), DVCS (RSS), formal methods (RSS), proof (RSS), consistency (RSS), proof-checking environments (RSS), Mizar (RSS)
Summary:
The authors describe how they used wikis, distributed version control systems, and server-based environments to develop an environment for math collaboration, with the proprietary Mizar system.
Theoretical and practical relevance:
Mizar's focus on formal correctness leads to ideas that might be applied more widely in wikis. Correctness is seen widely as including consistency (see section 5.1). For instance linking to subsections of articles is problematic because these subsections can be renamed, breaking internal links, and reducing "link coherence". Since Mizar is formal, "change propogation" might be addressed formally.
This was published in an open access journal.
