andreasronge

3 ms·

1. 1.▲
   by andreasronge 23d ago

   Very interesting. This has some overlap with my lisp + runtime approach and sema-lang. See https://sema-lang.com/ (which I just found today) and https://ptc-runner.dev/blog/tools-built-for-llms/ B
2. 2.▲
   A language, a runtime and preludes built for LLMs, not for humans(ptc-runner.dev)

   2 points by andreasronge 23d ago|0 comments
3. 3.▲
   An MCP server that gives agents a sandboxed Lisp REPL(andreasronge.github.io)

   2 points by andreasronge 4mo ago|1 comments
4. 4.▲
   by andreasronge 4mo ago

   I’ve been working on an open source MCP server that gives AI agents (or coding assistants) a stateful, sandboxed REPL using a small Clojure-like language. The main idea is that an agent should be able to explore MCP tools more like a develo
5. 5.▲
   by andreasronge 6mo ago

   Interesting, I'm not familiar with that paper, but I guess the performance gain comes from raising the abstraction level (hiding solver boilerplate). PTC-Lisp could achieve the same thing by defining constraint-building functions as to
6. 6.▲
   I Built a Lisp for AI Agents(andreasronge.github.io)

   17 points by andreasronge 6mo ago|3 comments