acl2

#bookstodon #bookReview #knowledgeRepresentation actually a chapter review.

My notes after Chapter 1: Classical Logic of The Handbook of Knowledge Representation.

https://screwlisp.small-web.org/books/handbook-of-kr-ch1-logic/

#lisp #acl2 #prolog #logic

Play Static Games, Win Static Prizes https://screwlisp.small-web.org/programming/play-static-games-win-static-prizes/
#staticTyping #typechecking #staticProgramAnalysis #commonLisp #lisp #sbcl #series #acl2

In which I look at modern and to some extent historical static program analysis popularly used with common lisp #programming.

I accidentally make the really good point that even if #sbcl is not your deployment target, you can still use its static type checking, for which I work an example.

#lazyEvaluation and formal theorems are also included.

ALT

#peertube #live Sunday Easter Morning in Europe https://toobnix.org/w/gXLXQqxf5MYg1NDF2Ua6oA #commonLisp #acl2 #lambdaMOO

Archive: https://toobnix.org/w/11NoAMWBnW3oVZLxCVRAYr

ALT

https://lispy-gopher-show.itch.io/lispmoo2/devlog/1481398/homespun-acl2-handler-bind-condition-handling

#acl2 simple introduction to acl2 for the #commonLisp inclined.

loop$, apply$, thms oh my.

In particular, I implement a model of a simple case of the common lisp condition system that is directly compatible with both ansi common lisp and acl2. (a computational logic for applicative common lisp).

#firstOrderLogic #theoremProving #programming #logic #example

Technically this is in support of my lisp / moo compatibility layer but I am not going to beleaguer the tag.

#Boondoggle of sixdimensional proportions. I don't know about you, but if I so much as look at the attached #hextille I lose my balance.

https://lispy-gopher-show.itch.io/dl-roc-lisp/devlog/1502166/six-dimensional-hextille-boondoggle-acl2-mcclim-common-lisp

I kind of finish a very handy and #acl2 #logic ally sound, and #McCLIM hextille.lisp - which I would be interested to see /you/ use in response, it should be easy as pie - but get lost in the weeds proposing a 3D + also 3 more D 6-hextille.lisp version. I could not get it out of my head, so we all must suffer.

#commonLisp #geometry

ALT

#lispyGopherClimate

https://toobnix.org/w/mu2Wm3Y7F6dBbqBivkXL1x

#climateCrisis #poem @kentpitman
- Comments on responsible dialog, many notes
@prahou and @davidrevoy 's #exquisiteCorpse #art #unix_surrealism https://gamerplus.org/@screwlisp/116518727790621795

/Next Sunday/Tuesday/Sunday/ upcoming guests: @bagder #curl @chiply #emacs @yantar92 #orgMode

#lisp / #commonLisp / #acl2 since I did not finish, my #commonLisp *my* #hextille wishlist https://lispy-gopher-show.itch.io/dl-roc-lisp/devlog/1502166/six-dimensional-hextille-boondoggle-acl2-mcclim-common-lisp before @jackdaniel 's coming #ELS #ecl #McCLIM thing.

#lambdaMOO !

ALT

ALT

Wait, dead mic?

Alright, it is in fact Sunday-morning-in-Europe but I am elbow-deep in setting up some machine over the world's slowest network connection, so if you're into that this is that. #lispyGopherClimate #emacs #ssh #actuallySshX Just building #acl2 and #lambdaMOO . ( #lisp, #logic and #mud ) (and #i2p but there's no accounting for taste).

https://toobnix.org/w/gXLXQqxf5MYg1NDF2Ua6oA

Every week since 2022 ! #peertube #podcast #tech #live every 8am Sunday UTC.