January 9th, 2017

Dr.Strangelove

формальное доказательство невозможности

Кстати отопительная задача хорошо иллюстрирует общую довольно ситуацию когда "теоретические соображения" о невозможности решения проблемы на деле не доказывают ничего - просто потому что формализация не соответствует реальной задаче - ну таки да - за исключением тепловых насосов все остальные приборы перегонят одинаковое количество киловатт в одинаковое количество калорий.

но уже даже на уровне формализации типа "заданная температура воздуха возникают нюасны типа того что радиатор под окном в более значительной степени "греет улицу" (хотя да - комфортнее) - скажем воздушный занавес тут энергетически эффективнее.

А при внимательном рассмотрении оказывается и что задача "поддержания комфортного теплового режима в помещении" никак не равна поддержанию конкретной температуры. С освещением кстати тоже самое.

такого вообще много - например я охладел к науке про алгоритмическю разрешимость после того как осознал, что то что задача разрешима алгоритмически совершенно не значит что она разрешима практически и наоборот - есть куча задач, неразрешимых алгоритмически, которые однако практически решаются поседневно рутинным образом - ну примера для - трансляция большинства макроассемблеров и многих языков высокого уровня.

Так что по мне так ответ как раз Федора Симеоновича на вопрос КХ Хунты "что делать с задачей, которая не имеет решения" довольно тривиален - "если она зачем-то нужна - решать"
Gen.Turgidson

Еще отопительное

Кстати во вчерашнем обсуждении вылез еще один стереотип - что самый комфортный способ обогрева тушки - конвекцией. Хотя все прекрасно знают, что погреть бока на солнышке даже в прохладном воздухе куда приятнее, чем при пасмурной теплой погоде.

Причин много - одна из них подозреваю, связана тем, что получается именно что точечное (точнее поверхностное) замещение расхода энергии организма на поддержание температуры тела - эффект поверхностного подогрева тушки в общем близок к эффекту от одежды.
Gen.Turgidson

Когтевран! Когтевран!

Я по итогам опыта с Sylpheed переполз на "когтепочту" (claws-mail) - коя форк того же самого, но значительно прилизаннее в вопросах неблокирования на долгих операциях. Ну и по фичам вылизаннее.

Так вот там есть очень полезная фича - он умеет не только спам перекладывать в специально обученный ящик, но и имеет возможность задать куда складывать письма, которые он на спам только подозревает, но "не уверен".

Приятель, когда я с ним поделитлся сразу выдал "subj! subj!"

PS: Хотя на деле - то что мне на самом деле надо - это что-то вроде fetchmail, только умеющего работать с imap как с imap, а не как с версией pop3 (что в fetchmail) - то есть синхронизировать локальную почтовую базу с imap-сервером (то что входит в комплект умений большинства графических почтовых клиентов).