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. Сегодня прямо было близко к бинго.