AV
а потом вообще жесть была, чего-то нервы в преддверии релиза сдают
Size: a a a
2018 August 22
PK
в первом ещё security проблемы не пофикшены
Security проблемы в хаскель коде? Не компилится что ли?
АГ
Security проблемы в хаскель коде? Не компилится что ли?
Легко, если написан в императивном стиле и с вызовом Си-кода
PK
Легко, если написан в императивном стиле и с вызовом Си-кода
То есть kaspersky os не секурная и Евгений Валентинович всех обманывает?
АГ
То есть kaspersky os не секурная и Евгений Валентинович всех обманывает?
Уточню: если написана императивно и плохо, и/или нижплежащий код на Си содержит уязвимости.
В Каспере на Хаскеле не вся ОС, только политики, которые затем компилятся в Си. Сгенеренный код, почти наверняка, безопасен.
В Каспере на Хаскеле не вся ОС, только политики, которые затем компилятся в Си. Сгенеренный код, почти наверняка, безопасен.
АГ
Я не совсем спец по безопасности, но можно, например , сделать так, чтобы хаскель-код приводил к утечке хендлов на ресурсы.
PK
Ну например если на голову lazy list ссылку оставить, да. Gc не соберёт его.
АГ
Ну например если на голову lazy list ссылку оставить, да. Gc не соберёт его.
Если открывать файлы и держать их открытыми. Или если плодить ОС-треды. Ну и ООМ, да, тоже можно добиться. Не могу предсказать эффекты этого.
Но лучше Александра спросить
Но лучше Александра спросить
AV
Security проблемы в хаскель коде? Не компилится что ли?
в любом коде можно написать несекурные вещи
AV
на уровне приложения
IT
В каком баре бронировать стол на дринк-ап?
anonymous poll
Тара Бруч – 4
👍👍👍👍👍👍👍 50%
The Office – 4
👍👍👍👍👍👍👍 50%
Kwakinn на звенигородской
▫️ 0%
👥 8 people voted so far.
anonymous poll
Тара Бруч – 4
👍👍👍👍👍👍👍 50%
The Office – 4
👍👍👍👍👍👍👍 50%
Kwakinn на звенигородской
▫️ 0%
👥 8 people voted so far.
2018 August 23
IT
Ухх, у меня результаты опроса разъезжаются из разных мест если смотреть. Давайте ещё поголосуем.
2018 August 24
IT
По результатам голосования идём в Тара Бруч на 2й советской, д. 18. 30 августа с 19:30 . По давней и уже почти забытой традиции будем обсуждать проблемы функционального программирования.
AI
то есть проблему? статика или динамика?
AV
линейные типы или зависимые типы
AV
можно ли сделать язык разумно поддерживающий ленивость, без ленивости по умолчанию, и почему его нет
AV
если в промышленных языках уже интегрируют SMT солверы, то нужны ли теорем пруверы
EM
линейные типы или зависимые типы
а это ортогональные вещи ?
AV