-
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.
Następne wpisy z tego wątku
- 03.10.19 20:10 heby
- 03.10.19 20:25 heby
- 03.10.19 21:47 AK
- 03.10.19 21:52 AK
- 03.10.19 22:01 AK
- 03.10.19 22:13 AK
- 03.10.19 22:19 heby
- 03.10.19 22:26 heby
- 03.10.19 22:28 heby
- 03.10.19 22:39 M.M.
- 04.10.19 07:48 Maciej Sobczak
- 04.10.19 07:51 Maciej Sobczak
- 04.10.19 08:16 AK
- 04.10.19 08:17 Maciej Sobczak
- 04.10.19 08:18 AK
Najnowsze wątki z tej grupy
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
- Ideologia Polskiego Programisty wer.3
Najnowsze wątki
- 2024-05-04 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-05-04 Marki => Wdrożeniowiec ERP <=
- 2024-05-03 Warszawa => Sprzedawca usług rekrutacyjnych <=
- 2024-05-03 Warszawa => Mid/Senior QA Engineer <=
- 2024-05-03 Warszawa => Mid/Senior QA Engineer <=
- 2024-05-03 Warszawa => Senior PHP Developer (Symfony) <=
- 2024-05-03 Rzeszów => UX/UI Designer <=
- 2024-05-03 Giertych przetarł szlak: byli członkowie zarządu Orlenu śledztwa prokuratorskie obserwują z zagranicy
- 2024-05-03 Warszawa => Senior Rust Software Engineer <=
- 2024-05-03 Kraków => UX/UI Designer <=
- 2024-05-03 Warszawa => International freight forwarder <=
- 2024-05-02 Silnik Stirlinga - energia mechaniczna wytwarzana z ciepła bez dostarczania paliwa!
- 2024-05-02 Kraków => Senior .Net Programmer <=
- 2024-05-02 Sprowadzenie pożaru zagrażającego mieniu w wielkich rozmiarch
- 2024-05-02 Zielona Góra => Spedytor międzynarodowy <=