Блог*

"Famous car"

Во избежание оффтопа под постом о поиске работы срач дискуссию о криптовалютах обсуждайте в комментариях под этим постом

^Папищеки, обращаюсь к вам за помощью: поделитесь, пожалуйста, особенно если вы знаете, что у вас на работе есть открытая вакансия. Буду признателен за помощь

Меня зовут Антон, и в настоящий момент я ищу работу. У меня 5 лет опыта в программировании. Коллеги говорят, что я мидл по уровню знаний. Я знаю английский на достаточном уровне, чтобы читать технические тексты и общаться с коллегами насчёт рабочих решений. Rust — язык программирования, который я знаю лучше всего, но я также разбираюсь в C и C++. Касательно моей квалификации: * Я провёл доклад на конференции Rustcon 2021. * Я вносил вклад в репозиторий Rust, включая добавление новой минорной языковой фичи. * Я периодически пишу в этом блоге на технические темы. В число этих постов входит: - Compile-time Fizzbuzz (+продолжение, где искомая строка превращается в одну константу в .rodata). - Хэш-таблица для хранения коллбеков, индексируемая типом аргумента коллбека. - Пул строк, позволяющий переиспользовать память и выдающий токены, по которым можно получить доступ к содержимому строки без обращения к самому пулу. - Реализация match по префиксам строк и по строкам с игнорированием регистра символов. В настоящий момент я живу в Армении и потому ищу работу преимущественно на удалёнке, но варианты с релокацией тоже рассматриваю. Я ищу вакансию, которая позволит мне работать с Rust или преимущественно с Rust, которая позволит принимать решения касательно системы целиком и которая приносит непосредственную пользу реальным людям. Я не заинтересован в вакансиях, связанных с криптовалютами и блокчейном. По предложениям обращайтесь мне в личку в Telegram, это мой предпочтительный способ связи: @insert_reference_here.

https://ayles.github.io/doom-in-kernel/ Коллеги (на этот раз действительно коллеги!) подогнали прекрасное - Doom, на #eBPF, в ядре Linux. "Прекрасное" потому что идет наперекор тому, как пытается работать eBPF. eBPF, для каждой загружаемой программы, пытается доказать, что программа не зависнет, и что программа не ездит по памяти. Второе, допустим, просто, поколения программистов вычистили исходники Doom так, что игра работает и без проездов. Первое - сложно, и чуваки поступили, на мой вкус, весьма #изящно! Они запилили свой компилятор поверх LLVM. Он режет обычный C-код на "регионы" - куски без сложных циклов и вызовов. Регион обрывается на каждом вызове функции, возврате, неудобном обратном ребре цикла или yield. В конце он сохраняет state в память, и возвращает номер следующего региона. Регионы гоняет маленький диспетчер из трёх вложенных ограниченных циклов: 32x2048x64, около 4*10^6 регионов за один вызов. Если бюджет кончился, программа возвращает "не доделано" с номером продолжения, и userspace вызывает её снова. Ну а верификатор доказывает завершение не DOOM, а очередного региона и диспетчера. И он может это сделать, потому что видит набор кусков, каждый из которых заканчивается обычным return, плюс цикл с константной границей. Прыжков "регион 18 -> регион 42" в графе управления нет: это число, записанное в память. Рекурсия, глубокие вызовы и длинные циклы существуют только во время исполнения, как последовательность этих чисел. Я бы тут поинтересовался у коллег, почему того же самого нельзя было добиться source трансформацией кода, превратив его в async код через с++ корутины, трансформация ровно та же самая получается - куча блоков с return, и цикл dispatch над ними сверху, но сути это не меняет.

Re: I spent $220 on Google app ads and 60% of the installs were robots My favorite story: 1. Dev publishes app with Google Admob integration to the Play Store. 2. Buys Google Ads to drive traffic to the app. 3. Google Admob bans his account for invalid traffic. https://www.reddit.com/r/admob/comments/1vzg3fu/i_paid_googl... yunusabd, 5 hours ago

#prog #rust #article Generic Const Args and You Статья о текущем состоянии экспериментальной поддержки констант в типовой системе Rust.

#prog #rust #rustreleasenotes Вышел Rust 1.99.0! Бла-бла-бла, детали. ▪️В Rust добавили вариадики! ...Сишные. Раньше эти функции можно было декларировать, а теперь можно и определять:

/// SAFETY: must be called with (at least) 2 i32 arguments.
unsafe extern "C" fn sum(mut args: ...) -> i32 {
    // SAFETY: guaranteed by the caller.
    let a = unsafe { args.next_arg::<i32>() };
    let b = unsafe { args.next_arg::<i32>() };
    a + b
}

fn foo() -> i32 {
    unsafe { sum(0i32, 2i32) }
}

Список типов, значения которых можно доставать через next_arg, ограничен sealed трейтом VaArgSafe. Связано это с тем, что в C значения некоторых типов при передаче в вариадическую функцию кастуются в более крупные типы, поэтому их по определению из VaList достать нельзя. Кстати, сам VaList, если сильно нужно, можно передавать явно и даже клонировать. Также такие функции могут быть #[naked], и по очевидным причинам их нужно писать на ассемблере. ▪️Пачка линтов unused теперь включает в себя unreachable_cfg_select_predicates. ▪️Теперь гарантируется, что получить доступ к содержимому UnsafeCell<T> можно через каст сырого указателя в указатель на T, использовать UnsafeCell::get необязательно. Общие правила насчёт unsafe, соблюдающего правила языка, остаются в силе. ▪️RangeInclusive исторически плохо оптимизировался из-за того, что последняя итерация должна была обрабатываться отдельно. Это в какой-то мере исправили, добавив в трейт Step, на который опираются диапазоны, методы для итерации с возвратом флага переполнения. ▪️Если имя метода неправильное (несуществующее), но является именем из #[doc(alias)] на существующем методе, то этот метод будет предложен в первую очередь, выше имён со схожим написанием. ▪️Стабилизировали API, включая: 🔸IntoIterator на Box<[T; N]>, &Box<[T; N]> и &mut Box<[T; N]>. 🔸VecDeque::retain_back: выкинуть из деки все элементы, кроме указанного числа последних. 🔸Box::into_non_null и Box::from_non_null. 🔸Vec::into_parts и Vec::from_parts, где parts — это тройка из NonNull указателя на аллокацию, длины и ёмкости. 🔸core::mem::{size_of_val_raw, align_of_val_raw} и core::alloc::Layout::for_value_raw, аналогичные существующим функциям без *_raw, но работающие на сырых указателях. Разумеется, unsafe. 🔸std::fs::{set_times, set_times_nofollow} для установки временных отметок на файлах. На всех OS можно менять время доступа и модификации. Дополнительно на Windows и OS от Apple можно менять время создания. *_nofollow вариант при использовании на символической ссылке меняет атрибуты самой ссылки, а не файла, на который она указывает (довольно кривой дизайн, кмк: что, если потом нужно расширить набор флагов? Не делать же по функции на каждую комбинацию). ▪️В rustdoc добавили линт, предупреждающий о неиспользованных сносках в документации.

Что, простите?