Алексей
И с чем угодно с подходящим кайндом
кана
ну да, так и есть, спасибо
кана
тут нужен ньютайп или именованные инстансы как в идрисе
Зигохистоморфный
и пурсе)
кана
и сообщение, что в будущем одинаковые по сигнатуре инстансы с разными именами будут запрещены
кана
указать инстанс вроде никак нельзя
Leonid 🦇
у STVar оверхед же нулевой,да?
Aleksei (astynax)
Наплыв какой-то
Dmitry
может, за фейковые ники банить авансом? понятно же, что это скоре всего спамеры
john
только сдвинь корону набок, чтоб не висла на ушах
Cheese
Dmitry
м?
Dmitry
ну посмотрим
Dmitry
правильно было бы сказать не "фейковые", а "претенциозные"
Cheese
@bourbakii — претенциозный?
Dmitry
неа
Danila Matveev
шутка про атмосферу в сообществе и его многочисленность
Alexander
такая пачка это упоминание на другом канале
Dmitry
а вот Harvey Weinstein - да
Dmitry
ну или там Дунька Кулакова, или Настя Рыбка если такие сюда зайдут
Alexander
FWIW очень часто предположение о боте и заканчиваются тем что это и в правду бот, но false negative хотелось бы избежать
Dmitry
да, телеге не хватает какой-нить капчи при регистрации
Cheese
ну или там Дунька Кулакова, или Настя Рыбка если такие сюда зайдут
когда сформулируешь определение, тогда можно будет подумать
Dmitry
ну тут плохо с определениями. тут даже и правил нет
Евгений
правильно было бы сказать не "фейковые", а "претенциозные"
Дружелюбность сообщества 10/10
Cheese
а в чём проблема? админы устали банить? я просто не успеваю увидеть спам
Евгений
да, телеге не хватает какой-нить капчи при регистрации
В жаббере была капча, так где-то до сих пор валяется код L29Ah по её взлому
Danila Matveev
удалять априорно без ошибок нельзя
удалять в момент нарушения без ошибок (почти без ошибок) можно
Danila Matveev
автоматически*
Dmitry
что бы удалять в момент, надо читать конфу в этот момент
Евгений
Ну можно какую-нибудь общую бд спамеров завести
Danila Matveev
что бы удалять в момент, надо читать конфу в этот момент
я дополнил, что имелось ввиду автоматическое удаление
Dmitry
@elemir90 да бессмысленно, я так понимаю, регистрация аккаунтов ничего не стоит
Danila Matveev
Ну можно какую-нибудь общую бд спамеров завести
работает почти никак
редко с одним айдишником бота заводят в разные каналы
Leonid 🦇
Дай админов ещё кому, если спама много.
Dmitry
а я не могу
Dmitry
owner может, наверное
Leonid 🦇
Мне не давай, я половину токсичных побаню
Cheese
автоматику можно тоже подчинить ботам. например, Фэйсбук банит честного человека, если достаточно много ботов на него пожалуется
Leonid 🦇
А кто овнер?
Dmitry
не помню, но по моему, он давно на конфу забил. может, теперь @qnikst ?
Dmitry
по крайней мере рядом с его ником пишется "admin"
Alexander
разве, сейчас посмотрю
Alexander
не, не могу во всяком случае с телефона
Alexander
owner Alex
Danila Matveev
автоматику можно тоже подчинить ботам. например, Фэйсбук банит честного человека, если достаточно много ботов на него пожалуется
да, но пока нет
сейчас все боты достаточно тупы (им еще нет смысла эволюционировать)
в группе скалки за пару месяцев использования бота-вахтера спам сошел на нет, изредка бывает какая то фигня но ради этого лень снова бота включать
Евгений
@elemir90 да бессмысленно, я так понимаю, регистрация аккаунтов ничего не стоит
А можно разве несколько аккаунтов на один телефон зарегать?
Dmitry
не знаю. не, так-то они не очень докучают
Danila Matveev
А можно разве несколько аккаунтов на один телефон зарегать?
нет, но сейчас есть сервисы с одноразовыми номерами
Dmitry
какой смысл рекламировать что-то хаскеллистам
Proof:
я в этом сообщении ничего не утверждал, только спрашивал
Я не понял вопроса => пытаюсь его уточнить
Alexander
это был вопрос к Диме, по поводу какого ид ников у него возникли подозрения
Alexander
а SL_2 хорошая группа
Cheese
это был вопрос о критериях претенциозности
Dmitry
можно пари заключать, кстати
Dmitry
или нейронку обучить
Слава
не знаю, я пытаюсь понять тезис о прекрасном го
Он читабелен.
Он прост.
У него есть gc, но он компилируется в натив и очень быстро.
Его синтаксис и сама структура текста очень легко читается(1), и обвешена всякими линтерами(2), заставляющими сохранять правильную структуру текста (3)
Наконец, всё это активно продвигается большой корпорацией, на которую многие др... активно ей восхищаются, а она знает, как вызвать восхищение.
(1) когда-то, когда айти ещё занималось делами важными и полезными (показ котиков в бесконечной ленте к этим делам не относится), проводились исследования продуктивности. И таки выяснилось, что паскалеподобная Ада создаёт - на больших проектах - меньше ошибок, чем на лапшеподобной сишечке. Да, синтаксис имеет значение. В принципе, авторы Go могли бы просто прикрутить gc к Аде, но как же nih-синдром? Да и работы там в чем-то больше (хотя патч есть), и писать на ней не модно, народ противиться будет, проще создать новую моду, чем ломать старую.
(2) Господа нахеры (см. анекдот: мама, я не нахер, я хакер!) сколько угодно могут твердить, что IDE не нужно. Разумеется, они неправы, но переубеждать людей очень сложно. Поэтому вместо IDE им дали железного фашиста с палкой - линтер. Пусть они сколь угодно криво пишут в своей чОрной консоли, все равно потом линтер им укажет, где они неправы, и им придётся руками переписывать - ide же они не признают, ну так пусть поработают, потрудятся, энергии и энтузиазма у юных хакеров всегда хватало.
(3) Да, здесь содержится утверждение, что существует объективно правильная структура, наиболее читабельная для людей. Самовыражовываться с ней не получится, зато всем будет ясно, что тут написано.
Cheese
> Самовыражовываться с ней не получится
> зато всем будет ясно, что тут написано.
противоречие же. как можно написать понятно, если нет средств соответствующего уровня абстракции?
Dmitry
гуглом никто не восхищается уже лет десять, наверное.
Слава
Dmitry
go, кстати, такой убогий по той же причине, что и си. всему виной человеческий фактор
Dmitry
т.е у каждой проблемы есть имя и фамилия
Слава
т.е у каждой проблемы есть имя и фамилия
Есть средства, от которых вреда больше, чем пользы. Как например, в самолёте некий рычаг, который летчики рукавом задевали, случайно, и от того были неприятности. Можно конечно приказать "а вы не задевайте", но в итоге рычаг просто переставили в другое место.
Dmitry
а судьи-то кто?
Dmitry
кто решает, от чего есть проблемы, от чего нет проблемы
Dmitry
ригидные старпёры с самомнением?
Dmitry
интересно, если Страуса с Пайком бы вовлечь в дискуссию, что бы получилось
Dmitry
в принципе, тем, чем пытается стать go, пытались стать плюсы
Зигохистоморфный
я бы за go уже банил бы
Dmitry
да лан, нормально