[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
NYC LOCAL: Tuesday 8 January 2013 Lisp NYC: Raymond Puzio on A Hyperreal
NYC LOCAL: Tuesday 8 January 2013 Lisp NYC: Raymond Puzio on A Hyperreal Dictionary of Mathematics
6 Jan 2013 22:00:55 -0500
what="official LispNYC announcement from
edits="list of mailing list posts removed">
Subject: New York City Lisp User Group: A Hyperreal Dictionary of Mathematics
corner New York City
Lisp Group LispNYC.org meetings blogs news home
( front-page )
Upcoming related events:
* Jan 23-25, Lambda Next in Berlin, Germany
* Feb, 12, Erlang Factory Lite 2013 in Munich, Germany
* Mar 18-20, Clojure West in Portland, Oregon
* Jun 1-4, European Lisp Symposium 2013 - ELS'13 in Madrid, Spain
( meeting - Tuesday, January 8, 7:00 PM - A Hyperreal Dictionary of
PlanetMath is a virtual community that aims to make mathematics more
accessible. Over the years, some of the PlanetMath contributors have been
doing research on how to improve PlanetMath's software-on the one hand,
adding new features to the user interface, and on the other, adding
artificial intelligence features in the backend.
One of the branches of the project that overlaps both of these areas is a
new hypertext system, which will not only be useful for storing and
editing the PlanetMath database but also for representing mathematical
knowledge in a form which is suitable for intelligent manipulation by
computer, such as verifying proofs and answering questions. We call this
"Arxana"; the name is loosely inspired by Ted Nelson's Project Xanadu.
The main areas of current development which I will discuss are:
* Separation of front, middle and back-end by devising a standard
interface. This makes the codebase more modular and makes it easier
to reuse our earlier code. I'm focusing on the "middle end" so that
we don't get lost in the details!
* Representing literate programs as hypertext, with dependencies
indicated by links, so that programs can be run as networks in situ
or compiled down to standard code.
* A hypergraph search facility which allows for semantic search, as
well as implementing logical inference rules.
Raymond Puzio obtained his Bachelor's degree in Physics at Columbia,
where he had his first introduction to LISP in the basement of the math
building, followed by a doctorate at Yale.
After a few years in academia, he became involved with PlanetMath,
originally as a contributor, later also becoming involved in
organizational aspects of the project as well. Shortly, after joining
PlanetMath, he met Joe Corneli, with whom he has since been collaborating
on the projects about which he will speak.
Pizza, beer and soft drinks provided by Meetup.
Meetup HQ, 9th Floor
< ... />
( functional development )
LispNYC is a community devoted to the advocacy and advancement of
Lisp-based functional programming technologies such as Common Lisp,
Scheme and Clojure.
We focus on education, outreach, regular monthly meetings, mailing lists
and development projects.
Monthly meetings are held every second Tuesday, are free and open to all.
Providing parentheses to NYC since 2002
( member services )
mailing list Lispnyc Bloggers Meetup Google+ Facebook Linked In Twitter
( contact )
contact lisp merchandise
"Will write code that writes code that writes code that writes code for
money." - on comp.lang.lisp
about this site
Distributed poC TINC:
Jay Sulzberger <address@hidden>
Corresponding Secretary LXNY
LXNY is New York's Free Computing Organization.
|[Prev in Thread]
||[Next in Thread]|
- NYC LOCAL: Tuesday 8 January 2013 Lisp NYC: Raymond Puzio on A Hyperreal Dictionary of Mathematics,