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

S43 is cleanup of S42. 1. The removal of *system* in declarations.shen; it is never used. 2. Removal

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

Sure - any of the code in TBoS would do. This one? I'll put up a personal page on the site for

Well back having lost 10lb and taken up yoga. I found an error in the vector library in STlib and

This removes a bug - or rather an accidently deactivated feature. Shen is suposed to warn you if you

Having basically recovered I'm off on a cycling holday for 2 weeks. I haven't forgotten or

Ok I fixed that. I ran wish from the outer directory where that file is. Sorry to bother you. Maybe