Groups
Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
Groups
Shen
Conversations
About
Shen
1–30 of 2817
This is the forum for the Shen programming language.
Mark all as read
Report group
0 selected
dr.mt...@gmail.com
Jul 9
Improving THORN: ways and means
Well, I'm planning my pilgrimage to Glastonbury and the summer hols. But before I do, a word on
unread,
Improving THORN: ways and means
Well, I'm planning my pilgrimage to Glastonbury and the summer hols. But before I do, a word on
Jul 9
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
Leszek Buczkowski
, …
Bruno Deferrari
10
May 26
Prolog performance
In Shen/Scheme, code loaded through the REPL runs slower than code precompiled into the boot image.
unread,
Prolog performance
In Shen/Scheme, code loaded through the REPL runs slower than code precompiled into the boot image.
May 26
dr.mt...@gmail.com
May 24
Writing the doc for Shen/tk
I'm rolling up my sleeves and writing a comprehensive report Programming in Shen/tk which looks
unread,
Writing the doc for Shen/tk
I'm rolling up my sleeves and writing a comprehensive report Programming in Shen/tk which looks
May 24
dr.mt...@gmail.com
May 23
reading TBoS online - how to do it
As you probably know TBoS has been available online for some time as a series of embedded jpg files
unread,
reading TBoS online - how to do it
As you probably know TBoS has been available online for some time as a series of embedded jpg files
May 23
dr.mt...@gmail.com
2
May 23
e-copies
I'm not totally happy with the response; maybe a solution in the third quarter of 2025? I'll
unread,
e-copies
I'm not totally happy with the response; maybe a solution in the third quarter of 2025? I'll
May 23
dr.mt...@gmail.com
May 15
consolidation and publication of Shen material: open thread
This past year is one where I have consciously diverted my attention to issues other then Shen;
unread,
consolidation and publication of Shen material: open thread
This past year is one where I have consciously diverted my attention to issues other then Shen;
May 15
dr.mt...@gmail.com
2
May 14
Shen/tk with IDE running under Shen/Scheme
You can download this for Windows https://www.shenlanguage.org/Download/shen-scheme-v0.39-windows-bin
unread,
Shen/tk with IDE running under Shen/Scheme
You can download this for Windows https://www.shenlanguage.org/Download/shen-scheme-v0.39-windows-bin
May 14
Robert Herman
, …
Bruno Deferrari
18
May 9
S39.1 install with Tk boot up slow and buggy
You need version 0.39: https://github.com/tizoc/shen-scheme/releases/tag/v0.39 Sorry I think I haven
unread,
S39.1 install with Tk boot up slow and buggy
You need version 0.39: https://github.com/tizoc/shen-scheme/releases/tag/v0.39 Sorry I think I haven
May 9
dr.mt...@gmail.com
,
nha...@gmail.com
4
Mar 10
a break
Re return to computer science; this will happen - but after I have resolved other things. Hard to say
unread,
a break
Re return to computer science; this will happen - but after I have resolved other things. Hard to say
Mar 10
david sletten
,
dr.mt...@gmail.com
6
12/20/24
Native Calls
You're welcome. M. On Thursday, 19 December 2024 at 16:37:11 UTC david.pau...@gmail.com wrote:
unread,
Native Calls
You're welcome. M. On Thursday, 19 December 2024 at 16:37:11 UTC david.pau...@gmail.com wrote:
12/20/24