Groups
Groups
Sign in
Groups
Groups
Shen
Conversations
About
Send feedback
Help
Shen
1–30 of 2826
This is the forum for the Shen programming language.
Mark all as read
Report group
0 selected
Dallin Dahl
,
dr.mt...@gmail.com
3
Sep 5
Building Shen from source
Thanks for looking at it. I tried commenting out those 4 lines in install.lsp, but I'm still
unread,
Building Shen from source
Thanks for looking at it. I tried commenting out those 4 lines in install.lsp, but I'm still
Sep 5
dr.mt...@gmail.com
, …
C Stewart (chalst)
12
Sep 5
Exploring ChatGPT as a Shen-Based Tool
Woo wrote What would be THORN's reaction to "I am happy that I'm not happy," and
unread,
Exploring ChatGPT as a Shen-Based Tool
Woo wrote What would be THORN's reaction to "I am happy that I'm not happy," and
Sep 5
Raoul Duke
,
dr.mt...@gmail.com
2
Sep 3
sbcl types?
Not ignorant at all. None is the answer, can't speak for Scheme. Mark On Wednesday, 3 September
unread,
sbcl types?
Not ignorant at all. None is the answer, can't speak for Scheme. Mark On Wednesday, 3 September
Sep 3
dr.mt...@gmail.com
Sep 1
feeding ChatGPT the ATP paper
Based on taking the path of the least resistance, I fed ChatGPT the paper I wrote with it. It seems
unread,
feeding ChatGPT the ATP paper
Based on taking the path of the least resistance, I fed ChatGPT the paper I wrote with it. It seems
Sep 1
dr.mt...@gmail.com
Aug 21
Shen-THORN-ChatGPT exchange
This exchange which resulted in a paper cited on this group ccupies 800+ pages of transcript. I'm
unread,
Shen-THORN-ChatGPT exchange
This exchange which resulted in a paper cited on this group ccupies 800+ pages of transcript. I'm
Aug 21
dr.mt...@gmail.com
,
Woo
5
Aug 13
Improving THORN: ways and means
words fali me On Monday, August 11, 2025 at 12:08:32 PM UTC-7 dr.mt...@gmail.com wrote: Said
unread,
Improving THORN: ways and means
words fali me On Monday, August 11, 2025 at 12:08:32 PM UTC-7 dr.mt...@gmail.com wrote: Said
Aug 13
dr.mt...@gmail.com
Aug 11
Collaborative Automated Reasoning in Shen: Formal Planning, Type-Theoretic Verification, and Symbolic Proof with ChatGPT and THORN
Such is the catchy title of a new paper; but there's a lot there to interest Shenturions. THORN,
unread,
Collaborative Automated Reasoning in Shen: Formal Planning, Type-Theoretic Verification, and Symbolic Proof with ChatGPT and THORN
Such is the catchy title of a new paper; but there's a lot there to interest Shenturions. THORN,
Aug 11
Paolo Broglio
, …
dr.mt...@gmail.com
5
Aug 2
Troubles loading the Logic Lab with shen-scheme
No problems; the download and support pages for LPC have been updated. Mark On Saturday, 2 August
unread,
Troubles loading the Logic Lab with shen-scheme
No problems; the download and support pages for LPC have been updated. Mark On Saturday, 2 August
Aug 2
dr.mt...@gmail.com
Aug 1
Shen/tk upgrade in Lib
I've fixed a bug in Shen/tk involving relative and absolute pathnames which was triggered by the
unread,
Shen/tk upgrade in Lib
I've fixed a bug in Shen/tk involving relative and absolute pathnames which was triggered by the
Aug 1
Dallin Dahl
,
dr.mt...@gmail.com
3
Jul 22
Typechecking Mutual Recursion
That confirms my suspicions. It looks like it also works if you put both inside a package. I wrote a
unread,
Typechecking Mutual Recursion
That confirms my suspicions. It looks like it also works if you put both inside a package. I wrote a
Jul 22
Woo
,
dr.mt...@gmail.com
4
Jul 9
Everything worked well except...
If you can run this stuff under Shen/Scheme, do so. You need to load stlib into that port though.
unread,
Everything worked well except...
If you can run this stuff under Shen/Scheme, do so. You need to load stlib into that port though.
Jul 9
dr.mt...@gmail.com
Jul 6
THORN 20: procedural attachment
The limits of inference for this architecture wo major additions were reached in THORN 19. But one
unread,
THORN 20: procedural attachment
The limits of inference for this architecture wo major additions were reached in THORN 19. But one
Jul 6
dr.mt...@gmail.com
,
Woo
4
Jul 6
ann: THORN 19 - the limits of technology
mapf is stlib. That sounds as if you don't have the standard library loaded. THORN (Theorem
unread,
ann: THORN 19 - the limits of technology
mapf is stlib. That sounds as if you don't have the standard library loaded. THORN (Theorem
Jul 6
dr.mt...@gmail.com
, …
jono338
7
Jul 5
Some remarks on doing AI research withthe help of AI!
Just to add, if you've been using the free version of chatgpt, I'd highly recommend trying
unread,
Some remarks on doing AI research withthe help of AI!
Just to add, if you've been using the free version of chatgpt, I'd highly recommend trying
Jul 5
dr.mt...@gmail.com
Jul 3
ann: documentation on THORN 19 - a short paper
I've updated the documentation on THORN 19 and on that page is a link to a short paper in
unread,
ann: documentation on THORN 19 - a short paper
I've updated the documentation on THORN 19 and on that page is a link to a short paper in
Jul 3
dr.mt...@gmail.com
3
Jul 1
natural language semantics with THORN
Anyway here is machine translation in the small a la Tarski. I give the semantics for a fragment of
unread,
natural language semantics with THORN
Anyway here is machine translation in the small a la Tarski. I give the semantics for a fragment of
Jul 1
dr.mt...@gmail.com
,
Bruno Deferrari
3
Jun 23
THORN 19 emerges from collaboration with ChatGPT
Not yet. I'll look into it. M. On Saturday, 21 June 2025 at 15:08:56 UTC+1 Bruno Deferrari wrote:
unread,
THORN 19 emerges from collaboration with ChatGPT
Not yet. I'll look into it. M. On Saturday, 21 June 2025 at 15:08:56 UTC+1 Bruno Deferrari wrote:
Jun 23
dr.mt...@gmail.com
,
Bruno Deferrari
14
Jun 20
ann: THORN 18
That wraps it up. Here is a summary. Problem Time (sec) Inferences MegaLIPS Steps in Proof
unread,
ann: THORN 18
That wraps it up. Here is a summary. Problem Time (sec) Inferences MegaLIPS Steps in Proof
Jun 20
Bruno Deferrari
,
dr.mt...@gmail.com
4
Jun 17
"Bridging the Chasm: Programming the Next Generation of Arti cial Intelligence"
So the revolution the article refers to is going to require a revolution in the way these proofs are
unread,
"Bridging the Chasm: Programming the Next Generation of Arti cial Intelligence"
So the revolution the article refers to is going to require a revolution in the way these proofs are
Jun 17
dr.mt...@gmail.com
Jun 15
THORN 16 - increase in performance wrt equality
THORN 16 evolved from THORN 15 while working on program verification. Equality was added late in the
unread,
THORN 16 - increase in performance wrt equality
THORN 16 evolved from THORN 15 while working on program verification. Equality was added late in the
Jun 15
dr.mt...@gmail.com
2
Jun 9
LKL - Logic for KLambda
One rather radical conclusion I'm coming to is that incorporating types into LKL not only makes
unread,
LKL - Logic for KLambda
One rather radical conclusion I'm coming to is that incorporating types into LKL not only makes
Jun 9
Raoul Duke
, …
nha...@gmail.com
4
Jun 6
debugger?
You can always use whatever debugger is in the backend of your Shen implementation. For the Chez
unread,
debugger?
You can always use whatever debugger is in the backend of your Shen implementation. For the Chez
Jun 6
dr.mt...@gmail.com
3
Jun 6
ann: first phase of open science initiative, 90+ pages on Shen/tk
Your number of visitors increased by 319% compared with last week. You had a total of 8320 page views
unread,
ann: first phase of open science initiative, 90+ pages on Shen/tk
Your number of visitors increased by 319% compared with last week. You had a total of 8320 page views
Jun 6
dr.mt...@gmail.com
Jun 5
NYXT: the hacker's browser - opinions?
Anybody here got an opinion on NYXT ? In what way is it superior to Firefox, Chrome, Edge etc? Mark
unread,
NYXT: the hacker's browser - opinions?
Anybody here got an opinion on NYXT ? In what way is it superior to Firefox, Chrome, Edge etc? Mark
Jun 5
dr.mt...@gmail.com
Jun 4
useful utility for Windows
Most OS have their warts and one particular annoying one about Windows is their failure to debug
unread,
useful utility for Windows
Most OS have their warts and one particular annoying one about Windows is their failure to debug
Jun 4
dr.mt...@gmail.com
Jun 3
ann: THORN 14
THORN is restored and improved. Look to the Learn page. Specifically timout given as an option and
unread,
ann: THORN 14
THORN is restored and improved. Look to the Learn page. Specifically timout given as an option and
Jun 3
dr.mt...@gmail.com
2
May 31
Shen website periodically down over the next few days
The update is proceeding from now. Mark On Friday, 30 May 2025 at 20:29:23 UTC+1 dr.mt...@gmail.com
unread,
Shen website periodically down over the next few days
The update is proceeding from now. Mark On Friday, 30 May 2025 at 20:29:23 UTC+1 dr.mt...@gmail.com
May 31
dr.mt...@gmail.com
May 30
ChatGPT to be integrated into Shen Education Page?
A year ago I experimented with the idea of embedding ChatGPT into the Shen Learn page. But honestly
unread,
ChatGPT to be integrated into Shen Education Page?
A year ago I experimented with the idea of embedding ChatGPT into the Shen Learn page. But honestly
May 30
dr.mt...@gmail.com
May 29
Shen website stands at 1876 web pages and will grow ...
It's a huge site and will grow over the coming weeks as more and more of my work becomes readable
unread,
Shen website stands at 1876 web pages and will grow ...
It's a huge site and will grow over the coming weeks as more and more of my work becomes readable
May 29
dr.mt...@gmail.com
,
alpha...@orange.fr
5
May 29
ann: Book of Shen 5th edition
Well, pretty soon all my work will be readable online, so you won't lose out too much. M. On
unread,
ann: Book of Shen 5th edition
Well, pretty soon all my work will be readable online, so you won't lose out too much. M. On
May 29