Lozybug

5 ms·

1.
by Lozybug 20d ago
Will do. In the meantime here's a recent article from my Substack: https://formalmethodsai.substack.com/p/stop-asking-ai-to-wri...
2.
by Lozybug 21d ago
Here's a recent article from my Substack: Stop Asking AI To Write Your Code. Here's the link... https://formalmethodsai.substack.com/p/stop-asking-ai-to-wri...
3.
by Lozybug 21d ago
Wow! Thank you. You've got it. If I put up more info on this and what I'm doing (I'm building a tech demo workbench based on these ideas) would that be of interest? Are you doing anything yourself in this area? You obviously
4.
by Lozybug 22d ago
It might be worth adding that with an approach such as this, it would be possible to meet AI software regulations, for example the EU AI Act and others now coming into force around the world. Other 'regulatory packs' could be obta
5.
by Lozybug 22d ago
Great questions. By using the AI to help elicit requirements and then to generate a spec using a formal software development method you bridge the gap between the users intentions and the code. The spec is visible to the user and is in a fo
6.
by Lozybug 22d ago
Your quite correct, the spec does in effect become the code and the workbench that produces that spec is in effect a system compiler because a system is a program that executes exactly once. Can you expand on empty please. You have somethin
7.
by Lozybug 22d ago
Great site and great idea. I'm not sure I can add much to 'detecting' AI slop when it comes to code except to assume that all AI coding tools, particularly AI no-code tools, produce code slop. For me, the way round that is to
8.
by Lozybug 22d ago
That's a wild idea and one for thought, thank you.
9.
by Lozybug 23d ago
Hi Wseqyrku, I'm curious. What is it about? Genuinely interested in your view. Cheers Loz
10.
You Don't Need AI to Generate Code
6 points by Lozybug 23d ago|16 comments