Ryan chats with Leo de Moura, Senior Principal Applied Scientist at AWS and the creator of the Lean language, about proving correctness in AI agents with the Lean language, how automated reasoning complements probabilistic AI models, and the use of AI for continuous code optimization.
The type of AI user you are can vary, just like people. I recently stumbled on the Centaur vs. Cyborg debate, and it made me look in the mirror and ask myself: am I a…
How a late-night scene became the kind of marketing moment “you can’t manufacture.”
Hi HN,I'm the founder of Tofu, a code deployment platform built for agents. Paste our setup prompt to any agent you're already using and Tofu enables your agent to take…
Discussion (0)
No comments yet. Start the conversation!