Alexander
@jagajaga я прощён ^
Alexander
?
Dmitry
У нас прям выставка молодцов!
Leonid 🦇
вот чё мы не срёмся про линукс дистры? никсос победил?
Dmitry
хотя какое там писать, решать задачки из LF
А что за "задачки из LF" ?
Alexander
Logical Foundations
Alexander
https://softwarefoundations.cis.upenn.edu/lf-current/index.html
Dmitry
Спс, поищу.
Vladislav
вот чё мы не срёмся про линукс дистры? никсос победил?
никсос тоже отстойный, написан на C++, гидра на Перле, в итоге нормальным людям не поконтрибьютить, язык Nix нетипизированный
Dmitry
Спасибо!
Dmitry
А много народу тут на Gentoo сидят?
Vladislav
зачем, Gentoo отстойный, постоянно из исходников все собирать, у меня так термопаста на прошлом ноуте умерла
Vladislav
Какая разница, все равно эти 2 гига у меня есть
Leonid 🦇
какой эгоист
Dmitry
Ну и что, что из исходников, зато всякие Meltdown'ы не пролезут.
Leonid 🦇
там плюсы кстати не такие и плохие. местами даже хорошие.
Leonid 🦇
ну насколько хорошие могут быть плюсы. например они лучше go
Vladislav
Ну и что, что из исходников, зато всякие Meltdown'ы не пролезут.
Meltdown пролезет с первым сайтом JS-enabled который ты откроешь
Leonid 🦇
радуйтесь что не поддались моде и не написали на go
Vladislav
в Go нет столько undefined behavior, он хотя бы предсказуемо унылый
Cheese
micro
Кабачок
Не, там синтаксис регулярками разбирают
Vladislav
Серьезно?
Dmitry
Meltdown пролезет с первым сайтом JS-enabled который ты откроешь
А куда он пролезет-то? Только в мой браузер.
Vladislav
А куда он пролезет-то? Только в мой браузер.
Вот из твоего браузера он и прочитает всю твою RAM
Alexander
в срачах про вакансии (но это шутка была)
Dmitry
А как он прочитает всю мою RAM? Я вот сколько не читал объяснения, так и не понял. Доступна же RAM браузера только?
Dmitry
В смысле, его вирт.адресное пространство.
Vladislav
Вот в браузере у тебя и сохранены куки для логина в интернет-банк
Vladislav
(А вообще вроде он как раз может физическую память читать, но я не уверен)
Кабачок
Серьезно?
Хмм, может уже и нет.
Dmitry
Ну это понятно, пароли из памяти браузера улетят.
Dmitry
Но писали, что, мол, как-то через хитрое обращение к памяти ядра можно видеть физическую RAM -- вот этого я так и не понял.
Aliester
все компьютерные науки напраслина
Dmitry
Про Spectre понятно, как там читаются данные из другого процесса. Но с Meltdown'ом же только память своего процесса можно читать?
Aliester
лучше быть философом
Alexander
В чем?
а хайлайт, т.к. я наконец-о научился название фирмы писать
Кабачок
Серьезно?
Да, судя по всему до сих регулярками
Евгений
Ну и что, что из исходников, зато всякие Meltdown'ы не пролезут.
Генту спасает от мелтдауна чуть более чем никак. Возможно ты имел ввиду спектр?
Leonid 🦇
Вот из твоего браузера он и прочитает всю твою RAM
там уже бравзеры ухудшили все. таймеры теперь не точные
Leonid 🦇
мелтдаун может прочитать вообще всю память
Dmitry
Генту спасает от мелтдауна чуть более чем никак. Возможно ты имел ввиду спектр?
По идее, с моими произвольными опциями компиляциями у меня адреса будут уникальные, так что злоумышленнику придётся чуть ли не всю память себе скачивать, потом анализировать.
Leonid 🦇
спектр как раз не всю, он почти безопасный
Dmitry
Ну спектр тоже отваливается. А что, уникальность моих адресов не помеха для Meltdown?
Dmitry
Как зловред узнает, что читать пароли от банка надо по такому-то адресу?
Alexander
он умный
Viacheslav
мелтдаун это про доступ к памяти ring-0
Евгений
Пф, зачем нужны пароли от банка, если можно шерстить ядро?
Viacheslav
и твои опции компиляции ему до лампочки
Viacheslav
про спектр уже вроде тоже показывали, что можно читать со скоростью 200кб/с
Dmitry
Я видел этот пример, у себя запускал. Но этот пример собственную же память читает, правда, по-спектровски. И да, для моего процессора надо специальные константы использовать, не те, что были в коде.
Dmitry
А структуры данных ядра располагаются по одним и тем же адресам независимо от того, с какими опциями и модулями я его откомпилирую?
Viacheslav
в этом и был прикол
Viacheslav
и это то что чинили
A64m
просмотрит 16 гигов памяти, занимаемой файерфоксом и найдет
Viacheslav
https://github.com/IAIK/KAISER
Dmitry
Ну, для просмотра 16 Gb ему нужно 23 часа
Dmitry
При скорости 200 kb/s
Viacheslav
в масштабах вселенной
Viacheslav
какие-то 23 часа
A64m
хотя я наговариваю на файерфокс, сейчас пока гигов 7, мало вкладок еще открыл
Dmitry
Ок, 12.
Andrei
Просто очень медленно 🧐
объявите награду 🙂 хотя тот PR с подготовкой для автодобавления импортов жуткий, конечно
Dmitry
Лучше расскажите, как теперь жить без Vimerator начиная с 57-ой версии.
Andrei
Это таки канал про аниме
Arseniy
https://github.com/qutebrowser/qutebrowser
Denis
Мы тут катнули оверлеи для stackage в nixpkgs и была идея даже скрутить гидру с кэшом для lts. Кто пользовался бы?
Arseniy
Даже можем вместе делить инстансы финансово
Arseniy
(но это не точно)
Denis
Я пока не знаю сколько это будет стоить, но не исключено что вкинуться на хостинг не помешает.
Кабачок
пример можно? )
Ну посмотри файлы описания синтаксиса
Leonid 🦇
Ну всё, можно пока хаскель не хоронить https://github.com/haskell/ecosystem-proposals/pull/4#issuecomment-360089938