Блог*

#prog #rust #article When is "this trait can be implemented" part of the trait's public API? cargo-semver-checks v0.40 ships a massive upgrade to its system for detecting sealed traits. The new system is an all-around win-win: it improves the accuracy of a dozen existing lints, enables a new series of helpful lints, handles cyclic trait relationships, and is also faster than the old system. All that took a lot of work! Here's a look at how we made it happen.

O vy iz Angliyi

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

#gamedev #psy #video The Game Prototype That Had to Be Banned by Its Own Studio Крайне кликбейтный заголовок, но при этом неожиданно точный — в частности, два человека, которые ранее были друзьями, поссорились из-за этой и до сих пор, спустя кучу лет, не разговаривают.

#prog #rust Inferred const generic arguments: Call for Testing! Разработчики просят потестить фичу, которую планируют скоро стабилизировать: generic_arg_infer. TL;DR: код ниже не компилируется сейчас, но компилируется с фичей:

fn generic<const N: usize>(_: [u8; N]) {}

fn foo() {
    let _: [u8; _] = [Default::default()];
    let _: [_; 1] = [String::new(); _];
    generic::<_>([1]);
}

Иными словами, с этой фичей можно заставить компилятор выводить не только типы, но и значения (до некоторых пределов)! К сожалению, типы констант даже с ней нужно задавать целиком :(

#rust This Month in Our Test Infra: January and February 2025 Самое заметная новость — тесты компиляторы, те, которые не укладывается в существующие категории — перевели с make на собственный фреймворк, и инфраструктуру для make-тестов окончательно удалили 5 марта. Сделали это по довольно конкретным причинам: * снижение порога входа для контрибуторов, особенно новых (пожалуй, самая важная для проекта в целом причина) * снизить зависимость от внешних инструментов * сделать тесты менее платформо-зависимыми — в частности, новые тесты могут работать на Windows нативно, без создания unix-подобного окружения * не думать о различных версиях make с несовместимым поведением в разных крайних случаях. Ну и так, по мелочи, пофиксить тесты, которые несколько лет были сломаны И НИКТО ЭТОГО НЕ ЗАМЕЧАЛ. А ещё можете почитать Unmaking the Makefiles - exorcising the Rust compiler test suite one file at a time — про то, как это выглядело в середине процесса со стороны человека, который и перенёс бОльшую часть тестов.

#music Когда там второй сезон 😭 youtube.com/watch?v=FghoeusbkUk

Крестик или кнопка назад, как знак согласия в Тинькофф⁠⁠ https://pikabu.ru/story/krestik_ili_knopka_nazad_kak_znak_soglasiya_v_tinkoff_12486430 Открытка @s3curity_and_UX

— Пластическая хирургия — это когда тебе дают анестезию и крадут деньги, пока ты спишь. #quotes

Удар пришёл откуда не ждали: Cursor отказался генерировать код и попросил человека научиться программировать. В очередной раз глупая машина оказалась умнее умного человека.

#ml и то ли #suckassstory, то ли #successstory, непонятно

#rust #article Rust in 2025: Targeting foundational software This first post describes my general vision for how Rust fits into the computing landscape. The remaining posts will outline major focus areas that I think are needed to make this vision come to pass. Одна из точек зрения, высказанная Нико в тексте, довольно неожиданна (но я с ней согласен): то, что инструмент низкоуровневый, не значит, что для него не важна эргономика — скорее наоборот, потому что эргономичность позволяет программисту тратить больше умственных усилий на саму задачу: <...>the fact that foundational software needs control over low-level details only makes it more important to try and achieve good ergonomics. Anything you can do to help the developer focus on the details that matter most will make them more productive.

#rust #php #quotes

Вы знаете, кого поздравить 😏

#prog #suckassstory Один человек написал программу krep, для поиска слов (не регекспов) в текстовых файлах. Быстрая, с SIMD, многопоточностью и mmap. Написана на C. Чел выложил новость об этом на Hackernews. Комментаторы начали разбирать и обнаружили паршивое поведение. В частности, один человек пишет:

So krep is: 1. Extremely fast 2. Extremely inaccurate 3. Not useful if you actually want to see what the lines actually are rather than just knowing how many there aren't Not to be facetious, but if the goal is to write a program that gives incorrect output as fast as possible I don't think you need to go as far as using AVX2.

BurntSushi ожидаемо тоже засветился в ответах

Наконец-то, появилась ясность