Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
Shen
Conversations
About
Shen
1–30 of 2629
This is the forum for the Shen programming language.
Mark all as read
Report abusive group
0 selected
dr.mt...@gmail.com
2
Mar 27
Shen under CLisp
S34 under CLisp is now good. As said I used my original CLisp. M. On Monday, 27 March 2023 at 18:00:
unread,
Shen under CLisp
S34 under CLisp is now good. As said I used my original CLisp. M. On Monday, 27 March 2023 at 18:00:
Mar 27
dr.mt...@gmail.com
Mar 27
Ann: S34.3 available
This fixes the bug detailed by Neal in his previous message. Available on the download page. SBCL-
unread,
Ann: S34.3 available
This fixes the bug detailed by Neal in his previous message. Available on the download page. SBCL-
Mar 27
nha...@gmail.com
,
dr.mt...@gmail.com
2
Mar 27
Bug: shen runtime duplicate function def
Got it. M. On Monday, 27 March 2023 at 09:30:41 UTC+1 nha...@gmail.com wrote: Sources/sequent.shen:
unread,
Bug: shen runtime duplicate function def
Got it. M. On Monday, 27 March 2023 at 09:30:41 UTC+1 nha...@gmail.com wrote: Sources/sequent.shen:
Mar 27
dr.mt...@gmail.com
Mar 25
beginning new treatment for Long Covid
It's rarely that one shares medical information on a group devoted to computing, but this
unread,
beginning new treatment for Long Covid
It's rarely that one shares medical information on a group devoted to computing, but this
Mar 25
dr.mt...@gmail.com
3
Mar 17
RCC - the power of controlled demoudulation
On Friday, 17 March 2023 at 22:37:56 UTC dr.mt...@gmail.com wrote: By a more optimal ordering of
unread,
RCC - the power of controlled demoudulation
On Friday, 17 March 2023 at 22:37:56 UTC dr.mt...@gmail.com wrote: By a more optimal ordering of
Mar 17
dr.mt...@gmail.com
2
Mar 16
the Region Connection Calculus
The answer to why THORN comes off worse than PROVER 9 while being so much faster has to do with the
unread,
the Region Connection Calculus
The answer to why THORN comes off worse than PROVER 9 while being so much faster has to do with the
Mar 16
dr.mt...@gmail.com
2
Mar 15
Ann: THORN 3 available
upgraded to THORN 5. M. On Wednesday, 15 March 2023 at 09:37:01 UTC dr.mt...@gmail.com wrote: THORN 3
unread,
Ann: THORN 3 available
upgraded to THORN 5. M. On Wednesday, 15 March 2023 at 09:37:01 UTC dr.mt...@gmail.com wrote: THORN 3
Mar 15
dr.mt...@gmail.com
Mar 15
Horn clause logic reasoning
I noticed that several of the problems I've used are actually Horn clause in nature and that the
unread,
Horn clause logic reasoning
I noticed that several of the problems I've used are actually Horn clause in nature and that the
Mar 15
dr.mt...@gmail.com
3
Mar 15
THORN 3 paramodulation proof debugged, release imminent
Fixed that - proof is 2 steps shorter; but takes longer to find - odd. Step 1 ? (all a (all x ((eq (+
unread,
THORN 3 paramodulation proof debugged, release imminent
Fixed that - proof is 2 steps shorter; but takes longer to find - odd. Step 1 ? (all a (all x ((eq (+
Mar 15
dr.mt...@gmail.com
Mar 15
speeding up Shen (S-series) Prolog by backend peephole optimisation?
Neal spoke of speeding up the S series Prolog. This might have some effect. Inside the S series
unread,
speeding up Shen (S-series) Prolog by backend peephole optimisation?
Neal spoke of speeding up the S series Prolog. This might have some effect. Inside the S series
Mar 15
dr.mt...@gmail.com
,
nha...@gmail.com
5
Mar 15
walking robots programming challenge
yikes - shades of APL methinks M. On Tuesday, 14 March 2023 at 22:34:33 UTC nha...@gmail.com wrote:
unread,
walking robots programming challenge
yikes - shades of APL methinks M. On Tuesday, 14 March 2023 at 22:34:33 UTC nha...@gmail.com wrote:
Mar 15
dr.mt...@gmail.com
,
nha...@gmail.com
9
Mar 14
record performance for Shen Prolog on HP Envy under Chez-Scheme port
Comparison to SWI Prolog on naive reverse 6 ?- time(test(10000)). % 2320000 inferences, 0.062 CPU in
unread,
record performance for Shen Prolog on HP Envy under Chez-Scheme port
Comparison to SWI Prolog on naive reverse 6 ?- time(test(10000)). % 2320000 inferences, 0.062 CPU in
Mar 14
dr.mt...@gmail.com
,
Joel McCracken
5
Mar 13
release of FTP under THORN title
Also I should add - THORN is hackable - 588 lines vs Prover9 (28000 lines) and Vampire (250000 lines)
unread,
release of FTP under THORN title
Also I should add - THORN is hackable - 588 lines vs Prover9 (28000 lines) and Vampire (250000 lines)
Mar 13
Mark Tarver
, …
Boring Coder
7
Mar 13
computer failure again :(
I've moved the DVD software to USB and tried again; install failed and had to self-install
unread,
computer failure again :(
I've moved the DVD software to USB and tried again; install failed and had to self-install
Mar 13
Bruno Deferrari
, …
dr.mt...@gmail.com
7
Mar 12
Re: Test (Mark says his emails are getting rejected)
https://finance.yahoo.com/news/google-over-hired-talent-fake-114331193.html Could have assigned these
unread,
Re: Test (Mark says his emails are getting rejected)
https://finance.yahoo.com/news/google-over-hired-talent-fake-114331193.html Could have assigned these
Mar 12
dr.mt...@gmail.com
,
Joel McCracken
3
Mar 10
death of Dr Willi Riha
Willi was a character. He was a total pessimist but good company. His best time in computing was in
unread,
death of Dr Willi Riha
Willi was a character. He was a total pessimist but good company. His best time in computing was in
Mar 10
Mark Tarver
,
Joel McCracken
2
Mar 6
Ann: the year ahead - 2023
Oh, I did not realize that Language, Proof, and Computation uses Shen. I look forward to reading the
unread,
Ann: the year ahead - 2023
Oh, I did not realize that Language, Proof, and Computation uses Shen. I look forward to reading the
Mar 6
Mark Tarver
Mar 6
comprehension types
Again pillaging Turner; he includes what he calls the Axiom of Comprehension. His formulation is:
unread,
comprehension types
Again pillaging Turner; he includes what he calls the Axiom of Comprehension. His formulation is:
Mar 6
Mark Tarver
Mar 5
backlog of projects being sorted
2022 being something of an annus horribilis has left me with a backlog of projects. Lest you think I
unread,
backlog of projects being sorted
2022 being something of an annus horribilis has left me with a backlog of projects. Lest you think I
Mar 5
Mark Tarver
Mar 4
Implementing dependent types in Turner and a note on T*
I turfed out my copy of Raymond Turner's "Constructive Foundations for Functional Languages
unread,
Implementing dependent types in Turner and a note on T*
I turfed out my copy of Raymond Turner's "Constructive Foundations for Functional Languages
Mar 4
nha...@gmail.com
,
Mark Tarver
25
Mar 1
efficient universal quantification
There may well be a mapping between unrestricted universal quantification in type theory and a
unread,
efficient universal quantification
There may well be a mapping between unrestricted universal quantification in type theory and a
Mar 1
Mark Tarver
2
Feb 16
beating Long Covid
I felt I needed to add this rider. Sweet wormwood is poisonous if taken in excess, so be advised that
unread,
beating Long Covid
I felt I needed to add this rider. Sweet wormwood is poisonous if taken in excess, so be advised that
Feb 16
Mark Tarver
Feb 6
first (of three) recorded videos on the logic lab completed
Following my reboot, I've completed the first of three 10 minute videos on the Logic Lab. The
unread,
first (of three) recorded videos on the logic lab completed
Following my reboot, I've completed the first of three 10 minute videos on the Logic Lab. The
Feb 6
Mark Tarver
Feb 5
rebooting the immune system
I've analysed my current condition and prescribed a powerful antiviral herbal medicine to boot up
unread,
rebooting the immune system
I've analysed my current condition and prescribed a powerful antiviral herbal medicine to boot up
Feb 5
nha...@gmail.com
,
Mark Tarver
26
Jan 31
Environments, side channels and state
Hmm maybe this fluid-let stuff is better implemented with modal logic? The concept of different
unread,
Environments, side channels and state
Hmm maybe this fluid-let stuff is better implemented with modal logic? The concept of different
Jan 31
nha...@gmail.com
,
Mark Tarver
2
Jan 30
T* introspective rules
This is a part of a general problem in logic programming which is the detection and trapping of
unread,
T* introspective rules
This is a part of a general problem in logic programming which is the detection and trapping of
Jan 30
Mark Tarver
, …
Raffaele Granato
8
Jan 25
putting things in order
Wow; the only medical thread in the group. Seriously I'll pull through this. But I need to sort
unread,
putting things in order
Wow; the only medical thread in the group. Seriously I'll pull through this. But I need to sort
Jan 25
alpha...@orange.fr
, …
Mark Tarver
7
Jan 24
This bush datatype from the Nested Datatypes paper
I think we have a private chat on this. I could indeed drop into the Haskell group and hit them with
unread,
This bush datatype from the Nested Datatypes paper
I think we have a private chat on this. I could indeed drop into the Haskell group and hit them with
Jan 24
Mark Tarver
4
Jan 19
HDD failure
Now returned and installed. Good aspect is that I lost no work and will resume the logic lab lecture.
unread,
HDD failure
Now returned and installed. Good aspect is that I lost no work and will resume the logic lab lecture.
Jan 19
nha...@gmail.com
,
Mark Tarver
6
Jan 16
Statically enforcing Barendregt's variable convention
I've never gone for Haskell as a language; the reason being that trying to banish state from a
unread,
Statically enforcing Barendregt's variable convention
I've never gone for Haskell as a language; the reason being that trying to banish state from a
Jan 16