toad.social

screwlispPlay 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">https://screwlisp.small-web.org/programming/play-static-games-win-static-prizes/</a> <a href="https://gamerplus.org/tags/staticTyping" class="mention hashtag" rel="nofollow noopener" target="_blank">#staticTyping</a> <a href="https://gamerplus.org/tags/typechecking" class="mention hashtag" rel="nofollow noopener" target="_blank">#typechecking</a> <a href="https://gamerplus.org/tags/staticProgramAnalysis" class="mention hashtag" rel="nofollow noopener" target="_blank">#staticProgramAnalysis</a> <a href="https://gamerplus.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#commonLisp</a> <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#lisp</a> <a href="https://gamerplus.org/tags/sbcl" class="mention hashtag" rel="nofollow noopener" target="_blank">#sbcl</a> <a href="https://gamerplus.org/tags/series" class="mention hashtag" rel="nofollow noopener" target="_blank">#series</a> <a href="https://gamerplus.org/tags/acl2" class="mention hashtag" rel="nofollow noopener" target="_blank">#acl2</a> 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">#programming</a>.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">#sbcl</a> is not your deployment target, you can still use its static type checking, for which I work an example.<a href="https://gamerplus.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener" target="_blank">#lazyEvaluation</a> and formal theorems are also included.

José A. AlonsoA 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">https://www.russinoff.com/papers/linear1.pdf</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a>

Frank’s TingOh 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">#SydneyIsSkyBlue</a> <a href="https://theblower.au/tags/mastodonfc" class="mention hashtag" rel="nofollow noopener" target="_blank">#mastodonfc</a> <a href="https://theblower.au/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a>

Frank’s TingNow 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">#LFC</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">#ACL2</a>

Frank’s TingI’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">#SydneyIsSkyBlue</a> <a href="https://theblower.au/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a> <a href="https://theblower.au/tags/mastodonfc" class="mention hashtag" rel="nofollow noopener" target="_blank">#mastodonfc</a>

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

Frank’s TingDouglas Costa. Sydney Fc. Thanks for a great second half <a href="https://theblower.au/tags/mastodonfc" class="mention hashtag" rel="nofollow noopener" target="_blank">#mastodonfc</a> <a href="https://theblower.au/tags/fedifc" class="mention hashtag" rel="nofollow noopener" target="_blank">#fedifc</a> <a href="https://theblower.au/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a>

vintage screwlisp account<a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#lisp</a> <a href="https://mastodon.sdf.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://mastodon.sdf.org/tags/acl2" class="mention hashtag" rel="nofollow noopener" target="_blank">#acl2</a> Hey is ACL2's formal nonvacuous theory of admissable <a href="https://mastodon.sdf.org/tags/lambda" class="mention hashtag" rel="nofollow noopener" target="_blank">#lambda</a> s basically has always been checked and is reduceable to an inline first order expression, hence not ruining acl2 being a first order logic?

𝚛𝚊𝚝"The difference between <a href="https://social.sdf.org/tags/PLTP" class="mention hashtag" rel="nofollow noopener" target="_blank">#PLTP</a> and <a href="https://social.sdf.org/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a> is largely due to the fact that PLTP was a 2 year project and ACL2 has been a life’s work." -- Milestones from the Pure <a href="https://social.sdf.org/tags/Lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#Lisp</a> theorem prover to ACL2 by J. Strother Moore <a href="https://doi.org/10.1007/s00165-019-00490-3" rel="nofollow noopener" translate="no" target="_blank">https://doi.org/10.1007/s00165-019-00490-3</a> BCS © 2019 Formal Aspects of Computing (2019) 31: 699–732 <a href="https://dl.acm.org/doi/pdf/10.1007/s00165-019-00490-3" rel="nofollow noopener" translate="no" target="_blank">https://dl.acm.org/doi/pdf/10.1007/s00165-019-00490-3</a>

