Kerry E Koitzsch
Image As Big Data Systems, LLC
damarys.2026: A Software Workstation built on George Spencer-Brown's Laws of Form, William Bricken's LOSP language, and modal logic programmingThe paper describes a new hardware and software architecture called damarys.2026, an integrated workstation environment using George Spencer-Brown's
Laws of Form, William Bricken's
LOSP programming language, and the principles found in Hughes and Cresswell's development of Modal Logic. This experimental workstation is designed to address current strategic problems in general-purpose software development, allowing a novel and flexible methodology to evolve; this is reminiscent of earlier 'single-user workstation' designs of yesteryear. damarys.2026 makes use of standardized hardware components as core components of the workstation: the hardware architecture is inspired by the Lisp Machine workstation and Connection Machine architectures of the Early AI Era. Development and implementation of damarys.2026 is described, with an overview of how
Laws of Form,
LOSP, William Bricken's
Iconic Mathematics, and other architectural software concepts have been approached to construct a new logic programming language. The programming language damarys, in turn, defines and implements the operating system for the workstation prototype. Working examples and applications of the damarys.2026 prototype are described, indicating the benefits of the
Laws of Form paradigm towards software project development, even at a very complex level of sophistication: we present three use cases with examples of how damarys.2026 may be used at all levels of the software project, from knowledge acquisition to app building and deployment. Finally, we compare and contrast the damarys.2026 design with other approaches to "artificial intelligence", particularly the "generative AI" approaches such as ChatGPT, Grok, and others, pointing out significant advantages to the "neurosymbolic" approach used in damarys.2026 to "ChatGPT-style" systems: advantages include accuracy, repeatability, consistency, security, and explain-ability. The conclusion of the paper details the current status of the damarys.2026 project, lessons learned, and the prospectus for the next year of research and development.
Kerry Koitzsch is a software engineer and author of three published books and many chapter-length publications on a variety of subjects, including computer science and the history of science. He holds a Doctor of Philosophy degree in Sacred Letters from Mellen University for studies and translations of Johann Reuchlin and other Renaissance philosophers. Kerry Koitzsch is a recipient of the Adele Mellen Prize for a Contribution to Scholarship, and is a recipient of the United States Army Achievement Medal.More info: https://www.researchgate.net/profile/Kerry-Koitzsch