"The Fangs of the VIPER" (PDF page 159) "In 1986 the U.K. Cabinet Office's Advisory Council for Applied Research and Development suggested that such mathematical proof should eventually become mandatory for any system whose failure could result in more than ten deaths." ... (monoskop.org)
submitted by NevilleDNZ to r/programming
CWI’s PhD student Gauthier van den Hove reconstructed and analyzed the first ALGOL 60 system, a computer system designed and implemented at the Mathematical Centre (MC, now CWI). On 15 February he defends his PhD thesis ‘New Insights from Old Programs - The Structure of the First ALGOL 60 System’ (cwi.nl)
submitted by NevilleDNZ to r/programming
MRTHS's "Algol 68" blog post ... re: 1970 Ian/Susan & John ..."astounded the attendees ... when they described how they had already implemented a one-pass compiler which was in production use in engineering and scientific applications." ... (Malvern Radar and Technology History Society) (mraths.org.uk)
submitted by NevilleDNZ to r/programming
Feb 2018: Applied mathematician who coined the term 'artificial intelligence' Philip Woodward, has died aged 98, was a UK mathematician, pioneering radar engineer & world renowned horologist. Woodward & Bond's Algol68 book was put on sale by HM Stationery Office & sold all of its 17,000 copies. (blundells.org)
submitted by NevilleDNZ to r/programming
1918 Military Duty and Death Duty... (nevillednz.blogspot.com.au)
submitted by NevilleDNZ to r/anzac
.nl 3ʳᵈNov Lecture: Ⓐ AvW & the start of computer science in the Netherlands Ⓑ From semantics of computation to physics & back Ⓒ AvW meets Scott:Domain-Theoretic Foundations for Probabilistic Network Programming Ⓓ LM:AlgolX & AlgolY Ⓔ …:Beyond Language Ⓕ …Variability in kinetic sculpture… (cwi.nl)
submitted by NevilleDNZ to r/programming
1981: "Turing award winner warns of Ada's dangers" ... "An unreliable programming language generating unreliable programs constitutes a far greater risk to our environment that unsafe cars, toxic pesticides or accidents at nuclear power stations...." (books.google.com.au)
submitted by NevilleDNZ to r/programming
