screwlisp

#lisp #programming #mathematics #gamedev #commonLisp #KRF #softwareIndividuals
#lispyGopherClimate #smallweb weekly live show every 000UTC Wednesday

Public Key

npub13rtszkjs767qk5rruzx5ggcf8jqgvtyr7xq88lfg0lxth6rnyjkqmsa54f

NIP-05 Address

screwlisp@gamerplus-org.mostr.pub

Profile Code

nprofile1qqsg34cptfg0d0qt2p37pr2yyvyneqyx9jplrqrnl558ln9mapejftqpzemhxue69uhhyetvv9ujumn0wd68ytnzv9hxgddd09y

Publishing to

relay.nostr.band

Author Public Key

npub13rtszkjs767qk5rruzx5ggcf8jqgvtyr7xq88lfg0lxth6rnyjkqmsa54f

Show more details

Last Notes

2025-06-14 04:36:18

Writing at least one article per day on https://screwlisp.small-web.org/ veers into a certain kind of technical debt- like, I write an article pointing out that while modern type theory proofs are (probably) great, lisp has been writing formally correct programs since the 70s without the branding of type theory by ACL2 (Nqthm).
Well, show me some examples. But what I'm focused on is what I haven't written yet.
Same when I say "cons tree visualisations as fractal structural types"...

2025-06-10 23:49:49

#computerScience #engineering #commonLisp #show #live #lispyGopherClimate https://anonradio.net:8443/anonradio #liveNOW
#climateCrisis #haiku @nprofile…9z2k
We have @nprofile…f7v6 talking about common lisp and type checking macros
+:
We do not have incredible artist @nprofile…qudt who has her fourth #scifi comic volume finished being funded or something (?) https://sarilho.net/en/ (if you speak english and not portuguese).
She promises to record something about semantics for us in the future.
#lambdaMOO live chat
https://gamerplus.org/system/media_attachments/files/114/661/735/273/127/323/original/c07a69c74e5e7d7f.png

2025-06-10 22:23:00

Roommate just moved out, now I "have an office" for the show in an hour - @nprofile…f7v6 on introducing activateable and deactivateable type checking to common lisp through a macro package (I think!)
Also maybe @nprofile…qudt (?)

2025-06-04 07:35:27

#lispyGopherClimate brief and incredibly informal writeup of what I remember from today's live show https://screwlisp.small-web.org/momentary/notes-from-the-show-25-06-04/
#gamedev folks - the notes on rogue (of #roguelike ) are, well, close-to-the-source.
#lisp stuff. #blog . #climateCrisis discussion.
With some apologies to @nprofile…de2h @nprofile…m2ru @nprofile…kxg2 @nprofile…h6vv @nprofile…gp3t @nprofile…46kk , everyone else.
https://gamerplus.org/system/media_attachments/files/114/624/001/012/425/152/original/eab6328d816e9b01.png

2025-06-02 03:33:27

#commonLisp #gameDev #devlog #lispgames #McCLIM #hurkle #GUI #programming
I added a gui to my Hurkle vintage game. Kinda burned out today. Anyway, you can see it working.
#article Shows how McCLIM declaratively and orthogonally generates graphical interface windows for an existing underlying game-logic class.
With some apologies to @nprofile…8vnl @nprofile…de2h .
https://gamerplus.org/system/media_attachments/files/114/611/652/364/538/771/original/4914726d366b2e43.png
https://gamerplus.org/system/media_attachments/files/114/611/652/447/824/357/original/251da486add65258.png
https://gamerplus.org/system/media_attachments/files/114/611/652/490/370/575/original/c3e953c2304f7310.png

2025-06-01 09:08:11

- reply

@nprofile…de2h
Yeah, you know kmp uses their-own-code thing instead of asdf as well. But every compiler supports asdf 3.2+, so it's "de facto". In my introduction to it yesterday I did basically try and minimize it to the extent possible (in that I let it do automatic stuff).
Did you try (new-game *g* :cols 3) ?
https://gamerplus.org/system/media_attachments/files/114/607/316/761/281/445/original/4849aac8a07961ea.png

