programming

Plwm – An X11 window manager written in Prolog

https://github.com/Seeker04/plwm

#HackerNews #Plwm #X11 #window #manager #Prolog #programming #GitHub #open #source

curl libcurl

Just in case you have forgotten how to curl a file from a server here's a extensive howto with screenshots

`-L` redirect
https://everything.curl.dev/http/browserlike.html?highlight=-L#redirects

`-o` filename
https://everything.curl.dev/usingcurl/downloads/url-named.html#download-to-a-file-named-by-the-url

`-C -` resume
https://everything.curl.dev/usingcurl/downloads/resume.html#resuming-and-ranges

`curl --verbose -C - -L -o lp_someband_some_name_disc1side2.flac archive.org/download/lp_someband_somename-v/disc1/lp_someband_somename_disc1side2.flac`

#curl #get #programming #technology #fetch #networking #https #http #ftp #OpenSource #POSIX #BSD #freeBSD #ghostBSD #openBSD #Linux #win64 #mac

#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

ALT

ALT

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

Netencode: I’m currently building out my project of making a “better” structured language for use in UNIX-pipelines and shell scripting and the like.

It’s human-readable, but supports trivial generation with printf & wc, tagged values (sum types, Result<T>) and embedding arbitrary binaries without escaping due to being length-prefixed.

I think it’s pretty cool!

#netencode #ShowAndTell #unix #shell #haskell #python #rust #nix #programming #tooling

ALT

ALT

#bookReview #psychology #neuroscience #automata #engineering #technology #bookstodon
my Book review of Braitenberg’s Vehicles Experiments in Synthetic Psychology
https://screwlisp.small-web.org/complex/book-review-braitenberg-vehicles/

I connect this to #lisp #programming for our upcoming (48 hours from tooting) interview with @ksaj about cluster and swarm-intelligence computing, featuring lisp.

If you have adjacent thoughts or questions you might like Ksaj and I (and the usual crowd) to consider, please do discuss them here.

#programming #softwareEngineering #commonLisp images as communicating #automata https://screwlisp.small-web.org/complex/resend%20resend%20resend.webm https://screwlisp.small-web.org/complex/eepitch-send/

Article with one minute video showing four lisp images chattering unattended.

There is no leader- they're just talking. However, they are using #emacs #slime #eepitch and sleeps so you can usefully watch them.

A precursor to next week's episode featuring @ksaj discussing breitenbergian vehicles etc.

Do you use a cluster of #lisp images?

#lispyGopherClimate #archive discussing #alife #gof_ai #ai with @ksaj and @shizamura

https://communitymedia.video/w/sg6Sa93LRkXfyuLJEaBMXf

Themed around Braitenberg's #Vehicles Thought experiment in #syntheticPsychology #bookstodon

#lisp #programming #caisor

#unix_surrealism by @prahou

#nature #haiku by @kentpitman

ALT

#alife #ai #reflection #BDI #crows for my #commonLisp #emacs #slime #eepitch #caisor #softwareIndividuals #programming (I guess this is particularly #softwareEngineering ).

https://screwlisp.small-web.org/complex/after-alife-talk-practical-thoughts/

I consider the scenario where one vehicle tells another one where to get food, and run a #thoughtExperiment with crow tool use. I find programs want to alternate autonomous action with human-in-the-loop interpretive collaboration.

@ksaj @shizamura

Unsung heroes @dougmerritt @mdhughes & everyone.

#LispyGopherClimate #archived #technology #programming #lisp #commonLisp #softwareEngineering

https://communitymedia.video/w/2KKB3LF4cAmFrTzR5QL8wT

Today, #webDev #softwareTesting Sharpsign no mention of types.

#climateCrisis + #haiku by @kentpitman

Reverse interview with @vindarel and @khinsen (they will listen to us this episode and respond in their own time zones)
https://lisp-journey.gitlab.io/
https://github.com/ciel-lang/CIEL/#ciel-is-an-extended-lisp
https://web-apps-in-lisp.github.io/

My own #AMOP #Kitten #clelephant ~ https://screwlisp.small-web.org
, criticizing #clwho ?

ALT

We've gotten some great proposals for Wagtail Space 2025 so far! We'd love to see some more, particularly from content creators who use Wagtail. Submit your talk idea here: https://pretalx.com/wagtail-space-2025/cfp

#Wagtail #Django #Content #Programming

I watched someone "vibe code" for an hour and now I think "slot machine coding" is a more appropriate name. "Let us pull the lever again and see if the code gets better with this prompt."

#AI #GenAI #VibeCoding #Programming

#programming #engineering #systems I work sketching graphs of complex systems in canonical #lisp with #mcclim #emacs #eev .
https://screwlisp.small-web.org/complex/complex-systems/

Back of envelope theories of complex systems, as always with my mostly relating to off-hand comments Winograd made in the first page of his Breaking The Complexity Barrier (Again) paper.

What do you think?

Main feature is bootstrapping making these graphs somewhat in terms of themselves metacircularly.

ALT

ALT

ALT

ALT

Looking for a new project.

Anyone need help with a Java, Typescript, Python (or elisp, bash, others potentially) open source project.
Issue on a git repo (like codeberg) and I might take a look.

#codeberg #java #javascript #typescript #python #programming

What code I usually write? See there: https://codeberg.org/harald

#leonardoCalculus #programming #knowledgeRepresentation #KR #formal #ontology #article

