Re: POpularno?? j?zyk?w programowania ?? - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › POpularność języków programowania w POlsze - na przykładzie 4progrmmers.net › Re: POpularno?? j?zyk?w programowania ??

Path: news-archive.icm.edu.pl!news.icm.edu.pl!fu-berlin.de!news.unit0.net!eternal-sep
tember.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!
not-for-mail
From: heby <h...@p...onet.pl>
Newsgroups: pl.comp.programming
Subject: Re: POpularno?? j?zyk?w programowania ??
Date: Thu, 3 Oct 2019 20:05:45 +0200
Organization: A noiseless patient Spider
Lines: 13
Message-ID: <qn5d9s$qh9$2@dont-email.me>
References: <ZFueF.189972$Jh2.55867@fx39.am4>
<b...@g...com>
<5d835054$0$525$65785112@news.neostrada.pl>
<qm5o8c$6mr$1@news.icm.edu.pl>
<5d867c27$0$17361$65785112@news.neostrada.pl>
<qm5va9$c07$1@dont-email.me> <5d86b148$0$520$65785112@news.neostrada.pl>
<qm7c3j$pl6$1@dont-email.me> <5d87968d$0$503$65785112@news.neostrada.pl>
<qm875f$g8o$1@dont-email.me> <5d87b31a$0$522$65785112@news.neostrada.pl>
<qm8e0j$s55$1@dont-email.me> <qmgven$som$1@z-news.wcss.wroc.pl>
<f...@g...com>
<qmnls7$tml$2@news.icm.edu.pl>
<b...@g...com>
<qmtap2$kfe$1@dont-email.me> <qmurl3$d84$2@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 3 Oct 2019 18:05:49 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
posting-host="98e0b2e8fd940abe76a03c93cacadd75";
logging-data="27177";
mail-complaints-to="a...@e...org";
posting-account="U2FsdGVkX1+oOzu7BUCQNPmS9UsfNyIo"
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
Thunderbird/60.9.0
Cancel-Lock: sha1:8asEVsKOPVfzDzZ4PfAEPZHtifQ=
In-Reply-To: <qmurl3$d84$2@gioia.aioe.org>
Content-Language: en-US
Xref: news-archive.icm.edu.pl pl.comp.programming:214180
[ ukryj nagłówki ]
On 01/10/2019 08:27, AK wrote:
>> Zabawne, bo w kilku krytycznych miejscach i za duże pieniądze się
>> używa. Firmy kupują choelrnie drogi soft robiący to samo, ale od
>> różnych producentów tylko po to aby się upewnić że działanie ich kodu
>> jest zamierzone a nie tylko że to artefakt narzędzia.
> Hehe. Gdy sie wybralo takie nieweryfikowalne barachlo jak C/C++
> do rzeczy krytycznych, to sie trzeba pozniej takimi "technikami
> weryfikacji" podpierac :)

Trzeba się nimi podpierać ponieważ niezwykle mało rzeczy na tym świecie
jest formalnie zweryfikowane a w dodatku nawet jaki jest to bywa że
tylko teoretycznie. Przykładowo można sobie w d... wsadzić jądro L4 z
całą ich weryfikacją jak się okaże że CPU ma buga sprzętowego.