Yeah the intelligence is still in the model. The promise of symbolic AI is about logic programming/ formal semantics not recursive loops.

To a large extent the idea has failed because it proved too hard to get non-experts to represent systems formally.

I still think there’s potential value in a hybrid approach - e.g. get language models to do the representation then let them use formal reasoners/ verification instead of hallucinating.

I poured hours into the original. I remember finally having to plan out my base for the final level on paper as there wasn’t a tile to spare!

I gather this is because AI assistants are inundating GitHub with requests. Their infrastructure must be drowning in slop.

Isn’t Cryptpad just hosted onlyoffice?

So kind of like a personalised learning assistant? I realise it’s different but this inverted instruct approach puts me in mind of Doctorow’s reverse centaur!

Don’t you find that the links you get are hallucinated though? Even if they’re not now you can imagine this collapsing into slop echoes…

I’ve tended to ask for examples to help me bootstrap new projects. A bit like getting customised docs. I certainly haven’t had enough success with generated code to think about automatically adopting it.

This is interesting and sounds like how I’ve been using it - basically like customised stack overflow answers.

Would you mind elaborating a little on your approach? Are you saying you provide it with guidance and links or are you asking it for those?