Really nice contrast

Hadn't seen that before! Thanks

Recently learned that neovim can run in server or client mode (it's called Remote) and communicate via RPC. I wrapped my launch script to always start in server mode with a particular pattern for the named pipes, so that I can iterate over all running instances and send commands to them.

Lol yes that is significant! Thanks 😊

Huh!

Definitely, it's pricey. There's some daylight hacker community iirc, not sure if anyone has plain Linux running on it yet.

Fantastic post, Simon! And I say that as someone having worked on a coding agent. But today, I barely use LLMs; no completions or agentic stuff, because for me they take away the most important part of my work: understanding. I occasionally use them for research tasks out-of-editor.

Thanks!

Yeah. Well, the agent is much like any other client/server program. Abstract away the LLM and it's reasonably straightforward.

Did you find the approach together with AI agents ironic in a way? 😅

And this is inspired by more than Rust, but yes, partly the arbitrary crate. Also TigerBeetle's VOPR.

Generative testing is the natural enemy of AI coding. Not only in this way, but it's also the most effective way I found to keep the thing from cheating or giving up too early. 😊

@electric-sql.com is doing good stuff in this area too. Not quite a sync engine iiuc, but streaming read layer from PostgreSQL.