-
Data: 2015-03-30 20:08:38
Temat: Re: poprawność algorytmu
Od: Andrzej Jarzabek <a...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie 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
- 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!!!
- 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
Najnowsze wątki
- 2025-07-17 Warszawa => Senior IT Recruitment Consultant <=
- 2025-07-17 Warszawa => IT Hardware Specialist - Wsparcie i Konfiguracja <=
- 2025-07-17 Warszawa => Przedstawiciel handlowy / KAM (branża TSL) <=
- 2025-07-16 deltaT w pompie ciepla
- 2025-07-16 dron na granicy polsko niemieckiej
- 2025-07-16 Warszawa => Senior IT Recruitment Consultant <=
- 2025-07-16 Gdańsk => Mainframe (z/OS, Assembler) Developer <=
- 2025-07-16 Gdańsk => Delphi Programmer <=
- 2025-07-16 Warszawa => BI Developer <=
- 2025-07-16 Gdańsk => Programista Delphi <=
- 2025-07-16 chroń PESEL dziecka
- 2025-07-16 Rzeszów => Spedytor Międzynarodowy <=
- 2025-07-16 Gdańsk => Konsultant wdrożeniowy (systemy controlingowe) <=
- 2025-07-16 Kraków => Kotlin Developer <=
- 2025-07-16 Warszawa => Inżynier oprogramowania .Net <=