Probably like many of you I've been using Codex to get results without worrying too much about

I'd like to copy Louis XV but sadly I'm in the middle of it :(( M. On Saturday, 24 October

EC is very hard. Out of the 13 alternative axiomatisations I chose one - UM - that THORN cannot solve

Reuben, I think something you may be interested in is https://nanopass.org/ (which came from Chez). I

i hope someone maintains "the ai of last redoubt" where we can ask that last-standing

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

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