-
Data: 2015-03-31 09:56:37
Temat: Re: poprawność algorytmu
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]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
Następne wpisy z tego wątku
- 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
- 31.03.15 23:25 g...@g...com
- 31.03.15 23:32 Andrzej Jarzabek
- 31.03.15 23:59 slawek
Najnowsze wątki z tej grupy
- 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
- ,,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
Najnowsze wątki
- 2025-07-23 Gdańsk => Programista Delphi <=
- 2025-07-23 Gdańsk => Programista Mainframe (z/OS, Assembler) <=
- 2025-07-23 Warszawa => Starszy inżynier DevOps (AWS) <=
- 2025-07-23 Gdańsk => Mainframe (z/OS, Assembler) Developer <=
- 2025-07-23 Kraków => Senior Fullstack Engineer (Low-Code Platform) <=
- 2025-07-23 Wrocław => Senior Key Account Manager IT <=
- 2025-07-23 Trójmiasto => Head of Social Media <=
- 2025-07-23 Rzeszów => Spedytor Międzynarodowy <=
- 2025-07-23 Lublin => ERP Implementation Consultant (AP Module) <=
- 2025-07-23 Środa Wielkopolska => SAP FI/CO Internal Consultant <=
- 2025-07-23 Warszawa => Inżynier oprogramowania .Net <=
- 2025-07-23 Kraków => Kotlin Developer <=
- 2025-07-23 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-07-23 Warszawa => Java Developer <=
- 2025-07-23 Wrocław => Konsultant wdrożeniowy (systemy controlingowe) <=