23 points | by Funes- 4 hours ago
2 comments
LLM agents are cheap and good enough that you can write in eg Lean or whatever. Or at least write it in Rust.
LLM agents are cheap and good enough that you can write in eg Lean or whatever. Or at least write it in Rust.