Ветер
Sep. 22nd, 2017 08:45 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
andrzejn- Этот ветер - убийца. Герб, величайший и самый безжалостный древний убийца, какой только когда-либо выходил на поиски жертвы. Исполинский охотничий пес бежит по следу, нюхает, фыркает, меня ищет. Подносит холодный носище к моему дому, втягивает воздух... Учуял меня в гостиной, пробует туда ворваться. Я на кухню, ветер за мной. Хочет сквозь окно проникнуть, но я навесил прочные ставни, даже сменил петли и засовы на дверях. Дом крепкий, прежде строили прочно. Я нарочно всюду свет зажег, во всем доме. Ветер следил за мной, когда я переходил из комнаты в комнату, он заглядывал в окна, видел, как я включаю электричество. Ого!
- Что случилось?
- Он только что сорвал проволочную дверь снаружи!..
Р.Бредбери. Ветер
Пойд... подъём
Sep. 15th, 2017 08:44 amandrzejnЧтобы как следует проснуться, собраться (во всех смыслах), позавтракать и это вот всё, и потом хорошо себя чувствовать, мне нужно просыпаться за два часа до выхода из дома (приёма гостей, сеанса по скайпу). В хорошие дни укладываюсь в полтора, но в плохие двух часов хватает только впритык. Если выходить в жизнь надо рано, то лучше поставить будильник на час раньше, чем попытаться втиснуть все сборы в один час. И это я живу один, без детей и домашних животных.
Человеку нужен человек
Sep. 14th, 2017 02:50 pmandrzejnМы, любопытные потомки обезьян, вынуждены постоянно искать новизну, иначе нам становится скучно.
Самый дохлый вариант - ограничиваться собственным воображением. Бессознательное, конечно, старается подкидывать сюрпризы, а потом удивляется тому, во что разум превращает простые импульсы, но эта система всё-таки замкнутая и бедная. Приходится дополнять её внешним миром. Внешний мир разнообразен, но (если не углубляться в теорфизику и молекулярную биологию) достаточно прост и предсказуем. А наши мозги за миллион лет эволюции натренировались быстро находить в природе существенные закономерности. И нам опять становится скучно. Приходится путешествовать и лазить в стрёмные места. Животные - уже интереснее.
Труднее всего предсказывать системы, которыми управляет мозг вроде нашего. Другие люди (пока искусственные интеллекты нас ещё не превзошли) - единственный гарантированный источник вечного изумления. Не считая взаимной заботы и взаимопомощи, отношения нам нужны именно для этого.
Только другой человек способен дать человеку неистощимый поток непредсказуемых проблем.
Самый дохлый вариант - ограничиваться собственным воображением. Бессознательное, конечно, старается подкидывать сюрпризы, а потом удивляется тому, во что разум превращает простые импульсы, но эта система всё-таки замкнутая и бедная. Приходится дополнять её внешним миром. Внешний мир разнообразен, но (если не углубляться в теорфизику и молекулярную биологию) достаточно прост и предсказуем. А наши мозги за миллион лет эволюции натренировались быстро находить в природе существенные закономерности. И нам опять становится скучно. Приходится путешествовать и лазить в стрёмные места. Животные - уже интереснее.
Труднее всего предсказывать системы, которыми управляет мозг вроде нашего. Другие люди (пока искусственные интеллекты нас ещё не превзошли) - единственный гарантированный источник вечного изумления. Не считая взаимной заботы и взаимопомощи, отношения нам нужны именно для этого.
Только другой человек способен дать человеку неистощимый поток непредсказуемых проблем.
Контракты
Sep. 14th, 2017 01:58 pmandrzejnНа описание языка Eiffel я набрёл лет двадцать назад, и сразу же влюбился в его принцип Design by Contract. Я вообще люблю, чтобы всё было описано максимально чётко: что куда можно и нельзя передавать, что откуда следует ожидать. И чтобы всё максимально проверялось как можно раньше. И в языки с нестрогой типизацией я так и не поверил. Контракты просто идеально соответствуют моему представлению о прекрасном. (Отсюда следует, что реальный мир почти всегда ужасен). Жаль, что Eiffel так и не захватил весь мир, а больше с тех пор контракты мне нигде не попадались.
Так что когда я два года назад узнал о проекте CodeContracts for .Net, я ухватился за него всеми руками. Это было в точности то, что надо. И оно показало мне уйму сомнительных мест в моём коде. А я-то думал, что пишу аккуратно... (Потом я пробовал пропускать через анализатор исходники нескольких популярных библиотек, и всегда это оказывался ад кромешный из кучи не проверенных разработчиками возможных ситуаций).
Но, блин, проект уже два года как заброшен. В VS.Net 2017 и .Net Core поддержки контрактов нет и не будет. И чем их теперь заменить? Пока что перевожу проекты на R# Code Annotations. Это не то, но хоть что-то...
Так что когда я два года назад узнал о проекте CodeContracts for .Net, я ухватился за него всеми руками. Это было в точности то, что надо. И оно показало мне уйму сомнительных мест в моём коде. А я-то думал, что пишу аккуратно... (Потом я пробовал пропускать через анализатор исходники нескольких популярных библиотек, и всегда это оказывался ад кромешный из кучи не проверенных разработчиками возможных ситуаций).
Но, блин, проект уже два года как заброшен. В VS.Net 2017 и .Net Core поддержки контрактов нет и не будет. И чем их теперь заменить? Пока что перевожу проекты на R# Code Annotations. Это не то, но хоть что-то...