Comment by ashkankiani

This makes me feel better about my programming language I'm building. No amount of eyes can solve every problem.

I'm using sqlite's testing principles that Dr Hipp explains (MC/DC, mutation testing, fuzzy checking, property testing) and even some loose lean proofs written by LLMs, but in the end, it's all just kayfabe. I'll find out some bug one day anyway.