I actually use LLMs a lot to rubber duck my problems and help develop plans. Then I manually code, to ensure my skills don't deteriorate. I feel like I'm a lot faster, with few of the downsides. Do you have any thoughts on this process?
replyIf you can type code fast and accurately, it sounds a great process to use. You're using LLMs for the bit where they bring great value, and yourself as a higher quality coding agent :)
replyHave you considered incorporating formal modelling?
replyLike:
[0] https://csci1710.github.io/2026/ and https://forge-fm.github.io/book/2026/
Only at the "hmm that seems an interesting idea" level.
replyThanks for the links, going to have a read and see if I can apply any to my work.
Thanks for sharing those. They look interesting.
reply