tOOtl

3 ms·

1. 1.▲
   by tOOtl 2mo ago

   Yeah, this is a real problem that we work to resolve. Partly it's a defence-in-depth approach, and having an LLM check the actions of a coding agent does reduce the likelihood of dangerous actions going through even if it's not pe
2. 2.▲
   by tOOtl 2mo ago

   My team is working on Watcher to deal with exactly this. We know that Claude is occasionally going to do stuff we really don't want, but at a rate that's way too low for manual approvals to make sense, so we hook into Claude Code
3. 3.▲
   by tOOtl 9y ago

   UCL teaches other courses using Haskell ( http://www.cs.ucl.ac.uk/students/syllabus/undergrad/101p_pri... ), and Imperial College London uses it for teaching functional programming too ( http://www.im