dd if=/dev/stuff of=/dev/tg
Новая статья — о простом тайп-левел представлении UUID: https://ybogomolov.me/type-level-uuid
Решаю повторить на расте
@
Начинаю расписывать через const generics
@
Понимаю, что стейбл слишком немощный, и подрубаю nightly с
@
ВНЕЗАПНО ICE (internal compiler error)
@
Минифицирую
@
ВНЕЗАПНО ICE-ится и на стейбле, не смотря на использование фичей
@
Заполняю issue
@
Попутно, проверяя, не дубликат ли это, нахожу вот это issue, открытое несколько часов назад
@
"Привет, у нас тут можно, оказывается, написать Drop с более сильными ограничениями на тип, чем в объявлении, что позволяет промоутить произвольный тип до
@
Лейбл: regression-from-stable-to-stable
@
Как страшно жить
@
Начинаю расписывать через const generics
@
Понимаю, что стейбл слишком немощный, и подрубаю nightly с
#![feature(const_adt_params, generic_const_exprs)]
@
ВНЕЗАПНО ICE (internal compiler error)
@
Минифицирую
@
ВНЕЗАПНО ICE-ится и на стейбле, не смотря на использование фичей
@
Заполняю issue
@
Попутно, проверяя, не дубликат ли это, нахожу вот это issue, открытое несколько часов назад
@
"Привет, у нас тут можно, оказывается, написать Drop с более сильными ограничениями на тип, чем в объявлении, что позволяет промоутить произвольный тип до
'static
, что может привести к use after free, кстати, вот пример для воспроизведения"@
Лейбл: regression-from-stable-to-stable
@
Как страшно жить
GitHub
`#![feature(generic_const_exprs)]` ICE on evaluating constans both for type of generic const parameter and trait bound at the same…
Code #![feature(generic_const_exprs)] struct Foo<const A: [(); 0 + 0]> where [(); 0 + 0]: Sized; Note that it is required for both array lengths to be not a literal in order to trigge...
Блог*
Решаю повторить на расте @ Начинаю расписывать через const generics @ Понимаю, что стейбл слишком немощный, и подрубаю nightly с #![feature(const_adt_params, generic_const_exprs)] @ ВНЕЗАПНО ICE (internal compiler error) @ Минифицирую @ ВНЕЗАПНО ICE-ится и…
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from ☕️ Мерлин заваривает τσάι 🐌
TIL в postgres можно накатывать ограничения только для новых записей
https://hakibenita.com/postgresql-unknown-features#add-constraints-without-validating-immediately
ALTER TABLE ordersВот это вот
ADD CONSTRAINT check_price_gt_zero
CHECK (price >= 0) NOT VALID;
NOT VALID
говорид постгре "падажжи, не проверяй старые записи, а вот новые валидируй"https://hakibenita.com/postgresql-unknown-features#add-constraints-without-validating-immediately
Hakibenita
Lesser Known PostgreSQL Features
Features you already have but may not know about!
Блог*
Решаю повторить на расте @ Начинаю расписывать через const generics @ Понимаю, что стейбл слишком немощный, и подрубаю nightly с #![feature(const_adt_params, generic_const_exprs)] @ ВНЕЗАПНО ICE (internal compiler error) @ Минифицирую @ ВНЕЗАПНО ICE-ится и…
Вафелька подсказал, что страшное issue закрыли
GitHub
Unsound drop due to imperfect lifetime checks · Issue #90838 · rust-lang/rust
Looks like it's possible to impl Drop for a stricter lifetime than the one used in the type: struct Wrapper<'a, T>(&'a T) where T: 'a; impl&...
#prog #rust #serde #article
У serde не самая интуитивная архитектура. В данной паре статей автор попытался показать её на примере. В первой статье автор разбирает код для десериализации, сгенерированный derive для простого примера. Во второй статье автор показывает, как самостоятельно написать десериализатор для простого формата.
У serde не самая интуитивная архитектура. В данной паре статей автор попытался показать её на примере. В первой статье автор разбирает код для десериализации, сгенерированный derive для простого примера. Во второй статье автор показывает, как самостоятельно написать десериализатор для простого формата.
Блог*
#prog #article Системы типов #java и #scala являются unsound. Подробности в статье. TL;DR: Программа определяет тип class Constrain<A, B extends A> {} и метод upcast: static class Bind<A> { <B extends A> A upcast(Constrain<A,B> constrain, B b) { …
DEV Community
Java is Unsound: The Industry Perspective
Discussing a recent academic finding on Java and Scala, from industry's perspective.
Forwarded from Linker Unsafe
Неожиданно Rust Evangelism Strikeforce добралась и до Ёжика Лисичкина (совсем не программерский, и даже не технический канал)
#music
TL;DR: тык.
Продолжаем славную традицию выкладывать саундтреки игр вместо обзоров на них.
Почти десять лет назад вышла игра Vessel, пазл-платформер. Разработанная двумя людьми, которые в своё время покинули Electronic Arts и основали Strange Loop Games, дабы разрабатывать игры с упором на интересный геймплей, а не графику, эта игра была обласкана критиками и игроками (81/7.8 на Metacritic).
В своё время я прошёл эту игру — причём сначала на пиратке, и она мне настолько понравилась, что я купил её в Steam — и потом забросил на полку. Относительно недавно я решил её перепройти — и в процессе обратил внимание на то, что прошло мимо моего внимания несколько лет назад: шикарная музыка. К сожалению, поиски официального саундтрека успехом не увенчались: в Steam его просто нет, а официальная страница игры не работает. Композитор Jon Hopkins выкладывал часть треков на bandcamp и Spotify, но не объединял конкретно треки из Vessel в один альбом. В итоге искомое пришлось искать на YouTube, что немного жаль, поскольку альбомные версии треков отличаются от игровой версии.
Но музыка всё равно хорошая.
TL;DR: тык.
Продолжаем славную традицию выкладывать саундтреки игр вместо обзоров на них.
Почти десять лет назад вышла игра Vessel, пазл-платформер. Разработанная двумя людьми, которые в своё время покинули Electronic Arts и основали Strange Loop Games, дабы разрабатывать игры с упором на интересный геймплей, а не графику, эта игра была обласкана критиками и игроками (81/7.8 на Metacritic).
В своё время я прошёл эту игру — причём сначала на пиратке, и она мне настолько понравилась, что я купил её в Steam — и потом забросил на полку. Относительно недавно я решил её перепройти — и в процессе обратил внимание на то, что прошло мимо моего внимания несколько лет назад: шикарная музыка. К сожалению, поиски официального саундтрека успехом не увенчались: в Steam его просто нет, а официальная страница игры не работает. Композитор Jon Hopkins выкладывал часть треков на bandcamp и Spotify, но не объединял конкретно треки из Vessel в один альбом. В итоге искомое пришлось искать на YouTube, что немного жаль, поскольку альбомные версии треков отличаются от игровой версии.
Но музыка всё равно хорошая.
Forwarded from Generative Anton
В интернете есть все, в том числе сайт, в котором можно играть в Outgage Bingo. Сегодня прямо было близко к бинго.