Groups
Sign in
Groups
Shen
Conversations
About
Send feedback
Help
Shen
Contact owners and managers
1–30 of 2741
This is the forum for the Shen programming language.
Mark all as read
Report group
0 selected
dr.mt...@gmail.com
Apr 28
ann: support page for Shen/tk
This is being written in real time over the next few days preparatory to release of version 1.0. The
unread,
ann: support page for Shen/tk
This is being written in real time over the next few days preparatory to release of version 1.0. The
Apr 28
dr.mt...@gmail.com
Apr 23
ann: S38.2
Sources for 38.2 are now available. This release fixes some minor problems with % and ! in the REPL.
unread,
ann: S38.2
Sources for 38.2 are now available. This release fixes some minor problems with % and ! in the REPL.
Apr 23
dr.mt...@gmail.com
Apr 20
back on my feet and writing, return to AI
I'm back on my feet, some slight cough, but basically through it. A lot of my time is spent
unread,
back on my feet and writing, return to AI
I'm back on my feet, some slight cough, but basically through it. A lot of my time is spent
Apr 20
dr.mt...@gmail.com
2
Apr 16
April; my birth month and a month of rest
It seems that my problem is a viral infection (?) that is doing the rounds. It produces an
unread,
April; my birth month and a month of rest
It seems that my problem is a viral infection (?) that is doing the rounds. It produces an
Apr 16
dr.mt...@gmail.com
Apr 10
the most distant 'celestial ' proof
I've been running THORN on problems in RCC; problems which in many cases are too hard for it. I
unread,
the most distant 'celestial ' proof
I've been running THORN on problems in RCC; problems which in many cases are too hard for it. I
Apr 10
dr.mt...@gmail.com
,
Woo
5
Apr 1
Theorem proving: THORN 12 and Prover9
I had a look at the Prover9 output wrt Tarski and noticed something odd. I then ran a few tests and
unread,
Theorem proving: THORN 12 and Prover9
I had a look at the Prover9 output wrt Tarski and noticed something odd. I then ran a few tests and
Apr 1
dr.mt...@gmail.com
Mar 28
ANN: upgrade of SP to 38.1
All of you concerned should receive a note in the next few hours. Mark
unread,
ANN: upgrade of SP to 38.1
All of you concerned should receive a note in the next few hours. Mark
Mar 28
dr.mt...@gmail.com
, …
Woo
13
Mar 23
LPC revised to go to Amazon and e publication
I'll write to you on that. Mark On Saturday 23 March 2024 at 16:31:11 UTC Woo wrote: Can someone
unread,
LPC revised to go to Amazon and e publication
I'll write to you on that. Mark On Saturday 23 March 2024 at 16:31:11 UTC Woo wrote: Can someone
Mar 23
Richard Man
, …
dr.mt...@gmail.com
4
Mar 22
nary "Let" and symbol lookup optimizations
The reason why the variable enforcement for local assignments is important is shown in the following
unread,
nary "Let" and symbol lookup optimizations
The reason why the variable enforcement for local assignments is important is shown in the following
Mar 22
Richard Man
, …
dr.mt...@gmail.com
8
Mar 21
Re: What is the type of 123rt ?
Kl is deliberately underspecified in parts and intern is an example. That is to say, there are
unread,
Re: What is the type of 123rt ?
Kl is deliberately underspecified in parts and intern is an example. That is to say, there are
Mar 21
Richard Man
,
Bruno Deferrari
3
Mar 20
KL primitives number of operands
On Wed, Mar 20, 2024 at 2:45 PM Bruno Deferrari <uti...@gmail.com> wrote: On Wed, Mar 20, 2024
unread,
KL primitives number of operands
On Wed, Mar 20, 2024 at 2:45 PM Bruno Deferrari <uti...@gmail.com> wrote: On Wed, Mar 20, 2024
Mar 20
dr.mt...@gmail.com
2
Mar 19
ann: S38.1 issued
Bruno pointed out I omitted the installation instructions for macro optimisation introduced in S38.
unread,
ann: S38.1 issued
Bruno pointed out I omitted the installation instructions for macro optimisation introduced in S38.
Mar 19
dr.mt...@gmail.com
, …
Bruno Deferrari
13
Mar 18
S37 to be issued
I am having issues producing Windows binaries using the GitHub runners, but once that is fixed and I
unread,
S37 to be issued
I am having issues producing Windows binaries using the GitHub runners, but once that is fixed and I
Mar 18
Richard Man
, …
dr.mt...@gmail.com
10
Mar 17
klambda port: list or sexpr+vector
Thanks Mark. The KL printer is just for my own use to make sure I can parse correctly. I will now
unread,
klambda port: list or sexpr+vector
Thanks Mark. The KL printer is just for my own use to make sure I can parse correctly. I will now
Mar 17
dr.mt...@gmail.com
, …
Aeonik
8
Mar 13
annotating the Shen Open Source Language site
To add to the maxint discussion, 32 bit ints will be too small to store Unix Epoch time in the year
unread,
annotating the Shen Open Source Language site
To add to the maxint discussion, 32 bit ints will be too small to store Unix Epoch time in the year
Mar 13
Richard Man
, …
dr.mt...@gmail.com
7
Mar 9
Cannot build Shen on Ubuntu LTS 22
I didn't reply to this because I don't maintain any of the github repos. A lot of good work
unread,
Cannot build Shen on Ubuntu LTS 22
I didn't reply to this because I don't maintain any of the github repos. A lot of good work
Mar 9
R1P2 M3
,
dr.mt...@gmail.com
3
Mar 7
Hello, shen-ers, advise?
Thanks for the considered and honest answer, I'm sure many others are quietly as interested! Shen
unread,
Hello, shen-ers, advise?
Thanks for the considered and honest answer, I'm sure many others are quietly as interested! Shen
Mar 7
dr.mt...@gmail.com
Mar 7
TBoS fifth edition goes to preprint; e version likely
The preprint of the fifth edition of TBoS is ordered and awaiting delivery. I've got a ticket
unread,
TBoS fifth edition goes to preprint; e version likely
The preprint of the fifth edition of TBoS is ordered and awaiting delivery. I've got a ticket
Mar 7
dr.mt...@gmail.com
2
Mar 4
timeout goes into THORN 12
Example: (6-) (set thorn.*time-allowed* 20) 20 (7-) (<-kb [[[tpp ab] & [tpp bc]] => [[tpp
unread,
timeout goes into THORN 12
Example: (6-) (set thorn.*time-allowed* 20) 20 (7-) (<-kb [[[tpp ab] & [tpp bc]] => [[tpp
Mar 4
dr.mt...@gmail.com
Feb 21
proof planners
This is an interesting area; I've put a short section in LPC on this. Human mathematicians often
unread,
proof planners
This is an interesting area; I've put a short section in LPC on this. Human mathematicians often
Feb 21
dr.mt...@gmail.com
2
Feb 18
rebuild of personal site
Actually checking the Fasthost figures it may be between 80000 to 100000 page hits a year for the
unread,
rebuild of personal site
Actually checking the Fasthost figures it may be between 80000 to 100000 page hits a year for the
Feb 18
dr.mt...@gmail.com
Feb 13
Four decades of Prolog development
I've always had a fondness for Prolog; incredibly elegant and powerful language based on a very
unread,
Four decades of Prolog development
I've always had a fondness for Prolog; incredibly elegant and powerful language based on a very
Feb 13
dr.mt...@gmail.com
Feb 13
Shen Open Science Prize
Basically I send a free copy of TBoS and a place in the hall of fame (to be moved to the front page)
unread,
Shen Open Science Prize
Basically I send a free copy of TBoS and a place in the hall of fame (to be moved to the front page)
Feb 13
dr.mt...@gmail.com
Feb 13
out in the country
I'm out in the country with a friend, recovering from a bad head cold and will not be in touch
unread,
out in the country
I'm out in the country with a friend, recovering from a bad head cold and will not be in touch
Feb 13
Mark
,
dr.mt...@gmail.com
7
Feb 11
scryer-shen: new implementation in development
Thank you, I'm honoured. On Friday, February 9, 2024 at 11:18:45 PM UTC-7 dr.mt...@gmail.com
unread,
scryer-shen: new implementation in development
Thank you, I'm honoured. On Friday, February 9, 2024 at 11:18:45 PM UTC-7 dr.mt...@gmail.com
Feb 11
dr.mt...@gmail.com
8
Feb 10
Prolog transpiler and some Prolog benchmarks
Well summing it up here are the times: Bench SWI Shen/Scheme
unread,
Prolog transpiler and some Prolog benchmarks
Well summing it up here are the times: Bench SWI Shen/Scheme
Feb 10
dr.mt...@gmail.com
Feb 3
a cribbage GUI
Shen/tk needs a shakedown app, so I'm writing a game program for cribbage. I'll show this on
unread,
a cribbage GUI
Shen/tk needs a shakedown app, so I'm writing a game program for cribbage. I'll show this on
Feb 3
dr.mt...@gmail.com
,
osmanfb1
3
Feb 3
ann: S38 available
Ah right; Linux case sensitivity. That Tk folder shouldn't be there. I put it there for
unread,
ann: S38 available
Ah right; Linux case sensitivity. That Tk folder shouldn't be there. I put it there for
Feb 3
dr.mt...@gmail.com
Feb 2
Shen/tk under both Scheme and SBCL
The program runs fine under both languages without any change (other than to pathnames). Portability
unread,
Shen/tk under both Scheme and SBCL
The program runs fine under both languages without any change (other than to pathnames). Portability
Feb 2
dr.mt...@gmail.com
Jan 31
Kernel S38 forthcoming
Macro expansion is a fairly heavy process because it processes every token read in by the reader. In
unread,
Kernel S38 forthcoming
Macro expansion is a fairly heavy process because it processes every token read in by the reader. In
Jan 31