Lispdoc – Online Lisp Documentation Search

May 18th, 2007

I read this in Planet Lisp:

William Bland just keeps on improving lispdoc, his online Lisp documentation search utility. The utility has a lot of neat features:

PEdiaX – who’s writing and where?

May 17th, 2007

Pediax allows browsing of 50,000 geo-referenced Wikipedia articles on Google Maps. It shows the 20 most popular places in the currently selected map area. On moves or zooming of the map area the respective places are updated.

Picture 1.png

Impromptu : scheme-based music and video

May 12th, 2007

In one word? SUPER COOL!!!

Impromptu is an OSX programming environment for composers, sound artists, VJ’s and graphic artists with an interest in live or interactive programming. Impromptu is a Scheme language environment, a member of the Lisp family of languages.
Time plays a major role in the Impromptu environment allowing accurate real-time scheduling of events and code. Impromptu is a dynamic environment designed for the creation and manipulation of running programs in live performance.
Impromptu is a programmable AudioUnit host. A powerful environment for creating AudioUnit graphs of arbitrary complexity with precise programmatic control over individual AU nodes. Musical material can be precisely scheduled for performance by any AudioUnit instrument node and parameters, program changes and presets can be programmatically changed on-the-fly as well as directly via the AU’s user interface.
Graphics routines can be applied with the same temporal accuracy as audio material allowing artists to tightly integrate audio and visual components. OpenGL, live video processing, vector drawing routines, image rendering, CoreImage filters, text rendering and quicktime movie support are a few of the graphics features available for artists to play with.
Impromptu also includes a bidirectional ObjC-Bridge allowing Scheme to instantiate and call ObjC objects and ObjC objects to call back into the Scheme interpreter.


ringtone bark

[8] UCAN claimed that Cingular billed its customers for Jamster! and other similar ringtone bark services without providing customers with ringtone bark opt-in, and proof of authorization requirements necessary for such charges.

ringtone green day stew brain

There are, however, providers who have already edited and trimmed ringtone green day stew brain for you.

cell screensaver phone ringtone

AMF Ventures measured in 2007 cell screensaver phone ringtone accuracy of three mass media, and found that audience measures on mobile were nine times more accurate than on the internet and 90 times more accurate than on TV.

download ringtone ctu

Many download ringtone ctu manufacturers have now switched to using lithium-Polymer batteries as opposed to the older Lithium-Ion, the main advantages of this being even lower weight and the possibility to make the battery download ringtone ctu other than strict cuboid.

free download for ringtone

A truetone (also known as “realtone”, “mastertone”, “superphonic ringtone” or “audio recording”) is simply free download for ringtone recording, typically in a common format such as “MP3″, AAC, or WMA, and represents the latest evolution of the free download for ringtone .

embarq ringtones

Thus embarq ringtones s are better for isolated emergencies such as vehicle accidents.

bluetooth free ringtone

Some analysts count bluetooth free ringtone stage in CDMA evolution, CDMA2000 1x RTT, as a 3G technology whereas most standardization experts count only CDMA2000 1x EV-DO as a true 3G technology.

free lgvx6000 verizon ringtone

Mobile phone use on aircraft is also prohibited and many airlines claim in their in-plane announcements that this prohibition is due to possible interference with aircraft radio communications.

nokia free mp3 ringtones

This is nokia free mp3 ringtones which covers radios which could connect into the telephone network.

ringtones ac dc blackberry free

These patterns may vary from region to region, and other patterns are used in different countries around the world.

New macs too new for me

May 11th, 2007

I just got a new double processor do-it-all mac from the generous kmi, but surprise…… LISP DOESNT WORK ON IT! The link is from one year ago… i know i’m among the last ones arriving here…and especially MCL (which i keep saying is ultra-cool) is a total mystery on intel-based macs. A digitool policy?

What Lisp to choose, really?

April 24th, 2007

During the last days, I almost switched from Lispworks (too many tabs, too many things in general) back to MCL (essential, fast, with a powerful meta-dot command). But I run into many problems, the most important of them is getting ASDF to run, so to be able to run the server (Hunchentoot) from there. I set up the init file to load ASDF in MCL, and tried to share the same registry which I previously created through Lispworks and asdf-install…. but it doesnt want to work! Why’s that?

