Search
Thursday, 23rd of June 2022, 3:42:49 UTC
4:45:01
lisbeths
Top men are assembling to analyze the lambda calculus. Top men.
4:46:23
White_Flame
I don't know if I have more friends in top places or low places
4:46:33
White_Flame
but diversity is good ;)
4:46:50
ck_
how about if we make the lambda calculus executable, so we can prototype with it? Like a scout vehicle
4:47:04
ck_
so what do you say, do I sell you on my scout lambda calculus, lisbeths?
4:48:30
ck_
White_Flame: well, you know lisp is traditionally pretty aristocratic, right?
4:48:48
ck_
that's because symbols are, by default, UPPER CLASS^WCASE
6:38:17
lisbeths
https://github.com/jart/sectorlisp
12:19:49
lisp123
In today's edition of #programming: "Well if you observe carefully, semantically Lisp is identical to a special kind of C constructed from similar base functions"
13:00:27
lisp123
holy shit github copilot is insane
13:00:28
lisp123
https://plaster.tymoon.eu/view/3252#3252
13:00:53
lisp123
I typed // (defun append (lst tail) --> it autocompleted the Scheme code from Stack Overflow
13:01:22
lisp123
and then gave me the option to translate the entire function into TypeScript based on my pre-existing lisp functions
13:10:16
Lycurgus
yeah I got a notice that they were going production and to convert my trial membership
13:10:29
Lycurgus
but the trial indicated it wasn't really worth it
13:10:58
Lycurgus
trial or beta or whatever they were calling it
13:11:22
Lycurgus
squirrel$ chasing a nut
13:12:35
Origin
right now i'm experimenting with racket in my downtime and i'm enjoying it so far
13:12:38
Lycurgus
things that live up to the promise/hype are exceedingly rare
13:13:02
Origin
i don't know what made racket click than emacs lisp/clisp/sbcl for me
13:16:05
Lycurgus
and philosophically the opposite of cl
13:17:22
Lycurgus
is quicklisp going to have a new maintainer?
13:18:05
mfiano
Give Zach some time. He just suffered a tremendous loss.
13:18:46
Lycurgus
there was a github commit with the last week or so
13:19:15
Lycurgus
thanks for clarifying ur earlier communication
13:21:23
Lycurgus
https://github.com/quicklisp/ yesterday
13:21:58
contrapunctus
mfiano: «Give Zach some time. He just suffered a tremendous loss.» oh...what happened?
13:22:48
mfiano
Lycurgus: That's not a commit.
13:22:55
Lycurgus
which before right now i thought might have been by the new maintainer
13:24:55
Lycurgus
unwarranted extrapolation from my use where the only activity is commits
13:26:01
mfiano
His 16 year old daughter died last month.
13:26:54
mfiano
He can take all the time he needs and we should be respectful.
13:27:35
Lycurgus
if ql didn update for a year i doubt it would matter that much
13:28:11
Lycurgus
people would manually do anything needed in the interim
13:28:40
Lycurgus
in a culture other than cl that wouldn necessarily be the case
13:31:17
Lycurgus
on copilot, virtually anything these days claiming AI can be dismissed prima facie
13:38:53
Lycurgus
CACM new issue just arrived with "Toward Vertical AI " as the cover article
13:39:57
Lycurgus
and it's not interestig (the cover article)
13:41:00
Lycurgus
(based on quick impression, prolly something of minor interest)
Thursday, 23rd of June 2022, 15:42:49 UTC