Frank’s TingThis montage of Leo Sena's touches for <a href="https://theblower.au/tags/sydneyisskyblue" class="mention hashtag" rel="nofollow noopener" target="_blank">#sydneyisskyblue</a> against Sanfrecce in last nights <a href="https://theblower.au/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a> reminds me of Fabinho in his pomp at <a href="https://theblower.au/tags/LFC" class="mention hashtag" rel="nofollow noopener" target="_blank">#LFC</a>. Looks like every touch led to a completed pass, mostly progressive, or being fouled. <a href="https://sydneyfc.com/videos/id/leo-sena-every-touch-v-sanfrecce-hiroshima-afc-champions-league-2/6363671985112/?lid=6nj8em277hbh" rel="nofollow noopener" translate="no" target="_blank">https://sydneyfc.com/videos/id/leo-sena-every-touch-v-sanfrecce-hiroshima-afc-champions-league-2/6363671985112/?lid=6nj8em277hbh</a> <a href="https://theblower.au/tags/fedifc" class="mention hashtag" rel="nofollow noopener" target="_blank">#fedifc</a>

vintage screwlisp account<a href="https://universeodon.com/@cibo" class="u-url mention" rel="nofollow noopener" target="_blank">@cibo</a> <a href="https://mastodon.ie/@surabax" class="u-url mention" rel="nofollow noopener" target="_blank">@surabax</a> <a href="https://udongein.xyz/users/lispi314" class="u-url mention" rel="nofollow noopener" target="_blank">@lispi314</a> Oh an <a href="https://mastodon.sdf.org/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a> talk, nice. <a href="https://yewtu.be/watch?v=iFEb9p54x_Q" rel="nofollow noopener" target="_blank">https://yewtu.be/watch?v=iFEb9p54x_Q</a>

Yaroslav KhnyginThis week I hosted a monthly meetup of Lisp Ireland, where Rafael Sadykov presented his talk "Lisp & Hardware Verification with ACL2".ACL2 is a theorem prover implemented in a subset of Common Lisp, and the talk discussed how it can be used for formal verification of various systems, and for hardware verification in particular.The recording was uploaded here: <a href="https://www.youtube.com/watch?v=iFEb9p54x_Q" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=iFEb9p54x_Q</a><a href="https://mastodon.ie/tags/LispIreland" class="mention hashtag" rel="nofollow noopener" target="_blank">#LispIreland</a> <a href="https://mastodon.ie/tags/Meetup" class="mention hashtag" rel="nofollow noopener" target="_blank">#Meetup</a> <a href="https://mastodon.ie/tags/TechTalk" class="mention hashtag" rel="nofollow noopener" target="_blank">#TechTalk</a> <a href="https://mastodon.ie/tags/Lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#Lisp</a> <a href="https://mastodon.ie/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#CommonLisp</a> <a href="https://mastodon.ie/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a> <a href="https://mastodon.ie/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#FormalVerification</a> <a href="https://mastodon.ie/tags/HardwareVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#HardwareVerification</a> <a href="https://mastodon.ie/tags/Ireland" class="mention hashtag" rel="nofollow noopener" target="_blank">#Ireland</a>

vintage screwlisp account<a href="https://mathstodon.xyz/@Jose_A_Alonso" class="u-url mention" rel="nofollow noopener" target="_blank">@Jose_A_Alonso</a> I think the problem is the opposite one found by the authors. An <a href="https://mastodon.sdf.org/tags/acl2" class="mention hashtag" rel="nofollow noopener" target="_blank">#acl2</a> first order proof is to many intents and purposes the same today as five years ago. Instead the authors are criticising fly-by-night commoditisation of proof apps, that turn out to not be reliably correct.

SvanteWhy is there no <a href="https://mastodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a> mode in <a href="https://mastodon.xyz/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#Emacs</a>?