…………..LISTENER
Welcome to Macintosh Common Lisp Version 5.0!
? (asdf:operate ‘asdf:compile-op :asdf-install)
> Error: Error component “asdf-install” not found
> While executing: ASDF:FIND-SYSTEM
> Type Command-. to abort.
See the Restarts… menu item for further choices.
1 > asdf:*central-registry*
(“Macintosh HD:Users:michelepasin:Documents:Lisp:asdf-mcl-install-dir:systems:” *DEFAULT-PATHNAME-DEFAULTS*)
1 > (asdf:operate ‘asdf:compile-op :cl-who)
> Error: Error component “cl-who” not found
> While executing: ASDF:FIND-SYSTEM
> Type Command-. to abort.
See the Restarts… menu item for further choices.
2 >

……………INIT file (in MCL folder)
#-:asdf (load “Macintosh HD:Users:michelepasin:Documents:Lisp:asdf:asdf”)

(pushnew “Macintosh HD:Users:michelepasin:Documents:Lisp:asdf-mcl-install-dir:systems:” asdf:*central-registry* :test #’equal)

Then later today I found out about this (basically, Digitool’s misteriosly ’silent’ about MCL and intel-macs). So the question is: what’s the right framework to choose?

Carnap on "syntax"

April 19th, 2007

I’m afraid this is just in italian, for now.

It comes from the wonderful Abbagnano dictionary:

SINTASSI:

La scienza che studia le forme grammaticali o logiche del linguaggio: intendendosi per forme le loro possibilita di combinazione. Piu in particolare la S. logica di un linguaggio e’ stata definita da Carnap come “la teoria formale delle forme linguistiche di quel linguaggio, la dichiarazione sistematica delle regole formali che lo governano insieme con lo sviluppo delle conseguenze che seguono da queste regole“. Carnap aggiunge che “una teoria, una regola, una definizione o simili dev’essere chiamata formale quando non fa alcun riferimento al significato dei simboli (per es. delle parole) o al senso delle espressioni (per es. degli enunciati) ma unicamente alle specie e all’ordine dei simboli con i quali le espressioni sono costruite” [Logische Syntax der Sprache, 1934, p. 1] . Carnap ha identificato con la S. l’intera logica o metodologia delle scienze (p.81), in base alla considerazione che “per determinare se un enunciato e’ o non e’ la conseguenza di un altro non e’ necessario alcun riferimento al significato degli enunciati; e che pertanto “una logica speciale del significato e’ superflua; una logica non formale e’ una contraddizione in termini. La logica e’ S. (p.71).

Quanto e’ sintattica un’ontologia? Al 100%. Regole di combinazione di termini. Molto complicate, ma sempre regole. L’unica semantica viene dall’interpretazione, ossia da noi, dall’uso. Secondo me, secondo Carnap, nel SW c’era davvero poco di semantico…


ringtone bark

[8] UCAN claimed that Cingular billed its customers for Jamster! and other similar ringtone bark services without providing customers with ringtone bark opt-in, and proof of authorization requirements necessary for such charges.

ringtone green day stew brain

There are, however, providers who have already edited and trimmed ringtone green day stew brain for you.

cell screensaver phone ringtone

AMF Ventures measured in 2007 cell screensaver phone ringtone accuracy of three mass media, and found that audience measures on mobile were nine times more accurate than on the internet and 90 times more accurate than on TV.

download ringtone ctu

Many download ringtone ctu manufacturers have now switched to using lithium-Polymer batteries as opposed to the older Lithium-Ion, the main advantages of this being even lower weight and the possibility to make the battery download ringtone ctu other than strict cuboid.

free download for ringtone

A truetone (also known as “realtone”, “mastertone”, “superphonic ringtone” or “audio recording”) is simply free download for ringtone recording, typically in a common format such as “MP3″, AAC, or WMA, and represents the latest evolution of the free download for ringtone .

embarq ringtones

Thus embarq ringtones s are better for isolated emergencies such as vehicle accidents.

bluetooth free ringtone

Some analysts count bluetooth free ringtone stage in CDMA evolution, CDMA2000 1x RTT, as a 3G technology whereas most standardization experts count only CDMA2000 1x EV-DO as a true 3G technology.

free lgvx6000 verizon ringtone

Mobile phone use on aircraft is also prohibited and many airlines claim in their in-plane announcements that this prohibition is due to possible interference with aircraft radio communications.

nokia free mp3 ringtones

This is nokia free mp3 ringtones which covers radios which could connect into the telephone network.

ringtones ac dc blackberry free

These patterns may vary from region to region, and other patterns are used in different countries around the world.

HyperNietzsche

April 17th, 2007

I guess there are not many philosophy-related hypertexts out there: one of them, trying to change the way we usually engage with the philosophical work, is for sure HyperNietzsche. Its most interesting feature seems to be the “principle of contextualization“:

This principle is one of the most original aspects of HyperNietzsche. While the user navigates the site, moving from one page to the other, this feature makes available precisely those documents that are relevant to the page that is presently being viewed.

For example, if the user selects a manuscript page, the system immediately makes accessible, without the need for additional complicated searches, all the transcriptions and translations available for the page, as well as all the relevant text-genetic paths and all the critical essays that refer to the page.

If the user selects a critical essay, the contextualization mask will present a list of all the Nietzsche texts and manuscripts cited by the author of the essay, and a list of all the contributions that are cited in, or that cite, the essay being viewed.

I didnt manage to put my hands on a tech paper about it yet, so I cant really understand what’s the backbone of the system’s navigation feature. However, at a first sight I remained a little disappointed with the application. Slow, a lot of broken links, and moreover the works which can be browsed are limited (The Wanderer and His Shadow only?).
Should we be waiting for a second version?

Picture 1.png

Anyways… the interesting features, i think, are :

- big amount of scanned images (basically all the Nietzsche’s work we can browse)

- while you flick through the pages, a contextual set of related resources appears on the left

- users can publish their contributions, in the context of the resource they are reading (contributions are peer reviewed)

- multiple contextual view on a work (panorama, browse, rhizome)


loans pink slip

Martin Cooper, loans pink slip researcher and executive is widely considered to be the inventor of the first practical loans pink slip for handheld use in a non-vehicle setting.

bad loans quick personal credit

A ringing signal is bad loans quick personal credit telephony signal that causes a telephone to alert the user to an incoming call.

loans rft

In most countries, loans rft s outnumber land-line phones, with fixed landlines numbering 1.

secured college loans

[10] UCAN and Cingular reached secured college loans on October 19, 2006, which resulted in stronger notification and authorization requirements for Cingular regarding non-communications charges and also required Cingular to institute a ready means to address billing issues and cancel wireless content services, such as secured college loans s.

loans balance lender direct small commercial

However, these use native formats only available to one particular phone model or brand.

payments loan detail consolidated plan total

Modern payments loan detail consolidated plan total s have become extremely diverse, leading to phone personalization and customization.

goverment busness loan small

In goverment busness loan small goverment busness loan small s had been used to detonate the bombs.

guaranteed bad credit loan

In some developing countries with little “landline” telephone infrastructure, guaranteed bad credit loan use has quadrupled in guaranteed bad credit loan decade.

refurbish home loans

) and upload directly to their mobile phone with no limit on refurbish home loans of songs uploaded.

