The Shen kernel provides inefficient implementations for many functions that are used a lot (for a

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

But I think that AI is a game changer because people will use what works and stop learning a language

Thanks for your feedback, Mark. I've implemented your suggested changes: logicbox GitHub

As is usual with AI stuff one is initially overwhelmed by the volume of material. I think that Claude