From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Joe Corneli Newsgroups: gmane.emacs.devel,gmane.emacs.help Subject: Emacs/Lisp-related projects for Google Summer of Code with PlanetMath Date: Tue, 2 May 2006 12:45:19 -0400 (EDT) Message-ID: <20060502164519.9A2248181@planetmath.cc.vt.edu> NNTP-Posting-Host: main.gmane.org X-Trace: sea.gmane.org 1146588465 22934 80.91.229.2 (2 May 2006 16:47:45 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 2 May 2006 16:47:45 +0000 (UTC) Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue May 02 18:47:42 2006 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1Fay0Q-0004uN-LG for ged-emacs-devel@m.gmane.org; Tue, 02 May 2006 18:45:47 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Fay0Q-0007pi-1m for ged-emacs-devel@m.gmane.org; Tue, 02 May 2006 12:45:46 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1Fay02-0007g3-OA for emacs-devel@gnu.org; Tue, 02 May 2006 12:45:22 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1Fay00-0007eJ-PO for emacs-devel@gnu.org; Tue, 02 May 2006 12:45:22 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Fay00-0007e1-Kn; Tue, 02 May 2006 12:45:20 -0400 Original-Received: from [198.82.161.133] (helo=planetmath.cc.vt.edu) by monty-python.gnu.org with esmtp (Exim 4.52) id 1Fay0C-0005bJ-GP; Tue, 02 May 2006 12:45:32 -0400 Original-Received: by planetmath.cc.vt.edu (Postfix, from userid 1025) id 9A2248181; Tue, 2 May 2006 12:45:19 -0400 (EDT) Original-To: help-gnu-emacs@gnu.org, emacs-devel@gnu.org Original-Newsgroups: alt.religion.emacs, comp.lang.lisp X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:53799 gmane.emacs.help:34752 Archived-At: With only one week left to prepare an application in time for Google's student application deadline, I realize I'm getting this out a bit late, but nevertheless -- I thought it worthwhile to announce that PlanetMath is listed by Google as a mentoring organization for this year's Summer of Code, which means that if you're a student and you can come up with a convincing-enough proposal, you can get paid good money ($4500USD) to work on free software this summer (specifically, I'm plugging PlanetMath, but there are other mentoring organizations). PlanetMath's brainstormed list of projects is at http://planetx.cc.vt.edu/AsteroidMeta/2006_PM_Summer_of_Code_Coordination I'd like to specifically draw your attention to the three open-ended items on the "Math Hacking Track", * Work on some part of the Arxana Xandu-like collaborative authorship system (http://article.gmane.org/gmane.emacs.sources/1713). * Parsing "natural language" math, written in LaTeX, into computer-friendly math written in LISP. * Developing proof-checking (and proof-authoring) tools that operate using the language mentioned above. Please get in touch with me via email or the above-mentioned wiki if you're interested in any of these projects.