#prog #rust #article

How Kani helped find bugs in Hifitime

Hifitime is a scientifically accurate time management library that provides nanosecond precision of durations and time computations for 65 thousand centuries in most time scales (also called time systems). It is useful wherever a monotonic clock is needed, even in the presence of leap second or remote time corrections (like for Network Time Protocol or Precise Time Protocol). It is suitable for desktop applications and for embedded systems without a floating point unit (FPU). It also supports the typical features of date time management libraries, like the formatting and parsing of date times in a no_std environment using the typical C89 tokens, or a human friendly approximation of the difference between dates. For scientific and engineering applications, it is mostly tailored to astronomy (with the inclusion of the UT1 time scale), astrodynamics (with the ET and TDB time scales), and global navigation satellite systems (with the GPS, Galileo, and BeiDou time scales).

The purpose of this blog post is to show how Kani helped solve a number of important non-trivial bugs in hifitime.

#prog #rust #article

Modular Errors in Rust

...If there’s one thing I wish for you to take away, it’s that error handling is hard, but it’s worth it to learn. Because I’m tired of having to deal with lazy kitchen-sink-type errors.

#prog #rust #article

Control flow patterns in Rust

Не слишком информативный пост для опытных Rust-программистов, но увидел любопытный паттерн для обхода отсутствия let-chains.

Именно, вместо

let deadline = if let Some(settings) = self.settings {
if let Some(deadline) = settings.deadline {
if settings.deadline_override && deadline > 0 {
deadline
} else {
self.default_deadline
}
} else {
self.default_deadline
}
} else {
self.default_deadline
};

можно воспользоваться labeled block break и написать

let deadline = 'done: {
if let Some(settings) = self.settings {
if let Some(deadline) = settings.deadline {
if settings.deadline_override && deadline > 0 {
break 'done deadline;
}
}
}
self.default_deadline
};

А ещё там есть пример для эмуляции for-else из Python, но этот пример лишь лишний раз укрепил меня во мнении, что эта языковая конструкция попросту не требуется в языке с достаточно продвинутыми итераторами.

К примеру, оригинал на Python:

items = [3,5,7,11,13,17]
item = 19
location = None
for i, x in enumerate(items):
if x == item:
location = i
break
else:
# break was not triggered
location = len(items)
items.append(item)

и его переделка на Rust, предложенная автором:

let mut items = vec![3,5,7,11,13,17];
let item = 19;
let location = 'find_item: {
for (i, x) in items.iter().enumerate() {
if *x == item {
break 'find_item i;
}
}

// only reached when not breaking
items.push(item);
items.len() - 1
};

На мой взгляд, с использованием итераторов Rust это можно записать более кратко без потери выразительности:

let location = match items
.iter()
.position(|&x| x == item)
{
Some(idx) => idx,
None => {
let idx = items.len();
items.push(item);
idx
}
};

Fun fact: std::derived_from из C++ не имеет никакого отношения к derive-макросам из Rust

​​В последние 2 года регулярно слышу "ой, ну я не верующий, я не могу есть куличи".

Да ну вы чего!! Вас забуллила бабка у церкви или в твиттере кто-то предъявил? Раньше не было такой ерунды.

Не позволяйте никому встать между вами и вкусной сдобой с цукатами! Мы живем в прекрасное время, когда от любого праздника, традиции или обряда можно брать только ту часть, которая вам нравится, и не погружаться в детали, если не хочется. Единственная уместная куличиковая полиция - это та, которая ходит и раздает всем куличи, а не запрещает их есть.

Всем вкусных булок и нарядных яиц!

https://journal.tinkoff.ru/sexy-ogorod

Я лично набрал 13/15

(thanks @boudoirr)

Шлирен-метод — это буквально газлайтинг

Это, конечно, нужно быть большим оригиналом, чтобы инсценировать свои смерть, воскрешение и вознесение на небо только ради того, чтобы избежать призыва.

#prog #rust #article

Writing a Fast C# Code-Search Tool in Rust

Экскурс в использование зависимостей в Rust /hj

В итоге, впрочем, инструмент вышел на порядок быстрее Roslyn.

А вы тоже постоянно покупаете новые резинки и заколки для волос, которыми потом не пользуетесь, или вы нормальные?

Ты всегда будешь ходить в деканат

#prog #rust #article

A formulation for scoped tasks in Rust

Или о том, почему асинхронный аналог thread::scope невозможен в текущем языке