Fn lightning talk on using provenance data to improve Haskell type errors:
https://youtu.be/rdVqQUOvxSU
miniblog.
Related Posts
I'm adding uptime data to my personal LLM bot. Does this information belong in the system prompt?
That was my initial plan, but I'm thinking that a tool would be better. Tools let me see information provenance ("queried the uptime tool").
There's also a small caching benefit.