I am psyched for sharpsign OldComputerChallenge starting tomorrow!

My daily driver is more than a decade old, and to minimise change I'm using that but 
with 512M and bsd.sp boot constraints. So when the BOOT> prompt appears I

BOOT> machine memory =512M
BOOT> boot /bsd.mp

Also doing 1 hour internet per day, except for for the lispy gopher show.

but that's just the beginning! I am using the resurrected MIT-CADR vm[1], using

2048K physical memory, 16127K virtual memory

default values. This is the 1981 precommercialisation lispm. (Chinual 4e zetalisp).

The lispm is a 1981 graphical three-button-mouse, space cadet keyboard machine.

lispm's editor is the zmacs 1981 emacs implementation: GNU emacs' sister.

Actually, I have not yet noticed a difference in my usual usage.


* What will I be doing?

Some goals include

1. Installing a better gopher browser than lynx in my old context
2. Connect to old computer praetor's brutaldon for mastodon
3. Use chaosnet with myself
4. Use chaosnet with someone else

* What programming am I doing?

If you noticed me collapsing into myself this week from the gopher/lemmy/mastodon,
that was concomittant to me getting deep into situation calculus. I had a backlog of
computer programs to write, and was searching for a unifying theme.

Jose A Alonso, a formal mastodon had linked me a 2022 modernisation review of Green's
1969 use of automatic provers as automatic planners.

This is basically a fork of John McCarthy's interest in situation calculus.

I was reinventing this idea on a hacker public radio submission a few months ago which
nobody understood, least of all myself.

Anyway, I got a bit further into developing it as a programming style. My idea is a 
self-assembling closure on a small search space, working backwards from an exit 
criteria. Pseudo-functional actions on generalised predicates, clocked for some
reason.

Okay, we got a bit away from #OldComputerChallenge. But that's what I was working on
in the MIT-CADR, and I will be developing and using that.

NB. A planner is like being Shakey the Robot.

[1] https://tumbleweed.nu/lm-3/

[uncited] https://occ.deadnet.se/