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.

#softwareEngineering #programming #commonLisp #assertions #algebra - tight, efficient #lazyEvaluation vector multiplication with #series .
https://screwlisp.small-web.org/programming/cl-series-vector-mult-assert-lisp-interactivity/

I use assert in lisp, which automatically generates an interactive in-context failure resolution which I utilize in the article, where the lazy cotruncation series feature was not wanted. Shows off a #lisp useage: classic.

@vnikolov what do you think of this example of assert viz your assertables?
+ @kentpitman

#climateCrisis #commonLisp #graphing #series #gnuplot https://screwlisp.small-web.org/programming/common-lisp-cl-series-gnuplot-climate/
Hey everyone. I jammed some #declarative #lazyEvaluation #engineering #programming to tie into the climate segment of the live show in TWO hours.

Interesting declarative exploratory programming and super simple gnuplotting if I do say so.

But I basically ran out of time to make a good graph with daily temperature max/min/avg from about 1920-2020 in some weather stations in New Zealand. Any ideas??? Clock is ticking

#programming #gamedev #devlog #commonLisp #series #lazyEvaluation #functionalprogramming https://screwlisp.small-web.org/lispgames/cl-series-for-game-logic/ #lispgamejam
Since cl-series generates native common lisp code by working at macro expansion time, I consider it suitable for my software individuals (who want only clos-less common lisp and their own logic (which they have an introspective theory of).

In particular, I use series to cut out rectangular subsequence of sequences -s

SERIES DOC UPDATE FROM RTOY https://gitlab.common-lisp.net/rtoy/cl-series/-/wikis/Series-User's-Guide