John Regehr22h ago

I'm fundamentally a tool builder, and LLM coding agents work one million times better if you give them good tools, and I wrote a thing about this

https://john.regehr.org/writing/zero_dof_programming.html

zero_dof_programming

Show threadbob21h ago
@regehr I had a similar thought and I was thinking writing constraints in something like JQF might work for making writing oracles that encode knowledge about your problem low friction
Show threadbob21h ago
@regehr of course if you game that out in the long run nobody's writing prompts anymore and they're writing specs in some programming language instead
Show threadJohn Regehr
@bob ... and I think that's ok!
Mar 26 at 6:53pmWeb
Show threadbob21h ago
@regehr oh it would absolutely be an improvement over writing prompts in natural language