Hacker Public Radio

Correspondent

screwtape

Host ID: 416

email: screwtape.nospam@nospam.sdf.org
episodes: 2

hpr3801 :: Enter the gopher

Released: 2023-02-27. Duration: 00:13:42. Flag: Clean. Series: general.
Tags: gopher,protocol,smolnet,tutorial,introduction,internet,retro.

Participating in the gopher internet protocol

Listen in ogg, spx, or mp3 format.

hpr3789 :: Common lisp portable games including acl2 formal logic

Released: 2023-02-09. Duration: 00:53:40. Flag: Clean. Series: general.
Tags: common-lisp,acl2,asdf3,formal-methods,game,programming.

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

Listen in ogg, spx, or mp3 format.