Forwarded from SWE notes
Нашел хороший курс про отказоустойчивость в распределенных системах, да ещё и на русском языке. Очень рекомендую.
#fault_tolerant #distributed_system
#fault_tolerant #distributed_system
YouTube
TFTDS (лекции, 3 курс, осень 2021) - Липовский Р. Г.
Share your videos with friends, family, and the world
🔥10👍3
Rust — это когда пытаешься запрогать type-level fizzbuzz так, чтобы он в итоге всё фигачил в одну строку в
.rodata (и, кстати, успешно) и в процессе натыкаешься на баг компилятора.GitHub
Projections fail to unify projections in related obligations · Issue #108933 · rust-lang/rust
I tried this code: trait Add<Rhs> { type Sum; } impl Add<()> for () { type Sum = (); } type Unit = <() as Add<()>>::Sum; trait Trait<C...
🤯8👍2🤡1
#prog #rust #rustreleasenotes
Вышла версия Rust 1.68.0! В этот раз релиз довольно минорный, так что за подробностями отсылаю к полному списку.
▪️Добавили макрос pin!. Вафель рассказывал, чем он отличается от прочих подобных макросов в сторонних либах.
▪️Cargo теперь умеет в т. н. sparse registry protocol. При его использование cargo вместо вычитывания индекса целиком скачивает информацию о реально используемых зависимостях, что обычно работает значительно быстрее текущего варианта, при котором клонируется репозиторий с индексом.
▪️Span-ы токенов теперь хранятся не абсолютными, а относительными по отношению к родительским токенам. Абсолютные span-ы менялись при добавлении и удалении строк, причём не только там, где это имело значение, но и во всех строках ниже изменённых. Это серьёзно ограничивало преимущества инкрементальной компиляции. Разумеется, относительные span-ы несколько замедляют работу в том смысле, что теперь нужно проходить по дереву токенов для нахождения их каноничной формы, но бенчмарки показывают, что инкрементальная компиляция в целом от этого выигрывает, особенно для таких "тяжёлых" крейтов, как clap, cargo, regex и syn.
▪️Если вы вдруг горели желанием преобразовывать булеаны в числа с плавающей точкой, то теперь вас ничто не ограничивает с новыми реализациями
Вышла версия Rust 1.68.0! В этот раз релиз довольно минорный, так что за подробностями отсылаю к полному списку.
▪️Добавили макрос pin!. Вафель рассказывал, чем он отличается от прочих подобных макросов в сторонних либах.
▪️Cargo теперь умеет в т. н. sparse registry protocol. При его использование cargo вместо вычитывания индекса целиком скачивает информацию о реально используемых зависимостях, что обычно работает значительно быстрее текущего варианта, при котором клонируется репозиторий с индексом.
▪️Span-ы токенов теперь хранятся не абсолютными, а относительными по отношению к родительским токенам. Абсолютные span-ы менялись при добавлении и удалении строк, причём не только там, где это имело значение, но и во всех строках ниже изменённых. Это серьёзно ограничивало преимущества инкрементальной компиляции. Разумеется, относительные span-ы несколько замедляют работу в том смысле, что теперь нужно проходить по дереву токенов для нахождения их каноничной формы, но бенчмарки показывают, что инкрементальная компиляция в целом от этого выигрывает, особенно для таких "тяжёлых" крейтов, как clap, cargo, regex и syn.
▪️Если вы вдруг горели желанием преобразовывать булеаны в числа с плавающей точкой, то теперь вас ничто не ограничивает с новыми реализациями
From<bool> для f32 и f64.👌9👍3
Труд сделал из обезьяны человека.
А вот что труд делает с человеком — почему-то не говорят.
А вот что труд делает с человеком — почему-то не говорят.
👍12😁8🤔2😢1
Forwarded from dev optozorax
Недавно обнаружил чувака, который тоже написал симуляцию помещения портала в портал!
Оказалось он разрабатывает целую игру с двигающимися порталами!!! У него портал может упасть на тебя, и тебя выкинет, или порталы могут увеличивать/уменьшать как в superliminal, и вообще игра больше рассчитана на необычную портальную физику.
Вот ссылка на трейлер его игры: youtube/016pLRH9GdQ.
У него в движке работает физика двигающихся порталов, так что это будет помощнее, чем моё решение, которое работает только в визуализации. Как я понял, он использует комбинацию моего старого и нового подходов для симуляции, поэтому ему было не так сложно, но и не так легко сделать портал в портале.
Очень приятно видеть что портальное дело растёт и развивается!!! Надеюсь через десяток лет увидим игру с полностью продуманной и проработанной портальной физикой, где даже основные парадоксы разрешены в каком-то виде.
Игру я уже купил, на выходных заценю)
Оказалось он разрабатывает целую игру с двигающимися порталами!!! У него портал может упасть на тебя, и тебя выкинет, или порталы могут увеличивать/уменьшать как в superliminal, и вообще игра больше рассчитана на необычную портальную физику.
Вот ссылка на трейлер его игры: youtube/016pLRH9GdQ.
У него в движке работает физика двигающихся порталов, так что это будет помощнее, чем моё решение, которое работает только в визуализации. Как я понял, он использует комбинацию моего старого и нового подходов для симуляции, поэтому ему было не так сложно, но и не так легко сделать портал в портале.
Очень приятно видеть что портальное дело растёт и развивается!!! Надеюсь через десяток лет увидим игру с полностью продуманной и проработанной портальной физикой, где даже основные парадоксы разрешены в каком-то виде.
Игру я уже купил, на выходных заценю)
🔥12