Site Map - skip to main content

Hacker Public Radio

Your ideas, projects, opinions - podcasted.

New episodes Monday through Friday.

hpr3789 :: Common lisp portable games including acl2 formal logic

Describing exploratory libre common lisp portable games I am using acl2 formal methods in modules of

<< First, < Previous, , Latest >>

Hosted by screwtape on 2023-02-09 is flagged as Clean and is released under a CC-BY-SA license.
common-lisp,acl2,asdf3,formal-methods,game,programming. 2.

Listen in ogg, spx, or mp3 format. Play now:

Duration: 00:53:40


Source I was looking through while talking WIP:


Subscribe to the comments RSS feed.

Comment #1 posted on 2023-02-09 13:24:06 by ClaudioM

Great First Episode!

Hey, fellow SDFer! I enjoyed the episode even if it was over my head for my morning drive in traffic. Sounded great! And thanks for the shoutout! I'm glad I had a hand in getting you to submit an episode and I'm sure everyone is thankful to hear what you had to say. Looking forward to future episodes from you. Maybe we can get ldbeth (another fellow SDFer to those who don't know) to record an episode on a similar Lisp topic or to respond to your episode!
Comment #2 posted on 2023-02-09 20:45:33 by Zen_floater2

Nice show

I finally decided to join Mastodon today and sent screwtape a message there. So, i'm on the same server instance as screwtape now. I also went through gopher resources he's using. I had the "BIG IDEA" I would use by chrome gopher extension thing to view all of it. Ended up using lynx from my 'linux beta' on this chromebook because the chrome gopher extension fell flat on it's face! THANKS GOOGLE!!!! I'm going to have to get a NEW computer with 32 GB of ram so I can run Fuguita again and quit using these chromebooks. It's bad on my image. That is to say if I had an image.

Leave Comment

Note to Verbose Commenters
If you can't fit everything you want to say in the comment below then you really should record a response show instead.

Note to Spammers
All comments are moderated. All links are checked by humans. We strip out all html. Feel free to record a show about yourself, or your industry, or any other topic we may find interesting. We also check shows for spam :).

Provide feedback
Your Name/Handle:
Anti Spam Question: What does the P in HPR stand for ?