On Wed, Sep 30, 2026 at 8:33 PM Bruno Deferrari <uti...@gmail.com> wrote: On Mon, Sep 28, 2026

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

First of all, it is very cool that you did this and the way you approached it. You probably found

S41 was announced in February and then delayed by the hiatus of being ill. Consequently S40 has been