Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #143379
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Re: Happy Recovery |
| Date | 2026-08-27 06:57 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <116p8mf$1ej2t$1@dont-email.me> (permalink) |
| References | (12 earlier) <xC0iS.735264$h9f1.574367@fx02.ams4> <116aasl$jk1c$1@dont-email.me> <eh5iS.735347$h9f1.289271@fx02.ams4> <116b28d$ptbe$1@dont-email.me> <cLRjS.136$pMY7.114@fx01.ams4> |
Cross-posted to 2 groups.
On 8/27/2026 2:33 AM, Johann 'Myrkraverk' Oskarsson wrote: > On 22/08/2026 10:41 AM, olcott wrote: >> On 8/21/2026 6:35 PM, Johann 'Myrkraverk' Oskarsson wrote: >>> On 22/08/2026 4:02 AM, olcott wrote: >>>> On 8/21/2026 1:17 PM, Johann 'Myrkraverk' Oskarsson wrote: >>>>> On 22/08/2026 1:36 AM, polcott wrote: >>>>> >>>>>> I am doing much better now. >>>>>> >>>>> >>>>> That's great to hear! Have you decided not to be stupid and spout >>>>> nonsense, and start to work on your own non-trivial project, for >>>>> whatever passes for non-trivial for you? >>>>> >>>>> You can always make your own /computer algebra system/ if you need >>>>> a mathematically inclined challenge, or pick up graph visualization, >>>>> and compete with Graphviz! >>>>> >>>>> >>>>> Happy coding something, anything, practical! >>>> >>>> I did successfully complete my 28 years of research >>>> as outlined below. No one here has even a slight >>>> basis for understanding how this work is anchored. >>>> >>>> Even the smartest guy here: Ross Finlayson is stuck >>>> on baseless denigration utterly refusing to obtain >>>> the required basis. >>>> >>> >>> That's good to know, and now that your research is finished, why don't >>> you top it off, so to speak, by writing something inherently practical >>> in a programming language of your choice? I am currently writing a C >>> compiler in Rust, and a Tiger compiler in C. These are two books you >>> have probably never heard of, so I'll mention them by name, again. >>> >>> See comp.lang.lisp, comp.lang.c, comp.lang.misc, comp.lang.asm, alt. >>> lang.asm, and comp.os.msdos.programmer for the relevant context. >>> >>> The first book is Andrew W. Appel's [1] /Modern Compiler Implementation >>> in C/, and the second book is Nora Sandler's /Writing a C compiler/. >>> I'm sure you can find both in your nearest physical bookstore, so please >>> use your newfound health and take a walk. >>> >> >> I did write a C compiler in C using YACC and LEX. >> I only did the hard part of control flow. My purpose >> was to create my hybrid language named 2.5GL. It >> added C control flow on top of assembly language. > > So, what else of practical importance do you have on your /curriculum > vitae/. I can admit -- and did admit -- to have had my single S.Q.L. > proposal to the I.S.O. standards committee shut down, so I cannot say > I have influenced the S.Q.L. standard at all. > > Have you? Or rather, which standards group have you ever tried to > influence? > > Is this 2.5GL in any relation to OpenGL? Does it affect the /graphical > prognostication unit/? And which assembly language did you use? 68000? > > > Happy writing queries in S.Q.L! I have two patents on OCR technology -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of general knowledge. The complete structure of this system is now defined. The entire body of knowledge expressed in language is comprised of two types of relations between finite strings: (a) *Axioms* Expressions of language that are stipulated to be true. My system bridges the analytic/synthetic distinction by expressly encoding all empirical "atomic facts" in a formal language such as CycL of the Cyc project. (b) *Inference Rules* Expressions of language that are semantically entailed syntactically from (a) and/or (b).
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
In the hospital with pneumonia for three weeks recovering at home on oxygen olcott <polcott333@gmail.com> - 2026-08-08 10:30 -0500
Happy Recovery (was: Re: In the hospital with pneumonia for three weeks recovering at home on oxygen) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-09 02:20 +0800
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-08 16:13 -0500
Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-10 05:40 +0800
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-09 18:07 -0500
Re: Happy Recovery "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-10 13:13 -0700
Re: Happy Recovery "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-08-10 08:31 +0200
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-10 08:26 -0500
Re: Happy Recovery Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-10 07:02 -0700
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-10 10:20 -0500
Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-11 11:22 +0300
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-11 07:35 -0500
Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-12 11:46 +0300
Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-12 08:36 -0500
Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-13 10:07 +0300
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-13 04:05 -0500
Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 01:55 +0800
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-14 16:25 -0500
Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 01:49 +0800
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-14 16:22 -0500
Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 13:31 +0800
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-15 05:33 -0500
Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 19:26 +0800
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-15 08:32 -0500
Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-15 22:36 +0800
Re: Happy Recovery "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-15 12:33 -0700
Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-15 10:51 +0300
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-15 05:26 -0500
Re: Happy Recovery Mikko <mikko.levanto@iki.fi> - 2026-08-16 10:29 +0300
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-16 07:34 -0500
Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-16 16:03 +0800
Re: Happy Recovery Alan Mackenzie <acm@muc.de> - 2026-08-16 12:52 +0000
Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-16 21:20 +0800
Re: Happy Recovery polcott <polcott333@gmail.com> - 2026-08-21 12:36 -0500
Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-22 02:17 +0800
Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-21 15:02 -0500
Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-22 07:35 +0800
Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-21 21:41 -0500
Re: Happy Recovery Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-27 15:33 +0800
Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-27 06:57 -0500
Re: Happy Recovery Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-27 08:22 -0700
Re: Happy Recovery olcott <polcott333@gmail.com> - 2026-08-28 11:34 -0500
Re: Happy Recovery "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-10 13:12 -0700
csiph-web