[technology,quote,fcuk] Ещё о проблеме формальной верификации алгоритмов

Постановление ФАС Северо-Западного округа от 14.12.2005 N А05-7891/05-29

Суд признал недействительным требование ИФНС об уплате обществом пеней по налогам, поскольку в оспариваемом требовании не указаны данные, позволяющие убедиться в правомерности начисления пеней, и несмотря на неоднократные требования суда обосновать сумму пеней (по периодам и основаниям их начисления) и представить её расчет, инспекция не смогла этого сделать, сославшись на то, что расчёт произведён с помощью компьютерной программы, в силу чего его невозможно обосновать.

Via raven_hl via birda.

[quote,reading,language] Pratchett QotD — Lords and Ladies

Specially for bleys! Про Йожыга!

And then there had been the gypsy violinist. At first Nanny had complained about people playin' the fiddle while she was trying to concentrate on her eatin', but between courses she'd snatched it off the man, thrown the bow into a bowl of camellias, retuned the instrument to something approaching a banjo, and had given Casanunda three rousing verses of what, him being foreign, she chose to call ( oh yes, yes, yes! )

.