​Иногда баг можно превратить в концепцию.

Разработчик Ян Кнооп сделал игру про подводную охоту на китов. Главная особенность в том, что чем больше вы атакуете, тем сильнее искажается мир. Искажения возникают из-за ошибки с плавающей точкой — деформируются модели и багует физика.

Игру можно запустить в браузере: https://yanknoopdev.itch.io/fpl

#интересное_xyz

#prog #rust

Конкретно этот проект, по всей видимости, немного умер — последний коммит был в июле. Однако это не единственный проект, целью которого является добавить поддержку Rust в GCC — есть куда как более живой Rust-gcc. И недавно этот проект (считай, ведущий разработчик) получил финансирование. Теперь мечты о полноценной альтернативной реализации компилятора уже не кажутся столь отдалёнными!

Предвосхищая закономерные вопросы "а нафига": дело в том, что код на C/C++ может использовать инструменты control flow integrity (такие, как control flow guard) для того, чтобы сделать программу менее подверженную уязвимостям, однако эти методы подразумевают определённую рантайм-оснастку, которая не генерируется для кода, написанного на другом языке, например, на Rust, и это приводит к тому, что смешивание инструментированного кода на C/C++ и не инструментированного, но безопасного кода на Rust может снизить безопасность результирующей программы.

Один из методов решения этой проблемы — каким-либо образом расширить CFI для того, чтобы компилятор мог анализировать и инструментировать код, написанный на нескольких языках, но это, понятное дело, сложно, и, насколько мне известно, таких попыток пока не предпринималось. В итоге проблему может быть выгоднее решить с другого конца: вместо того, чтобы пытаться связать вместе два сильно отличающихся компилятора, научить компилятор понимать код на другом языке для того, чтобы одна и та же инфраструктура для анализа и инструментирования кода использовалась для всего кода вне зависимости от того, на каком языке он написан.

Папир, кстати, настоятельно рекомендую прочитать.

#prog #rust #article

Очередной (достаточно простой) пример того, как типы в Rust позволяют предотвращать логические ошибки. На этот раз — на примере достаточно прямолинейного протокола IMAP.

#prog #rust

Автор RustFFT написал заметку об высокоуровневой архитектуре библиотеки, конкретно о той части, как утилизировать AVX наиболее эффективным образом.

#prog #cpp #video

Немного про простой синтаксис C++.

youtube.com/watch?v=tsG95Y-C14k

#life

Хейт в сторону отправляющих голосовые сообщения вполне понятен

мне уже несколько раз прислали эту ссылку, так что придется делиться — однострочная команда для 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/

#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.

#prog #rust #article

Статья о том, как, эксплуатируя вывод типов в Rust, писать код для разбора бинарных значений, поменьше упоминая порядок байт.

Мерлин, когда ты там уже чай заваришь, а?

Начинает казаться, что выделение новичков в отдельный новичковый чат было ошибкой нашего ру комьюнити.

Всё чаще наблюдаю, что в новичковом чате сидят и отвечают такие же новички, как те, что задают вопросы -- и в итоге получилась эхо-камера неверных, но очень уверенных догадок.

А опытные ребята, которые, по задумке, должны были отвечать на новичковые вопросы, видимо, устали от новичков, которые не читают растбук, и перестали активно участвовать в обсуждениях -- врываются только когда бредометр начинает зашкаливать.

Решения у меня, правда, нет --  активно модерировать мейн чтобы "атцы" новичков не обижали за глупые вопросы ресурсов и желания не хватит.

#rust

Коллекция книг по разным аспектам Rust, включая неофициальные и руководства по отдельным крупным либам, вроде serde

If you don't like me at Олимп
Then you don't deserve my дофамин

Растбъуък

#prog #rust

Набор постов (считай, книга), посвящённый пошаговой реализации на Rust текстового редактора

Кажется, на мой канал кто-то положил болт