Aleksei (astynax)
Заранее знать, что пишешь объективно плохой язык, это что-то из разряда развлечений для любителей боли
A64m
Пишут обычно хорошие языки, которые получаются плохими
пишут языки, которые по замыслу автора должны ему понравится, это не то же самое, что хорошие
Aleksei (astynax)
"Хорошесть" - субъективщина, кто же спорит? :)
Denis
что делать если в TF потенциальный оверлап в кайнде *?
Denis
Это как-нибудь решили? Я опять на эти грабли наступил
Denis
должно же работать с закрытыми, блин, не понимаю ничего 🙁
Alexander
нифига, там аксиомки
Alexander
не все работает
Denis
чего-нибудь понятнее этого есть https://wiki.haskell.org/GHC/Indexed_types#Type_instance_declarations ?
Denis
я каждый раз прихожу в этот линк и фрустрирую в него
Denis
уже который раз эта проблема
Denis
алсо там поликайндный паттерн все же
Denis
@qnikst вообще закрытые типосемьи для того чтобы решить проблему с оверлаппингом и завезли
Aliester
закрытая типосемья звучит как секта
Alexander
блин тупой Билайн не хочет продлевать быстрый интернет и сижу как идиот с 64кб/с
Alexander
как на модеме блин
Нур
кто может помочь с исследованием ряда сходимости.
Нур
?
Евгений
Извините, не удержался
A64m
НА МОДЕМЕ (не adsl) ТАКОЙ СКОРОСТИ НЕ БЫВАЛО НИКОГДА
a66ath
56 максимальная
A64m
у меня и 56 никогда не было
A64m
28.8 если повезет
Евгений
Я помню, что как только GPRS появился у меня, я слез с диалапа на жопорез
Крылатый
Эх
Крылатый
Dial Up -> ADSL -> Eth
Kirill
Браузер тоже никто писать не будет
https://github.com/k0ral/hbro
https://hackage.haskell.org/package/web-browser-in-haskell
так что про "никто" яб не горячился
Alexander
dial up (только p2p по городу)-> eth
Alexander
hbro и прочее это морды вебкита
Aleksei (astynax)
https://github.com/k0ral/hbro
https://hackage.haskell.org/package/web-browser-in-haskell
так что про "никто" яб не горячился
странных людей много, но конкурентоспособный браузер всяко никто ещё не написал
Kirill
@astynax пошли допусловия? :)
Aliester
конкурентоспособный браузер это миллионы на маркетинг и качественно новый взгляд
Aliester
девелопмента там мало
Aleksei (astynax)
Я могу взять wget, обернуть в выкидывание разметки и подхват ссылок и сказать, что это "текстовый браузер". Нормальным браузером это поделие не станет, конечно
Leonid 🦇
brave и криптовалюты!
A64m
я вообще поздно перешел adsl -> eth может лет 5-6 назад только (одноподъездный дом в который не очень-то хотели что-то тянуть)
Aliester
Aliester
Aliester
это конечно не киберпанк, но примерно об таком я говорю
Евгений
И что поменялось с 18'ого века?
Aliester
мы получили силу, о которой и не мечтали наши отцы
Евгений
Будто чем-то отличается окружённость компьютерами при тотальной бедности и окружённость паровыми станками при тотальной бедности
Евгений
Ты говоришь языком революционных демократов эпохи ВФР
Сергей
Много ли людей желают Знать?
Aliester
рано или поздно мы придем к коммунизму иил к постапокалипсису
A64m
Будто чем-то отличается окружённость компьютерами при тотальной бедности и окружённость паровыми станками при тотальной бедности
все же тотальная бедность образца 19-го века с нынешней не сравнить
Сергей
в смысле что по потребностям людей - и качество их жизни
Сергей
тотальная бедность - это только грань общей характеристики жизни
Aliester
суть в том что повальная роботизация и информатизация всех областей экономики вкупе с безусловным доходом может дать нам очень мощный скачок в развитии
Евгений
Бедность была гранью общей характеристики, не будь она тотальна
Aliester
или приведет к Вселенной 25
Leonid 🦇
пинганите когда соберетесь с вилами и факелами
Aliester
луддитами надо стать
A64m
суть в том что повальная роботизация и информатизация всех областей экономики вкупе с безусловным доходом может дать нам очень мощный скачок в развитии
нам - нет. безусловный доход в дем.странах будет а нас просто на мороз выкинут
Евгений
суть в том что повальная роботизация и информатизация всех областей экономики вкупе с безусловным доходом может дать нам очень мощный скачок в развитии
Она может дать скачок в развитии, только если её плоды пренадлежат обществу, а не узкой группе людей, служащих бездумно религии богатства
Aliester
нас - славян?
Евгений
Нас — второй/третий мир
A64m
тут деление не по славянам/не славянам
Сергей
Сергей
на самом деле
Aliester
зачем тебе наука?
Aliester
зачем богатство?
Alexander
экзестенциальный чятик
Aliester
это средства а не цели
Leonid 🦇
чтобы жрать повкуснее и не работать. зачем еще?
Сергей
Науке - это как например, в университете диссертации писать?
Aliester
исследовать звезды как в Обитаемом Острове
Евгений
Науке - это как например, в университете диссертации писать?
Я бы писал диссертации, если бы смог на полученные деньги прожить
Alexander
готовиться воевать с островной империей
Сергей
Но это же не Наука
Alexander
а что такое Наука?
Leonid 🦇
Храм Науки, где приносят в жертву студентов.
Leonid 🦇
желательно девственных
Yurii