Как мне совершенно правильно сообщил подписчик, iterated можно выкинуть и проверять длину idsForSearch. Впрочем, моя позиция остаётся прежней

Внезапно, #math #meme

Немного контекста, в частности, почему именно 1936

#prog #rust #meme

Minoru
бранч предиктор такой «да не ссы, всё образуется, фигачь в then-ветку!»

#prog #rust #article

Как известно, в Rust (почти) нет higher-ranked polymorphism. Тем не менее, иногда его можно эмулировать довольно простым образом.

leshow.github.io/post/cheat_rank_n

#prog #rust #article

Обзор инструментов для верификации кода на Rust.

alastairreid.github.io/rust-verification-tools

#meme

Ах да, сегодня ж среда

Блеск и нищета #rust
(а ещё это #prog #meme)

Подсказка по Self:: 😅

#prog #rust

Одним из пунктов снижения размера исполняемого файла скомпилированной программы на Rust является обработка бинаря strip. Недавно это стало возможным делать с помощью cargo. Да, это пока nightly, но это значит, что, скорее всего, на stable попадёт скоро.

(thanks @MikailBag)

#prog #rust #go #article

Во многих языках есть отдельный тип данных для символов (я смотрю на тебя, Python). В Rust это char, в Go это rune. Эти типы, казалось бы, одинаковы: оба хранят юникодные символы, оба занимают 32 бита. Тем не менее, в плане диапазона приемлемых значений они заметно отличаются. Чем именно — подробно рассказывается в статье.

christianfscott.com/rust-chars-vs-go-runes

Закон Каннингема: лучший способ найти ответ на интересующий тебя вопрос в Интернете — это выложить не сам вопрос, а неправильный ответ на него.

Что интересно, сам Уорд Каннингем авторство этого закона отвергает.

Знаете, что меня раздражает? Люди, которые делают посты с хэштегом #mood и какой-то прикреплённой музыкой. Ну вот что эти люди хотят этим сказать?

Показать, какой сейчас у них настроение? А не проще ли сказать это, блин, словами?

Показать, что они сейчас слушают? Ну, для этого есть статусы, где можно указать трек или, на худой конец, его название.

Сделать пост ради поста? Да ради, сука, бога, только нахрена туда вставлять хэштег, который переводится как "настроение"? Они хоть вообще знают, что хэштеги несут семантическую нагрузку?

А ведь трек бывает и не один. На что эти люди надеются? На то, что кто-то потратит несколько минут своей жизни на то, чтобы оценить их выбор музыки? На то, чтобы оценить их офигенно богатый внутренний мир? Да нет же, френды просто максимум лайк поставят и будут листать ленту дальше, слушая свою, чёрт побери, музыку.

Абсолютно бессмысленная вещь. Бесит, аж горит.

#бомбёжкипост

#prog #rust #article

Обстоятельное эмпирическое изучение ошибок в реальных программах на Rust. Деление на safe/unsafe код действительно помогает, но все баги с излишней блокировкой были найдены в safe коде. Особенности Rust делают некоторые паттерны ошибок более вероятными, чем в других языках. Изучение этих паттернов позволило создать статические анализаторы, которые вскрыли ранее незамеченные ошибки.

Читайте, когда найдётся свободное время, статья объёмная.

cseweb.ucsd.edu/~yiying/RustStudy-PLDI20.pdf

#prog #rust #meme

названия крейтов be like...