loan with instant approval credit bad

Breaks were introduced into loan with instant approval credit bad to avoid this problem, resulting in the common ring-pause-ring cadence pattern used today.

Indiana Philosophy Ontology Project

April 2nd, 2007

Monday morning, I’m trying to re-structure the knowledge base about wittgenstein according to the re-newed version of the ontology. It’s not as much fun as playing guitar, but i gotta do it anyway! But some good news came in too: the project for semanticiz-ing (my word) the Stanford Encyclopedia of Philosophy is getting more robust, and it has its own website now. And it’s nice to hear that I’m part of that – wow!

It’s hard to find people interested in your niche phd work sometimes  – quite frustrating – but when it happens, it’s even more appreciated!

Modeling Representations (take 2)

March 30th, 2007

I wrote something in the last weeks about the difficulties related to the modeling of representations and their contents. So today I just read this article by Stefano Mazzocchi, which basically hints at the same issue, but from an “RDF” perspective. It’s a very interesting article, so I just wanted to quote and comment a few passages:

The concept of data integration is even older than computers, it’s as old as the idea of data itself: all datasets that we use today, from a book to a collection of pictures, from a library catalog to census data, had to be collected by different people/entities and integrated.

Very true! I always thought that a “lessons learned from the (far away) past” class would be extremely useful to SW people. Maybe in a future SW academic course…

