toad.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mastodon server operated by David Troy, a tech pioneer and investigative journalist addressing threats to democracy. Thoughtful participation and discussion welcome.

Administered by:

Server stats:

198
active users

#lazyevaluation

0 posts0 participants0 posts today
screwlisp<p><a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://gamerplus.org/tags/softwareEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwareEngineering</span></a> article <a href="https://screwlisp.small-web.org/programming/tangle/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/progra</span><span class="invisible">mming/tangle/</span></a> <a href="https://gamerplus.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonLisp</span></a> <a href="https://gamerplus.org/tags/asdf" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>asdf</span></a> <a href="https://gamerplus.org/tags/systemsProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>systemsProgramming</span></a> <a href="https://gamerplus.org/tags/series" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>series</span></a> <a href="https://gamerplus.org/tags/pathnames" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pathnames</span></a> <a href="https://gamerplus.org/tags/packaging" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>packaging</span></a> </p><p>Really simple... Sort of... But so intricate to write. I deal with (writing a smidge of <a href="https://gamerplus.org/tags/interactive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>interactive</span></a> <a href="https://gamerplus.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lazyEvaluation</span></a> <a href="https://gamerplus.org/tags/functionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalProgramming</span></a> ) :</p><p>- Tangling markdown into an asdf :class :package-inferred-system lisp system<br>- Doing so with scan-file and collect-file from series<br>- Working with lisp’s make-pathname directories.</p><p><a href="https://gamerplus.org/tags/literateProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>literateProgramming</span></a></p>
screwlisp<p>Play 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"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/progra</span><span class="invisible">mming/play-static-games-win-static-prizes/</span></a><br><a href="https://gamerplus.org/tags/staticTyping" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>staticTyping</span></a> <a href="https://gamerplus.org/tags/typechecking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>typechecking</span></a> <a href="https://gamerplus.org/tags/staticProgramAnalysis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>staticProgramAnalysis</span></a> <a href="https://gamerplus.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonLisp</span></a> <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://gamerplus.org/tags/sbcl" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sbcl</span></a> <a href="https://gamerplus.org/tags/series" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>series</span></a> <a href="https://gamerplus.org/tags/acl2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>acl2</span></a> </p><p>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">#<span>programming</span></a>.</p><p>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">#<span>sbcl</span></a> is not your deployment target, you can still use its static type checking, for which I work an example.</p><p><a href="https://gamerplus.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lazyEvaluation</span></a> and formal theorems are also included.</p>
screwlisp<p><a href="https://gamerplus.org/tags/softwareEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwareEngineering</span></a> <a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://gamerplus.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonLisp</span></a> <a href="https://gamerplus.org/tags/assertions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>assertions</span></a> <a href="https://gamerplus.org/tags/algebra" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>algebra</span></a> - tight, efficient <a href="https://gamerplus.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lazyEvaluation</span></a> vector multiplication with <a href="https://gamerplus.org/tags/series" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>series</span></a> .<br><a href="https://screwlisp.small-web.org/programming/cl-series-vector-mult-assert-lisp-interactivity/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/progra</span><span class="invisible">mming/cl-series-vector-mult-assert-lisp-interactivity/</span></a></p><p>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 <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> useage: classic.</p><p><span class="h-card" translate="no"><a href="https://ieji.de/@vnikolov" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>vnikolov</span></a></span> what do you think of this example of assert viz your assertables?<br>+ <span class="h-card" translate="no"><a href="https://climatejustice.social/@kentpitman" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>kentpitman</span></a></span></p>
screwlisp<p><a href="https://gamerplus.org/tags/climateCrisis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>climateCrisis</span></a> <a href="https://gamerplus.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonLisp</span></a> <a href="https://gamerplus.org/tags/graphing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphing</span></a> <a href="https://gamerplus.org/tags/series" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>series</span></a> <a href="https://gamerplus.org/tags/gnuplot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gnuplot</span></a> <a href="https://screwlisp.small-web.org/programming/common-lisp-cl-series-gnuplot-climate/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/progra</span><span class="invisible">mming/common-lisp-cl-series-gnuplot-climate/</span></a><br>Hey everyone. I jammed some <a href="https://gamerplus.org/tags/declarative" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>declarative</span></a> <a href="https://gamerplus.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lazyEvaluation</span></a> <a href="https://gamerplus.org/tags/engineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>engineering</span></a> <a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> to tie into the climate segment of the live show in TWO hours.</p><p>Interesting declarative exploratory programming and super simple gnuplotting if I do say so.</p><p>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</p>
vintage screwlisp account<p><a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.sdf.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamedev</span></a> <a href="https://mastodon.sdf.org/tags/devlog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devlog</span></a> <a href="https://mastodon.sdf.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonLisp</span></a> <a href="https://mastodon.sdf.org/tags/series" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>series</span></a> <a href="https://mastodon.sdf.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lazyEvaluation</span></a> <a href="https://mastodon.sdf.org/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a> <a href="https://screwlisp.small-web.org/lispgames/cl-series-for-game-logic/" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/lispga</span><span class="invisible">mes/cl-series-for-game-logic/</span></a> <a href="https://mastodon.sdf.org/tags/lispgamejam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lispgamejam</span></a> <br>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).</p><p>In particular, I use series to cut out rectangular subsequence of sequences -s</p><p>SERIES DOC UPDATE FROM RTOY <a href="https://gitlab.common-lisp.net/rtoy/cl-series/-/wikis/Series-User's-Guide" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gitlab.common-lisp.net/rtoy/cl</span><span class="invisible">-series/-/wikis/Series-User's-Guide</span></a></p>
vintage screwlisp account<p><a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.sdf.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonLisp</span></a> <a href="https://mastodon.sdf.org/tags/emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>emacs</span></a> <a href="https://mastodon.sdf.org/tags/repl" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>repl</span></a> versus <a href="https://mastodon.sdf.org/tags/orgmode" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>orgmode</span></a> for the <a href="https://mastodon.sdf.org/tags/fizzbuzz" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fizzbuzz</span></a> challenge on <a href="https://mastodon.sdf.org/tags/medium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>medium</span></a>.<br>Using <a href="https://mastodon.sdf.org/tags/series" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>series</span></a> <a href="https://mastodon.sdf.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lazyEvaluation</span></a> <br><a href="https://medium.com/@screwlisp/fizzbuzz-battle-orgmode-versus-the-repl-for-lazy-lisp-series-an-emacs-story-b98f633a20d8" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">medium.com/@screwlisp/fizzbuzz</span><span class="invisible">-battle-orgmode-versus-the-repl-for-lazy-lisp-series-an-emacs-story-b98f633a20d8</span></a><br>I think it ended up pretty interesting, and what you would expect. The repl is a better interactive experience, but the noweb tangle optimizes in ways the separate repl lines can't, and is already in a disk-persisted file.</p><p>Looking forward to feedback and commentary ( @ksaj ;p)</p>
vintage screwlisp account<p><a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.sdf.org/tags/example" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>example</span></a> <a href="https://mastodon.sdf.org/tags/tutorial" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tutorial</span></a> <a href="https://mastodon.sdf.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonLisp</span></a> <a href="https://mastodon.sdf.org/tags/series" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>series</span></a> <a href="https://mastodon.sdf.org/tags/declarative" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>declarative</span></a> <a href="https://mastodon.sdf.org/tags/functionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalProgramming</span></a> <a href="https://mastodon.sdf.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lazyEvaluation</span></a> <a href="https://mastodon.sdf.org/tags/medium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>medium</span></a> <a href="https://mastodon.sdf.org/tags/article" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>article</span></a> </p><p><a href="https://medium.com/@screwlisp/common-lisp-lazy-efficient-series-example-1567d389a28d" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">medium.com/@screwlisp/common-l</span><span class="invisible">isp-lazy-efficient-series-example-1567d389a28d</span></a></p><p>I cover<br>- getting series and using it in a package<br>- Series' mapping<br>- Series' iteration (perform a side effect for the whole series, return nothing)<br>- Series' alter (in-place destructive modification of its input sequence)</p><p>Medium.com says it's possible to read my article in two minutes. Feel free to respond with the number of minutes it took you.</p>
vintage screwlisp account<p><span class="h-card"><a href="https://infosec.exchange/@ksaj" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>ksaj</span></a></span> <br>(this is so the player prototype of repeatedly-eval-qt in my lispmoo2 can call it like this:<br>LISPMOO2/USER&gt; { split-string ("foo bar baz") :with (#\space) } x<br>("foo" "bar" "baz")</p><p>But the lisp is the heads and tails I can make out of Series so far <a href="https://mastodon.sdf.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lazyEvaluation</span></a></p>