vintage screwlisp account<a href="https://emacs.ch/@dekkzz76" class="u-url mention" rel="nofollow noopener" target="_blank">@dekkzz76</a> what are your <a href="https://mastodon.sdf.org/tags/prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#prolog</a> hopes and dreams? <a href="https://mastodon.sdf.org/@pizzapal" class="u-url mention" rel="nofollow noopener" target="_blank">@pizzapal</a> is an <a href="https://mastodon.sdf.org/tags/swiprolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#swiprolog</a> game programmer amoungst many virtues. Asking me to not write in <a href="https://mastodon.sdf.org/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#CommonLisp</a> / <a href="https://mastodon.sdf.org/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a> / <a href="https://mastodon.sdf.org/tags/interlisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#interlisp</a> / <a href="https://mastodon.sdf.org/tags/elisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#elisp</a> is abstruse.

vintage screwlisp account<a href="https://mathstodon.xyz/@Jose_A_Alonso" class="u-url mention" rel="nofollow noopener" target="_blank">@Jose_A_Alonso</a> [my friend mentioned this to me] <a href="https://emacs.ch/@dekkzz76" class="u-url mention" rel="nofollow noopener" target="_blank">@dekkzz76</a> this is a very attractive, powerful and obviously useful approach to programming [linked notes, PAIP, every lisp programmer and compiler]. The reason I use <a href="https://mastodon.sdf.org/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#CommonLisp</a> and <a href="https://mastodon.sdf.org/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a> is that in prolog, I would often like to build infrastructure up to the point where I've implemented half of common lisp. Even for proofs [ACL2 when prolog was also very widely used like this]. So I would prolog in lisp, rather than putting <a href="https://mastodon.sdf.org/tags/ECL" class="mention hashtag" rel="nofollow noopener" target="_blank">#ECL</a> in <a href="https://mastodon.sdf.org/tags/SWIProlog" class="mention hashtag" rel="nofollow noopener" target="_blank">#SWIProlog</a> eg

