Thread | Plain Text Nostr

thread · root 628f8f62…2cbd · depth 2 · · selected 66bcebbd…2434

thread

root 628f8f62…2cbd · depth 2 · · selected 66bcebbd…2434

TAnOTaTU -- 10h

{{cite web| title = Qual linguagem de programação é usada para os softwares que controlam…| url = https://pt.quora.com/Qual-linguagem-de-programação-é-usada-para-os-softwares-que-controlam-um-avião| date = 2024-01-18| archiveurl = http://archive.today/DO7HD| archivedate = 2024-01-18 }}As fontes consistem em uma série de discussões no fórum Quora que exploram as **linguagens de programação**utilizadas em **sistemas críticos**, como softwares de controle de **aviões e foguetes**. Os especialistasdestacam a predominância da linguagem **Ada**, valorizada por sua segurança e rigor, embora mencionem o uso de**C, C++ e Assembly** em contextos específicos de aviônica. Além dos aspectos técnicos das linguagens, o textoaborda normas de certificação essenciais para a segurança de voo, como a **DO-178C**. O conteúdo também seexpande para temas periféricos da computação, incluindo a **história da programação**, o funcionamento de barrasde carregamento e o conceito de **bootstrapping** em compiladores. Em suma, o material oferece um panorama sobrecomo a escolha da tecnologia é ditada pela necessidade de **estabilidade e confiabilidade** em ambientes de altorisco.

TAnOTaTU -- 9h

{{cite web| title = Should I choose Ada, SPARK, or Rust over C/C++? AdaCore| url = https://www.adacore.com/blog/should-i-choose-ada-spark-or-rust-over-c-c| date = 2026-04-26| archiveurl = http://archive.today/hEboe| archivedate = 2026-04-26 }}

TAnOTaTU -- 10h [root] 
|    {{cite web
|    | title = Qual linguagem de programação é usada para os softwares que controlam…
|    | url = https://pt.quora.com/Qual-linguagem-de-programação-é-usada-para-os-softwares-que-controlam-um-avião
|    | date = 2024-01-18
|    | archiveurl = http://archive.today/DO7HD
|    | archivedate = 2024-01-18 }}
|    
|    As fontes consistem em uma série de discussões no fórum Quora que exploram as **linguagens de programação**
|    utilizadas em **sistemas críticos**, como softwares de controle de **aviões e foguetes**. Os especialistas
|    destacam a predominância da linguagem **Ada**, valorizada por sua segurança e rigor, embora mencionem o uso de
|    **C, C++ e Assembly** em contextos específicos de aviônica. Além dos aspectos técnicos das linguagens, o texto
|    aborda normas de certificação essenciais para a segurança de voo, como a **DO-178C**. O conteúdo também se
|    expande para temas periféricos da computação, incluindo a **história da programação**, o funcionamento de barras
|    de carregamento e o conceito de **bootstrapping** em compiladores. Em suma, o material oferece um panorama sobre
|    como a escolha da tecnologia é ditada pela necessidade de **estabilidade e confiabilidade** em ambientes de alto
|    risco.
|    reply [9 replies]

TAnOTaTU -- 9h
{{cite web
| title = Should I choose Ada, SPARK, or Rust over C/C++? AdaCore
| url = https://www.adacore.com/blog/should-i-choose-ada-spark-or-rust-over-c-c
| date = 2026-04-26
| archiveurl = http://archive.today/hEboe
| archivedate = 2026-04-26 }}
reply [2 replies]

TAnOTaTU -- 9h [parent] 
|    {{cite web
|    | title = Rust vs Ada. How do they compare? : rust
|    | url = https://www.reddit.com/r/rust/comments/pm4k1f/rust_vs_ada_how_do_they_compare/
|    | date = 2026-04-26
|    | archiveurl = http://archive.today/asgDU
|    | archivedate = 2026-04-26 }}
|    reply

TAnOTaTU -- 9h [parent] 
     {{cite web
     | title = Ada vs Rust for learning a new language : embedded
     | url = https://www.reddit.com/r/embedded/comments/rpvqfk/ada_vs_rust_for_learning_a_new_language/
     | date = 2026-04-26
     | archiveurl = http://archive.today/CaU4E
     | archivedate = 2026-04-26 }}
     reply