Viewing profile — timothycoleman

I think whoever is responsible for the correct operation of a software system will still need to read something that precisely describes the behaviours that they care about. Today,…

An important difference is the code precisely expresses many behaviours of the program, and a correct compiler guarantees to respect those behaviours. An AI prompt is not so precis…

Unfortunately the tests can't (usually) cover all behaviours. And perhaps more importantly, they don't capture more abstract properties of the code like maintainability. AI works b…