You are viewing archived messages.
Go here to search the history.

Kartik Agaram 2025-02-18 04:21:55

Today I ported Peter Norvig's famous Sudoku solver. 100 lines in Python turns into 200 lines in Lua. But something is starting to click in my head about constraint propagation.

Oleksandr Kryvonos 2025-02-18 09:59:18

I guess you may like the update for prolog-lite thingy I posted right after you

Oleksandr Kryvonos 2025-02-18 09:57:53

egalite-ai -- prolog-lite thingy that does pattern matching in JS

github.com/uprun/egalite-ai

Знімок екрана 2025-02-18 о 10.55.32.png

Oleksandr Kryvonos 2025-02-18 12:47:18

yes, looks great!

my approach is a bit different - I do not store facts as a triplets but as full phrases

also I store everything I can reach to even partially applied rules

Scott 2025-02-23 04:52:47

Have been trying to build out and share more demos of practical uses of agents these last few weeks using the ai framework I've been building, and all my past demos have involved calls to LLMs, but this latest one is just API calls between different services but using the agent patterns.

Was just struck by how different and much simpler the design for this came out using an agent framework than if i had built it a few years ago before diving in to building AI apps.

I'm starting to wonder if a pattern we'll start to see with all these agents people are building is to use an LLM in certain places at first (or just an old-school pre-llm implementation), but then over time replace that call over to something more deterministic or at least specialized once something stable comes out. Almost having to have well-factored designs up front because you're guaranteed to need to swap components out as better, cheaper, or faster ones come along.

Tom Larkworthy 2025-02-23 10:23:37

AI on the control plane, not the data plane.

Scott 2025-02-23 18:46:42

hah, yeah for some of these demos it's been ai on the control plane, but for this one I'm not even using AI on the control plane, just building an event-based system with a tool-call-like paradigm - if there's no decision to make on which tool to call, you can skip the LLM altogether and just call the tool

Scott 2025-02-23 18:49:21

I admit I may have just re-invented event-based programming with more steps 😆 but even so...it's interesting to get here from the path of building agents...and at the very least finding out spending time in that paradigm has built out muscle memory for systems even when not using AI..

Tom Larkworthy 2025-02-23 10:45:11

I have redone my UI concepts. A dockable panel now is "just" a notebook. This works out much better. Before I was adding lots boilerplate to slice a top level notebook into pieces that were manually placed. It was hard to program and very fragile. Furthermore, it was hard to navigate the module structure of notebooks.

This new way is much better. A whole lot of concepts are removed, but also, I think notebooks tend to explain what they do within the notebook, so you end up learning about the orthogonal components in a more approachable way, plus the whole concept of a module structure manifest to the UI in a way that encourages learning.

The entire concept of a top level notebook kind of disappears altogether as well, which is closer to what the serialized and runtime format is. You can have circular imports in Observable, there is no "top" at the runtime level, its a graph of reactively cooperating modules. The UI now reflect that properly.

I've mapped the nested docker layout structure to the hash URL so the view layout can be saved and hyperlinked, and in HTTP terms is a pointer to a specific part of the cooperating module graph. I will add the ability to set a default layout if no hash is found, and that kinda servers the purpose of pointing to what the intended purpose of the assembly is (a role previously fulfilled by having a single top level notebook).

Oleksandr Kryvonos 2025-02-23 12:59:07

removed all LLMs from my laptop, I better download a snapshot of Wikipedia

Oleksandr Kryvonos 2025-02-23 13:07:24

LLMs just break on "Who is Peter Norwig?"