История и астрономия изначально совершенно разные науки, с разными объектами исследования — вы упоролись оба их всерьез сравнивать сейчас?

ну ок, с машиной времени объявим историю наукой (раз это вопрос "технический")

Естественно, там и методы будут иными

ну ок, с машиной времени объявим историю наукой (раз это вопрос "технический")

при такой логике и астрономию без машины времени наукой считать нельзя

Можно, потому что в астрономии есть периодичность, и если пропустить наблюдение из прошлого, можно делать эквивалентное

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

второй раз сегодня вспоминаю Азимова и Foundation. Психоистория Хэри Сэлдона была наукой, потому что он с её помощью мог участвовать в построении будущего, реальности

На самом деле всё рассчитывылось

но не в чятике

Последняя неделя года, работать не положено.

что тут 31 будет..

"предсказательная способность" это отдельная история, с этим во многих науках не все радужно

что тут 31 будет..

все будут доделывать дела, делать салаты, покумать напитки и т.п.?

в общем будет тихий и спокойный чятик

в хаскель вики семейства часто проводят параллели с тайпклассами Это полезная аналогия или просто простой способ понимания?

неинъективно и то и другое

Потому что я тупо не могу увидеть нормальной параллели между этими двумя вещами, но вроде как понимаю и то, и то, лишь немного общих свойств типа открытости

> Это полезная аналогия или просто простой способ понимания? Не полезная

в общем будет тихий и спокойный чятик

судя потому с какой скоростью тут появляются сообщения даже в будние дни - местные хаскелисты с удовольствием будут затирать про научные подходы во всех/любых областях не связанных с хаскелом даже в 00:00

Классы надо сравнивать с обычными data

судя потому с какой скоростью тут появляются сообщения даже в будние дни - местные хаскелисты с удовольствием будут затирать про научные подходы во всех/любых областях не связанных с хаскелом даже в 00:00

если больше нечем заняться

но там семьи, друзья, поспать наконец

или кто-нибудь не вбросит очередное "хаскель медленный, я на питоне сделал быстрее"

data Monoid a = MkMonoid { mempty :: a, mappend :: a -> a -> a } monoidSum :: Monoid Int monoidSum = MkMonoid 0 (+) class Monoid a where mempty :: a mappend :: a -> a -> a instance Monoid Int where mempty = 0 mappend = (+)

или кто-нибудь не вбросит очередное "хаскель медленный, я на питоне сделал быстрее"

и тогда хаскель чятик превратится в С/С++ чатик истинных извращений :)

или кто-нибудь не вбросит очередное "хаскель медленный, я на питоне сделал быстрее"

нужно чтобы программка была

ну естественно)

у меня есть некоторое желание переизобрести гошный пушер, никто не хочет?

data Monoid a = MkMonoid { mempty :: a, mappend :: a -> a -> a } monoidSum :: Monoid Int monoidSum = MkMonoid 0 (+) class Monoid a where mempty :: a mappend :: a -> a -> a instance Monoid Int where mempty = 0 mappend = (+)

ну реализовывать тайпклассы через дату можно, но достаточно ли это чтобы сказать, что их нужно сравнивать? То есть тут теряется свойство подстановки нужного инстанса компилятором, все инстансы нужно передавать явно

на каникулах

> То есть тут теряется свойство подстановки нужного инстанса компилятором, все инстансы нужно передавать явно В этом и вся разница. А вот с data/type families как раз труднее найти похожести, а не разницу

может речь о сходстве фундепов с ТФ?

Такое сходство есть, да

фундепы я пока не могу понять в принципе, выглядит как какая-то абстрактная магия типа "вот в этом типе где-то есть этот тип, знай это"

@qnikst давай запилим postgresql бэкэнд к katip

интересно, но нет

лучше stackdriver :)

кто?

гуглоклаудовая фигня

там сейчас какая-то прокся на рубях стандартная, она кривая донельзя

ну т.е. как-то работает, но когда нужен определенный маппинг свойств - то нет

вообще еще бы nixops вменяемый, а не на жуткого вида питоне

ещё я хочу в katip как-то мержить события частые

типа начали закончили, если они в окно влезают

а как - не знаю

такое надо делать на уровень выше, мне кажется

код который шлёт логи про это знать особо не должен, максимум флаг делать

nixops - я там не понимаю ничего

ну это так

можно на все забить и попробовать что-нить новое поучить

ats2, software foundations там попроходить

в факроии ядерную бомбу таки сделать

а ты тапл на расте прорешал?

нет

вот, тапл на расте продолжить

у меня неожиданно -2 часа в среднем в дне стало

как-то все весёлое вообще не попланировать

что, организм не выдерживает 6 часов сна?

ты ещё предложи как в школе на экзаменах, ботать с 9 до 3-4 часов

я там 2 недели вроде такого режима выдержал, к экзамену по физике я мог только спать

но он простой был, хотя бы

не то что эти матаны, геометрии, алгебры

а мог просто забить

или ты уже при ЕГЭ заканчивал?

тестовый по русскому был

у нас и сочинение и ЕГЭ было

бедные дети

ЕГЭ кстати тогда очень простой был, у меня 1 балла не хватило для отл

ERROR: S client not available

учитывая что по русскому у меня было между 2 и 3

я думаю у меня по русскому было ближе к 0, но ничего, 3 поставили

@lonokhov учитывая что у меня тогда уже было поступление в СПбГУ нахаляву я вообще мог как угодно здать, но это ж не интересно

сдать

а с олимпиадой там был косяк, поидее она на матмех и физфак одновременно была, но там чего-то намудрили, в итоге матмех стал не иметь право по ней принимать

а чо, стакдрайвер круче прометеусов и прочих логгинг-мониторинг сервисов которых миллионы?

это определило факультет на который я пошёл, а так я был в сомнениях

не знаю, он изкоробки на гуглоклауде

работает, ищет, логи метрики собирает интерфейс нормальный

хотя вступительные на матмех в том году простые были, я туда приезжал за одноклассников поболеть, думаю бы прошёл тоже

я поступал на физфак потому что легче было чем на математику

а я трудностей избегаю

хорошо вам умным, поступали куда хотели

а я трудностей избегаю

всё правильно делаешь

ну если бы куда хотели, то нужно было бы и в мгу сгонять

но я даже не попробовал

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

@A64m_qb0 был мы успешным явапрограммистом^W политиком?

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

занимался бы наукой в странах первого мира?

уехал бы из Россиюшки в молодости

...ушлым коммивояжером, цепким менеджером, Скучным веб-дизайнером, крупным акционером, мелким лавочником...

хотя там начинается с "Нервным программистом"

...ушлым коммивояжером, цепким менеджером, Скучным веб-дизайнером, крупным акционером, мелким лавочником...

+

впрочем, из нормального вуза меня бы выкинули на мороз

так что я все правильно сделал

быть выкинутым из вуза это надо постараться

меня и из сомнительного два (три) раза выкидывали, норм

смотря из какого

хотя хз что было когда ты учился

это шутка что-ли? На моем факультете чуть не половину выкинули

ну на нашем тоже, но половина постаралась

в среднем если не тратишь все время на работу/прочие радости жизни, то все выучишь и сдашь хоть как-то