 |
privacy |
||
|
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.
Blog Feed Recent Items 
The nfoCentrale Blog Conclave nfoCentrale Associated Sites |
2007-11-05Whither Peano?Technorati Tags: Miser Project, Numbering Peano, SeaFunc, Chris Diggins, Charles Petzold, Computer Science, Functional Programming, Computation Theory, Henry Baker, Chicken Scheme I have been very neglectful of Numbering Peano and the other elements of the Miser Project. Although I continue to make notes and follow other activities, I am much too silent and there is no velocity to the work. I also have other commitments, and those are challenging for me, even though they will train me when it comes time to lay down some code for a reference implementation or three of the Miser engine. I trust that the heavy lifting done there, on practical middleware and its deployment, will provide for a sound implementation of distributed-Miser operation. A RenaissanceAmid all of that, it is the Miser Project that arouses my passion, even if only for episodes connected to inspiration generated through interactions over the work of others. Charles Petzold's Annotated Turing announcement has been one of those inspiring situations. I intend to take that as a lever for re-launching activity on Miser and visibility on Numbering Peano. How will I balance that? Every day, the Miser Project will be my after-dinner dessert. It is my reward for completing my other commitments and re-energizing with attention to the Miser Project. I don't know if there will always be visible output, but my intention is that there will be some sort of post almost daily. Sometimes the posts aren't here but on a blog, such as Professor von Clueless, or on a site such as TROST or nfoWare. However it shows up, it will be building toward delivery of working Miser Project software. I notice that the sand runs out of my hour glass in the evening and I don't have the energy for some of my other commitments. Yet work on the Miser Project is, at this point, energizing. When it ceases to be inspiring and energizing I will re-assess how to maintain the momentum. There are parts that are difficult for me and I will need to be sharp and alert to work on them. That will probably require some fresh-faced morning-hour concentration. I will adapt. HousekeepingThere are some housekeeping chores that need to be done here. The bits of the site, and the blog too, have some dry rot and repairs are required. Some of this is related to a change of hosting services which, along with big improvements and great economy, introduce case-sensitive folder and resource (web-page) names. See also, 2007-11-10 Miser Project: Repaving Kick-Off. I need to be diligent about the housekeeping so that the site works with all of the refinements that I have learned and developed on sites that are more current. I want to get that done here while the amount of material is modest. Ultimately, the housekeeping will spill over to my Orcmid's Lair site, since my bibliographic compilations are there. Those have been neglected too, especially regarding materials on mathematical logic and programming systems, especially functional-programming. Some related housekeeping involves uploading photographs from events that are connected to the work here. Focus on ContentSpeaking of bit rot, the oMiser Sketch is in terrible shape and there are some serious errors in the content, ones that will derail a newcomer to the material. I have also refined my ideas about some parts, and that is being reflected in posts here. But it is time to merge all of my pent-up changes into a refactored, simplified sketch. That will also involve moving material to sections of the site where it can be given focused treatment and expanded supporting development. The idea is that the sketch will shrink to sketch-sized digestible material as an appropriate overview of material that is expanded elsewhere. I also want to start merging in references to related material, attention to other blogs and work such as that of Christopher Diggins on his cat language and his provision of interesting tools. It will also be interesting to get to the point where I can adapt Henry Baker's Cheney copy technique as it is incorporated in Chicken Scheme, returning me to techniques first explored in the original Heathkit H-8 demonstration of a prototypical Miser implementation almost 25 years ago. These are all pent-up affections that I need to channel along with many of the additional ideas that arise each time I expand on any single one of them. My job jar is already larger just because I finally set down an account of Miser Hacks II. But What About Numbering Peano?The last hints about the original inspiration for this blog were published in 2004:
There is more to be done here, especially without wending such a turtuous route. The idea is to make a very simple demonstration of how we are able to manifest abstractions in the behavior of computer programs, and how interface contracts support that. There is much to be learned from this simple example and its progressive development, and I won't resist the opportunity to resurrect it for very long. And Focus, How About Focus?This blog has been a catchall for abstraction- and computation-theoretical material in an odd combination. I don't mind that so much. There is room under the /astraendo marquee for other blogs beside Numbering Peano. I can imagine ones for /Turing, /Church (maybe), and /Gödel, as peer branches for Peano (here, /pn). There could even be a wiki or two. I'm not in a hurry about any of that. [update 2007-11-10: I added a link to the just-starting repaving activity in the Housekeeping discussion.]
|
||
|
You are navigating The Miser Project. |
template created 2004-05-31-22:34 -0700 (pdt)
by orcmid |