#prog #idris #article
Phantom types are a well-known compile-time tool to ensure that illegal actions (such as attempting to write in a read-only file) are unrepresentable. In this blog post we introduce poltergeist types: phantom types whose parameters may still knock around at runtime.
gallais.github.io/blog/poltergeist-types
(thanks @randomstuffilike)
Phantom types are a well-known compile-time tool to ensure that illegal actions (such as attempting to write in a read-only file) are unrepresentable. In this blog post we introduce poltergeist types: phantom types whose parameters may still knock around at runtime.
gallais.github.io/blog/poltergeist-types
(thanks @randomstuffilike)
#prog #rust #rustlib
k2-tree — коллекция для эффективного хранения разреженных битовых матриц.
github.com/ggabi/k2_tree
k2-tree — коллекция для эффективного хранения разреженных битовых матриц.
github.com/ggabi/k2_tree
GitHub
GitHub - GGabi/k2_tree: A Rust implementation of the K2Tree, an extremely space-efficient way of representing sparse bit-matrices.
A Rust implementation of the K2Tree, an extremely space-efficient way of representing sparse bit-matrices. - GGabi/k2_tree
Блог*
#prog #go #rust Очередная длиннющая статья от Амоса, показывающая преимущества сильных типов Rust и то, как они помогают предотвращать баги и больше выражать в коде, нежели чем в документациях. На этот раз грушами для битья выступают Go и Javascript. Абзац…
Twitter
fasterthanlime 🌌
"ooh amos's articles are so long" meanwhile, microsoft:
Forwarded from Жалкие низкочастотники
Ну а для тех, кому многомерные оси совсем безразличны, напишу про английскую художницу Элин Томас, которая делает из войлока и шерсти поделки в виде чашек Петри с плесенью.
Ну или почитайте стандарт на компьютерную мышь от Xerox Palo Alto Research Center 1981 года, или как организовать стеганографию с помощью шести невидимых unicode-символов
Ну или почитайте стандарт на компьютерную мышь от Xerox Palo Alto Research Center 1981 года, или как организовать стеганографию с помощью шести невидимых unicode-символов
Forwarded from мне не нравится реальность (вафель 🧇🍓)
areweyeetyet.rs
Сайт, который следит за резвитием событий вокруг
Это прекрасно
Сайт, который следит за резвитием событий вокруг
yeet (предлагается зарезервировать его как кейворд). Это прекрасно
Forwarded from шитпостинг.
- болеешь короной
- берешь сам анализы у себя
- делаешь секвенирование, оказывается новый вариант
- у тебя готовый paper
- проффит
https://medicalxpress.com/pdf538127933.pdf
- берешь сам анализы у себя
- делаешь секвенирование, оказывается новый вариант
- у тебя готовый paper
- проффит
https://medicalxpress.com/pdf538127933.pdf
#prog #rust #моё
Дайте я похвастаюсь.
В репе раста есть issue от апреля 2018 о том, что, не смотря на всё разнообразие диапазонов в Rust, слайсы всё ещё нельзя индексировать одним типом, для которого std::ops::RangeBounds таки реализован: пара из std::ops::Bound<usize>. Эту нехватку функционала я закрыл в своём PR, и совсем недавно, 22 апреля 2021, его таки смержили! 🎉🎉🎉
Дайте я похвастаюсь.
В репе раста есть issue от апреля 2018 о том, что, не смотря на всё разнообразие диапазонов в Rust, слайсы всё ещё нельзя индексировать одним типом, для которого std::ops::RangeBounds таки реализован: пара из std::ops::Bound<usize>. Эту нехватку функционала я закрыл в своём PR, и совсем недавно, 22 апреля 2021, его таки смержили! 🎉🎉🎉
GitHub
impl<T> SliceIndex<[T]> for (Bound<usize>, Bound<usize>) · Issue #49976 · rust-lang/rust
These feel like an omission to me, given how RangeArgument is implemented for this type: impl<T> SliceIndex<[T]> for (Bound<usize>, Bound<usize&...
Forwarded from мне не нравится реальность (вафель 🧇🍓)
Из последнего TWIR'а подцепил приятную новость: RFC 2229 aka
capture_disjoint_fields, позволяющее захватывать отдельные поля в кложурах, наконец-то реализовано и даже углы срезаны!