miser.txt 0.1.0 UTF-8 2024-11-30 *---|----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 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-2024 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.0 dated 2024-11-30, available on the Internet as a version of TODO * 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. * 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. *---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--* 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 *****