miser.txt 0.1.4 UTF-8 2025-11-16 *---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--* The Miser Project ================= TRACKING THE MISER PROJECT ON GITHUB ------------------------------------ TRACKER: THIS FILE REPLACES THE NOW TOMB-STONED FILE AT NOTE: Generally, folders of the Miser Project on GitHub repository have folder.txt text files where the folder name is used. This "Tracker" file serves that purpose, although it is under folder miser/docs for accessibility on the web while having maintenance be in exactly one place. The Miser Project is being moved to GitHub in its entirety. It is also being made web-centric, so that the authoritative text files of the project are housed in web folders from which orcmid.github.io/miser is published. This proximity improves the likelihood that there is no maintenance drift between web presentations and authoritative text files. The main introduction and sketch is the page now presented at the link . Technical details of the web presence construction are all connected via a scaffolding underpinning that commences at . MANIFEST FOR but maintained on the GitHub Pages. For the web side of things, see . README.md GitHub-rendered "home page" for the public source-code repository, with introduction to the project. miser.txt tombstone of this synopsis and manifest for the overall repository, now usurped by this authoritative tracking version dev/ subtree of materials on the development of Miser Project releases docs/ folder for docs and management as GitHub Pages models/ subtree for model-related exposition and comparisons oFrugal/ subtree for working out oFrugal processors including reference implementations and also companions to oMiser mockups oMiser/ subtree for working out and confirming oMiser conceptualization and proof-of-concept demonstrations, including run-time background.txt description of the inspirational sources and evolution of the ideas behind The Miser Project challenges.txt description of challenges to be worked through in the development of oMiser and its integration in higher-level functions and lower- level implementations. engineering.txt on the engineering approach to the Miser project and the development of reliable implementations of oMiser and oFrugal logic.txt on the use of logics in support of theories.txt, the specific oMiser theories, and also provers as they might be developed and applied to Miser itself principles.txt description of the strong principles by which the connection between theory and achieved computational interpretation are sustained, from the computational perspective programming.txt text description of information for programming in oFrugal notation with the oFrugal REPL theory.txt account for the theoretical progressions that are the foundation for achievement of the oMiser computational model and its concrete representations truth.txt explanation of the use of "truth" in the context of a concrete computational model and how it figures in computational interpre- tations and abstraction representations LICENSE.txt The open-source software license that applies to the entire Miser Project repository content except where stated otherwise. NOTICE.txt Notice that applies with respect to particular components of Miser Project software. SECURITY.md Security policy for the Miser Project on GitHub .gitattributes A declaration of file attributes for use in Git repositories of the Miser Project. .gitignore A declaration of artifacts to be ignored and excluded from Git repositories, applying to working files that are not part of the managed archive materials *---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--* Copyright 2017-2020, 2023-2025 Dennis E. Hamilton Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. *---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--* ATTRIBUTION Hamilton, Dennis E. The Miser Project on GitHub. Miser Project text file miser.txt version 0.1.4 dated 2025-11-16, available on the Internet as a version of TODO * URGENT? I need to rescue what I can from while I still own the domain and have the site available to me on the Internet and, better, on my laptop's VSS and FrontPage files. I have access from my Windows 10 Desktop and I should treat this with some urgency before everything gets refactored with retirement of computers and migration off Windows 10 (and XP in case of the old laptop). * I have no idea why I called this a "shadow" file. I need to look at the "original" in the full GitHub repository and figure out what I mean and where maintenance is intended to continue. I am renaming it to be a "tracker" since it is under docs/ but about the overall GitHub repository organization. 2025-11-11: Then I forgot about this and was confused to find this here. All better now. * I did not sign up for the Australasian Logic Colloquium just held in Brisbane, November 6-7, 2023. I did not see a program and the time zone differences were difficult. However, the focus on logic, computation, and philosophy (philosophical logic?) is intriguing, along with LLC (language, logic, and computation in different venues). There is also a Journal of Logic and Computation which is worth looking into. Also, the ALC was sponsored by the Association for Symbolic Logic (ASL). * I need to determine what came out of the workshop on Logic for Undergraduate Computer Science. I must track down the organizer and ask what happened. The workshop was called LogTeach-22 (L4UCS). I've asked the organizer and Moshe Vardi what happened. There is no word. * I need to put the slides and paper on L4UCS on bib/ and let Edgar Daylight know about them and also the use of Manifestation in that paper. I also need to figure out the AuthorizeIt thing with ACM. I could also put my own vitae here, now that I think about it. * In the refactoring, there needs to be a distinction between construction and management of the web materials versus job jar and diary regarding the subject matter, not the site construction. There are clearly editorial cross-overs, but they are not so much construction as content, such as the observation about "manifestation" just below. That's not unlike talking about material changes in code, even if it is about clarity or formatting. This separation of concerns should be addressed in docEng also, even though that sort of goes meta there. * I completely dropped the valuable use of "manifestation" here. That's an invaluable notion, along with interpretation, and I need to put it back into the account, including on the current docs/ front page. Thanks to an exchange with Edgar Daylight that had me notice my neglect of that valuable term. * Explain the reference implementation(s) and notation(s) as the mainline, with mockups for proof-of-concept, demonstrations, and exercises. * Link to Golden Geek and to Numbering Peano, noting restoration of blogging and the web site. SCRUB TO DOCS, MAKE PROVISIONAL * Docs will be moved here under docs/ in whatever authoring scheme I settle upon. Miser-theory.info materials will be salvaged. GitHub appears to be a more secure preservation mechanism. * See how to get a Wiki working here too. I am concerned mainly about reflow and getting pages to work properly. There is frustration between using GitHub versus Blogger at the moment. The GitHub support is more desirable if view reflow works. It seems to in the Wiki theme. * Review the efficacy of the various text files. This may be too much subdivision. Documentation might address this better. Those files/topics might move accordingly. * Provide tombstones as materials are moved under the docs/ structure. * SCRUB: Move items to docs.txt when to be handled better with web pages. * Provide a little bit more information about what this is and where to find more about it. * Account for the use of .md as well as .txt files in this project. * Do we need engineering of the GitHub project (and document engineering) as distinct from the engineering of implementations. We can handle this with a docs/construction mechanism. I don't know about the construction structure of the code other than that. * Make the global change of orcmid repositories to have main as the default branch name, deprecating master (which will presumably redirect to main). * Review for changes needed in blog, wiki, and documentation pages. * From 2002-07-18 (#34.52) to 2002-07-27 (#34.65) there are many notes and they seem related to content at miser-theory.info, and an N020701. I need to figure out where to rescue that. There's more on 2002-07-28 (#34.69-70), (#34.73-78, 2002-07-29 to 07-30). It seems that what I'm fussing about is . The site seems to have some breakage though. * On 2002-08-01 (#34.81) I am considering submission of a paper to STACS 2003. I was nowhere near ready and didn't go ahead with the idea. * On 2002-08-24 (#35.22-23) I found some interesting references and I'm uncertain what I tracked down, and whether any got into my bibliography. * On 2002-08-28 (#35.29-30) I raise some observations on oMiser 0.05 (no idea) and mention my discomfort with Böhm claiming a discriminator in the λ-calculus (since recanted). Other musings turned out not to matter. (Later, Böhm would conclude that he was in error and correct his web page.) * On 2002-09-06 (#35.50 and #35.52) I get into the topic of "The Unreasonable Effectiveness of Mathematics." This led to my post on Einstein's observation. And here there are references to other articles where folks address the question, some apparently unaware of what Einstein had to say. Now I need to find my own post on the topic. I refer to it in my paper on Logic for Computer Science undergraduates. * On 2002-10-18 (#35.86) I refer to N021000 in Well-Definedness. I wonder. * On 2002-10-26 (#35.91) I list some things that need notes, such as existence of mathematical entities, predicative sets, using Unicode, Gödel's self-referencing statement, and mumbles about tags in sMiser (which I suspect is lindies in oMiser) * On 2004-05-30 (#42.47) I come up with Astraendo for abstraction and use it on miser-theory.info. * On 2006-07-15 (#53.56) I realized that what I was calling caching somehow also attached implementation shortcuts on any Ob, something I would expect, along with having a COM-style vector, also having an applicative interpretation with acceleration. That's not quite the same as having a COM pv on an ob-cell, so I really need to figure out how this all can work. * On 2006-09-03 (#54.71) I am talking about types but being confused, since I will come to functional types when I get to combinators. Other types, like data types is a different matter, so interpretation and representation have to figure in. * THE MANIFEST IS INCORRECT. SORT THIS OUT. It's for the repository, not for the docs/ folder. For the docs/ folder, there is also docs.txt. I ended up confusing myself, and now I understand this being a "tracker." The docs.txt file is just about managing documentation, but not content so much. It does explain what miser.txt is doing here though. * On 2006-09-23 (#54.117) I make a note to write something about hosting on different platforms/languages. I clearly haven't done that yet. I was mostly thinking about .NET though. * On 2007-04-27 (#58.52) I have a note on themes (for me) and a reference to Johannes Ernst on OpenID. What I noted is the use of "reference implementation" and that could apply to Miser as well. It could be in SML, it could be something else, although now (2025-11-11) I itch to do a C Language version. * On 2007-04-27 (#58.52) I suggest building out the Notes construction structure (referring to miser-theory.info) and moving N010205 so that it can be refined. N010205 is "Programs are Rarely Algorithms." * On 2007-04-30 (#58.54) I give a sideways glance to Miser with regard to the ClustrMap caption and the refactoring the N020600 pages (the oMiser Sketch). Although nothing substantial, my attention seems to be back in my notebooks and I now am threading notebook entries forward and back. Helpful. * On 2007-05-04 (#58.58) I note miser-theory.info folio N011101, Miser Synopsis Concepts, needs a history view back to 2000-05-07T11.42Z, and this seems to be when the site was first populated. That also explains, only partially, the long gap with no materials in notebooks. * On 2007-11-05 (#59.84) I am looking at having selectors for "true," "false," "yes," "no," etc. It's really about, what is the question. * On 2007-11-06 (#59.86) I am concerned about the cardinality and having the set of Obs be denumerable. I see I can go with having a grammar for Obs with canonical forms. At that time I am also wondering about the stateful and interactive cases that would need to be addressed for there to be a full-up useful programming system. Here I am entertaining a progressions of versions to get there, but have no idea how to start. * Around 2010-02-17 (#64.62) A silence while I was focused on other things ends up on an Astraendo/MISER topic. This gets into some abstract-theory musings that are appropriate under the (now-created) CS topic. Astraendo is what I take as the Italian form of "Abstraction" and I use it for material at that I should rescue and preserve here, as I reflect on 2025-11-15. * On 2010-10-28 (#66.9) I ponder Miser Determinism/Interaction. Now (2025-11-15) it seems that I have decided that there is no need to differentiate between pure evaluations and have something different where there are side-effects and especially interactions. My angst is about non-pure variables. I have a different view of stateful things, and input-output is also covered by the notion of IO-reproducibility (a Van Horn dictum that I need to dig up). Interaction is tricky, since the ins-and-outs are interdependent but not in ways visible internally. I may have to punt on that, which may be as bad as Landin punting on assignment operations. We'll see if I can get away with it. It's not so easy as modeling assignment, it is more like having volatile things where the other parties are invisible. * These days (2025-11-15), I think of input (i.e., from CON:) is reading from a list as if it was always there are it is only being navigated. So it could be replaed. There does not seem to be a counterpart for output except building a kind of reverse log. Because CON input and output must be considered an interaction, even if there is no such context, and that could be coordinated in a kind of log also. Since it is [o]Frugal that is I/O involved, this becomes an interesting interaction between oFrugal and oMiser and rather fascinating if we introduce input-output at the oMiser level. * On 2010-12-16 ($66.33) I consider that Frugal is like a browser int a Miser server/cloud. - The command Frugal can be told which server to use -- should makd for testing in scripts -- depends on a COM DLL for the server? -- this methodology comes from nfoWare. *---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--* 0.1.4 2025-11-16T01:09Z Complete note captures through #66 0.1.3 2025-11-12T00:09Z More historical notes 0.1.2 2025-11-11T19:24Z Continue adding materials from old notebooks 0.1.1 2025-11-11T02:47Z Bring in items from old notebooks 0.1.0 2024-11-30T17:52Z Rework as tracker, tombstoning the repo root version 0.0.3 2024-11-30T16:53Z Touch-ups and wondering 0.0.2 2024-01-30T16:08Z Reduce TODOs to those remaining applicable here. 0.0.1 2024-01-30T16:01Z Boilerplate from 0.0.18 miser.txt from the gitHub root. 0.0.0 2017-07-26-13:31 Create placeholder and initial job jar for the Miser Project code. ***** end of miser.txt *****