-
X-Received: by 10.140.32.34 with SMTP id g31mr547575qgg.21.1427788597335; Tue, 31 Mar
2015 00:56:37 -0700 (PDT)
X-Received: by 10.140.32.34 with SMTP id g31mr547575qgg.21.1427788597335; Tue, 31 Mar
2015 00:56:37 -0700 (PDT)
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
.pl!news.nask.org.pl!newsfeed.pionier.net.pl!news.glorb.com!h15no2198823igd.0!n
ews-out.google.com!f74ni3qge.0!nntp.google.com!j5no51559qga.0!postnews.google.c
om!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Tue, 31 Mar 2015 00:56:37 -0700 (PDT)
In-Reply-To: <mfc3dv$6gp$1@srv.chmurka.net>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=31.186.238.53;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 31.186.238.53
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>
<mfc3dv$6gp$1@srv.chmurka.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c...@g...com>
Subject: Re: poprawność algorytmu
From: Maciej Sobczak <s...@g...com>
Injection-Date: Tue, 31 Mar 2015 07:56:37 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:207717
[ ukryj 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
- 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
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
Najnowsze wątki
- 2024-11-08 Belka
- 2024-11-09 pierdolec na punkcie psa
- 2024-11-09 Warszawa => Sales Executive <=
- 2024-11-09 Wrocław => SAP BTP Consultant (mid/senior) <=
- 2024-11-09 Warszawa => ECM Specialist / Consultant <=
- 2024-11-09 Warszawa => Senior Frontend Developer (React + React Native) <=
- 2024-11-10 TVN donosi: Obywatelskie zatrzymanie policjanta (nie na służbie)
- 2024-11-08 Warszawa => Head of International Freight Forwarding Department <=
- 2024-11-08 Warszawa => Key Account Manager <=
- 2024-11-08 Szczecin => Key Account Manager (ERP) <=
- 2024-11-08 Białystok => Full Stack web developer (obszar .Net Core, Angular6+) <
- 2024-11-08 Wrocław => Senior PHP Symfony Developer <=
- 2024-11-08 Warszawa => QA Engineer <=
- 2024-11-08 Warszawa => QA Inżynier <=
- 2024-11-08 Warszawa => Key Account Manager <=