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/