2025-06-01 08:16:48

#programming #gamedev #devlog #commonLisp #lisp #hurkle #lispgames https://screwlisp.small-web.org/lispgames/itching-for-hurkles/
I wrote a lisp class that is meant to be Bob Albrecht's Hurkle vintage game. I only know what this was by @nprofile…de2h linking me it once.
Git in link somewhere. Has anyone actually played Hurkle? How realistic was I?
I'll translate Hurkle to McCLIM and parenscript kitten tomorrow or something.
https://gamerplus.org/system/media_attachments/files/114/607/106/641/211/776/original/7c66db329f8ae9eb.png

2025-05-31 09:13:10

- reply

@nprofile…de2h yeah, this happened to me yesterday. I drank a coffee when it was already too late to achieve anything and just lay awake waiting all night.

2025-05-31 07:35:43

- reply

@nprofile…de2h I only read the Sturgeon short story you linked me before, this game would work straightforwardly as a kitten too I think. I'm not an expert on user input from websites - would you make places on the grid clickable?

2025-05-31 07:18:29

- reply

@nprofile…de2h hopefully fixed. Really has to be capitalised? It seems easy for them to have 200 parthenogenic offspring, right?

2025-05-30 08:17:52

- reply

@nprofile…sr9k
Sorry if my thoughts stray from your very moving personal discourse on choosing to be yourself.
Something that has come up in conversation too often in what interactions I have with offline life is people, loose friends of mine, I guess, who are explicitly trying-to-get-money-by-being-tricky. I don't think most of them can be blamed: it's exactly what 99% of people who advise them are telling them to do. The 99% advisors seem to be panicking and just saying "get money" to others.

2025-05-30 02:27:16

#engineering #commonLisp #smallWeb #Cplusplus #insane #future #clKitten https://screwlisp.small-web.org/momentary/screwlisps-cl-kitten-future-theory/
in which I lay out a terrifying nine step complete overhauling of present popular #software #technology. I named it my Insane Fairy Godmother theory.

2025-05-28 22:35:32

- reply

@nprofile…de2h with the right kind of eyes, you can still see the high water mark 𝜆

2025-05-28 01:21:10

- reply

Some of the many links discussed viz https://communitymedia.video/w/fDRrC8N2WFCecGpEuQx3on
https://anggtwu.net/eepitch.html
https://screwlisp.small-web.org/
https://mdhughes.tech/
https://math.andrej.com/2020/09/14/a-general-definition-of-dependent-type-theories/
https://gamerplus.org/@screwlisp/114582085549457491
https://mathstodon.xyz/@rwxrwxrwx/114582526939181121
https://lambda.moo.mud.org/
Kittens:
https://kitten.small-web.org/

2025-05-27 22:18:03

- reply

@nprofile…m2ru Hah, yeah. I was briefly talking to @nprofile…r8sr before, who has an article "What /is/ Type Theory?" relating to some presumably famous type theorist going around asking type theorists that question and being called a troll, or them thinking they had not done enough type theory, but it turned out to be difficult and a somewhat open question to actually answer

2025-05-27 22:11:13