Jörg Preisendörfer40 days left to the submission deadline of <a href="https://mastodon.social/tags/EuropeanLispSymposium" class="mention hashtag" rel="nofollow noopener" target="_blank">#EuropeanLispSymposium</a> (<a href="https://mastodon.social/tags/ELSConf" class="mention hashtag" rel="nofollow noopener" target="_blank">#ELSConf</a>) in <a href="https://mastodon.social/tags/Amsterdam" class="mention hashtag" rel="nofollow noopener" target="_blank">#Amsterdam</a>:🧷 (Friendica) <a href="https://libranet.de/display/0b6b25a8-1763-a88a-e526-72b275177682" rel="nofollow noopener" target="_blank">https://libranet.de/display/0b6b25a8-1763-a88a-e526-72b275177682</a>🦎 (Matrix) <a href="https://matrix.to/#/!gqlYAZsfzSnmFNEHAT:magdeburg.jetzt/$z7kGECRQluF1iZzNhW-0I1e3lUmg-pff8PcAh96gox4" rel="nofollow noopener" target="_blank">https://matrix.to/#/!gqlYAZsfzSnmFNEHAT:magdeburg.jetzt/$z7kGECRQluF1iZzNhW-0I1e3lUmg-pff8PcAh96gox4</a>🦎 (Telegram) <a href="https://telegram.me/FamilyOfLisp/309" rel="nofollow noopener" target="_blank">https://telegram.me/FamilyOfLisp/309</a>🌺🏷️ <a href="https://mastodon.social/tags/Lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#Lisp</a> <a href="https://mastodon.social/tags/Scheme" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scheme</a> <a href="https://mastodon.social/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#CommonLisp</a> <a href="https://mastodon.social/tags/Clojure" class="mention hashtag" rel="nofollow noopener" target="_blank">#Clojure</a> <a href="https://mastodon.social/tags/Racket" class="mention hashtag" rel="nofollow noopener" target="_blank">#Racket</a> <a href="https://mastodon.social/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#Emacs</a> <a href="https://mastodon.social/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a> <a href="https://mastodon.social/tags/AutoLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#AutoLisp</a> # ISLisp <a href="https://mastodon.social/tags/DylanLang" class="mention hashtag" rel="nofollow noopener" target="_blank">#DylanLang</a> <a href="https://mastodon.social/tags/SKILL" class="mention hashtag" rel="nofollow noopener" target="_blank">#SKILL</a> <a href="https://mastodon.social/tags/Hy" class="mention hashtag" rel="nofollow noopener" target="_blank">#Hy</a> <a href="https://mastodon.social/tags/Shen" class="mention hashtag" rel="nofollow noopener" target="_blank">#Shen</a> <a href="https://mastodon.social/tags/Carp" class="mention hashtag" rel="nofollow noopener" target="_blank">#Carp</a> <a href="https://mastodon.social/tags/Janet" class="mention hashtag" rel="nofollow noopener" target="_blank">#Janet</a> <a href="https://mastodon.social/tags/uLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#uLisp</a> <a href="https://mastodon.social/tags/Picolisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#Picolisp</a> <a href="https://mastodon.social/tags/Gamelisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#Gamelisp</a> <a href="https://mastodon.social/tags/TXR" class="mention hashtag" rel="nofollow noopener" target="_blank">#TXR</a> <a href="https://mastodon.social/tags/InterLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#InterLisp</a> <a href="https://mastodon.social/tags/Medley" class="mention hashtag" rel="nofollow noopener" target="_blank">#Medley</a> <a href="https://mastodon.social/tags/OpenGenera" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenGenera</a> <a href="https://mastodon.social/tags/Symbolics" class="mention hashtag" rel="nofollow noopener" target="_blank">#Symbolics</a> <a href="https://mastodon.social/tags/ThinkingMachines" class="mention hashtag" rel="nofollow noopener" target="_blank">#ThinkingMachines</a> <a href="https://mastodon.social/tags/ConnectionMachine" class="mention hashtag" rel="nofollow noopener" target="_blank">#ConnectionMachine</a> <a href="https://mastodon.social/tags/MultiLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#MultiLisp</a> <a href="https://mastodon.social/tags/AMOP" class="mention hashtag" rel="nofollow noopener" target="_blank">#AMOP</a> <a href="https://mastodon.social/tags/CLOS" class="mention hashtag" rel="nofollow noopener" target="_blank">#CLOS</a> <a href="https://mastodon.social/tags/SICP" class="mention hashtag" rel="nofollow noopener" target="_blank">#SICP</a> <a href="https://mastodon.social/tags/PAIP" class="mention hashtag" rel="nofollow noopener" target="_blank">#PAIP</a> <a href="https://mastodon.social/tags/AIMA" class="mention hashtag" rel="nofollow noopener" target="_blank">#AIMA</a> <a href="https://mastodon.social/tags/Lambda" class="mention hashtag" rel="nofollow noopener" target="_blank">#Lambda</a> <a href="https://mastodon.social/tags/CLtL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#CLtL2</a> <a href="https://mastodon.social/tags/HTDP" class="mention hashtag" rel="nofollow noopener" target="_blank">#HTDP</a>

vintage screwlisp account20 minutes until my <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#lisp</a> y <a href="https://mastodon.sdf.org/tags/gopher" class="mention hashtag" rel="nofollow noopener" target="_blank">#gopher</a> show with <a href="https://mastodon.sdf.org/@screwtape" class="u-url mention" rel="nofollow noopener" target="_blank">@screwtape</a> on <a href="https://mastodon.sdf.org/tags/aNONradio" class="mention hashtag" rel="nofollow noopener" target="_blank">#aNONradio</a> powered by <a href="https://mastodon.sdf.org/@SDF" class="u-url mention" rel="nofollow noopener" target="_blank">@SDF</a> 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, <a href="https://mastodon.sdf.org/tags/acl2" class="mention hashtag" rel="nofollow noopener" target="_blank">#acl2</a> and makin' new lispy electronics

Recent searches

Search options

Administered by:

Server stats:

#acl2