beldmit: (Человеческое лицо)
[personal profile] beldmit
Карфри

Очень удачная словесная находка на мой вкус.

Date: 2011-11-15 08:46 am (UTC)
From: [identity profile] arkanoid.livejournal.com
я честно не вижу, какая мне с этих благ цивилизации польза.

оверхед и еботу вижу сразу, а польза неочевидна.

Date: 2011-11-15 08:47 am (UTC)
From: [identity profile] alexkuklin.livejournal.com
Ага, понимаю.
Но ты - не идейный, просто в твою схему использования оно не ложится, равно как не ложится - и ты не пользуешься.

Date: 2011-11-15 08:48 am (UTC)
From: [identity profile] beldmit.livejournal.com
Блин! Так и в мою не ложится. Просто я про это иногда пишу.

Date: 2011-11-15 09:05 am (UTC)
From: [identity profile] shaman007.livejournal.com
Тебя просто не заводит звук двигателя. При этом прокатиться на Тохе в Питер ты не отказываешься.

ЗЫ

А еще у тебя есть мопед!

Date: 2011-11-15 09:23 am (UTC)
vitus_wagner: My photo 2005 (Default)
From: [personal profile] vitus_wagner
А блага цивилизации они все такие. Ну вот спросили бы меня лет 30 назад "нахрена мне дома компьютер". Или 20 лет назад "нахрена мне мобильный телефон".

Оверхед видно сразу. А пользу - распробовать надо.

Date: 2011-11-15 09:26 am (UTC)
From: [identity profile] beldmit.livejournal.com
Витус, в случае твоего Селижарова я вижу не пользу, а компенсацию неудобства инфраструктуры, когда поезда отменили. Если я правильно помню.

20 лет назад я точно знал: на компьютере есть игры.
8 лет назад я купил мобильник: появились халтуры, которые окупали тот мобильник. Нине мобильник был куплен на полгода раньше, потому что я хотел знать, где она находится.

Date: 2011-11-15 09:33 am (UTC)
vitus_wagner: My photo 2005 (Default)
From: [personal profile] vitus_wagner
Понимаешь ли, отмена поездов сейчас практически компенсирована появлением автобусов. Но Ватсон уже не мог обходиться без трубки. 350 км попадает как раз в тот интервал расстояний, когда на машине это еще commuting, а на ОТ - уже путешествие (поскольку надо по Москве доехать на ОТ до Тушина или Комсомольсокй площади, а это уже одна пересадка, там вторая пересадка, и еще от Селижарова 15км на такси, или кто-то с машиной тебя встречать должен).

Поездка на автобусе меня выматывает сильнее, чем поездка за рулем.

Плюс к тому, поездку за рулем я по крайней мере половину года могу спланировать так, чтобы приехав, сразу завалиться спать. А поездку на ОТ - нет.

Date: 2011-11-15 09:35 am (UTC)
From: [identity profile] beldmit.livejournal.com
Ну так я и говорю. Дисфункция ОТ. В поезде ты бы на полке валяться мог.

Date: 2011-11-15 09:55 am (UTC)
vitus_wagner: My photo 2005 (Default)
From: [personal profile] vitus_wagner
Что характерно, на таких расстояниях поезда с полками понемного заменяются на сидячие вагоны, в которых точно такие же кресла, как и в автобусе. Это тоже дисфункция ОТ, или все-таки признак того, что на таких временных отрезках кресло удобнее полки?

Date: 2011-11-15 09:57 am (UTC)
From: [identity profile] beldmit.livejournal.com
Скорее что полок в вагон влезет меньше, чем кресел.

Вообще зависит от. Весной в Ярославль я ехал на полке плацкарта (с больной спиной, которую слегка об ту полку поправил), а из Ярославля - в кресле. Но я в кресле, если убит не в ноль, спать не могу, а на полке могу.

Date: 2011-11-16 07:48 am (UTC)
From: [identity profile] besm6.livejournal.com
Если при этом поезд ускоряют - да. В остальном - как сказал Дима. Кресло нормально до 4 ч, дальше уже хочется лечь либо встать и пойти. "Энто я тебе, голуба, говорю как краевед".

Поэтому до Питера в "Сапсане" кресло - это нормально, а до Осташкова на пассажирском, что вдвое ближе, но вдвое дольше - нет.

Date: 2011-11-16 07:39 am (UTC)
From: [identity profile] besm6.livejournal.com
Причем я со своими регулярными разъездами именно так и делаю. Более того, я там еще и работаю, и ради этого предпочитаю купе. Окупается, извините за каламбур.

Trolling on

Date: 2011-11-15 09:29 am (UTC)
From: [identity profile] beldmit.livejournal.com
Да, а благо цивилизации - ООП и высокоуровневые фреймворки - ты так и не признал :-)

Trolling continuation

Date: 2011-11-16 07:50 am (UTC)
From: [identity profile] besm6.livejournal.com
С точки зрения человека, въезжающего, наконец, в Хаскель - каменный век эти ваши ООП. Технологии уровня троглодитов.

Re: Trolling continuation

Date: 2011-11-16 07:52 am (UTC)
From: [identity profile] beldmit.livejournal.com
Я правильно понял, что у тебя этот въезд занял чуть более года?..

Re: Trolling continuation

Date: 2011-11-16 11:05 am (UTC)
From: [identity profile] besm6.livejournal.com
Полтора. В двадцать лет это надо было делать. Ну, в 25... И ведь было уже всё...

Re: Trolling continuation

Date: 2011-11-16 11:15 am (UTC)
From: [identity profile] beldmit.livejournal.com
Я сейчас мучительно продираюсь через теорию типов.

Re: Trolling continuation

Date: 2011-11-16 11:45 am (UTC)
From: [identity profile] besm6.livejournal.com
К теории в этом месте я еще даже не подходил. Я осваиваюсь с практикой применения. Это тоже очень отдельная песня. С теорией, пожалуй, песня будет на более знакомую мелодию. А вот выработка интуиции на тему "тут будет уместен инстанс Applicative"...

Re: Trolling continuation

Date: 2011-11-20 05:26 am (UTC)
From: [identity profile] aywen.livejournal.com
Полтора - это до какой стадии? Писать что-то осмысленное или понимать тонкости?

Re: Trolling continuation

Date: 2011-11-20 06:11 am (UTC)
From: [identity profile] besm6.livejournal.com
Год из этих полутора я пишу осмысленное. Но до "понимать тонкости" тоже еще далеко. Скажем так, я начал понимать парадигму на практике. Парадигма там формулируется просто - "Functional programming is like describing your problem to a mathematician. Imperative programming is like giving instructions to an idiot." А вот практическое ее понимание, ага, требует возвращения мышления к математическому, малость утраченному за 20 лет, и владения математическими понятиями, прошедшими мимо меня во время моего образования.

У нас теорию категорий не очень любили. Типа, заумь с непонятным применением... А через год после моего выпуска из аспирантуры язык программирования, где оперируют именно этим, был ... нет, не придуман. Стандартизован. А сейчас рядом уже дают практичный язык программирования с автоматическим доказательством программы, которую он согласился скомпилировать.

Profile

beldmit: (Default)
Dmitry Belyavskiy

December 2025

S M T W T F S
 123456
78910111213
14151617181920
2122 2324252627
28 293031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Dec. 30th, 2025 04:47 am
Powered by Dreamwidth Studios