3 ms·

This doesn't seem particularly formal. I still remain unconvinced reducing is really going to be valuable. Code obviously is as formal as it gets but as you tre

This doesn't seem particularly formal. I still remain unconvinced reducing is really going to be valuable. Code obviously is as formal as it gets but as you trend away from that you quickly introduce problems that arise from lack of formality. I could see a world in which we're all just writing tests in the form of something like Gherkin though.

xhkkffbf 7mo ago
While I'm also a bit skeptical, I think some formalism could really simplify everything. The programming world has lots of words that mean close to the same thing (subroutine, method, function, etc. ). Why not choose one and stick to it for interactions with the LLM? It should save plenty of complexity.
tasuki 7mo ago
> I could see a world in which we're all just writing tests in the form of something like Gherkin though. Yes, and the implementation... no one actually cares about that. This would be a good outcome in my view. What I see is people letting LLMs "fill in the tests", whereas I'd rather tests be the only thing humans write.
- newsoftheday 7mo ago
  > Yes, and the implementation... no one actually cares about that. There has been a profession in place for many decades that specifically addresses that...Software Engineering.
hrmtst93837 7mo ago
[flagged]
eterps 7mo ago
> I could see a world in which we're all just writing tests in the form of something like Gherkin though. That works great in practice, Gherkin even has a markdown dialect [1]. If you combine it with a tool like aico [2] you can have a really effective development workflow. [1] https://github.com/cucumber/gherkin/blob/main/MARKDOWN_WITH_GHERKIN.md https://github.com/cucumber/gherkin/blob/main/MARKDOWN_WITH_... [2] https://github.com/jurriaan/aico https://github.com/jurriaan/aico