Site Map - skip to main content

Hacker Public Radio

Your ideas, projects, opinions - podcasted.

New episodes every weekday Monday through Friday.
This page was generated by The HPR Robot at

Correspondent

screwtape

Thumbnail of screwtape
: 416

screwtape.nospam@nospam.sdf.org
2

hpr3801 :: Enter the gopher

2023-02-27. 00:13:42. Clean. general.
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

2023-02-09. 00:53:40. Clean. general.
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.

Become a Correspondent