Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
Shen
Conversations
About
Shen
1–30 of 2685
This is the forum for the Shen programming language.
Mark all as read
Report abusive group
0 selected
william Glenn
, …
dr.mt...@gmail.com
5
Sep 29
Getting started.
Ah; I've fixed that. M. On Thursday, 28 September 2023 at 21:04:52 UTC+1 nha...@gmail.com wrote:
unread,
Getting started.
Ah; I've fixed that. M. On Thursday, 28 September 2023 at 21:04:52 UTC+1 nha...@gmail.com wrote:
Sep 29
dr.mt...@gmail.com
Sep 28
S35 and TBoS
While writing and analysing Shen-YACC I saw a method by which the generated code can be improved. I
unread,
S35 and TBoS
While writing and analysing Shen-YACC I saw a method by which the generated code can be improved. I
Sep 28
dr.mt...@gmail.com
Sep 24
compiler-compilers
In between domestic chores and financial paperwork, I'm looking at the history of compiler-
unread,
compiler-compilers
In between domestic chores and financial paperwork, I'm looking at the history of compiler-
Sep 24
Alain De Vos
,
Mark Tarver
6
Sep 22
Can i write a database-query or gui application in shen language ?
As far as wrapping is concerned after S31.06 a facility foreign was introduced to make using native
unread,
Can i write a database-query or gui application in shen language ?
As far as wrapping is concerned after S31.06 a facility foreign was introduced to make using native
Sep 22
dr.mt...@gmail.com
Sep 22
catching up on practical stuff
I've put my post-Covid healing first from late last year to the end of July 2023. Despite that
unread,
catching up on practical stuff
I've put my post-Covid healing first from late last year to the end of July 2023. Despite that
Sep 22
dr.mt...@gmail.com
3
Sep 13
demodulation in theorem proving
If I don't use demodulation and try the above theorem at depth 10; then THORN 11 fails after 2.5
unread,
demodulation in theorem proving
If I don't use demodulation and try the above theorem at depth 10; then THORN 11 fails after 2.5
Sep 13
Woo
,
dr.mt...@gmail.com
3
Sep 7
Volker Strassen, fast matrix multiplication
Actually if you trace the type checker you see the macro expanded form of that array statement. ((
unread,
Volker Strassen, fast matrix multiplication
Actually if you trace the type checker you see the macro expanded form of that array statement. ((
Sep 7
dr.mt...@gmail.com
,
Allan Heim
4
Sep 7
ann: Yggdrasil 1.0
Also Hacker News. M. On Thursday, 7 September 2023 at 07:28:35 UTC+1 dr.mt...@gmail.com wrote: I'
unread,
ann: Yggdrasil 1.0
Also Hacker News. M. On Thursday, 7 September 2023 at 07:28:35 UTC+1 dr.mt...@gmail.com wrote: I'
Sep 7
dr.mt...@gmail.com
,
Bruno Deferrari
4
Sep 7
ann S34.6
OK fixed; binary for SBCL/Windows is up. M. On Monday, 4 September 2023 at 17:18:48 UTC+1 dr.mt...@
unread,
ann S34.6
OK fixed; binary for SBCL/Windows is up. M. On Monday, 4 September 2023 at 17:18:48 UTC+1 dr.mt...@
Sep 7
Andrue Anderson
, …
dr.mt...@gmail.com
5
Sep 2
Editor / IDE / Language Server Protocol
There's a quote from a famous essay by Paul Graham; Ordinarily technology changes fast. But
unread,
Editor / IDE / Language Server Protocol
There's a quote from a famous essay by Paul Graham; Ordinarily technology changes fast. But
Sep 2
dr.mt...@gmail.com
Aug 31
ann: Yggdrasil documentation
is now available on shenlanguage.org/yggdrasil.pdf. Code to follow. Mark
unread,
ann: Yggdrasil documentation
is now available on shenlanguage.org/yggdrasil.pdf. Code to follow. Mark
Aug 31
dr.mt...@gmail.com
Aug 30
Yggdrasil to go up in the next few days
This is still a prototype and I'm writing up the doc for it. In particular I'm writing up how
unread,
Yggdrasil to go up in the next few days
This is still a prototype and I'm writing up the doc for it. In particular I'm writing up how
Aug 30
dr.mt...@gmail.com
7
Aug 29
Yggdrasil
Actually adding the standard library only expands the code base by 20% and that's why the timing
unread,
Yggdrasil
Actually adding the standard library only expands the code base by 20% and that's why the timing
Aug 29
dr.mt...@gmail.com
2
Aug 25
SWI Prolog vs Chez Scheme/Shen Prolog on Einstein's Riddle under the S kernel
I should also add that Shen Prolog is running with an occurs check on this problem whereas SWI is not
unread,
SWI Prolog vs Chez Scheme/Shen Prolog on Einstein's Riddle under the S kernel
I should also add that Shen Prolog is running with an occurs check on this problem whereas SWI is not
Aug 25
dr.mt...@gmail.com
,
Bruno Deferrari
3
Aug 19
ann: S34.5
Just published Shen/Scheme v0.33 which includes these changes (and changes from S34.4 too, which were
unread,
ann: S34.5
Just published Shen/Scheme v0.33 which includes these changes (and changes from S34.4 too, which were
Aug 19
dr.mt...@gmail.com
Jul 27
assert and retract in Shen Prolog
Theorem proving has been the ground for a lot of improvements in Shen Prolog; the garbage handler
unread,
assert and retract in Shen Prolog
Theorem proving has been the ground for a lot of improvements in Shen Prolog; the garbage handler
Jul 27
dr.mt...@gmail.com
,
Bruno Deferrari
5
Jul 18
Bitlocker strikes: ideas requested
I cracked it; seems the PIN was sent to a different Microsoft account. I'll store duplicates
unread,
Bitlocker strikes: ideas requested
I cracked it; seems the PIN was sent to a different Microsoft account. I'll store duplicates
Jul 18
Raoul Duke
Jul 18
interesting target :-)
Lisp Programming on an Atari 2600 | Hacker News https://news.ycombinator.com/item?id=36745961
unread,
interesting target :-)
Lisp Programming on an Atari 2600 | Hacker News https://news.ycombinator.com/item?id=36745961
Jul 18
dr.mt...@gmail.com
Jul 12
Yggdrasil using Warshall's Algorithm
I'm catching up on practical living stuff I needed to have done some months ago. In the meantime,
unread,
Yggdrasil using Warshall's Algorithm
I'm catching up on practical living stuff I needed to have done some months ago. In the meantime,
Jul 12
dr.mt...@gmail.com
,
Bruno Deferrari
10
Jul 1
TPTP
Beaten by another which measures a quarter of a million characters in length, probably 2000+ parens.
unread,
TPTP
Beaten by another which measures a quarter of a million characters in length, probably 2000+ parens.
Jul 1
dr.mt...@gmail.com
2
Jun 29
ann: upgrading SP
OK; everybody should have the new distro. SP is kept up to date by cloud patches but every year I do
unread,
ann: upgrading SP
OK; everybody should have the new distro. SP is kept up to date by cloud patches but every year I do
Jun 29
dr.mt...@gmail.com
2
Jun 24
Ann: Programming the Logic Lab
Sorry 120 pages. On Saturday, 24 June 2023 at 17:28:36 UTC+1 dr.mt...@gmail.com wrote: This text is
unread,
Ann: Programming the Logic Lab
Sorry 120 pages. On Saturday, 24 June 2023 at 17:28:36 UTC+1 dr.mt...@gmail.com wrote: This text is
Jun 24
dr.mt...@gmail.com
Jun 21
THORN 11 hits 48 MLips
Or 48881472 inferences per second to be precise. I'm working on RCC - a first order spatial
unread,
THORN 11 hits 48 MLips
Or 48881472 inferences per second to be precise. I'm working on RCC - a first order spatial
Jun 21
dr.mt...@gmail.com
Jun 19
Logic Lab book progress
The support page for Programming the Logic Lab has gone up and so has the download. The book itself
unread,
Logic Lab book progress
The support page for Programming the Logic Lab has gone up and so has the download. The book itself
Jun 19
dr.mt...@gmail.com
Jun 11
Ann 34.4
This release fixes the bug in https://groups.google.com/g/qilang/c/bvmAHV79uBI and a couple more. M.
unread,
Ann 34.4
This release fixes the bug in https://groups.google.com/g/qilang/c/bvmAHV79uBI and a couple more. M.
Jun 11
nha...@gmail.com
,
dr.mt...@gmail.com
5
Jun 10
Type of ==>
Seems sensible; I'll do it. M. On Saturday, 10 June 2023 at 20:49:09 UTC+1 nha...@gmail.com wrote
unread,
Type of ==>
Seems sensible; I'll do it. M. On Saturday, 10 June 2023 at 20:49:09 UTC+1 nha...@gmail.com wrote
Jun 10
dr.mt...@gmail.com
Jun 8
ann THORN 10
This is probably the ultimate version of a long series of theorem provers and the simplest and most
unread,
ann THORN 10
This is probably the ultimate version of a long series of theorem provers and the simplest and most
Jun 8
dr.mt...@gmail.com
Jun 6
Paypal sorted out
I've sorted out the donations button on the donations page. This account was frozen because of an
unread,
Paypal sorted out
I've sorted out the donations button on the donations page. This account was frozen because of an
Jun 6
dr.mt...@gmail.com
Jun 4
moving Shen to open source and sorting out Paypal
Having put long Covid behind me, I'm now tackling the backlog of stuff I would have dealt with
unread,
moving Shen to open source and sorting out Paypal
Having put long Covid behind me, I'm now tackling the backlog of stuff I would have dealt with
Jun 4
dr.mt...@gmail.com
2
Jun 3
support page for Logic, Proof and Computation
Errata are now on the support page. M. On Saturday, 3 June 2023 at 10:03:34 UTC+1 dr.mt...@gmail.com
unread,
support page for Logic, Proof and Computation
Errata are now on the support page. M. On Saturday, 3 June 2023 at 10:03:34 UTC+1 dr.mt...@gmail.com
Jun 3