#prog #rust #article

Generic Const Args and You

Статья о текущем состоянии экспериментальной поддержки констант в типовой системе Rust.

#ml #meme

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

#math #meme

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 над ними сверху, но сути это не меняет.

Меня зовут Антон, и в настоящий момент я ищу работу.

У меня 5 лет опыта в программировании. Коллеги говорят, что я мидл по уровню знаний.

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

Rust — язык программирования, который я знаю лучше всего, но я также разбираюсь в C и C++.

Касательно моей квалификации:

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

В настоящий момент я живу в Армении и потому ищу работу преимущественно на удалёнке, но варианты с релокацией тоже рассматриваю. Я ищу вакансию, которая позволит мне работать с Rust или преимущественно с Rust, которая позволит принимать решения касательно системы целиком и которая приносит непосредственную пользу реальным людям.

Я не заинтересован в вакансиях, связанных с криптовалютами и блокчейном.

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

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

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

"Famous car"

#meme про jab