Shen

Ah; I've fixed that. M. On Thursday, 28 September 2023 at 21:04:52 UTC+1 nha...@gmail.com wrote:

While writing and analysing Shen-YACC I saw a method by which the generated code can be improved. I

In between domestic chores and financial paperwork, I'm looking at the history of compiler-

As far as wrapping is concerned after S31.06 a facility foreign was introduced to make using native

I've put my post-Covid healing first from late last year to the end of July 2023. Despite that

If I don't use demodulation and try the above theorem at depth 10; then THORN 11 fails after 2.5

Actually if you trace the type checker you see the macro expanded form of that array statement. ((

Also Hacker News. M. On Thursday, 7 September 2023 at 07:28:35 UTC+1 dr.mt...@gmail.com wrote: I'

OK fixed; binary for SBCL/Windows is up. M. On Monday, 4 September 2023 at 17:18:48 UTC+1 dr.mt...@

There's a quote from a famous essay by Paul Graham; Ordinarily technology changes fast. But

is now available on shenlanguage.org/yggdrasil.pdf. Code to follow. Mark

This is still a prototype and I'm writing up the doc for it. In particular I'm writing up how

Actually adding the standard library only expands the code base by 20% and that's why the timing

I should also add that Shen Prolog is running with an occurs check on this problem whereas SWI is not

Just published Shen/Scheme v0.33 which includes these changes (and changes from S34.4 too, which were

Theorem proving has been the ground for a lot of improvements in Shen Prolog; the garbage handler

I cracked it; seems the PIN was sent to a different Microsoft account. I'll store duplicates

Lisp Programming on an Atari 2600 | Hacker News https://news.ycombinator.com/item?id=36745961

I'm catching up on practical living stuff I needed to have done some months ago. In the meantime,

Beaten by another which measures a quarter of a million characters in length, probably 2000+ parens.

OK; everybody should have the new distro. SP is kept up to date by cloud patches but every year I do

Sorry 120 pages. On Saturday, 24 June 2023 at 17:28:36 UTC+1 dr.mt...@gmail.com wrote: This text is

Or 48881472 inferences per second to be precise. I'm working on RCC - a first order spatial

The support page for Programming the Logic Lab has gone up and so has the download. The book itself

This release fixes the bug in https://groups.google.com/g/qilang/c/bvmAHV79uBI and a couple more. M.

Seems sensible; I'll do it. M. On Saturday, 10 June 2023 at 20:49:09 UTC+1 nha...@gmail.com wrote

This is probably the ultimate version of a long series of theorem provers and the simplest and most

I've sorted out the donations button on the donations page. This account was frozen because of an

Having put long Covid behind me, I'm now tackling the backlog of stuff I would have dealt with

Errata are now on the support page. M. On Saturday, 3 June 2023 at 10:03:34 UTC+1 dr.mt...@gmail.com