Re: Test porównawczy j?zyków programowania - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › [newbie] Test porównawczy języków programowania › Re: Test porównawczy j?zyków programowania

Path: news-archive.icm.edu.pl!news.icm.edu.pl!not-for-mail
From: Wit Jakuczun <w...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Test porównawczy j?zyków programowania
Date: Tue, 11 Jan 2011 09:52:57 +0100
Organization: Dzial Sieciowy ICM, Uniwersytet Warszawski
Lines: 24
Message-ID: <igh5pd$au3$1@news.net.icm.edu.pl>
References: <6...@w...googlegroups.com>
<q...@4...com>
<3...@j...googlegroups.com>
<igaetq$hub$1@news.onet.pl> <g...@4...com>
<igd793$rjj$1@news.onet.pl> <igfhpt$icn$1@news.onet.pl>
<f...@4...com> <igfk49$qlq$1@news.onet.pl>
<igfm1s$bnh$1@news.net.icm.edu.pl> <igfpnh$g70$1@news.onet.pl>
<igfqbs$e0q$1@inews.gazeta.pl>
<l...@4...com> <igfrkj$n17$1@news.onet.pl>
NNTP-Posting-Host: dhcp-239-ppp.man.atcom.net.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: news.net.icm.edu.pl 1294735981 11203 217.197.165.239 (11 Jan 2011 08:53:01
GMT)
X-Complaints-To: u...@n...net.icm.edu.pl
NNTP-Posting-Date: Tue, 11 Jan 2011 08:53:01 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; pl; rv:1.9.2.13) Gecko/20101207
Lightning/1.0b2 Thunderbird/3.1.7 ThunderBrowse/3.3.4
In-Reply-To: <igfrkj$n17$1@news.onet.pl>
Xref: news-archive.icm.edu.pl pl.comp.programming:188058
[ ukryj nagłówki ]
W dniu 2011-01-10 22:53, Michoo pisze:
> W dniu 10.01.2011 21:48, A.L. pisze:
>> Podobnie z programowaniem, na przykald wspolbeiznym. Ktos to napisal
>> ze "kazdy programista ma to w malym palcu". W odpowiedzi ja zadalem
>> zadanko ktorego nikt nei rozwiazal.
> Message-ID: <iedukm$6vb$1@news.onet.pl>
> https://groups.google.com/group/pl.comp.programming/
msg/c4116dd834c7e975?hl=pl
>
> Tylko się nie raczył Pan ustosunkować do tego rozwiązania.
>
A można Twoje rozwiązanie automatycznie sprawdzić pod kątem
zakleszczenia czy zagłodzenia? No bo jeśli formalnie dowieść nie można
to należy zawierzyć empirii. Czyli albo się wywali albo nie :).

>> A teraz zadam pytanie: ilu
>> klepaczy kodu potrafi UDOWODNIC - scisle, matematycznie, ze ich
>> rozwiazanie nie bedzie mialo "zakleszczenia" (deadlock) czy nie
>> "umrze" (starvation).
> "Klepacz" tego nie musi i pewnie nie potrafi.
>
Kto to jest wg Ciebie "klepacz"?

Pozdrawiam,
Wit