но ко второму этапу плана не переходят почему-то

откуда тогда все эти языки?

Заранее знать, что пишешь объективно плохой язык, это что-то из разряда развлечений для любителей боли

Пишут обычно хорошие языки, которые получаются плохими

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

"Хорошесть" - субъективщина, кто же спорит? :)

что делать если в TF потенциальный оверлап в кайнде *?

Это как-нибудь решили? Я опять на эти грабли наступил

должно же работать с закрытыми, блин, не понимаю ничего ?

нифига, там аксиомки

не все работает

чего-нибудь понятнее этого есть https://wiki.haskell.org/GHC/Indexed_types#Type_instance_declarations ?

я каждый раз прихожу в этот линк и фрустрирую в него

уже который раз эта проблема

алсо там поликайндный паттерн все же

@qnikst вообще закрытые типосемьи для того чтобы решить проблему с оверлаппингом и завезли

закрытая типосемья звучит как секта

блин тупой Билайн не хочет продлевать быстрый интернет и сижу как идиот с 64кб/с

как на модеме блин

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

?

Извините, не удержался

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

Пролапиталь. Работает в 99% случаев

НА МОДЕМЕ (не adsl) ТАКОЙ СКОРОСТИ НЕ БЫВАЛО НИКОГДА

56 максимальная

у меня и 56 никогда не было

28.8 если повезет

Я помню, что как только GPRS появился у меня, я слез с диалапа на жопорез

Эх

Dial Up -> ADSL -> Eth

Браузер тоже никто писать не будет

https://github.com/k0ral/hbro https://hackage.haskell.org/package/web-browser-in-haskell так что про "никто" яб не горячился

dial up (только p2p по городу)-> eth

hbro и прочее это морды вебкита

https://github.com/k0ral/hbro https://hackage.haskell.org/package/web-browser-in-haskell так что про "никто" яб не горячился

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

@astynax пошли допусловия? :)

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

девелопмента там мало

Я могу взять wget, обернуть в выкидывание разметки и подхват ссылок и сказать, что это "текстовый браузер". Нормальным браузером это поделие не станет, конечно

brave и криптовалюты!

я вообще поздно перешел adsl -> eth может лет 5-6 назад только (одноподъездный дом в который не очень-то хотели что-то тянуть)

это конечно не киберпанк, но примерно об таком я говорю

И что поменялось с 18'ого века?

мы получили силу, о которой и не мечтали наши отцы

Будто чем-то отличается окружённость компьютерами при тотальной бедности и окружённость паровыми станками при тотальной бедности

Ты говоришь языком революционных демократов эпохи ВФР

Много ли людей желают Знать?

Много ли людей желают Знать?

В смысле?

рано или поздно мы придем к коммунизму иил к постапокалипсису

Будто чем-то отличается окружённость компьютерами при тотальной бедности и окружённость паровыми станками при тотальной бедности

все же тотальная бедность образца 19-го века с нынешней не сравнить

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

рано или поздно мы придем к коммунизму иил к постапокалипсису

Или вымрем

тотальная бедность - это только грань общей характеристики жизни

суть в том что повальная роботизация и информатизация всех областей экономики вкупе с безусловным доходом может дать нам очень мощный скачок в развитии

Бедность была гранью общей характеристики, не будь она тотальна

или приведет к Вселенной 25

пинганите когда соберетесь с вилами и факелами

луддитами надо стать

суть в том что повальная роботизация и информатизация всех областей экономики вкупе с безусловным доходом может дать нам очень мощный скачок в развитии

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

суть в том что повальная роботизация и информатизация всех областей экономики вкупе с безусловным доходом может дать нам очень мощный скачок в развитии

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

нас - славян?

Нас — второй/третий мир

тут деление не по славянам/не славянам

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

Чему ещё мог бы служить человек?

на самом деле

ERROR: S client not available

Чему ещё мог бы служить человек?

Науке

зачем тебе наука?

зачем богатство?

экзестенциальный чятик

это средства а не цели

чтобы жрать повкуснее и не работать. зачем еще?

чтобы жрать повкуснее и не работать. зачем еще?

а вот тут уже ближе к целям

Науке - это как например, в университете диссертации писать?

исследовать звезды как в Обитаемом Острове

Науке - это как например, в университете диссертации писать?

Я бы писал диссертации, если бы смог на полученные деньги прожить

готовиться воевать с островной империей

Но это же не Наука

а что такое Наука?

Храм Науки, где приносят в жертву студентов.

желательно девственных

желательно девственных

Это про наполнение их голов?)

в жертву кому?

заставляя их грызть гранит до смерти?

богине Науке.

Науке

Но это же не Наука

Это форма, в которой проявляется наука

почему людей притягивает наука?

Идеально - наука, познание себя и мира, цели, которые провозглашал СССР - развитие человека сознательного

Это про наполнение их голов?)

ну можно и так, конечно

Идеально - наука, познание себя и мира, цели, которые провозглашал СССР - развитие человека сознательного

но как всегда цели проекта резко разошлись с реальностью

но почему-то люди, какие есть сейчас таким целям следовать не могут, не можем.

но как всегда цели проекта резко разошлись с реальностью

да

Идеально - наука, познание себя и мира, цели, которые провозглашал СССР - развитие человека сознательного

почему писать диссеры это не это же?

но почему-то люди, какие есть сейчас таким целям следовать не могут, не можем.

как это не могут-то? В развитых странах вполне могут и следуют

смешно

нет конечно же

как это не могут-то? В развитых странах вполне могут и следуют

не долго им осталось