Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
101010.pl is one of the many independent Mastodon servers you can use to participate in the fediverse.
101010.pl czyli najstarszy polski serwer Mastodon. Posiadamy wpisy do 2048 znaków.

Administered by:

Server stats:

572
active users

101010.pl: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-alpha.4

#acl2

0 posts0 participants0 posts today
screwlisp<p><a href="https://mastodon.sdf.org/tags/formalMethods" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>formalMethods</span></a> <a href="https://mastodon.sdf.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamedev</span></a> <a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.sdf.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonLisp</span></a> <a href="https://mastodon.sdf.org/tags/acl2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>acl2</span></a> <a href="https://mastodon.sdf.org/tags/itch" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>itch</span></a> <a href="https://lispy-gopher-show.itch.io/lispmoo2/devlog/907091/formal-game-logic" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lispy-gopher-show.itch.io/lisp</span><span class="invisible">moo2/devlog/907091/formal-game-logic</span></a></p><p>Since yesterday I advocated strong use of defgeneric, defmethod and McCLIM's define-command, here I present </p><p>just giving lisp's defun to acl2's first order <a href="https://mastodon.sdf.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a>.</p><p>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" target="_blank">#<span>shell</span></a> and in <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> with a worked example.</p><p>Thoughts and opinions, gamedevs and logical types?</p>
José A. Alonso<p>Readings shared March 15, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/15-readings_shared_03-15-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/03/15-readings_shared_03-15-25</span></a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/CHR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CHR</span></a> <a href="https://mathstodon.xyz/tags/Constraint" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Constraint</span></a> <a href="https://mathstodon.xyz/tags/Constraints" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Constraints</span></a> <a href="https://mathstodon.xyz/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emacs</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalVerification</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/NLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NLP</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>A proof of the Schröder-Bernstein theorem in ACL2. ~ Grant Jurgensen. <a href="https://grantjurgensen.com/posts/schroder-berstein-acl2/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">grantjurgensen.com/posts/schro</span><span class="invisible">der-berstein-acl2/</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
Koran Mandala<p>Persib Bandung Kembali Berlatih, Setelah Kalah di Negeri Tirai Bambu <a href="https://www.koranmandala.com/sport/104370/persib-bandung-kembali-berlatih-setelah-kalah-di-negeri-tirai-bambu/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">koranmandala.com/sport/104370/</span><span class="invisible">persib-bandung-kembali-berlatih-setelah-kalah-di-negeri-tirai-bambu/</span></a> <a href="https://flipboard.social/tags/Sport" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sport</span></a> <a href="https://flipboard.social/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://flipboard.social/tags/BRILiga1" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BRILiga1</span></a> <a href="https://flipboard.social/tags/Headline" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Headline</span></a> <a href="https://flipboard.social/tags/Maungbandung" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Maungbandung</span></a></p>
Koran Mandala<p>Blunder Melawan Zhejiang FC, Igbonefo : Pertahanan Yang Buruk Dari Saya <a href="https://www.koranmandala.com/sport/103572/blunder-melawan-zhejiang-fc-igbonefo-pertahanan-yang-buruk-dari-saya/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">koranmandala.com/sport/103572/</span><span class="invisible">blunder-melawan-zhejiang-fc-igbonefo-pertahanan-yang-buruk-dari-saya/</span></a> <a href="https://flipboard.social/tags/Sport" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sport</span></a> <a href="https://flipboard.social/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://flipboard.social/tags/Bobotoh" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Bobotoh</span></a> <a href="https://flipboard.social/tags/Headline" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Headline</span></a> <a href="https://flipboard.social/tags/Maungbandung" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Maungbandung</span></a></p>
Koran Mandala<p>Update Klasemen Terbaru Persib Bandung di Grup F Asia Champions League Two (ACL 2) <a href="https://www.koranmandala.com/sport/103404/update-klasemen-terbaru-persib/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">koranmandala.com/sport/103404/</span><span class="invisible">update-klasemen-terbaru-persib/</span></a> <a href="https://flipboard.social/tags/Sport" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sport</span></a> <a href="https://flipboard.social/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://flipboard.social/tags/AsiaChampionsLeagueTwo" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AsiaChampionsLeagueTwo</span></a> <a href="https://flipboard.social/tags/Bobotoh" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Bobotoh</span></a> <a href="https://flipboard.social/tags/GrupFACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GrupFACL2</span></a></p>
Koran Mandala<p>Link Streaming Persib Bandung vs Zhejiang FC, Gratiss Disini <a href="https://www.koranmandala.com/sport/103034/link-streaming-persib-bandung-vs-zhejiang-fc-gratiss-disini/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">koranmandala.com/sport/103034/</span><span class="invisible">link-streaming-persib-bandung-vs-zhejiang-fc-gratiss-disini/</span></a> <a href="https://flipboard.social/tags/Sport" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sport</span></a> <a href="https://flipboard.social/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://flipboard.social/tags/Headline" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Headline</span></a> <a href="https://flipboard.social/tags/LinkStreamingPersibvsZhejiang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LinkStreamingPersibvsZhejiang</span></a> <a href="https://flipboard.social/tags/Maungbandung" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Maungbandung</span></a></p>
Koran Mandala<p>Prediksi Formasi Persib Bandung vs Zhejiang FC, Maung Bandung Siap Menerkam <a href="https://www.koranmandala.com/sport/103021/prediksi-formasi-persib-bandung-vs-zhejiang-fc-maung-bandung-siap-menerkam/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">koranmandala.com/sport/103021/</span><span class="invisible">prediksi-formasi-persib-bandung-vs-zhejiang-fc-maung-bandung-siap-menerkam/</span></a> <a href="https://flipboard.social/tags/Sport" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sport</span></a> <a href="https://flipboard.social/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://flipboard.social/tags/Bobotoh" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Bobotoh</span></a> <a href="https://flipboard.social/tags/Headline" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Headline</span></a> <a href="https://flipboard.social/tags/Maungbandung" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Maungbandung</span></a></p>
Koran Mandala<p>Jelang Persib vs Zhejiang FC, Bojan dan Ciro Kompak Ungkap Sulit, Tapi <a href="https://www.koranmandala.com/sport/102868/jelang-persib-vs-zhejiang-fc-bojan-dan-ciro-kompak-ungkap-sulit-tapi/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">koranmandala.com/sport/102868/</span><span class="invisible">jelang-persib-vs-zhejiang-fc-bojan-dan-ciro-kompak-ungkap-sulit-tapi/</span></a> <a href="https://flipboard.social/tags/Sport" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sport</span></a> <a href="https://flipboard.social/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://flipboard.social/tags/Bobotoh" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Bobotoh</span></a> <a href="https://flipboard.social/tags/BojanHodak" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BojanHodak</span></a> <a href="https://flipboard.social/tags/CiroAlves" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CiroAlves</span></a></p>
Koran Mandala<p>Bek Ini Ingin Memperkuat Persib Tapi Tidak Bisa, Begini Katanya <a href="https://www.koranmandala.com/sport/102468/bek-ini-ingin-memperkuat-persib-tapi-tidak-bisa-begini-katanya/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">koranmandala.com/sport/102468/</span><span class="invisible">bek-ini-ingin-memperkuat-persib-tapi-tidak-bisa-begini-katanya/</span></a> <a href="https://flipboard.social/tags/Sport" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sport</span></a> <a href="https://flipboard.social/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://flipboard.social/tags/Bobotoh" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Bobotoh</span></a> <a href="https://flipboard.social/tags/GustavoFranca" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GustavoFranca</span></a> <a href="https://flipboard.social/tags/Headline" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Headline</span></a></p>
ExploreLive feeds
About