amen zwa, esq.
@AmenZwa@mathstodon.xyz
I am an ordinary man, so I am unique up to isomorphism. I am on MathsTodon not to preach to the choir, but to attend the concert. I admire well constructed arguments, but I am not argumentative. I always follow back valid accounts, but I do not chase down celebrities. JD ⊥ MSCS ⏚ BSEE • GPS +38.89 -77.01 • CO₂ low 320s
mathstodon.xyz
The software practice was once a mathematical activity, à la Hoare, Dijkstra, Bird, et al. But it has not been so, for several decades.
If the present #software practice is to mature into a bona fide #engineering practice in the future, #mathematics-based #formal methods, notations, languages, and tools—Z, B, VDM, ACL2, TLA+, Coq, Lean, Agda, Idris, ...—must be adopted. There obviously is no shortage of such tools and techniques.
Clearly, many practice areas within IT, including glossy brochure web sites, line-of-business CRUDing apps, and the like, need not be formalised. But certain fields, like operating systems, networking, transportation, utilities, real-time life-critical applications, plant control, voting systems, medical systems, financial systems, defence, and so on, must be mathematical, end-to-end and full-lifecycle—just like traditional engineering fields.
Also, there is now an urgent need for a comprehensive framework (statutes, regulations, guidelines, standards, and policies) to normalise the use of #AI in IT, especially in those life-critical practice areas. The time for hoping that the TechBros would self regulate is long gone.