Hacker News new | past | comments | ask | show | jobs | submit
sivakon | on: Ask HN: How is AI-assisted coding going for you professionally?
This is an interesting usecase, and I want to learn more about your workflow. Do you also use Lean etc. for math proofs.