#prog #article
An Extensive Benchmark of C and C++ Hash Tables
Да, и для C тоже. Есть варианты куда лучше uthash.
(thanks @hft_dev)
An Extensive Benchmark of C and C++ Hash Tables
Да, и для C тоже. Есть варианты куда лучше uthash.
(thanks @hft_dev)
Forwarded from #JustWeebThings (スコーット Gabriel)
sometimes it takes a real man to become the best girl
Блог*
#prog #rust #article (надо ли хештег для постов на тему образования?) Teaching Rust in 5 days Опыт автора по преподаванию Rust в университете. Должен сразу предупредить, что курс был (а) факультативный (потому на него шли люди, которые в принципе мотивированы…
#prog #rust #amazingopensource
Rustlings Rewrite
Этот же человек взял на себя сопровождение rustlings и выпустил новую версию. Помимо всего прочего, rustlings теперь можно установить при помощи
Rustlings Rewrite
Этот же человек взял на себя сопровождение rustlings и выпустил новую версию. Помимо всего прочего, rustlings теперь можно установить при помощи
cargo install
! И ещё можно добавлять свои упражнения, а у имеющихся упражнений после решения показывается идиоматичный вариант.Mo8It
Rustlings Rewrite
Version 6 of Rustlings is a rewrite providing a ton of features and improvements
Forwarded from ЗАХАРОВ
Фейковый z-поэт как произведение антивоенного концептуального искусства.
Сотня депутатов Госдумы и еще пара десятков сенаторов «подружились» с фейковым z-поэтом, который выдавал стихи немецких нацистов за патриотические.
Z-общественность постоянно переживает: мол, мало внимания уделяется поэзии, восхваляющий героев СВО. Не привлекают к ней должного внимания, потому и ходят наши люди по голым вечеринкам вместо того, чтобы после работы плести маскировочные сети. Не вдохновляют их стихи на подвиг.
Но, с другой стороны, зайдите на страницу «ВКонтакте» z-поэта Геннадия Ракитина. В друзьях — почти сотня депутатов Госдумы и около тридцати сенаторов. Значит, интересуется власть патриотической литературой? Значит, есть шанс, что такие, как Ракитин, окончательно заменят в наших книжных врагов народа и прочих попутчиков?
Авторы антивоенного проекта «Геннадий Ракитин», конечно, хотели бы, чтобы их стихи в итоге доползли бы до магазинов, но у них больше нет сил его вести. Потому что Ракитина — не существует, и все его стихи, которые так понравились депутатам и сенаторам, — перевод стихов поэтов нацистской Германии конца 1930-х — начала 1940-х.
Вот, например, стихотворение «Лидер»:
Ты как садовник, что в своем саду
Плоды трудов тяжелых пожинает.
Народ ликует, флаги в высоту
Взметнулись. Время тихо наступает.
Это — художественный перевод стихотворения «Фюрер» Эберхарда Мёллера, убежденного нациста и антисемита, ставшего членом НСДАП еще до прихода Гитлера к власти.
Стихи «Ракитина» перепечатывали z-паблики, у него есть грамоты от конкурсов z-поэзии.
Подробнее о проекте «Геннадий Ракитин», который лично я считаю отдельным произведением концептуального антивоенного искусства: https://telegra.ph/YA-postigayu-smysl--byt-Rossii-synom-kak-sotnya-deputatov-Gosdumy-podruzhilas-s-fejkovym-z-poehtom-kotoryj-vydaval-stihi-nacisto-06-28
@zakharovchannel
Сотня депутатов Госдумы и еще пара десятков сенаторов «подружились» с фейковым z-поэтом, который выдавал стихи немецких нацистов за патриотические.
Z-общественность постоянно переживает: мол, мало внимания уделяется поэзии, восхваляющий героев СВО. Не привлекают к ней должного внимания, потому и ходят наши люди по голым вечеринкам вместо того, чтобы после работы плести маскировочные сети. Не вдохновляют их стихи на подвиг.
Но, с другой стороны, зайдите на страницу «ВКонтакте» z-поэта Геннадия Ракитина. В друзьях — почти сотня депутатов Госдумы и около тридцати сенаторов. Значит, интересуется власть патриотической литературой? Значит, есть шанс, что такие, как Ракитин, окончательно заменят в наших книжных врагов народа и прочих попутчиков?
Авторы антивоенного проекта «Геннадий Ракитин», конечно, хотели бы, чтобы их стихи в итоге доползли бы до магазинов, но у них больше нет сил его вести. Потому что Ракитина — не существует, и все его стихи, которые так понравились депутатам и сенаторам, — перевод стихов поэтов нацистской Германии конца 1930-х — начала 1940-х.
Вот, например, стихотворение «Лидер»:
Ты как садовник, что в своем саду
Плоды трудов тяжелых пожинает.
Народ ликует, флаги в высоту
Взметнулись. Время тихо наступает.
Это — художественный перевод стихотворения «Фюрер» Эберхарда Мёллера, убежденного нациста и антисемита, ставшего членом НСДАП еще до прихода Гитлера к власти.
Стихи «Ракитина» перепечатывали z-паблики, у него есть грамоты от конкурсов z-поэзии.
Подробнее о проекте «Геннадий Ракитин», который лично я считаю отдельным произведением концептуального антивоенного искусства: https://telegra.ph/YA-postigayu-smysl--byt-Rossii-synom-kak-sotnya-deputatov-Gosdumy-podruzhilas-s-fejkovym-z-poehtom-kotoryj-vydaval-stihi-nacisto-06-28
@zakharovchannel
Telegraph
«Я постигаю смысл – быть России сыном»: как сотня депутатов Госдумы «подружилась» с фейковым z-поэтом, который выдавал стихи немецких…
Z-общественность постоянно переживает: мол, мало внимания уделяется поэзии, восхваляющий героев СВО. Не привлекают к ней должного внимания, потому и ходят наши люди по голым вечеринкам вместо того, чтобы после работы плести маскировочные сети. Не вдохновляют…
Forwarded from devilreef's shitpost (devilreef [private])
LMAO
i can’t send message to favourites cuz i set “who can send me messages” to “my contacts and premium” and i don’t have premium on this account
i can’t send message to favourites cuz i set “who can send me messages” to “my contacts and premium” and i don’t have premium on this account
#prog #rust #rustlib
pre — библиотека для помощи с правильным использованием
Причина, по которой
Не смотря на то, что это лучше, чем ничего, это подход довольно хрупок. Помимо того, что не все используют clippy (и уж тем более никто не использует tidy вне разработки самого Rust), эти проверки недостаточно гранулярны: они проверяют лишь наличие комментариев но не их содержимое. Это означает, что если по каким-то причинам условия использования и их обоснования на месте вызова разъедутся, эти инструменты их не отловят. Ну и, разумеется, никакие линтеры by design не могут остановить компиляцию кода (если только не включить их в общий процесс сборки кода). Библиотека pre стремится заполнить этот пробел.
Именно, библиотека позволяет добавлять на
Эти условия трансформируются в дополнительный аргумент для функции — типа с нулевым размером — значение которого предоставляется на вызывающей стороне при помощи макроса
Подобный подход всё так же полагается на человека в плане непосредственно проверки условий, но за счёт проверки того, что каждое отдельное условие удовлетворено на вызывающей стороне с идентичной формулировкой позволяет синхронно развивать определение
Условия можно записывать не только словесно, но и также в виде предиката или специального синтаксиса для утверждения корректного выравнивания сырых указателей или их валидности для операций чтения и/или записи:
Также библиотека даёт способ предоставить предусловия для функций из сторонних библиотек.
К сожалению, на сегодняшний день у макросов имеется множество ограничений, которые в основном выражаются в их меньшей полезности на стабильной версии компилятора. Ну и, разумеется, автор советуют не использовать pre безусловно ввиду очевидного влияния на время компиляции и на потребительский код в случае использования pre в публичных интерфейсах.
pre — библиотека для помощи с правильным использованием
unsafe
кода.Причина, по которой
unsafe
может быть в публичном интерфейсе функции, заключается в том, что для корректной работы функции требуются условия, которые не могут быть проверены компилятором или которые проверять очень дорого. В среде разработки на Rust распространена культура использования safety comments. Именно, unsafe
функция перечисляет в документации необходимые условия для безопасного использования, а вызовы этой функции перечисляют причины, по которым условия удовлетворены. В clippy есть линт на отсутствующую safety документацию на unsafe
определениях, а в tidy (внутреннем линтере для компилятора Rust) есть даже проверка на наличие этих комментариев на вызывающей стороне.Не смотря на то, что это лучше, чем ничего, это подход довольно хрупок. Помимо того, что не все используют clippy (и уж тем более никто не использует tidy вне разработки самого Rust), эти проверки недостаточно гранулярны: они проверяют лишь наличие комментариев но не их содержимое. Это означает, что если по каким-то причинам условия использования и их обоснования на месте вызова разъедутся, эти инструменты их не отловят. Ну и, разумеется, никакие линтеры by design не могут остановить компиляцию кода (если только не включить их в общий процесс сборки кода). Библиотека pre стремится заполнить этот пробел.
Именно, библиотека позволяет добавлять на
unsafe
функции атрибуты #[pre]
, каждый из которых содержит одно условие — в простейшем виде просто в виде словесного описания:#[pre("`arg` is a meaningful value")]
fn foo(arg: i32) {
assert_eq!(arg, 42);
}
Эти условия трансформируются в дополнительный аргумент для функции — типа с нулевым размером — значение которого предоставляется на вызывающей стороне при помощи макроса
assures
:#[pre] // Enables `assure`ing preconditions inside the function
fn main() {
#[assure("`arg` is a meaningful value", reason = "42 is very meaningful")]
foo(42);
}
Подобный подход всё так же полагается на человека в плане непосредственно проверки условий, но за счёт проверки того, что каждое отдельное условие удовлетворено на вызывающей стороне с идентичной формулировкой позволяет синхронно развивать определение
unsafe
кода и его использование. Именно, за счёт того, что каждое условие становится частью аргумента, изменение списка условий (добавление, удаление или изменение формулировки) становится ошибкой компиляции.Условия можно записывать не только словесно, но и также в виде предиката или специального синтаксиса для утверждения корректного выравнивания сырых указателей или их валидности для операций чтения и/или записи:
#[pre(valid_ptr(ptr_name, r+w))]
fn foo(ptr_name: *mut i32) {}
#[pre(proper_align(ptr_name))]
fn bar(ptr_name: *mut i32) {}
// Предусловие в виде предиката также
// добавляет в функцию соответствующий
// `debug_assert!`
#[pre(a < b || b > 17)]
fn baz(a: i32, b: i32) {}
Также библиотека даёт способ предоставить предусловия для функций из сторонних библиотек.
К сожалению, на сегодняшний день у макросов имеется множество ограничений, которые в основном выражаются в их меньшей полезности на стабильной версии компилятора. Ну и, разумеется, автор советуют не использовать pre безусловно ввиду очевидного влияния на время компиляции и на потребительский код в случае использования pre в публичных интерфейсах.
docs.rs
pre - Rust
pre is a library to help programmers correctly uphold preconditions for function calls.
Forwarded from dev optozorax
#prog #rust #article
sans-IO: The secret to effective Rust for network services
Статья о том, как можно писать код для сетевых протоколов в виде чистых стейт-машин, абстрагированных от конкретных источников данных, и о том, какие преимущества это даёт.
sans-IO: The secret to effective Rust for network services
Статья о том, как можно писать код для сетевых протоколов в виде чистых стейт-машин, абстрагированных от конкретных источников данных, и о том, какие преимущества это даёт.
Forwarded from Дневник пидара-провинциала
Когда-то я был маленький и глупый.
Но это время прошло.
Теперь я большой и глупый.
#господиёбтвоегоотцачтоянесу
Но это время прошло.
Теперь я большой и глупый.
#господиёбтвоегоотцачтоянесу
#prog #rust #video
В проекте Rust for Linux используется свой собственный вариант Arc. Подробнее о том, почему не используется Arc из std, рассказывается в докладе Arc in the Linux Kernel от Alice Ryhl (серьёзно, на это есть вполне валидные причины). Одно из последствий подобного решения — через собственный Arc нельзя производить unsize coercion и вызов методов на трейт-объектах. В Rust есть трейты, через которое можно настраивать данное поведение (CoerceUnsized и DispatchFromDyn), но они нестабильны — главным образом потому, что их поведение может поменяться. Невозможность реализации этих трейтов на стабильной версии является заметной эргономической проблемой для кастомных указателей.
Для решения этой задачи в Rust недавно предложили
В проекте Rust for Linux используется свой собственный вариант Arc. Подробнее о том, почему не используется Arc из std, рассказывается в докладе Arc in the Linux Kernel от Alice Ryhl (серьёзно, на это есть вполне валидные причины). Одно из последствий подобного решения — через собственный Arc нельзя производить unsize coercion и вызов методов на трейт-объектах. В Rust есть трейты, через которое можно настраивать данное поведение (CoerceUnsized и DispatchFromDyn), но они нестабильны — главным образом потому, что их поведение может поменяться. Невозможность реализации этих трейтов на стабильной версии является заметной эргономической проблемой для кастомных указателей.
Для решения этой задачи в Rust недавно предложили
#[derive(SmartPointer)]
, который будет стабильным и позволит использовать реализации этих трейтов на стальной версии. Разумеется, это не покрывает всех юзкейсов, но всё же позволит решить насущную проблему. И совсем недавно это предложение было принято к реализации.Rust-For-Linux
Rust for Linux
Adding support for the Rust language to the Linux kernel