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

That is apparently what I caught at the end of Feb. Caused by a bacteria bordetella pertussis, I

Wishing a speedy recovery. Om. On Sunday, May 10, 2026 at 1:36:00 PM UTC+2 dr.mt...@gmail.com wrote:

No On Monday, April 13, 2026 at 1:28:39 PM UTC+1 dr.mt...@gmail.com wrote: In the middle of this

(define y-combinator F -> ((/. X (F (/. Y ((XX) Y)))) (/. X (F (/. Y ((XX) Y)))))) (defmacro

Sorry about that mate On Wednesday, April 1, 2026 at 3:42:16 PM UTC+1 dr.mt...@gmail.com wrote: I

The Shen runtime doesn't have a dependency on the socket API last I checked. It's already

Another kernel bug unearthed for 41.1 wrt input+. I'll put this up soon. M. On Tuesday, 17

This is ground I've done before but this time with more depth and care. Building it in the Logic