On Sunday, 20 December 2020 at 23:16:10 UTC+1, cameron...@gmail.com wrote: > On 20Dec2020 20:34, Karsten Hilbert <karsten...@gmx.net> wrote: > >> Trust me: it takes 100x getting anything done plus keep up with your > >> prayers, and it takes 100^100x learning anything solid, as in just forget > >> about it. Indeed, consider that we are rather going to the formal > >> verification of programs, software, and even hardware... > > > >I sincerly wish you that your hope becomes reality within your > >lifetime. > > Aye, since "we are rather going to the formal verification of programs, > software, and even hardware" was true when I was at university. In the > 1980s and 1990s.
You could have taken the chance to pay attention, as after 30 years of fake agility, lies over the very state of the art, and of course the chronic spectacular failures, the defamation game and the misery of an entire industry, we are eventually getting back to where we were. And, while we are still quite far from an end-to-end integrated experience, by now, Dec 2020, it is already the case that there are enough systems, libraries/components and of course the underlying theory that for the practitioner (i.e. the professional in the field) the problem at the moment is rather which ones to commit to (i.e. invest money and time into). > Gathering evidence is indeed part of science, and computer science is > indeed mathematics, but alas programmering is just a craft and software > engineering often ... isn't. Programming is a *discipline*, while you keep echoing cheap and vile marketing nonsense. > Anyway, I would hope we're all for more rigour rather than less. I am sure you do, rigour mortis eventually... EOD. Julio -- https://mail.python.org/mailman/listinfo/python-list
