Recent searches

No recent searches

Search options

Only available when logged in.
shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

268
active users

shakedown.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.2

#acl2

0 posts0 participants0 posts today
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" 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" target="_blank">#<span>staticTyping</span></a> <a href="https://gamerplus.org/tags/typechecking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>typechecking</span></a> <a href="https://gamerplus.org/tags/staticProgramAnalysis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>staticProgramAnalysis</span></a> <a href="https://gamerplus.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonLisp</span></a> <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://gamerplus.org/tags/sbcl" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sbcl</span></a> <a href="https://gamerplus.org/tags/series" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>series</span></a> <a href="https://gamerplus.org/tags/acl2" class="mention hashtag" rel="nofollow noopener" 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" 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" 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" target="_blank">#<span>lazyEvaluation</span></a> and formal theorems are also included.</p>
José A. Alonso<p>A formalization of elementary linear algebra: Part I. ~ David M. Russinoff. <a href="https://www.russinoff.com/papers/linear1.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">russinoff.com/papers/linear1.p</span><span class="invisible">df</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>
Frank’s Ting<p>Oh well unlike Corica, Ufuk (off) won’t get to leave having just won a trophy. Go and play your Strategically flawed football with inflexible tactics some where else <a href="https://theblower.au/tags/SydneyIsSkyBlue" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SydneyIsSkyBlue</span></a> <a href="https://theblower.au/tags/mastodonfc" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mastodonfc</span></a> <a href="https://theblower.au/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a></p>
Frank’s Ting<p>Now the idiot brings Sega on. Honestly I had Roy Hodgson coaching <a href="https://theblower.au/tags/LFC" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LFC</span></a> one time and that drove me spare, but Talay at Sydney is running it close. <a href="https://theblower.au/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a></p>
Frank’s Ting<p>I’m sure Ufuk Talay will tell us that this is all part of his plan and we shouldn’t worry that he keeps coaching like a fella looking for hairs on the palm of his hand. <a href="https://theblower.au/tags/SydneyIsSkyBlue" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SydneyIsSkyBlue</span></a> <a href="https://theblower.au/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://theblower.au/tags/mastodonfc" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mastodonfc</span></a></p>
TrendingLive feeds
About