From mboxrd@z Thu Jan 1 00:00:00 1970 Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: =?UTF-8?Q?Niocl=C3=A1s=C3=A1n_Caile=C3=A1n_de_Ghlost=C3=A9ir?= Newsgroups: comp.lang.ada Subject: Re: First Ada DO-178 Certification Date: Thu, 17 Oct 2024 10:23:33 +0200 Organization: A noiseless patient Spider Message-ID: <7ced8127-3e61-1ef6-8f6e-b1b90a5fb562@Strand_in_London.Gov.UK> References: <633cea44-3246-2ce1-40c1-63c30cda960e@Strand_in_London.Gov.UK> <13a8fd6d-10a4-1884-0b30-fc3857ca360e@Strand_in_London.Gov.UK> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Injection-Date: Thu, 17 Oct 2024 10:23:42 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c714202d9c52a3b20780f79f329d6f8e"; logging-data="2831170"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19/+uMV8Gz+eFEal24FOaN1htetFPotGz9h8WbeLi4jow==" Cancel-Lock: sha1:QTgB/FVxPjAYWsu/bFLlh5SqwLI= In-Reply-To: Xref: news.eternal-september.org comp.lang.ada:66438 List-Id: Smalltalk systems are bloated with code clones. So much for reuse! Smalltalk and Python codes crash while attemptings to run because they do not check against faults during compilings. "How Python and Rust handle errors is entirely different. Python will throw an exception when an error is encountered. Rust will return a value when an error is found, while Python will simply throw an error without providing any suggestions on how to fix it. Meanwhile, Rust will provide some recommendations to easily pinpoint and fix the issues." says @misc{Python-will-simply-throw-an-error-without-providing-any-suggestions-on-how-to-fix-it.htm, title = {{Python vs Rust: Choosing Your Language - Teach Sector}}, year={2022}, url = {HTTPS://TeachSector.com/python-vs-rust-choosing-your-language/}, author = {Victor Porton} } Cf. @misc{finding-bugs-in-your-Python-software-Have-you-ever-mistyped-an-identifier.html, title = {{Best Programming Language \texttt{|} Teach Sector}}, year={2022}, url = {HTTPS://TeachSector.com/dforpython}, author = {Victor Porton} } and @misc{dynamic-nature-of-Python-usually-leads-to-many-programming-errors.htm, title = {{The Best Python Alternative You Can Find <80><93> Course and Certifications - Teach Sector}}, year={2022}, url = {HTTPS://TeachSector.com/the-best-python-alternative-you-can-find-course-and-certifications/}, author = {Victor Porton} } and @inproceedings{3383583.3398514.pdf, author = {Fu, Yuanxi and Schneider, Jodi}, title = {{Towards Knowledge Maintenance in Scientific Digital Libraries with the Keystone Framework}}, year = {2020}, isbn = {9781450375856}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, url = {HTTPS://DOI.org/10.1145/3383583.3398514}, doi = {10.1145/3383583.3398514}, abstract = {Scientific digital libraries speed dissemination of scientific publications, but also the propagation of invalid or unreliable knowledge. Although many papers with known validity problems are highly cited, no auditing process is currently available to determine whether a citing paper's findings fundamentally depend on invalid or unreliable knowledge. To address this, we introduce a new framework, the keystone framework, designed to identify when and how citing unreliable findings impacts a paper, using argumentation theory and citation context analysis. Through two pilot case studies, we demonstrate how the keystone framework can be applied to knowledge maintenance tasks for digital libraries, including addressing citations of a non-reproducible paper and identifying statements most needing validation in a high-impact paper. We identify roles for librarians, database maintainers, knowledgebase curators, and research software engineers in applying the framework to scientific digital libraries.}, booktitle = {Proceedings of the ACM/IEEE Joint Conference on Digital Libraries in 2020}, pages = {217--226}, numpages = {10}, keywords = {knowledge claims, citation of retracted papers, scientific literature, citation, argumentation theory, citation contexts, knowledge maintenance, retraction of research, argument retrieval}, location = {Virtual Event, China}, series = {JCDL '20} } and @article{Python-is-missing-some-of-these, author = {Jeffrey R. Carter}, title = {{Subject: Re: Is Python higher level than Ada?}}, journal = {news:comp.lang.ada}, volume = {2016}, year = {2016}, note = {Message-ID: \texttt{} ag \url{HTTPS://Archive.LegitData.Co/comp.lang.ada/o0i099$fg8$1@dont-email.me/} mar shampla Date: Wed, 16 Nov 2016 09:08:37 -0700} } and @article{Ada-had-records-from-day-one-only-40-years-ago, author = {Nasser M. Abbasi}, title = {{Subject: Java and Python have just discovered \texttt{"}record\texttt{"} type finally after 40 years.}}, journal = {news:comp.lang.ada}, volume = {2023}, year = {2023}, note = {Message-ID: \texttt{} ag \url{HTTPS://Archive.LegitData.Co/comp.lang.ada/u3lu8o$1p3li$1@dont-email.me/} mar shampla Date: Fri, 12 May 2023 12:50:14 -0500} } and @article{assuming-Python-implements-them-correctly-which-I-honestly-doubt, author = {Dmitry A. Kazakov}, title = {{Subject: Re: Is Python higher level than Ada?}}, journal = {news:comp.lang.ada}, volume = {2016}, year = {2016}, note = {Message-ID: \texttt{} ag \url{HTTPS://Archive.LegitData.Co/comp.lang.ada/o0h7tt$1o9f$1@gioia.aioe.org/} mar shampla Date: Wed, 16 Nov 2016 10:12:29 +0100} }