-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed2.atman.pl!newsfeed.atman.pl!.P
OSTED!not-for-mail
From: Sebastian Biały <h...@p...onet.pl>
Newsgroups: pl.comp.programming
Subject: Re: [OT] Duża kasa i kiepski wynik - dlaczego?
Date: Sun, 13 Sep 2015 21:42:22 +0200
Organization: ATMAN - ATM S.A.
Lines: 16
Message-ID: <mt4jj3$k7b$3@node2.news.atman.pl>
References: <mosvh7$bpl$1@node1.news.atman.pl> <msvaa3$15k$1@node1.news.atman.pl>
<mt0u5j$ufq$1@node2.news.atman.pl> <mt158b$rkv$1@node1.news.atman.pl>
<mt184d$8ha$1@node2.news.atman.pl> <mt1gvu$85i$1@node1.news.atman.pl>
<mt1p64$glq$1@node1.news.atman.pl> <mt1tgg$trq$1@node2.news.atman.pl>
<mt3e3l$7sf$1@node1.news.atman.pl> <mt3ha6$h7i$1@node2.news.atman.pl>
<mt3lqs$g4k$1@node1.news.atman.pl> <mt3o43$o75$1@node2.news.atman.pl>
<mt3su2$nig$1@node1.news.atman.pl> <mt44vi$5qk$1@node2.news.atman.pl>
<n...@4...net>
<mt46qe$7gm$1@node2.news.atman.pl>
<rr37jextgmd2$.1d4qeun7m65qa$.dlg@40tude.net>
<mt49h0$aac$1@node2.news.atman.pl>
<1...@4...net>
<mt4evu$fvh$1@node2.news.atman.pl> <mt4fkq$c7b$1@node1.news.atman.pl>
<mt4fsg$c7d$2@node1.news.atman.pl> <mt4h1e$drt$1@node1.news.atman.pl>
<mt4hrm$iq1$1@node2.news.atman.pl> <mt4ies$fm1$1@node1.news.atman.pl>
<mt4j49$k7b$1@node2.news.atman.pl> <mt4jaj$gfu$1@node1.news.atman.pl>
NNTP-Posting-Host: 176-115-85-233.via.zamek.net.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: node2.news.atman.pl 1442173347 20715 176.115.85.233 (13 Sep 2015 19:42:27
GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Sun, 13 Sep 2015 19:42:27 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 6.0; rv:38.0) Gecko/20100101 Thunderbird/38.2.0
In-Reply-To: <mt4jaj$gfu$1@node1.news.atman.pl>
Xref: news-archive.icm.edu.pl pl.comp.programming:208258
[ ukryj nagłówki ]On 2015-09-13 21:37, AK wrote:
> Użytkownik "Sebastian Biały" <h...@p...onet.pl> napisał:
>> Sorry taki mamy wszechświat. Soft do respiratora mozna zweryfikować
>> formalnie.
> Zadnego programu napisanemu w C++ nie mozna zweryfikowac formalnie.
> To nie Ada.
Taki się da:
int main() {}
Więc twierdzenie że żadnego jest kłamstem. Da się weryfikować znacznie
większe.
Ponadto kto Cie okłamał że soft w respiratorze jest w C++?
Następne wpisy z tego wątku
- 13.09.15 21:45 AK
- 13.09.15 21:50 Sebastian Biały
- 13.09.15 21:50 Marek Borowski
- 13.09.15 21:58 AK
- 13.09.15 22:01 AK
- 13.09.15 22:07 AK
- 13.09.15 22:22 Sebastian Biały
- 13.09.15 22:24 Sebastian Biały
- 14.09.15 01:37 Roman W
- 14.09.15 02:53 Waldek Hebisch
- 14.09.15 04:02 Waldek Hebisch
- 14.09.15 08:56 Tomasz Kaczanowski
- 14.09.15 10:16 AK
- 14.09.15 10:31 Tomasz Kaczanowski
- 14.09.15 10:38 AK
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 Nieustający podziw...
- 2025-01-17 zawsze parkuj tyłem do ulicy
- 2025-01-16 nie będzie naprawy pod blokiem?
- 2025-01-16 korytarz zycia
- 2025-01-16 Katowice => Key Account Manager (ERP) <=
- 2025-01-16 Środa Wielkopolska => Specjalista ds. public relations <=
- 2025-01-16 Poznań => Konsultant Wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-01-16 Gdańsk => Full Stack web developer (obszar .Net Core, Angular6+) <=
- 2025-01-16 Re: Bodnatura BARDZO tanio wyceniła Owsiaka. HAŃBA!
- 2025-01-16 Warszawa => Software .Net Developer <=
- 2025-01-15 Gdańsk => System Architect (Java background) <=
- 2025-01-15 Żerniki => Specjalista ds. Employer Brandingu <=
- 2025-01-15 Kraków => User Experience Designer <=
- 2025-01-15 CYA: Minister Finansów odbija piłeczkę do PKW :-) [obiektywny brak możliwości wykonania wewnętrznie sprzecznej uchwały]
- 2025-01-15 Gdańsk => Solution Architect (Java background) <=
![Sprzedaż mieszkań deweloperskich w 2024 roku [© Freepik]](https://s3.egospodarka.pl/grafika2/nowe-mieszkania/Sprzedaz-mieszkan-deweloperskich-w-2024-roku-264105-50x33crop.jpg "Sprzedaż mieszkań deweloperskich w 2024 roku [© Freepik]")
Sprzedaż mieszkań deweloperskich w 2024 roku
