4 ms·
I agree here. Formal models have to become easier to create through. Today's ecosystem requires advanced knowledge of system design and still coding abilities.
by ClassAndBurn 4y ago
I agree here. Formal models have to become easier to create through.
Today's ecosystem requires advanced knowledge of system design and still coding abilities.
To democratize model generation we need a more iterative and understandable way of defining intented execution. The problem is this devolves into just coding the damn thing pretty quickly.
- agentultra 4y agoFor sure! I agree, it needs better languages, education, and tooling. It's not about making a hard problem harder; it's about making it more accessible and straight-forward to teach and use in day-to-day work. Being more clear and precise in our specifications would only benefit us and the AI/ML tool generating the code. We could lean more on the correctness built into the entire stack rather than having to proof-read a mess of inferred code, something we're terribly ill-equipped to do.
- valenterry 4y ago> Being more clear and precise in our specifications would only benefit us and the AI/ML tool generating the code Good luck with that. We have those languages already. For example Idris. It's just that now you are essentially doing a lot of math. And, funnily, I never hear people saying "making [math] more accessible and straight-forward to teach and use in day-to-day work". I wonder why...