В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

haskell_blah

262 membersпожаловаться на группу
2020 May 17

АГ

Александр Гранин... in haskell_blah
Roman
@graninas видел https://github.com/FreeProving/free-compiler ?
Не, не видел, спасибо
источник
09:08пожаловаться#1

АГ

Александр Гранин... in haskell_blah
Roman
хотя наверное иррелевантно, я там фримонады нашел только на стороне Кока: https://github.com/FreeProving/free-compiler/blob/d481b80f95d69e015a07024d649d385c29e16ca7/base/Free/Monad.v

и как полагается, это не хаскельная фримонада, а типотеоретическая
Окей
источник
09:08пожаловаться#2

АГ

Александр Гранин... in haskell_blah
Вопрос к коллективному разуму. Есть ли тулзы, выкачивающие чаты телеграма?
источник
09:51пожаловаться#3

D

Dreamerinnoise in haskell_blah
Александр Гранин
Вопрос к коллективному разуму. Есть ли тулзы, выкачивающие чаты телеграма?
эта не подойдёт?
источник
09:56пожаловаться#4

АГ

Александр Гранин... in haskell_blah
Dreamerinnoise
эта не подойдёт?
Гм, не знал, что так можно, спасибо
источник
10:03пожаловаться#5

АГ

Александр Гранин... in haskell_blah
Dreamerinnoise
эта не подойдёт?
Только я не вижу, где эта опция
источник
10:04пожаловаться#6

D

Dreamerinnoise in haskell_blah
в инфе группы
источник
10:04пожаловаться#7

АГ

Александр Гранин... in haskell_blah
Кажется, у меня нету
источник
10:04пожаловаться#8

АГ

Александр Гранин... in haskell_blah
Все облазил, нет такой кнопки
источник
10:05пожаловаться#9

D

Dreamerinnoise in haskell_blah
возможно такой функции нет в клиенте
источник
10:06пожаловаться#10

D

Dreamerinnoise in haskell_blah
источник
10:07пожаловаться#11

АГ

Александр Гранин... in haskell_blah
Понятно. Да, у меня не десктоп. Но гляну, спс
источник
10:07пожаловаться#12

АГ

Александр Гранин... in haskell_blah
Dreamerinnoise
👍 Любопытно, что оно там требует подтверждения. Но экспорт начался
источник
10:12пожаловаться#13

AV

Alexander Vershilov in haskell_blah
хочешь цитаты про фримонады собрать?
источник
10:16пожаловаться#14

АГ

Александр Гранин... in haskell_blah
Alexander Vershilov
хочешь цитаты про фримонады собрать?
И это тоже
источник
10:33пожаловаться#15

АГ

Александр Гранин... in haskell_blah
Выкачал блах. Прикольно. Только чат разбит на страницы, поиск по ним не такой уж удобный
источник
10:34пожаловаться#16

АГ

Александр Гранин... in haskell_blah
Зато картинки тоже выкачались, надо составить золотую подборку
источник
10:34пожаловаться#17

D

Dreamerinnoise in haskell_blah
файлы-то на руках, дальше уж можно тулзу написать для поиска
источник
10:36пожаловаться#18

AV

Alexander Vershilov in haskell_blah
links-ом их в плейнтекст переложи - будет норм искать
источник
10:58пожаловаться#19

AV

Alexander Vershilov in haskell_blah
Можно ещё и сфинксом индексировать!
источник
10:58пожаловаться#20