-
Data: 2019-10-03 20:05:45
Temat: Re: POpularno?? j?zyk?w programowania ??
Od: heby <h...@p...onet.pl> szukaj wiadomości tego autora
[ pokaż wszystkie 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
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- 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??
Najnowsze wątki
- 2025-03-14 Spalił się autobus :-)
- 2025-03-14 Policjanci z Piątku
- 2025-03-14 Lublin => JavaScript / Node / Fullstack Developer <=
- 2025-03-14 Warszawa => Account Manager - Sprzedaż Usług Rekrutacyjnych <=
- 2025-03-14 Gliwice => Business Development Manager - Dział Sieci i Bezpieczeńst
- 2025-03-14 VAT-R Umowa najmu na adres zamieszkania
- 2025-03-14 Gliwice => IT Expert (Network Systems area) <=
- 2025-03-14 Warszawa => Junior Rekruter <=
- 2025-03-14 Wrocław => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-03-14 China-Kraków => Senior PHP Symfony Developer <=
- 2025-03-14 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-03-13 Raspberry Pi 3 Model B+
- 2025-03-13 Kuchenka elektryczna
- 2025-03-12 test
- 2025-03-13 własny ekran startowy