Leonardo Calculus Knowledge Representation: Defining sensors sense and sense2 lispdef helper action entities

https://screwlisp.small-web.org/lispgames/LCKR-defining-sensors-sense-using-cl-series/

Introduces and demos lispdef entities which in the upper ontology are entities containing lisp forms which can/do provide its concrete programming implementation.

Tying these together is obviously great, none of this "just an ontology" and "just not an ontology" stuff.

#leonardoCalculus #Sandewall #programming #objectOriented #simulation #lisp #commonLisp

I feel like this article is one of those moments that is a monumental achievement for the writer themselves, but precedes adding glitzy picture making (which will eventually come too).

If you remember, I was recapitulating my somewhat failed #lispgamejam #gamedev . This time and in about half a week just now - I got the plant/insect/bird Breitenbergian Vehicle simulation workin'.

https://screwlisp.small-web.org/lispgames/LCKR-completing-the-simulation/

ALT

Wagtail Space 2025 is LIVE! 🚀 ✨

https://wagtail.org/wagtail-space-2025/
Common LinkedIn hashtags:

#Wagtail #Django #Content #Programming

#gamedev #devlog

The story (and writing of)

cl-unicode-chicken-sudoku

https://screwlisp.small-web.org/lispgames/cl-unicode-chicken-sudoku/

I'll improve the webpage sudoku formatting after the interview with Larian coming up in an hour ( https://anonradio.net:8443/anonradio )

Article is back-of-a-cereal-box #commonLisp #programming #sudoku #fun

⬜ 🦢 ⬜ 🐓 🦫 🐧 🦉 🐣 🦃
🦉 🦃 🦫 🐣 ⬜ 🦢 🐤 🐓 🦆
🐧 🦉 🐣 🦃 ⬜ 🐤 🦆 🦫 ⬜
🦫 🐣 ⬜ 🐧 🐤 ⬜ 🐓 ⬜ 🦢
⬜ 🐧 ⬜ ⬜ ⬜ 🦆 🦢 🐤 🐣
⬜ 🐤 🐓 🦆 🦉 ⬜ ⬜ 🦃 🐧
🐓 🦆 🦢 ⬜ 🐣 🦃 🐧 🦉 🦫
⬜ 🐓 🐤 🦢 ⬜ 🐣 ⬜ ⬜ 🦉
🐣 🦫 🐧 🦉 🦆 🐓 🦃 🦢 🐤

#Introduction Hashtags, so I can pin this post and take them out of my profile:

#Education #Research #Phd, #BCS #Computing #Teacher #CCT
#CSEd #Programming #BCS
#ActuallyAutistic
#ActuallyADHD
I live with #MultipleSclerosis
#Zen / #Nonduality #Buddhist, weirdly into #Jung
#Research topics:
- #EdAI / #AIEd - #LLMs in #Education
- #CriticalStudies of #EdTech
- #Neurodiversity in #Education, and the experience of ND educators.

Wagtail Space is a go! We're on the hunt for speakers right now. If you have a great Wagtail story to tell or a story about #AI, #Accessibility , or #Sustainability that would be relevant to our audience, we definitely want to connect. 😁

https://wagtail.org/blog/wagtail-space-2025-is-a-go/

#Wagtail #Django #Content #Programming

#programming #workflow #GUI #mcclim #commonLisp #emacs #ecl #clisp #slime #leonardoCalculus #eepitch

https://screwlisp.small-web.org/lispgames/LCKR-object-oriented-simulation-simulation/

I have to say, I am really, really happy with how the flow into the thirty second GIF reflects my ideal computer useage.

Basically, I write a clim command that steers my leonardo system "like a person does" via emacs-server, visible in the background of the straightforward clim interactor GUI I generated in a couple lines.

Installing lisp for beginners.

https://screwlisp.small-web.org/fundamental/installing-lisp-etc/

So much computing is predicated on having this or a conscious alternative decision to it. Here is my attempt to help beginners get this far. What do you think?

#commonLisp #emacs #beginners #lisp #programming #setup #software #developer

#sbcl #commonLisp #slime #emacs #programming .

https://screwlisp.small-web.org/fundamental/sbcl-slime-eval-lisp-and-die/

I think some people do either end up not using slime, or not using sbcl’s ext:save-lisp-and-die to save and resume their universe lisp image core when they are using slime. When you should use both.

This article covers that.

#programming #softwareEngineering #emacs #automation from #commonlisp #swank #slime via #eev
https://screwlisp.small-web.org/screwniverse/cl-eepitch/
I'm really, really, really happy with how this turned out to work.
CLIM-USER> (eepitch-expr '(get-decoded-time))
(GET-DECODED-TIME)
T

Lisp receives an instruction from emacs to send an instruction to emacs to pitch an instruction to the lisp image, which gets executed, and control returns to the lisp image.

@eduardoochs I pulled the insides out of eepitch-do.
@akater@shitposter.world <- CL-EL

ALT

#programming #softwareEngineering article https://screwlisp.small-web.org/programming/tangle/ #commonLisp #asdf #systemsProgramming #series #pathnames #packaging

Really simple... Sort of... But so intricate to write. I deal with (writing a smidge of #interactive #lazyEvaluation #functionalProgramming ) :

- Tangling markdown into an asdf :class :package-inferred-system lisp system
- Doing so with scan-file and collect-file from series
- Working with lisp’s make-pathname directories.

#literateProgramming