W dniu poniedziałek, 30 marca 2015 20:08:40 UTC+2 użytkownik Andrzej Jarzabek
napisał:

> Przecież nie charytatywnie, tylko żeby przejąć firmę.

Nic nie szkodzi. Ja w swoim portfelu inwestycyjnym mam podobną ilość udziałów różnych
firm inwestycyjnych właśnie po to, żeby strata Rysia i zysk Krzysia nie były
problemem, tylko co najwyżej zmianą proporcji. Zdaje się, że taka dywersyfikacja
inwestycyjna jest powszechną praktyką. Ot i cały dramat.

> Myślisz, że gdyby
> taka Toyota

Zginęli ludzie. Nie rozmawiamy o kupowaniu akcji, tylko o tworzeniu poprawnego
oprogramowania.

> A na rozbijających się samochodach Toyoty zyskuje Ford

Nie. Ford robi w gacie, bo przecież do tej pory używał dokładnie takich samych metod,
więc przypuszczalnie mają takie same problemy. Dlatego:

https://www.linkedin.com/jobs2/view/6966713

"Ford has identified the need to increase its core competency in the area of
development and verification of real-time embedded software controls using Formal
Methods."

*Has identified*. Zastanowili się nad stanem obecnym i zauważyli potrzebę. Tzn. *oni
również* zauważyli taką potrzebę.

Dokładnie o tym piszę od samego początku. O rosnącym zainteresowaniu.

Tzn. w pewnych branżach zainteresowanie rośnie a w innych nie rośnie.

> 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.

Najwyraźniej nie ma takiej potrzeby, albo się to nie kalkuluje. Od początku się w tym
temacie zgadzamy.

> moje doświadczenie
> wskazuje raczej na to, że w wielu przypadkach zmiany w systemach IT w
> bankach potrafią trwać absurdalnie długo.

Co do tego też się zgadzamy.

> > 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.

Nie. Napisałem wyraźnie, że zrobiłbym to dokładnie tak, jak opisałeś. Bo ja też umiem
liczyć.

Czy jest jeszcze jakiś punkt, co do którego się nie zgadzamy, czy można ten wątek
powoli domykać?

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com