screwlispJun 12, 2025

#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

Show threadVassil Nikolov | Васил Николов

@screwlisp @kentpitman

First, four words:
good points, instructive example.

Indeed a case where I would want to turn this assertion off once satisfied that all calls to the multiplier are good.
Turn off at build time or at run time, depending on the set of inputs to the program.

And then later maybe turn it on again after changing and rebuilding the program.

And one Big Dream here (Kent mentioned that) is to control assertions with the safety optimization setting.
Easy to say.

#CommonLisp

Jun 12, 2025 at 4:01amWeb
Show threadVassil Nikolov | Васил НиколовJun 12, 2025

@screwlisp @kentpitman

P.S.
The technology of the Internet has been around for quite some time now and still I am a little amazed that I can communicate with the antipodes (almost) _just like that_.

#InformationRevolution
#InformationSociety

Show threadKent PitmanJun 12, 2025

@vnikolov @screwlisp

An important reason to be able to control it with the optimize setting is that then you can have code snippets in other macros that expand into local declarations about optimization and have those optimizations lexically control whether something is on or off.