Пост вышел несколько негативный, попробую добавить немного позитива.
1. По поводу просмотра списка посетителей конференции — так это не какая-то секретная дырка, а вполне стандартный запрос, который, насколько я понимаю, используется многими клиентами. Его можно заблокировать в настройках конференции.
2. Во-первых, при заходе в такую конференцию многие клиенты показывают предупреждение: room is filtered by an external service, что должно заставить посетителей кой-чего заподозрить. Ни разу не видел, чтобы фичу применяли нелегитимно, в основном всякого рода навесную защиту от ботов через неё делают.
4. История взаимоотношений jabber.ru с арабским сообществом довольно долгая и я не в курсе, что у них там за разногласия, но как минимум один раз была обнаружена дыра в нескольких клиентах сразу, которая позволяла ронять их парой арабских символов. Возможно, в сервере тоже были проблемы с перекодировками. Так что запрет на арабские буквы какое-то время был просто технической мерой, чтобы не роняли сервер (зачем он существует до сих пор — я не знаю; возможно, кто-нибудь из администрации развеет наши сомнения).
По поводу саппорта — лично у меня только позитивный опыт общения с администрацией, обычно отвечают оперативно и даже могут за пару дней по запросу починить баги в сервере. Ни разу не банили тестеров и баг-репортеров, в целом общаются в позитивном ключе.
Было бы интересно послушать про принципы более продвинутого применения этого инструмента. Как его можно использовать для верификации программ, какие шаги предпринимаются для этого? Программы переписывают с помощью Idris, или же его можно как-то натравить на исходники, написанные на других языках (или же на формальные нотации, описывающие сетевые протоколы или структуры данных)? Можно ли его внедрить для реализации каких-то критичных к правильности участков программы? Можно ли на нём сделать какие-нибудь нетривиальные штуки (например, реализовать кусочки приснопамятного SSL) и внедрить их в продакшен?
Тема статической верификации очень интересна и, на мой взгляд, актуальна, но простого доступного материала, к сожалению, очень и очень мало.
Устоявшегося перевода этого термина на русский язык нет (на русском вообще мало материала по данной теме — суммарно запросы «квазцитирование», «квазицитаты», «квазикавычки», а также маргинальные «квазиквоты» и «квазиквотирование» встречаются менее чем на 500 страницах), однако простое гугление показывает, что термин «квазикавычки» применительно к программированию встречается только в паре публикаций, посвящённых лиспу. В то же время термины «квазицитирование» или «квазицитаты» используется сообществом Nemerle, а также, что максимально важно для нас с вами, применяется в публикациях Евгением Бурмако — основным разработчиком данного механизма в Scala.
Начать программировать на Scala достаточно просто. Поначалу можно писать на языке как на «Java с трейтами», а уже потом постепенно начинать потреблять новые фичи. Попробуйте, это несложно!
Уже обсуждали этот вопрос в IRC, но к определённым выводам так и не пришли, поэтому спрошу здесь: а в чём заключается поддержка Java 8 в компиляторе Scala?
Может быть, пора уже айти-конторам (гуглу, яндексу) как-нибудь начать противодействовать всему этому ужасу? Ну пускай хотя бы разъяснительную работу проведут с депутатами, с другими принимателями решений (с прокуратурой?). Они ж совсем-совсем не понимают, что творят!
Посмотрите в сторону Mathnet Palladium и других библиотек того же автора. Я начинал тоже что-то такое делать, но оно не production-ready и вообще лишь учебный концепт.
Скажите, пожалуйста, а есть ли / планируется ли в решарпере поддержка jsdoc (это способ документации такой, очень похожий на doxygen)? Пользуюсь VS2012 + R# 8.0, и не очень удобно работать с комментариями (их не видно в подсказках, не работает автоформатирование и рефакторинг).
Более того, он каким-то образом интегрирует эти вкладки и в фар тоже, т.е. в нём можно в фоне держать пару документов во вьюере, и переключаться между ними при помощи вкладок conemu.
1. По поводу просмотра списка посетителей конференции — так это не какая-то секретная дырка, а вполне стандартный запрос, который, насколько я понимаю, используется многими клиентами. Его можно заблокировать в настройках конференции.
2. Во-первых, при заходе в такую конференцию многие клиенты показывают предупреждение: room is filtered by an external service, что должно заставить посетителей кой-чего заподозрить. Ни разу не видел, чтобы фичу применяли нелегитимно, в основном всякого рода навесную защиту от ботов через неё делают.
4. История взаимоотношений jabber.ru с арабским сообществом довольно долгая и я не в курсе, что у них там за разногласия, но как минимум один раз была обнаружена дыра в нескольких клиентах сразу, которая позволяла ронять их парой арабских символов. Возможно, в сервере тоже были проблемы с перекодировками. Так что запрет на арабские буквы какое-то время был просто технической мерой, чтобы не роняли сервер (зачем он существует до сих пор — я не знаю; возможно, кто-нибудь из администрации развеет наши сомнения).
По поводу саппорта — лично у меня только позитивный опыт общения с администрацией, обычно отвечают оперативно и даже могут за пару дней по запросу починить баги в сервере. Ни разу не банили тестеров и баг-репортеров, в целом общаются в позитивном ключе.
Тема статической верификации очень интересна и, на мой взгляд, актуальна, но простого доступного материала, к сожалению, очень и очень мало.
Для беззнакового сдвига есть специальные операторы, если нужно.
зависимости никакой.