specvsimpl

5 ms·

1. 1.▲
   by specvsimpl 6mo ago

   Maybe they are aware of it? I talk to other people. They influence me, steer me. I am okay with that.
2. 2.▲
   by specvsimpl 6mo ago

   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 invitation for the lecture I'm giving, a description
3. 3.▲
   by specvsimpl 6mo ago

   You are aware of software verification? The AI can prove (mathematically) that its code implements the spec.
4. 4.▲
   by specvsimpl 6mo ago

   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 devs are being replaced.
5. 5.▲
   by specvsimpl 6mo ago

   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 extreme end, you have results in maths, like