Site Map - skip to main content

Hacker Public Radio

Your ideas, projects, opinions - podcasted.

New episodes Monday through Friday.



Host Image
Host ID: 416
Hi everyone! I like to write on the gopher and in common lisp. I am experimenting with idiomatic inclusion of formal ACL2 first order logic as part of larger ASDF3 common lisp system definitions that include side-effect modules. You might know me from the gopher. I normally use openbsd, but in different contexts I often use NetBSD or FreeBSD and I also use Gentoo and Debian linux.
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

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

Become a Correspondent