Collaborative articulation of how abstraction and language is employed in the computational manifestation of numbers -- including analysis of the role of syntax, semantics, and meaning in the specification and use of software interfaces.

Recent Items
 
Hanging by a Branch
 
Stepping Off the Edge
 
BlunderDome Disruption
 
Miser Hacks I: Floating Along the Ground
 
Preparing for FLoC 2006
 
Preparing for the Lang.NET Symposium
 
Logic, Language, Information and Computation
 
Logic Summer, Model Autumn: 2006 Season of Functional Programming
 
Moving Peano Ahead for OOPSLA
 
Searching for the Semantic Web

Archives
2004-05-30
2004-06-06
2004-06-13
2004-06-27
2004-08-22
2004-08-29
2004-10-03
2004-12-05
2005-01-23
2005-06-19
2005-08-14
2005-10-09
2006-01-01
2006-02-05
2006-02-12
2006-07-09
2006-07-16
2006-07-30
2006-08-06
2006-08-20
2006-10-08
2006-10-22

Hanging by a Branch

I have changed my Blogger setup.  This post will appear at the official Numbering Peano blog location.  It will not be reflected at http://nfoCentrale.net/miser/astraendo/pn.

The same is true for the site feeds.  Only the official one will carry this post.

There’s a certain amount of frustration with developing on systems that have case-insensitive file systems and moving content to a case-sensitive file system.  This leads to odd breakages that are difficult to repair in simple ways.  I will persevere, but there will be breakage related to mismatched case-sensitive names that were previously not a problem.

posted by orcmid at 10/28/2006 08:27:26 PM

Stepping Off the Edge

This is the final post that will be made to Numbering Peano at the location http://nfocentrale.net/miser/astraendo/pn.  That also applies to the site feed from that location.

From now on, all posts will appear at the official Numbering Peano URL, at the location http://miser-theory.info/astraendo/pn.  The official site feed is also the one that is assured to work from now on.

You will know that you are at the old blog location if you see no post more recent than this, neither on the web page nor in the site feed.

PS: Sometime in the next few weeks, the old URLs will be moved atop the new, official ones and either set of URLs will work just fine.  For a while.  But the official ones will always work.

[update 2006-10-28-14:49 This reposting of the post already seen on the old web page and site feed is being made to confirm that Blogger is now correctly posting to the official site and its site feed.  There have also been some setting changes that will be developed more fully after the change-over is confirmed.]

 

posted by orcmid at 10/28/2006 01:30:59 PM