Dice.camp

0 posts0 participants0 posts today

screwlisp<a href="https://mastodon.sdf.org/tags/formalMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formalMethods</a> <a href="https://mastodon.sdf.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#gamedev</a> <a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.sdf.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#commonLisp</a> <a href="https://mastodon.sdf.org/tags/acl2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#acl2</a> <a href="https://mastodon.sdf.org/tags/itch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#itch</a> <a href="https://lispy-gopher-show.itch.io/lispmoo2/devlog/907091/formal-game-logic" rel="nofollow noopener noreferrer" target="_blank">https://lispy-gopher-show.itch.io/lispmoo2/devlog/907091/formal-game-logic</a>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 <a href="https://mastodon.sdf.org/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a>.I present a batch processing style for using acl2 both in <a href="https://mastodon.sdf.org/tags/shell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#shell</a> and in <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lisp</a> with a worked example.Thoughts and opinions, gamedevs and logical types?

screwlisp<a href="https://mastodon.online/@arialdo" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@arialdo</a> what's the problem being observed? Though it's a normal example case in automatic proof assistants like <a href="https://mastodon.sdf.org/tags/acl2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#acl2</a> how it can take hundreds of steps to sketch (thm (implies (and (true-listp list) (equal rrlist (rev (rev list)))) (equal rrlist list)))

screwlisp<a href="https://functional.cafe/@awkravchuk" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@awkravchuk</a> <a href="https://mathstodon.xyz/@rwxrwxrwx" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@rwxrwxrwx</a> <a href="https://mastodon.sdf.org/tags/acl2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#acl2</a> definds #'+ as a macro like this: (defmacro + (&rest rst) (if rst (if (cdr rst) (xxxjoin 'binary-+ rst) (cons 'binary-+ (cons 0 (cons (car rst) nil)))) 0)) where 'binary-+ adds/guards two number arguments. So I guess there's that (+) -> 0 again ;p

Jörg PreisendörferCall for Papers — 16th European <a href="https://dice.camp/tags/Lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lisp</a> Symposium — <a href="https://dice.camp/tags/ELSConf" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ELSConf</a> —<a href="https://dice.camp/tags/Amsterdam" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Amsterdam</a> — 2023-04-24/25<a href="https://libranet.de/display/0b6b25a8-1763-a88a-e526-72b275177682" rel="nofollow noopener noreferrer" target="_blank">https://libranet.de/display/0b6b25a8-1763-a88a-e526-72b275177682</a>

ioannaCalling all Lispers of all dialects: that time of the year has finally come again! 🤩On Monday and Tuesday join the European Lisp Symposium for two days of fun, learning, and inspiration. 🤓The programme: <a href="https://www.european-lisp-symposium.org/2022/index.html#programme" rel="nofollow noopener noreferrer" target="_blank">https://www.european-lisp-symposium.org/2022/index.html#programme</a>Sadly this is another year I cannot join in-person, but thankfully it will be also online. Do join us! <a href="https://functional.cafe/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lisp</a> <a href="https://functional.cafe/tags/racket" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#racket</a> <a href="https://functional.cafe/tags/elisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#elisp</a> <a href="https://functional.cafe/tags/commonlisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#commonlisp</a> <a href="https://functional.cafe/tags/scheme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#scheme</a> <a href="https://functional.cafe/tags/dylanlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dylanlang</a> <a href="https://functional.cafe/tags/ACL2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ACL2</a> <a href="https://functional.cafe/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#clojure</a> <a href="https://functional.cafe/tags/picolisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#picolisp</a>--- There will even be a bit of <a href="https://functional.cafe/tags/APL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#APL</a> (embedded in Common Lisp). ❤️

Recent searches

Search options

Administered by:

Server stats:

#acl2