screwlisp<p>Play Static Games, Win Static Prizes <a href="https://screwlisp.small-web.org/programming/play-static-games-win-static-prizes/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/progra</span><span class="invisible">mming/play-static-games-win-static-prizes/</span></a><br><a href="https://gamerplus.org/tags/staticTyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>staticTyping</span></a> <a href="https://gamerplus.org/tags/typechecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>typechecking</span></a> <a href="https://gamerplus.org/tags/staticProgramAnalysis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>staticProgramAnalysis</span></a> <a href="https://gamerplus.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>commonLisp</span></a> <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> <a href="https://gamerplus.org/tags/sbcl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sbcl</span></a> <a href="https://gamerplus.org/tags/series" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>series</span></a> <a href="https://gamerplus.org/tags/acl2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>acl2</span></a> </p><p>In which I look at modern and to some extent historical static program analysis popularly used with common lisp <a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a>.</p><p>I accidentally make the really good point that even if <a href="https://gamerplus.org/tags/sbcl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sbcl</span></a> is not your deployment target, you can still use its static type checking, for which I work an example.</p><p><a href="https://gamerplus.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lazyEvaluation</span></a> and formal theorems are also included.</p>
Recherches récentes
Options de recherche
#acl2
0 message0 participant0 message aujourd’hui
#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?
itch.io(formal) game logic - lispmoo2 by screwtape1. Intro This begins part 2 of https://lispy-gopher-show.itch.io/lispmoo2/devlog/906389/my-programming-principles-for-game-dev-12 . Which contains the first five parts. These second five parts contain...
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