Shen

Well, I'm planning my pilgrimage to Glastonbury and the summer hols. But before I do, a word on

If you can run this stuff under Shen/Scheme, do so. You need to load stlib into that port though.

The limits of inference for this architecture wo major additions were reached in THORN 19. But one

mapf is stlib. That sounds as if you don't have the standard library loaded. THORN (Theorem

Just to add, if you've been using the free version of chatgpt, I'd highly recommend trying

I've updated the documentation on THORN 19 and on that page is a link to a short paper in

Anyway here is machine translation in the small a la Tarski. I give the semantics for a fragment of

Not yet. I'll look into it. M. On Saturday, 21 June 2025 at 15:08:56 UTC+1 Bruno Deferrari wrote:

That wraps it up. Here is a summary. Problem Time (sec) Inferences MegaLIPS Steps in Proof

So the revolution the article refers to is going to require a revolution in the way these proofs are

THORN 16 evolved from THORN 15 while working on program verification. Equality was added late in the

One rather radical conclusion I'm coming to is that incorporating types into LKL not only makes

You can always use whatever debugger is in the backend of your Shen implementation. For the Chez

Your number of visitors increased by 319% compared with last week. You had a total of 8320 page views

Anybody here got an opinion on NYXT ? In what way is it superior to Firefox, Chrome, Edge etc? Mark

Most OS have their warts and one particular annoying one about Windows is their failure to debug

THORN is restored and improved. Look to the Learn page. Specifically timout given as an option and

The update is proceeding from now. Mark On Friday, 30 May 2025 at 20:29:23 UTC+1 dr.mt...@gmail.com

A year ago I experimented with the idea of embedding ChatGPT into the Shen Learn page. But honestly

It's a huge site and will grow over the coming weeks as more and more of my work becomes readable

Well, pretty soon all my work will be readable online, so you won't lose out too much. M. On

In Shen/Scheme, code loaded through the REPL runs slower than code precompiled into the boot image.

I'm rolling up my sleeves and writing a comprehensive report Programming in Shen/tk which looks

As you probably know TBoS has been available online for some time as a series of embedded jpg files

I'm not totally happy with the response; maybe a solution in the third quarter of 2025? I'll

This past year is one where I have consciously diverted my attention to issues other then Shen;

You can download this for Windows https://www.shenlanguage.org/Download/shen-scheme-v0.39-windows-bin

You need version 0.39: https://github.com/tizoc/shen-scheme/releases/tag/v0.39 Sorry I think I haven

Re return to computer science; this will happen - but after I have resolved other things. Hard to say

You're welcome. M. On Thursday, 19 December 2024 at 16:37:11 UTC david.pau...@gmail.com wrote: