Блог*
前往频道在 Telegram
Блог со звёздочкой. Много репостов, немножко программирования. Небольшое прикольное комьюнити: @decltype_chat_ptr_t Автор: @insert_reference_here
显示更多1 982
订阅者
无数据24 小时
+17 天
+2030 天
数据加载中...
吸引订阅者
十月 '2610月 '26
十月 '26
+5
在2个频道中
九月 '26
+41
在1个频道中
Get PRO
八月 '26
+48
在4个频道中
Get PRO
七月 '26
+78
在2个频道中
Get PRO
六月 '26
+29
在2个频道中
Get PRO
五月 '26
+45
在4个频道中
Get PRO
四月 '26
+51
在3个频道中
Get PRO
三月 '26
+31
在4个频道中
Get PRO
二月 '26
+34
在3个频道中
Get PRO
一月 '26
+56
在9个频道中
Get PRO
十二月 '25
+76
在11个频道中
Get PRO
十一月 '25
+106
在7个频道中
Get PRO
十月 '25
+56
在10个频道中
Get PRO
九月 '25
+46
在6个频道中
Get PRO
八月 '25
+44
在5个频道中
Get PRO
七月 '25
+62
在9个频道中
Get PRO
六月 '25
+42
在2个频道中
Get PRO
五月 '25
+85
在6个频道中
Get PRO
四月 '25
+52
在5个频道中
Get PRO
三月 '25
+62
在3个频道中
Get PRO
二月 '25
+57
在4个频道中
Get PRO
一月 '25
+90
在6个频道中
Get PRO
十二月 '24
+61
在4个频道中
Get PRO
十一月 '24
+167
在5个频道中
Get PRO
十月 '24
+95
在5个频道中
Get PRO
九月 '24
+84
在4个频道中
Get PRO
八月 '24
+98
在9个频道中
Get PRO
七月 '24
+66
在8个频道中
Get PRO
六月 '24
+59
在3个频道中
Get PRO
五月 '24
+47
在4个频道中
Get PRO
四月 '24
+73
在10个频道中
Get PRO
三月 '24
+65
在7个频道中
Get PRO
二月 '24
+88
在1个频道中
Get PRO
一月 '24
+80
在3个频道中
Get PRO
十二月 '23
+88
在5个频道中
Get PRO
十一月 '23
+59
在2个频道中
Get PRO
十月 '23
+46
在2个频道中
Get PRO
九月 '23
+93
在0个频道中
Get PRO
八月 '23
+78
在0个频道中
Get PRO
七月 '23
+59
在0个频道中
Get PRO
六月 '23
+57
在0个频道中
Get PRO
五月 '23
+41
在0个频道中
Get PRO
四月 '23
+55
在0个频道中
Get PRO
三月 '23
+39
在0个频道中
Get PRO
二月 '23
+36
在0个频道中
Get PRO
一月 '23
+118
在0个频道中
Get PRO
十二月 '22
+56
在0个频道中
Get PRO
十一月 '22
+48
在0个频道中
Get PRO
十月 '22
+62
在0个频道中
Get PRO
九月 '22
+24
在0个频道中
Get PRO
八月 '22
+46
在0个频道中
Get PRO
七月 '22
+34
在0个频道中
Get PRO
六月 '22
+34
在0个频道中
Get PRO
五月 '22
+36
在0个频道中
Get PRO
四月 '22
+49
在0个频道中
Get PRO
三月 '22
+19
在0个频道中
Get PRO
二月 '22
+41
在0个频道中
Get PRO
一月 '22
+49
在0个频道中
Get PRO
十二月 '21
+88
在0个频道中
Get PRO
十一月 '21
+75
在0个频道中
Get PRO
十月 '21
+172
在0个频道中
Get PRO
九月 '21
+63
在0个频道中
Get PRO
八月 '21
+130
在0个频道中
Get PRO
七月 '21
+74
在0个频道中
Get PRO
六月 '21
+79
在0个频道中
Get PRO
五月 '21
+66
在0个频道中
Get PRO
四月 '21
+100
在0个频道中
Get PRO
三月 '21
+81
在0个频道中
Get PRO
二月 '21
+42
在0个频道中
Get PRO
一月 '21
+103
在0个频道中
Get PRO
十二月 '20
+663
在0个频道中
| 日期 | 订阅者增长 | 提及 | 频道 | |
| 07 十月 | 0 | |||
| 06 十月 | +1 | |||
| 05 十月 | +1 | |||
| 04 十月 | 0 | |||
| 03 十月 | +3 | |||
| 02 十月 | 0 | |||
| 01 十月 | 0 |
频道帖子
| 2 |  +1没有文字... | 513 |
| 3 | 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 над ними сверху, но сути это не меняет. | 364 |
| 4 |  没有文字... | 613 |
| 5 |  没有文字... | 648 |
| 6 | 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 | 619 |
| 7 |  没有文字... | 677 |
| 8 |  Source | 685 |
| 9 |  没有文字... | 621 |
| 10 |  没有文字... | 1 312 |
| 11 | #prog #rust #article
Generic Const Args and You
Статья о текущем состоянии экспериментальной поддержки констант в типовой системе Rust. | 695 |
| 12 | #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 добавили линт, предупреждающий о неиспользованных сносках в документации. | 805 |
| 13 |  Что, простите? | 773 |
| 14 | Кампейн Abomination vaults, в котором я участвовал и который продолжался больше года, сегодня закончился TPK 🫡 | 707 |
| 15 |  https://t.me/AlexCarrier/16988
Ор выше гор 10000 подписчиков
Это точно поможет продвижению Макса
Спасибо подписчику за наводку | 607 |
| 16 |  +1没有文字... | 945 |
| 17 |  маниакальный смех | 821 |
| 18 | #prog #rust #rustlib #article
Deser: Rethinking Rust Serialization
Статья про новую библиотеку (де)сериализации. Решает проблемы, которые есть в serde и которые очень сложно или почти невозможно решить из-за архитектуры.
Разумеется, это не строго лучше serde, и в статье подробно об рассказывается. В частности, в отличие от serde, deser поддерживает только self-describing форматы. | 712 |
| 19 | #music
Не мне ж одному это слушать
https://youtube.com/watch?v=KThlYHfIVa8 | 690 |
| 20 | #prog #rust #article
How to speed up the Rust compiler in September 2026 | 694 |
