-
X-Received: by 10.157.80.33 with SMTP id a33mr488364oth.13.1493122799884; Tue, 25 Apr
2017 05:19:59 -0700 (PDT)
X-Received: by 10.157.80.33 with SMTP id a33mr488364oth.13.1493122799884; Tue, 25 Apr
2017 05:19:59 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder1.iad
1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!c26no12783
28itd.0!news-out.google.com!x200ni640itb.0!nntp.google.com!c26no200662itd.0!pos
tnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Tue, 25 Apr 2017 05:19:59 -0700 (PDT)
In-Reply-To: <4...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com;
posting-host=2a00:23c4:c0e:5f00:b13b:52f1:b5f8:9af1;
posting-account=xIqjbwoAAAA0b64_pvwnKvR2vHN-_Ena
NNTP-Posting-Host: 2a00:23c4:c0e:5f00:b13b:52f1:b5f8:9af1
References: <odaqeu$4p2$1@dont-email.me>
<7...@g...com>
<4...@g...com>
<odhokt$skl$1@node2.news.atman.pl>
<a...@g...com>
<4...@g...com>
<4...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0...@g...com>
Subject: Re: 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017
From: m...@k...org
Injection-Date: Tue, 25 Apr 2017 12:19:59 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Lines: 65
Xref: news-archive.icm.edu.pl pl.comp.programming:210457
[ ukryj nagłówki ]On Monday, April 24, 2017 at 11:24:30 PM UTC+1, Maciej Sobczak wrote:
> W dniu poniedziałek, 24 kwietnia 2017 16:16:31 UTC+2 użytkownik Michal napisał:
>
> > > > 1) Ariane5 z Overflow Space Agency
> > >
> > > Program zrobił dokładnie to, do czego został zaprojektowany. To, że został
użyty *w kontekście*, do którego nie został zaprojektowany, było winą złej integracji
systemu a nie błędów w kodzie. Polecam lekturę raportu z fakapu.
> >
> > Ciekawe.
> > Nie chce mi sie calego czytac. Moglbys krotko napisac, czy aby na pewno
> > uzycie jezyka z mocniejszym systemem typow ( np. dependent typing ) nie pomogloby
> > zapobiec katastrofie?
>
> Katastrofa wynikała z tego, że z pośpiechu wzięto moduł z mniejszej rakiety i po
prostu trzymając kciuki wsadzono go do większej rakiety, której większa prędkość w
czasie startu (zdaje się, że pozioma składowa) nie zmieściła się w założonym
zakresie. Wynikający z tego wyjątek (nie ma znaczenia, że z powodu wyłączenia
wyjątków software'owych był to wyjątek hardware'owy) trafił do procedury obsługi
polegającej na wysadzeniu całej rakiety w p*zdu.
> Lepszy język? Tu nie było żadnego buga a program zachował się tak jak miał się
zachować. Błąd był po stronie inżynierów systemowych, którzy złożyli do kupy rakietę
z klocków z niewłaściwego pudełka. Żaden język przed tym specjalnie nie chroni.
>
No właśnie tu jest pytanie - czy może pomóc uchronić. Diabeł tkwi w szczegółach.
Przecież nie wzięli chyba kompilatu (binarki) z jednej maszyny i nie zainstalowali
tego na drugiej "jak leci". Podejrzewam, że _jakiś_ proces kompilacji/budowania i
testowania itp jednak był.
Czy dobry język (i - co najwazniejsze - wiążąca się z takim językiem metodyka )
pozwoliłby uniknąć tego rodzaju błędu (przepełnienie zakresu) - chociażby poprzez
"kłucie w oczy" ewidentnym problemem (zgłaszanym przez kompilator).
> > > > 2) Nadmiarowe zuzycie klawiatury
> > >
> > > W Notepadzie. Programiści używają lepszych edytorów.
> >
> > Ciekawe, ze ciagle slysze narzekania, ze trzeba wiecej pisac.
> > Ale ni cholery nikt nie narzeka, ze im mniej trzeba pisac, tym trudniej
> > sie czyta.
>
> Jest jeszcze gorzej. Średnia szybkość klepania kodu w takich systemach to 1
(słownie: jedna) linia kodu na inżyniera na dzień.
W przypadku "web apps" to rzędy wielkości więcej. Codziennie się przepisuje to, co
napisało się wczoraj - zgodnie z zasada "refactor mercilessly" i generalnie "agile".
--
Michal
Następne wpisy z tego wątku
- 25.04.17 19:21 Sebastian Biały
- 26.04.17 08:58 Tomasz Kaczanowski
- 26.04.17 15:46 Maciej Sobczak
- 26.04.17 15:53 Maciej Sobczak
- 26.04.17 18:23 Sebastian Biały
- 26.04.17 22:59 m...@k...org
- 27.04.17 15:16 Maciej Sobczak
- 27.04.17 19:53 Sebastian Biały
- 28.04.17 08:09 Maciej Sobczak
Najnowsze wątki z tej grupy
- Xiaomi [Chiny - przyp. JMJ] produkuje w całkowitych ciemnościach i bez ludzi
- Prezydent SZAP/USONA Trump ułaskawił prezydenta Hondurasu Hernandeza skazanego na 45 lat więzienia
- 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
Najnowsze wątki
- 2026-01-15 Zawory termostatyczne
- 2026-01-15 Białystok => Solution Architect (Workday) - Legal Systems <=
- 2026-01-15 Proces KARNY Braunowi (KPP) POLITYCZNIE służy? [+0.7% miesięcznie 2 razy]
- 2026-01-15 Białystok => Frontend Developer React <=
- 2026-01-15 Konto na zdalnym NAS - jak zabezpieczyc pliki?
- 2026-01-15 Myślenice => Junior SAP CO Consultant <=
- 2026-01-15 Wyjaśnienie patologii opisanej w art. pt. "Przeciw bezkarności biznesu"
- 2026-01-15 Wyjaśnienie patologii opisanej w art. pt. "Przeciw bezkarności biznesu"
- 2026-01-15 "deficyt budżetowy [na 2026r. -przyp. JMJ] jest prognozowany na poziomie 271,7"Gzł, czyli 74.52G$
- 2026-01-15 Miliardy z podatków znów popłynęły do TVP
- 2026-01-14 #Motodziennik test - Jaecoo E5 - słabe auto, słaby elektryk. A ZIMĄ NAWET BARDZO
- 2026-01-14 Piaseczno cd
- 2026-01-14 Robert do ciebie
- 2026-01-14 Prątki to zawalidrogi
- 2026-01-14 Naruszenie immunitetu ZP-RE Romanowskiego bezkarne (umorzenie śledztwa żurkotury)




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