#video

The Difference Between A Dork And A Nerd. Don McMillan, или как притащить PowerPoint на стендап (успешно)

#prog #rust

🎉

Похвастаюсь и здесь что-ли: я реализовал Rust RFC 3216. Вот прям PR уже смерджили.

TL;DR: фича позволяет явно писать лайфтайм параметры для замыканий:

let _f = for<'a, 'b> |a: &'a A, b: &'b B| -> &'b C { b.c(a) };
//       ^^^^^^^^^^^--- new!

https://github.com/rust-lang/rust/pull/98705

👍 Завтрак пиццей
👎 Горло болит так, что не хочется лишний раз говорить

#prog #rust 🎉

IF LET CHAINS ARE STABILIZED IN RUST 1.64

rust-lang/rust/pull/94927#event-7007028976

> 2 years, 4 months, 3 weeks and 1 day of long nights, obstacles and headaches.
> Hope stabilization won't be reverted but regardless, thanks to everyone who helped make this feature a reality.

Для тех кто не в теме, в расте можно делать паттерн матчинг в if (и while цикле). Называется эта конструкция "if-let" и выглядит примерно вот так:

// выражение vvv
if let Some(x) = opt { ... }
// ^^^^^^^ паттерн

Синтаксис конфузный, но что имеем, то имеем, ладно. Проблемы (которые решает фича выше) начинается когда хочется сравнить сразу несколько выражений с паттернами. Можно использовать туплы:

if let (Some(x), Ok(y)) = (opt, res) { ... }

Но мало того, что это абсолютно не читаемо, мало того что это вычисляет res даже если паттерн и без него бы не сматчился, так ещё и в res тут нельзя использовать x. Поэтому это очень неудобно. Можно использовать вложенность:

if let Some(x) = opt {
if let Ok(y) = res { ... }
}

Но это ломает else (с таким вариантом его надо дублировать во все сложенные if'ы). Это всё настолько печально, что есть даже крейт if_chain с макросом который разбирается со всеми этими проблемами. Ну и фича которую вот стабилизировали — if let chains, которая позволяет писать вот так:

if let Some(x) = opt && let Ok(y) = res { ... }

😌

#prog #rust

В Rust стабилизировали core::ptr::slice_from_raw_parts в const-контексте, изменение войдёт в Rust 1.64.0. Что это значит? А это значит, что я наконец-то могу написать свой макрос по переводу числу в строку так, чтобы он работал без UB на стабильной версии!

"3-е кольцо Вавилонова И.Д."
Сережа Кшатри

#prog #rust #rustlib #article

Kani — bit-precise model checker for Rust. Верификатор, который исполняет код символически и потому эффективно проверяет код на всех возможных входах. Если код (без внесения ограничений на работу kani) проходит проверку, то его корректность можно считать доказанной.

А также статья, которая проверяет кусок логики из реального проекта:

Using the Kani Rust Verifier on a Firecracker Example

Иногда я думаю, что идеи моего ресеча какая-то дичь и не стоит тратить на это время.

А потом вижу статью, в которой статистически подтверждается, что нападения волков в муниципалитетах Германии на уровне земель приводят к ультраправому голосованию, а зеленые на таких выборах голоса теряют 🤯

Популистское объединение против внешнего врага? Как вам объединение против волков 🐺🐺🐺!

Цитаты конечно платиновые (AfD -- ультраправая немецкая партия):

Second, we studied the AfD’s communication regarding the wolf, drawing on three data sources: 1) We obtained the entire universe of AfD Facebook ads between 2018 and 2022, amounting to 10,475 unique ads with 94,578,526 impressions. The data show that the AfD, indeed, uses the wolf as a way to garner votes and largely relies on a frame whereby the wolf hurts the economy…

#prog #julia #article

Десять предупреждений для желающих познакомиться поближе с Julia

У семьи фронтендеров ДОМ и есть дерево

Местоимениендекс

#prog #meme

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

#video

youtu.be/KLEH8RJsYgI

(thanks @mrkvchch)

#prog #java #article

Как мы запустили программу на Java без JavaVM, или немного про практический опыт применения GraalVM native image.

(thanks @bapho_bush)