#prog #rust #article #amazingopensource

Automating Cargo project configuration using cargo-wizard

TL;DR: I created a Cargo subcommand called cargo-wizard that simplifies the configuration of Cargo projects for maximum runtime performance, fastest compilation time or minimal binary size.

Не смотря на то, что способы настройки проектов на cargo для перечисленных целей известны, на практике их применение затруднено:

1) О них надо знать. Документация cargo хоть и вполне хорошая, но очень уж обширная, и там есть не вся информация для достижения этих целей.
2) Их надо применить. Не то чтобы это само по себе было сложно, но для этого нужно прописывать конфигурацию в разных секциях Cargo.toml, а значимый эффект они зачастую дают в комплексе.

Kobzol создал инструмент для того, чтобы по возможности решить обе проблемы. Использование одного инструменты позволяет перечислить все нужные настройки в одном месте, а также применить их к целому workspace одним махом. При этом у cargo wizard есть и более вдумчивый режим, который позволяет предварительно посмотреть все вносимые изменения и настроить индивидуально каждое из них.

если вдруг кто-то играет в Monster Hunter Now то вот вам промокод на Pink Paintball x1, Wander Orb x1 и DevilJho Scale x1:

8JNE5L46CPUAN

я сам про игру ничего не знаю, но промокод достался за наличие Discord Nitro

Link to post

чатгопота

#prog #article

Text Buffer Reimplementation

Статья про основную структуру данных в текстовом редакторе VSCode (от 23 марта 2018 года, поэтому некоторые детали могут быть неактуальны). До внесения изменений в редакторе использовался line buffer (массив строк), который, понятное дело, имел печальную производительность на больших файлах.

Новая структура данных, основанная на piece table, получилась значительно быстрее старой на большинстве реалистичных юзкейсов. Трюки вполне ожидаемые: по возможности плоские данные, использование индексов вместо реальной конкатенации, использование сбалансированных двоичных деревьев для понижения сложности операций с линейной до логарифмической.

Интересно, что новая реализация написана целиком на Typescript. Как пишет автор:

Why not native?

I promised at the beginning that I would get back to this question.

TL;DR: We tried. It didn't work out for us.

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

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

Больно, когда Россия

Напоминаю про встречу завтра

Не, я, конечно, знал, что Rust хорошо помогает с параллелизацией, но чтоб настолько...

#prog #rust #rustreleasenotes

Вышла версия Rust 1.77.0! Как всегда, тут только избранные хайлайты, а полные изменения в ченджлоге.

▪️Асинхронные функции теперь могут быть рекурсивными при условии наличии индирекции. Скажем, такой код по прежнему не работает:

async fn fib(n: u32) -> u32 {
   match n {
       0 | 1 => 1,
       _ => fib(n-1).await + fib(n-2).await
   }
}

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

error[E0733]: recursion in an async fn requires boxing
 --> src/lib.rs:1:1
  |
1 | async fn fib(n: u32) -> u32 {
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: a recursive `async fn` call must introduce indirection such as `Box::pin` to avoid an infinitely sized future

(к сожалению, на сами рекурсивные вызовы не указывает)

Если воспользоваться предложением компилятора, то можно получить вот такой рабочий код:

async fn fib(n: u32) -> u32 {
   match n {
       0 | 1 => 1,
       _ => Box::pin(fib(n-1)).await + Box::pin(fib(n-2)).await
   }
}

Можно даже слегка угореть по уменьшению количества аллокаций и сделать так:

_ => Box::pin(async move { fib(n-1).await + fib(n-2).await }).await

▪️В язык добавили строковые литералы типа &'static CStr:

use core::ffi::CStr;
const _: &CStr = c"look mum, no trailing nul!";

Очень удобная вещь для интеропа с C. Эти литералы могут быть сырыми (cr"it is not --> \n <-- a newline") и поддерживают escape-последовательности для UTF-8 code point и байтовых значений за пределами ASCII. Символы за пределами ASCII кодируются в том же виде, что и в UTF-8.

▪️Добавили макрос std::mem::offset_of!. Пока что поддерживается только в форме смещения поля (полей) от начала раскладки структуры. Технически такой макрос возможно реализовать и сейчас, но для того, чтобы это сделать правильно (без UB), нужно некоторое количество не самого тривиального unsafe кода.

▪️Для слайсов добавили пачку методов, позволяющих доставать части слайса в виде ссылок на массивы:

🔸slice::first_chunk{, _mut}
🔸slice::split_first_chunk{, _mut}
🔸slice::last_chunk{, _mut}
🔸slice::split_last_chunk{, _mut}

Также добавили методы slice::chunk_by{, _mut}, который возвращает итератор из частей слайсов, в которых последовательные пары элементов удовлетворяют предоставленному предикату:

let slice = &[1, 1, 1, 3, 3, 2, 2, 2];

let mut iter = slice.chunk_by(|a, b| a == b);

assert_eq!(iter.next(), Some(&[1, 1, 1][..]));
assert_eq!(iter.next(), Some(&[3, 3][..]));
assert_eq!(iter.next(), Some(&[2, 2, 2][..]));
assert_eq!(iter.next(), None);

▪️Опубликован крейт cargo-util-schemas, который является публичной схемой Cargo.toml , используемой в самом cargo.

▪️Rustdoc теперь поддерживает ссылки в заголовках и позволяет искать по типам, используя естественный синтаксис для кортежей (со скобочками).

Но мой фаворит — это, конечно, вот это дополнение к weird-exprs.rs

Навеяно @dereference_pointer_there

У админа перелом воли, встреча отменяется

И ещё один #meme про пользователей Linux

https://t.iss.one/rand2ch/76720

Президент благотворительного фонда «Волонтёры в помощь детям-сиротам» Елена Альшанская призывает москвичей не спешить сдавать кровь

«Сейчас запасов крови достаточно, а вот через две три недели будет сильно не хватать, а уже никто массово не побежит», — написала она у себя в соцсетях

#prog #rust #rustlib #article

Getting meaningful stack traces from Rust tests returning a Result

TL;DR: конвертация в операторе ? имеет возможность для настройки путём реализации From/Into для типа ошибки. Это можно использовать для того, чтобы сделать специальный тип ошибок, который паникует в реализации From::from, а за счёт #[track_caller] позволяет даже без бектрейса отловить место, где была создана ошибка.

Великие умы мыслят одинаково, так что автор обнаружил, что на crates.io уже есть крейт testresult, который реализует идею. Тем не менее, там были возможности для улучшения, так что в итоге он сделал PR (главным образом — добавление #[track_caller], но также и другие изменения для повышения полезности).

#prog #rust хайлайты:

Обнаружение мёртвого кода теперь опирается на эффективную видимость, а не номинальную. Другими словами: сообщения о мёртвом коде стали шире и потому более полезными.

Что интересно, внесение этого изменения позволило удалить несколько pub полей в разных местах в самом компиляторе.

Возможно, когда это докатится до stable, мой совет несколько потеряет в актуальности.

#meme про (недостаточную) экологическую осознанность

#prog #go #article

Go channels are bad and you should feel bad

Статья из 2016 года, поэтому претензии касательно отсутствия дженериков не применимы, а некоторые утверждения касательно устройства стандартной библиотеки могли устареть.

In all of my Go code I work with, I can count on one hand the number of times channels were really the best choice. Sometimes they are. That’s great! Use them then. But otherwise just stop.