#formalMethods #gamedev #programming #commonLisp #acl2 #itch https://lispy-gopher-show.itch.io/lispmoo2/devlog/907091/formal-game-logic
Since yesterday I advocated strong use of defgeneric, defmethod and McCLIM's define-command, here I present
just giving lisp's defun to acl2's first order #logic.
I present a batch processing style for using acl2 both in #shell and in #lisp with a worked example.
Thoughts and opinions, gamedevs and logical types?
Using ACL2 to teach students about software testing. ~ Ruben Gamboa, Alicia Thoney. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACL22022.4.pdf #ITP #ACL2
20 minutes until my #lisp y #gopher show with @screwtape on #aNONradio powered by @SDF public access unix!
Today brought to you by piping 440 - 3*getchar()
to
aucat -fsnd/0 -hraw -es16le -r44100 -i -
Thank you to everyone for providing text to throw blindly into that! Lisp topics include synth, Land of Lisp games, #acl2 and makin' new lispy electronics