Forwarded from Архонт щітпосту | #укртґ
Активист SJW Джо Виет хочет запретить использовать дискриминант, так как он вызывает негативные ассоциации и способствует распространению дискриминации в обществе.
Допустим, я организую в Москве встречу с подписчиками
Anonymous Poll
7%
Приду обязательно
10%
Вероятно, приду
11%
Скорее всего, не приду
71%
Точно не приду
Forwarded from Так говорит Алиса (John Meow)
Twitter
Dmitry Patsura
Уже как 3+ недели потихонечку пишу на Rust и боже какой классный язык. Выбрал мою обычную стратегию в изучении чего-то нового, начал писать код для БД apache/arrowб не прочитав и даже одного мануала или статьи в начале. Сейчас поделюсь что интересного в этом…
Forwarded from XYZ
Иногда баг можно превратить в концепцию.
Разработчик Ян Кнооп сделал игру про подводную охоту на китов. Главная особенность в том, что чем больше вы атакуете, тем сильнее искажается мир. Искажения возникают из-за ошибки с плавающей точкой — деформируются модели и багует физика.
Игру можно запустить в браузере: https://yanknoopdev.itch.io/fpl
#интересное_xyz
Разработчик Ян Кнооп сделал игру про подводную охоту на китов. Главная особенность в том, что чем больше вы атакуете, тем сильнее искажается мир. Искажения возникают из-за ошибки с плавающей точкой — деформируются модели и багует физика.
Игру можно запустить в браузере: https://yanknoopdev.itch.io/fpl
#интересное_xyz
Блог*
Монументальная задача. Удачи. https://github.com/sapir/gcc-rust/tree/rust
#prog #rust
Конкретно этот проект, по всей видимости, немного умер — последний коммит был в июле. Однако это не единственный проект, целью которого является добавить поддержку Rust в GCC — есть куда как более живой Rust-gcc. И недавно этот проект (считай, ведущий разработчик) получил финансирование. Теперь мечты о полноценной альтернативной реализации компилятора уже не кажутся столь отдалёнными!
Конкретно этот проект, по всей видимости, немного умер — последний коммит был в июле. Однако это не единственный проект, целью которого является добавить поддержку Rust в GCC — есть куда как более живой Rust-gcc. И недавно этот проект (считай, ведущий разработчик) получил финансирование. Теперь мечты о полноценной альтернативной реализации компилятора уже не кажутся столь отдалёнными!
GitHub
GitHub - Rust-GCC/gccrs: GCC Front-End for Rust
GCC Front-End for Rust. Contribute to Rust-GCC/gccrs development by creating an account on GitHub.
Блог*
#prog #rust Конкретно этот проект, по всей видимости, немного умер — последний коммит был в июле. Однако это не единственный проект, целью которого является добавить поддержку Rust в GCC — есть куда как более живой Rust-gcc. И недавно этот проект (считай…
Предвосхищая закономерные вопросы "а нафига": дело в том, что код на C/C++ может использовать инструменты control flow integrity (такие, как control flow guard) для того, чтобы сделать программу менее подверженную уязвимостям, однако эти методы подразумевают определённую рантайм-оснастку, которая не генерируется для кода, написанного на другом языке, например, на Rust, и это приводит к тому, что смешивание инструментированного кода на C/C++ и не инструментированного, но безопасного кода на Rust может снизить безопасность результирующей программы.
Один из методов решения этой проблемы — каким-либо образом расширить CFI для того, чтобы компилятор мог анализировать и инструментировать код, написанный на нескольких языках, но это, понятное дело, сложно, и, насколько мне известно, таких попыток пока не предпринималось. В итоге проблему может быть выгоднее решить с другого конца: вместо того, чтобы пытаться связать вместе два сильно отличающихся компилятора, научить компилятор понимать код на другом языке для того, чтобы одна и та же инфраструктура для анализа и инструментирования кода использовалась для всего кода вне зависимости от того, на каком языке он написан.
Папир, кстати, настоятельно рекомендую прочитать.
Один из методов решения этой проблемы — каким-либо образом расширить CFI для того, чтобы компилятор мог анализировать и инструментировать код, написанный на нескольких языках, но это, понятное дело, сложно, и, насколько мне известно, таких попыток пока не предпринималось. В итоге проблему может быть выгоднее решить с другого конца: вместо того, чтобы пытаться связать вместе два сильно отличающихся компилятора, научить компилятор понимать код на другом языке для того, чтобы одна и та же инфраструктура для анализа и инструментирования кода использовалась для всего кода вне зависимости от того, на каком языке он написан.
Папир, кстати, настоятельно рекомендую прочитать.
Wikipedia
Control-flow integrity
term in computer security
#prog #rust #article
Очередной (достаточно простой) пример того, как типы в Rust позволяют предотвращать логические ошибки. На этот раз — на примере достаточно прямолинейного протокола IMAP.
Очередной (достаточно простой) пример того, как типы в Rust позволяют предотвращать логические ошибки. На этот раз — на примере достаточно прямолинейного протокола IMAP.
insanitybit.github.io
Beyond Memory Safety With Types -
InsanityBit
InsanityBit
#prog #rust
Автор RustFFT написал заметку об высокоуровневой архитектуре библиотеки, конкретно о той части, как утилизировать AVX наиболее эффективным образом.
Автор RustFFT написал заметку об высокоуровневой архитектуре библиотеки, конкретно о той части, как утилизировать AVX наиболее эффективным образом.
The Rust Programming Language Forum
Exploring RustFFT's SIMD Architecture
Exploring RustFFT's SIMD Architecture After Releasing RustFFT 5.0 yesterday, a few people asked for details on how RustFFT 5.0 achieved its speed improvements over RustFFT 4.0 and its newfound speed advantage over the C FFT library FFTW. In this post, I'll…
Forwarded from Информация опасносте
мне уже несколько раз прислали эту ссылку, так что придется делиться — однострочная команда для Windows, которая приводит к разрушению индекса папок и файлов на дисках NTFS, и данные могут быть потеряны. в теории может быть доставлена на компьютер разными способами, но Microsoft, даже зная о ней, не исправляет её.
don’t try this at home
https://www.bleepingcomputer.com/news/security/windows-10-bug-corrupts-your-hard-drive-on-seeing-this-files-icon/
don’t try this at home
https://www.bleepingcomputer.com/news/security/windows-10-bug-corrupts-your-hard-drive-on-seeing-this-files-icon/
BleepingComputer
Windows 10 bug corrupts your hard drive on seeing this file's icon
An unpatched zero-day in Microsoft Windows 10 allows attackers to corrupt an NTFS-formatted hard drive with a one-line command.
Блог*
#prog #cpp Действительно, выразительный. https://twitter.com/Nekrolm/status/1326175405397651457
#prog #cpp
От этого же человека — руководство по UB в C++. Не для новичков, подразумевает, что сколько-то вы в C++ уже разбираетесь.
Общее впечатление — как страшно жить.
От этого же человека — руководство по UB в C++. Не для новичков, подразумевает, что сколько-то вы в C++ уже разбираетесь.
Общее впечатление — как страшно жить.
GitHub
GitHub - Nekrolm/ubbook: C++ programmer's guide to undefined behavior
C++ programmer's guide to undefined behavior. Contribute to Nekrolm/ubbook development by creating an account on GitHub.
Блог*
#prog #cpp От этого же человека — руководство по UB в C++. Не для новичков, подразумевает, что сколько-то вы в C++ уже разбираетесь. Общее впечатление — как страшно жить.
Ну и цитата из TWiR к месту:
Think of "it works" when you have UB like this: You've flipped a coin 1 time and it's come up heads and you've concluded it's never tails.
Think of "it works" when you have UB like this: You've flipped a coin 1 time and it's come up heads and you've concluded it's never tails.
this-week-in-rust.org
This Week in Rust 372 · This Week in Rust
#prog #rust #article
Simplifying endianness sensitive file parsers in Rust with Omnom
Статья о том, как, эксплуатируя вывод типов в Rust, писать код для разбора бинарных значений, поменьше упоминая порядок байт.
Simplifying endianness sensitive file parsers in Rust with Omnom
Статья о том, как, эксплуатируя вывод типов в Rust, писать код для разбора бинарных значений, поменьше упоминая порядок байт.
www.parsed.uk
Blake Loring
Blake Loring, software developer. My personal website
Forwarded from rusta::mann
Начинает казаться, что выделение новичков в отдельный новичковый чат было ошибкой нашего ру комьюнити.
Всё чаще наблюдаю, что в новичковом чате сидят и отвечают такие же новички, как те, что задают вопросы -- и в итоге получилась эхо-камера неверных, но очень уверенных догадок.
А опытные ребята, которые, по задумке, должны были отвечать на новичковые вопросы, видимо, устали от новичков, которые не читают растбук, и перестали активно участвовать в обсуждениях -- врываются только когда бредометр начинает зашкаливать.
Решения у меня, правда, нет -- активно модерировать мейн чтобы "атцы" новичков не обижали за глупые вопросы ресурсов и желания не хватит.
Всё чаще наблюдаю, что в новичковом чате сидят и отвечают такие же новички, как те, что задают вопросы -- и в итоге получилась эхо-камера неверных, но очень уверенных догадок.
А опытные ребята, которые, по задумке, должны были отвечать на новичковые вопросы, видимо, устали от новичков, которые не читают растбук, и перестали активно участвовать в обсуждениях -- врываются только когда бредометр начинает зашкаливать.
Решения у меня, правда, нет -- активно модерировать мейн чтобы "атцы" новичков не обижали за глупые вопросы ресурсов и желания не хватит.