↓ Skip to main content

·47 words

Solvers are very annoying to setup and plug your problem into if you’re using them regularly. That’s why hooking them into LLMs to do the annoying manipulation work is an amazing idea.

This has the potential to entirely evaporate a vast class of quite complex problems.

https://www.stephendiehl.com/posts/smt_and_mcp_solvers

Alper Cugun
Author
Alper Cugun

Related

·41 words
Now that I’ve switched entirely to jj, I never have to think about git’s confusing terminology or absurd design ever again.

·29 words
The Javascript Date class is so criminally bad, that you will have a better score if you give random answers than if you try to reason about it.