#itchio #devlog Well I thought I better unleash my #hextille for the moment.

https://lispy-gopher-show.itch.io/dl-roc-lisp/devlog/1516681/hextille-6-sorta-release-plz-use-it

#geometry Sharpsign tilings.

In its current form hextille-6.lisp (which you get from the itch) turns lists of hexagonal walks and drawing styles into, well, the #McCLIM drawing of that.

If you are not running it yourself just drop your fantasy hexagon walks here and I will run them for you.

#commonLisp #McCLIM #CLIM

This toot probably constitutes #gamedev

#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 !

#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

More hexagon #acl2 #firstOrderLogic in one #ecl #commonLisp source with #McCLIM #graphics . Er.. #hextille .
https://lispy-gopher-show.itch.io/dl-roc-lisp/devlog/1500993/more-hexagon-acl2-first-order-logicembeddable-common-lispmcclim-graphics
I am quite excited to have same source*
*read the article
Generating automatic first order #logic theorems on the left, ANSI common lisp running on the right, and #CLIM graphics popped up in the foreground.

In practice, the article is a show-and-tell of the functions I wrote today. They are quite cautious, recursive and explicit as I get more used to the #fol atm

Well, I have to say I am on painkillers these days, but I wrote this.

https://lispy-gopher-show.itch.io/dl-roc-lisp/devlog/1497995/hexagons-common-lisp-interface-manager-graphics-and-acl2-first-order-logic-automatic-proofs-in-one-place

#McCLIM #acl2 #commonLisp #programming #logic #graphics #hextille

sharpsign logically drawing hexagons.

Edit: It's about a single lisp source spanning both common lisp interface manager and acl2 first order logic.