Yesterday I revived a piece of work, KLM by Ramil Farkshatov, which maps KLambda to virtual machine

I have to check a couple of details but it looks as if we're there. What this means is that if

Credit to Bruno's latest version of Shen under Chez Scheme Kuzmin's conjecture was entered as

As a result of Bruno's work on 0.48 and advances in LLM, THORN/Codex/Planner was unleashed on

I've further cleaned this up to 43.1. M. On Thursday, 8 October 2026 at 09:36:32 UTC+1 dr.mt...@

These docs have been brought up to the latest standard. In TBoS, the new instructions wrt streams (

On Sat, Oct 10, 2026 at 9:22 AM dr.mt...@gmail.com <dr.mt...@gmail.com> wrote: This should

Koka is fascinating -- had no idea this existed. Don't have a CS background but I'm

I thought I'd draw attention to this in case anybody likes playing secret agent. The function key

@Joshua I'm not sure how directly this relates, but I spiked a computer algebra system in Shen a

On Fri, Sep 18, 2026 at 7:38 PM Bruno Deferrari <uti...@gmail.com> wrote: On Fri, Sep 18, 2026

The good thing about the package was it put up a firewall between the AI and my machine. Now I've

The S Series revival program brings older Shen ports back to life on the modern S kernel. As you know

The rebuild of the site continues. * New standard library - adding the calendar program and

This is a link to an old document which I've paginated using the generator. M.

One thing which is interesting is that when you build your own site generator there is a bit of a

For a short time the Shen site will go down as I begin to upgrade the site. I hope this will be

Definitely better IMO. A dead link checker shows 1114 web pages, 50 broken links and the top bar has

During a particularly miserable day I returned to an obscure bug in THORN I found last year. Took 2

I think there's a lot of room though for formally verified specifications to add value even as a

This kernel release is avaialble on the download page. It improves the factorisation algorith and

I'm closing this work for now. I did the associativity of append proof which is the simplest

(d-rule list-identity () _______________________________________________________________________ [all

Yeah, just code the macro transform in a normal function and call that from a def macro wrapper. You

It is experimental and the API is not final, but this may help: module definitions: https://github.

@Raoul i took a stab at updating shen-truffle: https://github.com/pyrex41/shen-truffle I wasn't

fwiw I changed the name back to Yggdrasil https://github.com/pyrex41/yggdrasil On Wednesday, August

This summer of 2026 has been the finest summer since 1976, 50 years ago when I was a fresher. Hence

Years ago Kenny Tilton was doing a commercial algebra system in Common Lisp. But his site

The attached was not type secure because read-file returns a list of units where unit is an object of