-
X-Received: by 10.157.14.147 with SMTP id 19mr573408otj.1.1493043391135; Mon, 24 Apr
2017 07:16:31 -0700 (PDT)
X-Received: by 10.157.14.147 with SMTP id 19mr573408otj.1.1493043391135; Mon, 24 Apr
2017 07:16:31 -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!t52no33848
47qtb.0!news-out.google.com!v18ni3182ita.0!nntp.google.com!c26no1003751itd.0!po
stnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Mon, 24 Apr 2017 07:16:30 -0700 (PDT)
In-Reply-To: <a...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=80.87.23.98;
posting-account=xIqjbwoAAAA0b64_pvwnKvR2vHN-_Ena
NNTP-Posting-Host: 80.87.23.98
References: <odaqeu$4p2$1@dont-email.me>
<7...@g...com>
<4...@g...com>
<odhokt$skl$1@node2.news.atman.pl>
<a...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4...@g...com>
Subject: Re: 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017
From: Michal <m...@k...org>
Injection-Date: Mon, 24 Apr 2017 14:16:31 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Lines: 31
Xref: news-archive.icm.edu.pl pl.comp.programming:210452
[ ukryj nagłówki ]On Monday, April 24, 2017 at 1:29:37 PM UTC+1, Maciej Sobczak wrote:
> On Sunday, April 23, 2017 at 10:29:18 AM UTC+2, Sebastian Biały wrote:
>
> Ręce opadają...
>
> > 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?
> > 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.
--
Michal
Następne wpisy z tego wątku
- 24.04.17 20:19 Sebastian Biały
- 25.04.17 00:24 Maciej Sobczak
- 25.04.17 08:29 Roman Tyczka
- 25.04.17 08:44 Tomasz Kaczanowski
- 25.04.17 14:19 m...@k...org
- 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
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- 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)
Najnowsze wątki
- 2025-05-08 Warszawa => Senior Node.js Developer (doświadczenie z framework Nest.
- 2025-05-07 Wielki smog w Watykanie
- 2025-05-07 Polscy czołgiści najlepsi w międzynarodowych zawodach na Łotwie!!!
- 2025-05-07 Znaki wewnętrzne
- 2025-05-07 Czujnik nacisku
- 2025-05-07 Wielki smog w Watykanie Nadal palą węglem w piecach
- 2025-05-07 Kraków => Business Development Manager - Network and Network Security
- 2025-05-07 Białystok => Team Lead Data Engineer (obszar Snowflake) <=
- 2025-05-07 Białystok => Team Lead Data Engineer (Snowflake) <=
- 2025-05-07 Warszawa => IT Recruiter <=
- 2025-05-07 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-05-07 Szczecin => Key Account Manager IT <=
- 2025-05-07 Wrocław => Konsultant wdrożeniowy Comarch XL (Logistyka, WMS, Produk
- 2025-05-07 Warszawa => Senior Node.js Developer (Nest.js framework) <=
- 2025-05-07 Ekstradycja Sebastiana M