The Oracle of the in silico Coder

How can LLMs produce trustable code.

Don't look for reasons, look for truth

Rationality vs Reasons

Product as Unveiling

Don't build products, reveal them.