#prog #rust #rustlib #article
Kani — bit-precise model checker for Rust. Верификатор, который исполняет код символически и потому эффективно проверяет код на всех возможных входах. Если код (без внесения ограничений на работу kani) проходит проверку, то его корректность можно считать доказанной.
А также статья, которая проверяет кусок логики из реального проекта:
Using the Kani Rust Verifier on a Firecracker Example
Kani — bit-precise model checker for Rust. Верификатор, который исполняет код символически и потому эффективно проверяет код на всех возможных входах. Если код (без внесения ограничений на работу kani) проходит проверку, то его корректность можно считать доказанной.
А также статья, которая проверяет кусок логики из реального проекта:
Using the Kani Rust Verifier on a Firecracker Example
GitHub
GitHub - model-checking/kani: Kani Rust Verifier
Kani Rust Verifier. Contribute to model-checking/kani development by creating an account on GitHub.
👍4
Forwarded from Generative Anton
Иногда я думаю, что идеи моего ресеча какая-то дичь и не стоит тратить на это время.
А потом вижу статью, в которой статистически подтверждается, что нападения волков в муниципалитетах Германии на уровне земель приводят к ультраправому голосованию, а зеленые на таких выборах голоса теряют 🤯
Популистское объединение против внешнего врага? Как вам объединение против волков 🐺🐺🐺!
Цитаты конечно платиновые (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…
А потом вижу статью, в которой статистически подтверждается, что нападения волков в муниципалитетах Германии на уровне земель приводят к ультраправому голосованию, а зеленые на таких выборах голоса теряют 🤯
Популистское объединение против внешнего врага? Как вам объединение против волков 🐺🐺🐺!
Цитаты конечно платиновые (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…
🤔1💩1
Блог*
#prog #julia #article Why I no longer recommend Julia (перевод) My conclusion after using Julia for many years is that there are too many correctness and composability bugs throughout the ecosystem to justify using it in just about any context where correctness…
Хабр
Десять предупреждений для желающих познакомиться поближе с Julia
Julia – мой любимый язык программирования и основной рабочий инструмент для проведения научных исследований и подготовки научной графики. Я восхищаюсь её простотой, изящностью и производительностью....
Forwarded from Neural Machine
Аниме — это мощный инструмент, который позволяет вам держать глаза открытыми для взрослой жизни.
💩6❤🔥4❤1
Forwarded from Архонт щітпосту | #укртґ
This media is not supported in your browser
VIEW IN TELEGRAM
🔥3👎2
Архонт щітпосту | #укртґ
Video
YouTube
Building a Lego-powered Submarine 4.0 - automatic depth control
This radio-controlled submarine can maintain a steady depth or a certain distance from the bottom. It is equipped with a pressure sensor and a laser distance sensor. Raspberry Pi and PID control are used for automation. Tested in a swimming pool and a small…
👍3
#prog #java #article
Как мы запустили программу на Java без JavaVM, или немного про практический опыт применения GraalVM native image.
(thanks @bapho_bush)
Как мы запустили программу на Java без JavaVM, или немного про практический опыт применения GraalVM native image.
(thanks @bapho_bush)
Хабр
Как мы запустили программу на Java без JavaVM
Всем привет! В этой статье мы расскажем о том, как технология GraalVM Native Image помогла нам решить ряд задач в одном из наших новых продуктов, написанном на Java, расскажем о проблемах, с...
#prog #retroit
Как мы делали Warface для Денди
Сразу оговорюсь, речь идёт на самом деле не об игре, а о, фактически, слайд-шоу с титрами поверх картинок. Но даже так читать интересно
Как мы делали Warface для Денди
Сразу оговорюсь, речь идёт на самом деле не об игре, а о, фактически, слайд-шоу с титрами поверх картинок. Но даже так читать интересно
Хабр
Как мы делали Warface для Денди
В октябре 2020 мне написал мой друг Андрей Скочок, работающий в Mail.ru, и предложил сделать для них необычную промоакцию. Суть в том, что в ноябре для их игры Warface выходило обновление, и Андрею...
Иду по тротуару, никого не трогаю, вдруг с дерева в метрах четырёх от меня из кроны на землю падает... Кошка 😶
🕊7❤4
Блог*
#prog #rust #rustlib В стандартной библиотеке есть тип std::ffi::CStr, предназначенный для представления невладеющих C-строк. Не смотря на то, что для определения этого типа не нужно ничего, чего не было бы в core, у этого типа есть методы, в сигнатурах которых…
GitHub
Stabilize `core::ffi::CStr`, `alloc::ffi::CString`, and friends by joshtriplett · Pull Request #99277 · rust-lang/rust
Stabilize the core_c_str and alloc_c_string feature gates.
Change std::ffi to re-export these types rather than creating type
aliases, since they now have matching stability.
Change std::ffi to re-export these types rather than creating type
aliases, since they now have matching stability.
Блог*
#prog #rust С версии Rust 1.64.0 это даже стабилизируют.
#prog #rust
А, и ещё Rust 1.64.0 покончит с той неловкой ситуацией, когда типы для интеропа с C есть в std, но не в core
А, и ещё Rust 1.64.0 покончит с той неловкой ситуацией, когда типы для интеропа с C есть в std, но не в core
GitHub
Stabilize `core::ffi:c_*` and re-export in `std::ffi` by joshtriplett · Pull Request #98315 · rust-lang/rust
This only stabilizes the base types, not the non-zero variants, since
those have their own separate tracking issue and have not gone through
FCP to stabilize.
those have their own separate tracking issue and have not gone through
FCP to stabilize.
👍2
#prog #rust #article
How to speed up the Rust compiler in July 2022
Куча интересных усовершенствований!
How to speed up the Rust compiler in July 2022
Куча интересных усовершенствований!
Nicholas Nethercote
How to speed up the Rust compiler in July 2022
Let’s look at some of the progress on Rust compiler speed made since my last post. I will start with some important changes made by other people.
👍3
#prog #rust #article
Rustc показывает экспоненциальное поведение при тайпчекинге рекурсивных HRTB из-за отсутствия кеширования промежуточных результатов и разработчики не могут понять, почему. А, и ещё об этом Амос написал статью: When rustc explodes
Rustc показывает экспоненциальное поведение при тайпчекинге рекурсивных HRTB из-за отсутствия кеширования промежуточных результатов и разработчики не могут понять, почему. А, и ещё об этом Амос написал статью: When rustc explodes
GitHub
Missing caching for HRTB projection equality bounds (`for<'x> T: Trait<'x, Assoc = ...>`). · Issue #99188 · rust-lang/rust
Originally reduced from a production application using the tower crate - see @fasterthanlime's reduced repro repo for more background (though note that it exhibits several other failure mod...
👍1
Forwarded from There will be no singularity
In Snowflake, you can create tables, stages, and functions temporarily.
Temporary objects remain visible in the current session only and disappear after the session ends.
The unusual behavior is that you can create a temporary object with the same name as an already existing object.
So, all existing objects linked with it will be relinked to the "new" temporary object. For e.g. all views dependent on the original table will depend on the temporary table.
More than it!
The permanent table created after the temporary table with the same name stays invisible in the current session too :)
🤡6👍1🤔1