> I don't offload my brain to Kagi, because I don't prompt it until it gives me something I like. Similarly, I don't offload my brain to LLMs. > I do the hard

> I don't offload my brain to Kagi, because I don't prompt it until it gives me something I like. Similarly, I don't offload my brain to LLMs. > I do the hard work of synthesizing and understanding the answer. Not reading some slop and accepting it at face value. Again, it's not necessary to accept LLM output at face value. Use tools, think for yourself, sure. This applies to various tools: Kagi, LLMs, and others. None of these give you "accuracy guarantees". You usually have to think for yourself. My favourite example of a situation where you don't have to think for yourself is asking an LLM to implement a function in a very strongly typed language. There only is one implementation of `a -> a`. For `(a -> b) -> List a -> List b`, you could return an empty list instead of performing map. There aren't that many implementations of `(a -> b -> b) -> b -> List a -> b` (three as far as I can see: left/right fold and a function which just returns the accumulator). It's easier to verify the LLM solution than to implement it yourself!