-
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
atman.pl!news.chmurka.net!.POSTED!not-for-mail
From: Andrzej Jarzabek <a...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: poprawność algorytmu
Date: Mon, 30 Mar 2015 20:08:38 +0200
Organization: news.chmurka.net
Lines: 88
Message-ID: <mfc3dv$6gp$1@srv.chmurka.net>
References: <4...@g...com>
<d...@g...com>
<meti4e$osd$1@srv.chmurka.net>
<f...@g...com>
<mevfpd$gpa$1@srv.chmurka.net>
<e...@g...com>
<mf1tnf$d48$1@srv.chmurka.net>
<5...@g...com>
<mf4eao$a9t$1@srv.chmurka.net>
<2...@g...com>
<mf65j9$ut1$1@srv.chmurka.net>
<9...@g...com>
<mf724r$b2n$1@srv.chmurka.net>
<3...@g...com>
<mf8u7k$14b$1@srv.chmurka.net>
<c...@g...com>
<mfa040$d4h$1@srv.chmurka.net>
<8...@g...com>
NNTP-Posting-Host: 78.31.215.218
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-2; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: srv.chmurka.net 1427738879 6681 78.31.215.218 (30 Mar 2015 18:07:59 GMT)
X-Complaints-To: abuse-news.(at).chmurka.net
NNTP-Posting-Date: Mon, 30 Mar 2015 18:07:59 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101
Thunderbird/31.5.0
In-Reply-To: <8...@g...com>
X-Authenticated-User: ajarzabek
Xref: news-archive.icm.edu.pl pl.comp.programming:207714
[ ukryj nagłówki ]On 30/03/2015 11:15, Maciej Sobczak wrote:
> W dniu poniedziałek, 30 marca 2015 00:59:51 UTC+2 użytkownik Andrzej
> Jarzabek napisał:
>
>> BTW, właśnie sprawdziłem i wygląda na to, że nie jest to prawda -
>> poza wszystkimi innymi stratami, Knight dostał dodatkowo
>> 12-milionową karę od SEC:
>
> Faktycznie. Na szczęście koledzy pomogli:
>
> http://www.wsj.com/articles/SB1000087239639044424690
4577572752865497064
>
> "a group of financial firms injecting $400 million to keep Knight
> Capital Group Inc. afloat"
Przecież nie charytatywnie, tylko żeby przejąć firmę. Myślisz, że gdyby
taka Toyota stanęła na skraju bankructwa z powodu serii wyjątkowo
katastrofalnych usterek, to by nikt się nie pokusił o kupno akcji za bezcen?
> Bo jeśli się dobrze zastanowić, to te stracone 400 baniek nie
> zniknęło w takim sensie jak zabity człowiek, czy nawet rozbity
> samochód, tylko zmieniło miejsce pobytu, bo strata Rysia jest zyskiem
> Krzysia. Dlatego rynek jako całość jest zainteresowany tym, żeby to
> trwało dalej.
Fantazjujesz. Przed chwilą jak pisałem o tym, że te firmy zajmują się
zarabianiem pieniędzy, to ofukałeś mnie, że piszę banały, a teraz jakbyś
tego nie rozumiał. Zarabianie pieniędzy polega na tym, że działania
firmy nakierowane są na zyski własne, a nie innych graczy. Inwestorzy są
zainteresowani tym, żeby zyskiwać na firmie, w którą zainwestowali, a
nie żeby zyskiwał jakiś Krzyś.
A na rozbijających się samochodach Toyoty zyskuje Ford czy inny Fiat.
> W przypadku fakapów z jeszcze większą ilością zer (niezależnie od
> tego, jaką przyczynę mają takie fakapy, bo nie musi być techniczna),
> pomocną dłoń wyciągają całe rządy albo nawet unie międzypaństwowe, a
> sponsorami są podatnicy. Przykłady praktyczne opisano w prasie.
No jasne, bo nigdy się nie zdarzyło, żeby państwo pomagało przemysłowi
motoryzacyjnemu. Albo np. kosmicznemu.
> To jest właśnie ten brak presji na szukanie lepszych rozwiązań. Ma
> być akceptowalna jakość za akceptowalną cenę i tak właśnie jest, bo
> per saldo jest na plus a skoro tak, to wdrażanie nowych metod się nie
> opłaca. Co ciekawe, razem to napisaliśmy, tylko innymi słowami.
Nie zgodzę się, jak najbardziej jest presja na szukanie lepszych
rozwiązań i wdrażanie nowych metod. Tylko że nie ma za bardzo przesłanek
na to, że metody formalne są lepszym rozwiązaniem.
> Po co ciągniemy ten wątek, skoro od początku się ze sobą zgadzamy?
>
> Jeśli chodzi o wsadzanie programistów do więzień, to specjalnie
> napisałem dwa punkty:
>
> 1. osobiste konsekwencje 2. osobiste korzyści
>
> żeby pokazać jak one działają *razem*. To jest kij i marchewka i
> razem działają inaczej w różnych branżach. Bo o ile programistów
> nigdzie się nie wsadza, to wysokie premie za zrobienie czegoś
> szybciej niż sąsiad w pewnych branżach są a w innych ich nie ma. I
> dlatego, te dwa punkty *razem* tworzą różny poziom presji na
> stosowanie i szukanie różnych metod w różnych branżach. Po co to
> rozstrząsać, skoro to zostało opisane przez behawiorystów już dawno
> temu?
Ale te presje też wynikają z tego, że na opóżnieniach traci się
pieniądze. Jeśli wysiłek włożony w opracowanie i zastosowanie metod
formalnych kosztuje pół miliona, ale generuje opóźnienie powodujące, że
zamiast pięciu milionów nasza poprawna aplikacja zarobi półtora, to
znaczy, że koszt zastosowania metod formalnych wynosi cztery miliony, a
nie pół miliona. I o to również mi chodziło kiedy wyrażałem
przypuszczenie, że metody formalne są zbyt kosztowne, żeby być opłacalnymi.
Poza tym w instytucjach finansowych oprócz typowych aplikacji front
office, o których dyskutowaliśmy, jest wiele innych rodzajów
oprogramowania, gdzie nie ma wcale takiej motywacji, a co za tym idzie
presji na szybkie wdrażanie zmian. Jeśli już, to moje doświadczenie
wskazuje raczej na to, że w wielu przypadkach zmiany w systemach IT w
bankach potrafią trwać absurdalnie długo.
> Porozmawiajmy lepiej o programowaniu.
No to ja przecież od początku chciałem się dowiedzieć, jak to mogłoby
wyglądać od strony praktycznej, a ty mnie zbyłeś mnie opowieścią o
tablicach i flamastrach.
Następne wpisy z tego wątku
- 31.03.15 02:07 Roman W
- 31.03.15 09:05 slawek
- 31.03.15 09:56 Maciej Sobczak
- 31.03.15 12:20 g...@g...com
- 31.03.15 14:48 M.M.
- 31.03.15 16:39 g...@g...com
- 31.03.15 19:08 slawek
- 31.03.15 19:29 M.M.
- 31.03.15 19:43 M.M.
- 31.03.15 19:49 g...@g...com
- 31.03.15 19:59 slawek
- 31.03.15 20:10 slawek
- 31.03.15 20:34 g...@g...com
- 31.03.15 21:01 M.M.
- 31.03.15 23:04 slawek
Najnowsze wątki z tej grupy
- 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??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
Najnowsze wątki
- 2025-01-17 Zniknął list gończy za "Frogiem". Frog się nam odnalazł?
- 2025-01-17 Kto wytłumaczy "głupiemu" prezydentowi Dudzie wielką moc prawną "dekretu premiera" TUSKA? [(C)Korneluk (2025)]
- 2025-01-17 Warszawa => Inżynier oprogramowania .Net <=
- 2025-01-17 Natalia z Andrychowa
- 2025-01-17 Gliwice => Business Development Manager - Dział Sieci i Bezpieczeńst
- 2025-01-17 Warszawa => System Architect (Java background) <=
- 2025-01-17 Warszawa => Full Stack .Net Engineer <=
- 2025-01-17 Gliwice => IT Expert (Network Systems area) <=
- 2025-01-17 Lublin => Programista Delphi <=
- 2025-01-17 Warszawa => Developer .NET (mid) <=
- 2025-01-17 Ostrów Wielkopolski => Konsultant Wdrożeniowy Comarch XL/Optima (Ksi
- 2025-01-17 Katowice => Senior Field Sales (system ERP) <=
- 2025-01-17 Wróblewo => Analityk finansowy <=
- 2025-01-17 Żerniki => Specjalista ds. Employer Brandingu <=
- 2025-01-17 pradnica krokowa