Viewing profile — specvsimpl

Maybe they are aware of it? I talk to other people. They influence me, steer me. I am okay with that.

In a lot of my AI assisted writing, the prompt is an order of magnitude larger than the output. Prompt: here are 5 websites, 3 articles I wrote, 7 semi-relevant markdown notes, the…

You are aware of software verification? The AI can prove (mathematically) that its code implements the spec.

I can only say that at family meetings, I hear people talk about contracting with a shop that used to have 4 web designers, but now it's 1 guy, delivering 4x faster than before. So…

Uhm, no? Even with "simple" examples like Dijkstra's shortest path, the spec is easier than the implementation. Maybe not for you, but try it out on an arbitrary 5-yr old. On the e…