Задача про мышей и отраву

Интересный момент - уменьшить число единиц в коде, но как мне кажется, это лишь ненужное усложнение.

Когда впервые увидел подобную задачу, там была немного другая формулировка, так что мои решения были такими:

1. колбы перемешать, взять по капле из 500-а колб в одну пробу, и из других 500-а - в другую. одним образцом напоить 5 мышей, другим - ещё пять. Плюсы: находим колбы без яда, которые можно отправить дальше клиентам (50% - тоже результат, снижаем финансовые риски неустойки), и пятикратное резервирование на случай ложноположительных и ложноотрицательных тестов (мышь не умерла от яда, мышь умерла, а яде не было).

2. уточнили задание, что нужно найти не какой-то процент чистых колб, а именно колу с ядом. Поднапрягся, прикинул сложность алгоритма для бинарного поиска (логарифм чего-то там). Берём идею из прошлого варианта, но поим только по одной мыши каждым образцом. Чистые колбы выбывают, для оставшихся алгоритм продолжается. Плюсы: выжившие мыши переиспользуются, но можно и непереиспользовать. Малое число шагов алгоритма (менее десяти). Минусы: алгоритм не параллелится, шаги зависят друг от друга. Общее время выполнения поиска - более 5 часов (на один шаг - час).

3. значит, ожидается решение с временной сложностью О(1). Подозрение вызвало число 1000, которое очень близко к 1024, что в свою очередь 2^10. А 10 - число доступных мышей. И тут уже родилось решение битового кодирования. Но есть и пограничный случай - думаю, плохая идея нумеровать первую колбу кодом 000000000 - тогда будет сложно сказать, был ли яд в первой колбе или яда не было ни в одно из них, если все мыши останутся в живых.

Kalorik: Telegram-бот на Rust для анализа питания Часть 1 (Preview)

Ну так неинтересно: держать пустую БД с идентичной схемой, только ради compile-time проверок:

The DATABASE_URL environment variable must be set at build time to a database which it can prepare queries against; the database does not have to contain any data but must be the same kind (MySQL, Postgres, etc.) and have the same schema as the database you will be connecting to at runtime.

Kalorik: Telegram-бот на Rust для анализа питания Часть 1 (Preview)

Единственная польза от статьи:

SQLx supports compile-time checked queries. It does not, however, do this by providing a Rust API or DSL (domain-specific language) for building queries. Instead, it provides macros that take regular SQL as input and ensure that it is valid for your database. The way this works is that SQLx connects to your development DB at compile time to have the database itself verify (and return some info on) your SQL queries.

Прям как в pl/sql - ранее связывание sql-кода и проверка валидности sql-запроса (и не много прав доступа) в compile-time.

Студентка в США потребовала вернуть деньги за обучение ($8 000), поймав профессора на использовании ChatGPT

Я тут раздумываю использовать LLM для генерации примеров кода для учебной литературы. Не вижу в этом ничего непозволительного, так как хватает знаний, чтобы оценить качество. У и конечно же всё протестировать и поддерживать единство стиля.

Как фронтендеру сделать интерфейс дружелюбнее к пользователю. Коллекция HTML/CSS лайфхаков

Сейчас посмотрел, что в движке, который мы используем, там так: system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen, Ubuntu, Cantarell, "Fira Sans", "Droid Sans", "Helvetica Neue", sans-serif;

Превращаем школьный электронный журнал в файлообменник

Тема котиков в электронном журнале не раскрыта.

Как Мэтт Годболт «продал» мне Rust (рассказав о C++)

Стоит добавить, что размер приведённых в статье типов-обёрток такой же, как и у примитивных типов. Нулевая стоимость абстракций и стирание типов во время компиляции:

struct Quantity(pub u64);
assert_eq!(std::mem::size_of::<Quantity>(), std::mem::size_of::<u64>());

Как Мэтт Годболт «продал» мне Rust (рассказав о C++)

https://habr.com/ru/articles/908032/#comment_28280730

Как Мэтт Годболт «продал» мне Rust (рассказав о C++)

Подобное правилами линтера отлавливается:

clippy::as_conversions
clippy::cast_lossless
clippy::cast_possible_truncation
clippy::cast_possible_wrap
clippy::cast_precision_loss
clippy::cast_sign_loss
clippy::char_lit_as_u8
clippy::fn_to_numeric_cast
clippy::fn_to_numeric_cast_with_truncation
clippy::ptr_as_ptr
clippy::unnecessary_cast
invalid_reference_casting

Как проверить в C, является ли выражение константой

Хаба "Ненормальное программирование" не хватает.

Индексы в базах данных: сколько индексов — перебор?

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

Почему я не люблю использовать «alias» для создания псевдонимов команд

alias рещз='htop'

Почему я не люблю использовать «alias» для создания псевдонимов команд

автодополнение (по ) работает и для алиасов и для команд-функций

Наверняка хочется чего-то большего: https://habr.com/ru/articles/764462/ - например, чтобы подсказывало подкоманду

Меня заставили повайбкодить

Потом: рефакторинг промптов, "так уже никто не пишет", "Ой, модель обновилась, теперь эти промты не нужны", "Не знаю зачем эта строка, но без неё модель генерирует красный фон"

Чистый код — красивая архитектура. А работает ли это?

Иронично, что буквально недавно была хорошая статья в этом же блоге про новшества в аннотациях питона: https://habr.com/ru/companies/ruvds/articles/905832/

Как я уязвимости в школьном электронном журнале искал

Такая простая уязвимость в государственном приложении

Есть одна ГИС, данные из которой потом уходят на ЕПГУ (Госуслуги). Там можно было переключиться на другого пользователя, дёрнув api из браузера. На пользователя другой организации или даже учётки админа находили. Но это всё баловство, в этом году нашли дыру посерьёзнее - во время редактирования сущности по id перепутали боевой и тестовый контур и отредактировали ЧУЖИЕ данные.

Как я уязвимости в школьном электронном журнале искал

Безопасность закладывается при написании кода либо сразу, либо как получилось, так получилось. Судя по багфиксу разработчики даже не поняли в чём проблема.

Тысяча и одна проблема в работе с 1С: знакомство с готовым облаком

Рассмотрим на примере выдуманной компании ООО «Кошки и мышки».

А где-то ещё стоит 1С седьмой версии… И даже успешно работает.

Что делает перечисления (enum) в Rust такими мощными?

В примере уже используются IntoPrimitive.

Что делает перечисления (enum) в Rust такими мощными?

Оператор as довольно опасный:

#![deny(clippy::as_conversions)]

#[repr(u16)]
pub enum Status {
    Ready = 10,
    Processing = 20,
    Done = 256,
}

impl From<Status> for u16 {
    #[allow(clippy::as_conversions)]
    fn from(item: Status) -> Self {
        item as _
    }
}

fn main() {
    // println!("{}", u8::from(Status::Done));
    println!("{}", u16::from(Status::Done));
}