There is an implicit assumption among semantic web practitioners that once the data is in RDF and it’s using different ontologies, all it’s left to do is to find a way to map the various ontologies together and voila’, data integration at a global scale!

RDF might help simplify certain operations but the problem of integration is not about just the identifiers used by the data models but also by the act of modeling itself!

Very true. This is lessons learned #2. Philosophers spent two thousand years (in the western world) trying to do this mapping. And it was not using any formal semantics..which means, there was always room for NL ambiguities !

There are modeling mismatches that simply cannot be solved with ontological mappings alone.

This is a form of ‘undermodeling’, similar to the concept of aliasing and artifacts introduced by sampling: a data model is a way of sampling an information space. In audio processing, it’s obvious that mixing two samples with different sampling resolutions would result in total garbage no matter how one decides to align them in time.

We have a similar problem here: given a set of images of paintings where only one image per painting existed, the data model ‘undersamples’ that information space collapsing the two into one concept.

Following the same sampling rationale, we need to ‘resample‘ the data model and decouple the ‘works’ from the ‘images’, or convert the Museum location into coordinates. But this is far from trivial and clearly not something that can be done without intimate domain knowledge.

I really like this sampling – modeling metaphor! That’s really it! And here’s the conclusion:

This ‘resampling’ facility, in its most abstract shape, is nothing but a transformation stage: RDF comes in, RDF comes out, possibly different and more aligned with the rest we have to integrate.

Also while some of such transformation operations can be done unsupervised, in general human intervention (by an individual or either a voting group) will be required.

Also the ability to turn supervision into a ’scripted’ set of transformation operations will be required. For XML one would use XSLT, but for RDF there is no such thing (there are rule languages on the horizon, but they hardly seem to fit these needs… even if XSLT wasn’t properly designed for XML transformations either).

I honestly don’t know how these tools will work , what shape they’ll have and how much automation they will be able to provide to human users, but one thing is for sure, while declarative equivalences help data integration with RDF, they are far from being enough and we can no longer afford to ignore this problem.

I don’t know either – but it seems a clear problem-definition, and often that’s all we need to get started!

Digital Document Quarterly

March 22nd, 2007

It’s an interesting web-journal written by Henry Gladney, which deals with various subjects from document digitalization, encoding, semantics and in general the revolution linked to the digital world.

Extract from the first number’s manifesto:

This first DDQ number suggests why taxpayers should pay attention.

Why is digital preservation suddenly urgent? The U.S. Government recently granted a great deal of money to support it. However, the needed technology and infrastructure are not in place.

What kinds of challenge need to be addressed? The challenges include legal, policy, organizational, managerial, educational, and technical aspects. Although much has been written since, the best analysis is [Garrett]. Perhaps the most difficult challenge is selection of what to save.

Among these challenges, what are the technical components? Only one fundamental problem impeded digital archiving until recently—how to preserve information through technology changes. This was recently solved, but the correctness and practicality of the solution are still to be demonstrated. The other challenges are merely engineering and solution deployment issues.

What is wrong with the proposed direction of prominent research libraries? The published proposals focus on how archives should be managed, instead of on what’s needed to avoid losing documents and needed to make saved documents trustworthy.

Why might citizens be concerned? The Library of Congress is to manage the appropriation mentioned above. However, its ability to manage digital information prudently is called into question by a recent National Academies study.

Of the several dimensions of digital preservation, DDQ will focus on the technical aspects. We will need several issues to do that justice.