Groups
Sign in
Groups
Shen
Conversations
About
Send feedback
Help
Shen
Contact owners and managers
1–30 of 2751
This is the forum for the Shen programming language.
Mark all as read
Report group
0 selected
dr.mt...@gmail.com
,
Bruno Deferrari
4
5:16 PM
killing TCL/tk process in Windows batch file
https://www.tcl.tk/man/tcl8.6/TkCmd/wm.htm#M58 forgot the link, "wm protocol" is explained
unread,
killing TCL/tk process in Windows batch file
https://www.tcl.tk/man/tcl8.6/TkCmd/wm.htm#M58 forgot the link, "wm protocol" is explained
5:16 PM
dr.mt...@gmail.com
3
5:52 AM
website scraping in Shen/tk
Added a link scraper. (time (links (url "https://shenlanguage.org/"))) run time:
unread,
website scraping in Shen/tk
Added a link scraper. (time (links (url "https://shenlanguage.org/"))) run time:
5:52 AM
dr.mt...@gmail.com
, …
Bruno Deferrari
15
May 15
disappeared links?
On Wed, May 15, 2024 at 9:14 PM Jacob MacDonald <jacc...@gmail.com> wrote: I sure intend to
unread,
disappeared links?
On Wed, May 15, 2024 at 9:14 PM Jacob MacDonald <jacc...@gmail.com> wrote: I sure intend to
May 15
Jacob MacDonald
, …
dr.mt...@gmail.com
25
May 15
Porting: Debugging/tracing Prolog and YACC.
Bruno Deferrari wrote: > Personally, I think writing the compiler in Shen itself is much easier
unread,
Porting: Debugging/tracing Prolog and YACC.
Bruno Deferrari wrote: > Personally, I think writing the compiler in Shen itself is much easier
May 15
dr.mt...@gmail.com
3
May 15
TCL/tk crisis over
I should not say binary - I mean ASCII code - my bad. M.
unread,
TCL/tk crisis over
I should not say binary - I mean ASCII code - my bad. M.
May 15
dr.mt...@gmail.com
,
Chris Double
2
May 15
moving TCL/tk on a bit more; interaction between TCL/tk and HTML?
On Wed, May 15, 2024, at 4:23 PM, dr.mt...@gmail.com wrote: > set result [concat \" [join $
unread,
moving TCL/tk on a bit more; interaction between TCL/tk and HTML?
On Wed, May 15, 2024, at 4:23 PM, dr.mt...@gmail.com wrote: > set result [concat \" [join $
May 15
dr.mt...@gmail.com
, …
Chris Double
6
May 14
TCL/tk again - a bit further on
On Wed, May 15, 2024, at 10:18 AM, dr.mt...@gmail.com wrote: > *proc url {String} { > package
unread,
TCL/tk again - a bit further on
On Wed, May 15, 2024, at 10:18 AM, dr.mt...@gmail.com wrote: > *proc url {String} { > package
May 14
dr.mt...@gmail.com
,
Bruno Deferrari
8
May 14
TCL/tk problem in Shen/tk graphics
I still have a technical TCL/tk problem here and its gone to Stackoverflow. https://stackoverflow.com
unread,
TCL/tk problem in Shen/tk graphics
I still have a technical TCL/tk problem here and its gone to Stackoverflow. https://stackoverflow.com
May 14
Jacob MacDonald
, …
Bruno Deferrari
20
May 13
Upgrading port to S series: Final bits.
In order to find the odd*?/even*? bug, I think I need a way to trace my (define ...)s. Is there a way
unread,
Upgrading port to S series: Final bits.
In order to find the odd*?/even*? bug, I think I need a way to trace my (define ...)s. Is there a way
May 13
dr.mt...@gmail.com
, …
Bruno Deferrari
8
May 13
ann: Shen 38.3
On Mon, May 13, 2024 at 2:31 PM Jacob MacDonald <jacc...@gmail.com> wrote: That works-ish. I
unread,
ann: Shen 38.3
On Mon, May 13, 2024 at 2:31 PM Jacob MacDonald <jacc...@gmail.com> wrote: That works-ish. I
May 13
dr.mt...@gmail.com
,
Bruno Deferrari
4
May 12
ann: support page for Shen/tk
https://support.mozilla.org/en-US/kb/creating-newsgroup-account On Sun, May 12, 2024 at 2:02 PM Bruno
unread,
ann: support page for Shen/tk
https://support.mozilla.org/en-US/kb/creating-newsgroup-account On Sun, May 12, 2024 at 2:02 PM Bruno
May 12
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