I submitted  my first  HPR episode.  I am intending to float
episodes  there on a mixture of cross-platform  game design,
lisp systems and experimental ACL2 formal verification.  You
can listen to it in the future, I think  it's scheduled  for
the 9th.

That topic space is a big enough land-mass for me to live on
in future HPR contributions, and it relaxes those topics out
of my lispy gopher show on on on radio dot net.

It is very much me exploring  that island,  I think  you can
hear me realising  mistakes and new ideas as I ramble for an
hour.  Anyway, the future link if you don't want to wait for
Feb 9th, HPR episode 3789:

https://hackerpublicradio.org/eps.php?id=3789

Your  feedback  particularly  very appreciated  (sdf commode
chat,      gopher     phosts,     mastodon,      conceivably
[email protected]).

You are viewing proxied material from tilde.institute. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.