#programming #engineering #lisp #lispygopherclimate in 1.5hrs on https://anonradio.net/ 0UTC Wednesday
No Edrx (https://anggtwu.net/) again, but I will read a note from him about his own type theory quest.
He speaks to some of the different meanings that appear when different people say the words type theory, as appear on the Mastodon recently!
Also, I got a lot of notes on obvious improvements and contex for my https://screwlisp.small-web.org/ articles so far which we can share and talk about!
https://gamerplus.org/system/media_attachments/files/114/582/078/036/358/943/original/8e3244ae7b8d923d.png

2025-05-27 22:00:41

- reply

@nprofile…m2ru @nprofile…jc0y
I was going to say, regular $\infty$s are fine but some of them are unreasonably big

2025-05-26 07:24:29

#programming #commonLisp #geometry one way of calculating/drawing ellipses top and bottom arcs.
https://screwlisp.small-web.org/programming/screwlisps-knowledge-ellipse-hulls/
In my "new style" knowledge bit. Comments on the ellipses, thoughts on the article format.
https://gamerplus.org/system/media_attachments/files/114/572/931/291/774/794/original/50575a460e5e70d2.png

2025-05-25 00:37:31

- reply

@nprofile…de2h
That's weirdly similar. I guess I did say "this happens all the time"
@nprofile…f7wy

2025-05-25 00:19:18

#programming #database #cringe #sql #blog
Sharpsign not-very-deep. I just made some shallow notes about database server useage with slight reference to #lisp, and shared a database horror story from a (non-lisp!) company I worked at ten years ago.
https://screwlisp.small-web.org/programming/not-very-deep-notes-and-a-cringy-anecdote-about-database-servers-and-SQL/
with some apologies to @nprofile…f7wy (I will write a more serious post about lisp and databases much later, this one is not it. If you would like to be redacted from the post, let me know).
Thoughts, other horror stories welcome.

2025-05-24 05:30:09

- reply

@nprofile…de2h
I wonder if there's some psychological population statistics quirk at play here.
@nprofile…9z2k

2025-05-24 00:20:33

#programming #engineering #author #history #commonLisp #lisp #essay #thoughts #interview https://screwlisp.small-web.org/show/Kent-M-Pitmans-Whither-Original-Thought/
My thoughts and vague summary of our conversation with @nprofile…9z2k on the #lispyGopherClimate dealing with admonishments to modern authors and programmers not to experience authoring works themselves but to look at what past people did themselves, illustrated by Kent's own (world first) experiences.
You have to listen to it and think yourself too. #retoot ! https://communitymedia.video/w/gUXEKmEnQcamtg4EZk45Un

2025-05-24 00:20:33

2025-05-22 07:49:41

@nprofile…de2h
Did you say you played with #Kitten (s) earlier? Can I friendster you in such a way that someone with your own kitten's ed25519 can freely write to a blackboard on my index.page.js ?
Edit: Relatedly, https://screwlisp.small-web.org/
cc @nprofile…vlvm

2025-05-22 05:49:15

#programming #engineering #statistics #PCA in #commonLisp #lisp #blog #easy #reference https://screwlisp.small-web.org/programming/lisp-principle-component-analysis/
While I am just feeding no-other-obvious-source lisp pieces of my brain to my young kitten, here is principle component analysis in common lisp using an openly available #ML package #clml from a Japanese telco changing hands 15 years ago, actively developed by a lisp lone wolf up until five years ago.
My demo is in english (#emacs #eev #eepitch) in contrast to the Japanese internals.

2025-05-20 23:33:04

#lispyGopherClimate #live #gopher #technology #interview @nprofile…8pzy Coming up on the hour https://anonradio.net:8443/anonradio
gopher:classic gopher://baud.baby
We will be chattering in #lambdaMOO as always.
#lisp news:
a. Watch the lisp conference #ELS2025 lightning talks https://european-lisp-symposium.org/2025/index.html
b. Play the #lispGameJam submissions https://itch.io/jam/spring-lisp-game-jam-2025
c. ??? https://screwlisp.small-web.org/programming/popular-and-unpopular-lisp/
@nprofile…9z2k #haiku and #AI https://netsettlement.blogspot.com/
cc @nprofile…mh3g @nprofile…s2xg @nprofile…7j56 @nprofile…re6y @nprofile…m2ru @nprofile…de2h
https://gamerplus.org/system/media_attachments/files/114/542/764/861/715/610/original/5cdd0490673f1d7a.png

2025-05-20 06:03:47

- reply

@nprofile…de2h
Mostly with reference to the different article, that I just didn't write, can I ask if in your experience people like scheme for its "cachet"?
And do you think there are game frameworks that are good for beginners, and game frameworks (or programming languages) that are good for experts? How does marklib fit into that?
@nprofile…m2ru
(loop :repeat 100 :collecting '(mea |culpa,| mea maxima culpa))

2025-05-20 05:42:35

- reply

@nprofile…m2ru
I could make a better joke here if I didn't feel like I might be genuinely guilty

2025-05-20 05:34:10

- reply

@nprofile…de2h so my kitten is actually in Aral's garage. I could "animate" it through pushing changes to git but I think that both codeberg and aral would literally kill me. I guess the Kitten hotel service, whatever it's called actually directly supports updating an image via an authenticated TLS doesn't it. I didn't figure it yet though.

2025-05-20 05:28:42

- reply

@nprofile…de2h yes I think so, though where exactly does that loop sit, and how do keyboard interactions get to it. I think there was even a typo that borked my source markdown file.

2025-05-20 05:26:55

#programming #emacs #lisp #commonLisp #elisp #eev #engineering #computerScience #history
My short but richly referenced bit on the popularity of lisp in the modern era, ranging from 2000 to 2024.
https://screwlisp.small-web.org/programming/popular-and-unpopular-lisp/
I had /meant/ to write something completely different, but this is where we got. I hotly anticipate your flames.
TANGENTIALLY #ELS2025 https://european-lisp-symposium.org/2025/index.html
I planned to connect to #lispgamejam and totally missed it. Try the submissions though! https://itch.io/jam/spring-lisp-game-jam-2025/entries

2025-05-19 23:17:07

#programming #knowledgeRepresentation #lisp #gamedev #devlog #retrospective
sharpsign
my kitten is alive (ask the cat - Heinlein)
https://screwlisp.small-web.org/lispgames/games-as-knowledge/
this one has the least gremlins. Since my game was an hour of a dandelion-random-walk-through-a-field the retrospective is also literally the code I evaluated. I'm going to continue /here/ with a sort of separate retrospective retrospective retrospective.
What I /exposed/ in my agent relevant to the game experience were:
1/?

2025-05-16 02:10:44

- reply

@nprofile…de2h I read 'dream' as 'aspiration'

2025-05-14 03:53:06

- reply

@nprofile…de2h
What did you think of- Who, like Fletcher? The one with the theory that how-many-books-have-you-read is a better number than any of these generalised intelligence numbers.
A long time ago there were not a lot of widely available books I guess. Well, there were actually quite a few weren't there.
@nprofile…m2ru

2025-05-14 03:30:17

- reply

@nprofile…m2ru
Well in the throws of having recently landed on the gamerplus.org instance, maybe as well as being the same screwlisp as ever I might have grown or matured in some way.
By the way, do you want to come on for a tentatively soon with-video episode with multiple people (possibly you, kmp) and we could look at TECO on ITS (and I imagine you could stump for VI or whatever you like really)?
@nprofile…x3m4

2025-05-14 03:19:56

I'm on @nprofile…x3m4's #Mastodon instance now. Thanks! HairyLarry is the DJ of #aNONradio's incredible #SomethingBlue https://sbblues.com/ (which is also where the #lispyGopherClimate airs at SDF).
#lisp #programming #gamedev #KRF #ClimateCrisis weekly live #podcast [] .
If we weren't already friends, now is the time.
Recent interview with KMP of ansi #commonLisp #peertube #archive post : https://screwlisp.small-web.org/show/Kent-M-Pitman-Interview-Unreleased-Essay-CREF/

2025-05-13 01:55:49

@nprofile…x3m4 thanks for the instance! Do you know how account migrations work o_o
#first Hey everyone! #upComing #interview tomorrow #blog #computerscience #programming #cref
https://screwlisp.small-web.org/show/urgent-kent-pitman-interview/
I'll redirect my other accounts here but I am excited to meet everyone over here too! Back to #lispgamejam #gamedev after the interview.