schmuhblaster

5 ms·

61.
by schmuhblaster 9mo ago
Opus 4.5 helped me implement a basic coding agent in a DSL built on top of Prolog: https://deepclause.substack.com/p/implementing-a-vibed-llm-c... . It worked surprisingly well. With a bit of context it was able to (alm
62.
by schmuhblaster 9mo ago
>> I think much of the frustration with older tech like this comes from the fact that these things were mostly written(and rewritten till perfection) on paper first and only the near-end program was input into a computer with a keyboa
63.
by schmuhblaster 9mo ago
I also have a strange obsession with Prolog and Markus Triska's article on meta-interpreters heavily inspired me to write a Prolog-based agent framework with a meta-interpreter at its core [0]. I have to admit that writing Prolog somet
64.
by schmuhblaster 9mo ago
Is there any reasonably fast and portable sandboxing approach that does not require a full blown VM or containers? For coding agents containers are probably the right way to go, but for something like Cowork that is targeted at non-technica
65.
by schmuhblaster 9mo ago
As an experiment over the holidays I had Opus create a coding agent in a Prolog DSL (more than 200 lines though) [0] and I was surprised how well the agent worked out of the box. So I guess that the latest one or two generations of models h
66.
by schmuhblaster 9mo ago
Thank you! I went with a Prolog base, because I was interested in what might be possible when combining its execution model with LLM-defined predicates. For anything related to modelling and querying data, a Datalog dialect might indeed be
67.
Implementing a (Vibed) LLM Coding Agent in Prolog(deepclause.substack.com)
6 points by schmuhblaster 9mo ago|3 comments
68.
by schmuhblaster 9mo ago
Hi, I stumbled on this article in my twitter feed and posted it because I found it to be very practical, despite the somewhat misleading title. (and I also don't like encoding agent logic in .md files). For my side project I am experim
69.
Recursive Language Models(arxiv.org)
161 points by schmuhblaster 9mo ago|23 comments
70.
Reflections on a Year of Prolog and LLMs(deepclause.substack.com)
5 points by schmuhblaster 10mo ago|0 comments
71.
by schmuhblaster 10mo ago
Sounds interesting, could you elaborate a bit on this? (I am experimenting in a similar direction)
72.
by schmuhblaster 10mo ago
This looks like a very pragmatic solution, in line with what seems to be going on in the real world [1], where reliability seems to be one of the biggest issues with agentic systems right now. I've been experimenting with a different a
73.
by schmuhblaster 11mo ago
> But my bet is that the proposed program-of-thought is too specific This is my impression as well, having worked with this type of stuff for the past two years. It works great for very well defined uses case and if user queries do not s
74.
by schmuhblaster 11mo ago
I've been experimenting with giving the LLM a Prolog-based DSL, used in a CodeAct style pattern similar to Huggingface's smolagents. The DSL can be used to orchestrate several tools (MCP or built in) and LLM prompts. It's sti
75.
by schmuhblaster 11mo ago
Thank you, https://catala-lang.org/ looks very interesting. I've experimented a lot with LLMs producing formal representations of facts and rules. What I've observed is that the resulting systems usually lose a lo
76.
by schmuhblaster 11mo ago
My own attempt at "chain-of-code with a Prolog DSL": https://news.ycombinator.com/item?id=45937480 . Similarly to CodeAct the idea there is to turn natural language task descriptions into small programs. Some progr
77.
by schmuhblaster 11mo ago
This is my own recent attempt at this: https://news.ycombinator.com/item?id=45937480 The core idea of DeepClause is to use a custom Prolog-based DSL together with a metainterpreter implemented in Prolog that can keep track
78.
Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog(github.com)
7 points by schmuhblaster 11mo ago|0 comments