-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news-2.dfn.de!n
ews.dfn.de!feeder.erje.net!2.eu.feeder.erje.net!proxad.net!feeder1-2.proxad.net
!cleanfeed2-a.proxad.net!nnrp4-1.free.fr!not-for-mail
From: Mateusz Viste <m...@w...tell>
Subject: Re: Jak to robią w NASA
Newsgroups: pl.comp.programming
References: <1ua4wui506zbf$.dlg@tyczka.com> <qkecqc$c03$1@news.icm.edu.pl>
<3...@g...com>
<qkicu0$knb$1@gioia.aioe.org>
<4...@g...com>
<qkjqqi$1b59$1@gioia.aioe.org>
<0...@g...com>
<r...@t...com>
<e...@g...com>
<1...@g...com>
<1...@g...com>
<a...@g...com>
<qkoqr3$1eec$1@gioia.aioe.org>
<a...@g...com>
<8...@n...net>
<1...@g...com>
<qksqus$1h0q$1@gioia.aioe.org>
<3...@g...com>
<5d7219bc$0$6446$426a74cc@news.free.fr>
<0...@g...com>
<8...@g...com>
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 06 Sep 2019 14:06:24 GMT
Lines: 38
Message-ID: <5d7267e0$0$15200$426a34cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 06 Sep 2019 16:06:24 CEST
NNTP-Posting-Host: 82.64.0.151
X-Trace: 1567778784 news-4.free.fr 15200 82.64.0.151:42264
X-Complaints-To: a...@p...net
Xref: news-archive.icm.edu.pl pl.comp.programming:213956
[ ukryj nagłówki ]On Fri, 06 Sep 2019 06:42:36 -0700, Maciej Sobczak wrote:
>> Warto zobaczyć ile błędów było w różnych kompilatorach w różnych
>> językach.
>
> To akurat nie ma znaczenia. Kompilator może sobie mieć bugi, bo i tak
> weryfikuje się kod wykonywalny. Dlatego też jest mitem, że w branży
> krytycznej potrzebne są jakieś "certyfikowane" kompilatory. Otóż nie są
> (niespodzianka!).
Oj ale to chyba nieco naiwne - że niby przetestowanie wynikowego kodu
zagwarantuje brak bugów. Nie zagwarantuje, bo nie ma opcji by dało się
przetestować wynikowy program w 100% (wliczając w to np. ładowanie
relokowalnego kodu pod najróżniejsze adresy, coby wykryć jakiś egzotyczny
bug kompilatora). To nie znaczy oczywiście, że nie należy do tego dążyć,
jeśli ekonomia projektu na to pozwala.
> To kolejny mit. Wszyscy programiści kosztują z grubsza tyle samo, bo ich
> koszt i tak już dawno nie zależy od ich kompetencji.
Ja tam jednak obserwuję duże różnice w zależności od języka. Im więcej
towaru na rynku, tym bardziej jego wartość spada.
> Nie używa się bibliotek. Szkoda na to nerwów, znacznie szybciej jest
> napisać i zweryfikować coś od zera samemu.
Wliczając w to libc? Co do zasady, że lepiej samemu wyrzeźbić aby
wpasowało się idealnie w dany projekt to się zgodzę, ale to tylko
generalna zasada, i jak zawsze istnieje milion wyjątków. "nie używa się"
uważam za nieco zbyt kategoryczny obraz...
> Szczerze - *wszystko* jest do bani. Ale podobnie jest we wszystkich
> innych dziedzinach życia (muzyka, film, jedzenie, itd.), więc chyba tak
> po prostu mamy jako cywilizacja.
I to faktycznie ma sens :)
"kiedyś było lepiej"
Mateusz
Następne wpisy z tego wątku
- 06.09.19 17:06 AK
- 06.09.19 17:11 AK
- 06.09.19 18:22 M.M.
- 06.09.19 18:29 g...@g...com
- 06.09.19 19:14 g...@g...com
- 06.09.19 20:28 M.M.
- 06.09.19 21:03 Maciej Sobczak
- 06.09.19 21:12 Mateusz Viste
- 06.09.19 21:25 Maciej Sobczak
- 06.09.19 23:00 g...@g...com
- 06.09.19 23:59 g...@g...com
- 07.09.19 01:48 g...@g...com
- 07.09.19 10:55 M.M.
- 07.09.19 17:04 Maciej Sobczak
- 07.09.19 17:21 Maciej Sobczak
Najnowsze wątki z tej grupy
- Rosjanie chwalą się prototypem komputera kwantowego. "Najważniejszy projekt naukowy Rosji"
- A Szwajcarzy kombinują tak: FinalSpark grows human neurons from stem cells and connects them to electrode arrays
- Re: Najgorszy język programowania
- NOWY: 2025-09-29 Alg., Strukt. Danych i Tech. Prog. - komentarz.pdf
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
Najnowsze wątki
- 2025-12-31 I kolejny jebnięty
- 2025-12-31 Myślenice => Specjalista ds. kontrolingu <=
- 2025-12-31 Ostróda szlachetnie walczy
- 2025-12-31 Pierwsza mapa kosmosu w 102 długościach fal podczerwieni! To początek nowej ery w astronomii
- 2025-12-31 Rosjanie chwalą się prototypem komputera kwantowego. "Najważniejszy projekt naukowy Rosji"
- 2025-12-31 Rosjanie chwalą się prototypem komputera kwantowego. "Najważniejszy projekt naukowy Rosji"
- 2025-12-31 Pieniadze-cuchna-oddechem-nawalonego-tatusia
- 2025-12-31 Iran na skraju gospodarczego upadku. Na ulicach Teheranu (znów) wrze. To może być cios dla reżimu
- 2025-12-30 zasilacz
- 2025-12-30 Teraz System Plików PFS z sys. op. Amiga OS będziesz mógł zamontować pod sys. op. Linuks i Jabłoko Makintosz
- 2025-12-30 Aeor2 i ciągły internet 512kb
- 2025-12-30 Czy prohibicja (reklamowa) obejmuje Św. Mikołaja (przerośniętego krasnala)? :-)
- 2025-12-30 Zegary DCF
- 2025-12-29 Greta Thunberg aresztowana w Londynie za wsparcie zdelegalizowanej grupy [Palestine Action - przyp. JMJ]
- 2025-12-29 Sarkozy




5 Najlepszych Programów do Księgowości w Chmurze - Ranking i Porównanie [2025]