Новая статья — о простом тайп-левел представлении UUID:
https://ybogomolov.me/type-level-uuid

Решаю повторить на расте
@
Начинаю расписывать через 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
@
Как страшно жить

#prog #rust

Тут подписчик сделал compile-time валидацию UUID.

(thanks @Kolsky)

TIL в postgres можно накатывать ограничения только для новых записей

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

Вафелька подсказал, что страшное issue закрыли

#soc #article

Срачегонная статья на тему ситуации с зарплатами в России

#rust

Оаоаоаоаоа, наконец-то!

И даже своё лицо начало себе нравиться. Удивительно.

#prog #rust #serde #article

У serde не самая интуитивная архитектура. В данной паре статей автор попытался показать её на примере. В первой статье автор разбирает код для десериализации, сгенерированный derive для простого примера. Во второй статье автор показывает, как самостоятельно написать десериализатор для простого формата.

#prog #java

Немного о том, что это означает для рядовых программистов и почему это важно.

Неожиданно Rust Evangelism Strikeforce добралась и до Ёжика Лисичкина (совсем не программерский, и даже не технический канал)

#music

TL;DR: тык.

Продолжаем славную традицию выкладывать саундтреки игр вместо обзоров на них.

Почти десять лет назад вышла игра Vessel, пазл-платформер. Разработанная двумя людьми, которые в своё время покинули Electronic Arts и основали Strange Loop Games, дабы разрабатывать игры с упором на интересный геймплей, а не графику, эта игра была обласкана критиками и игроками (81/7.8 на Metacritic).

В своё время я прошёл эту игру — причём сначала на пиратке, и она мне настолько понравилась, что я купил её в Steam — и потом забросил на полку. Относительно недавно я решил её перепройти — и в процессе обратил внимание на то, что прошло мимо моего внимания несколько лет назад: шикарная музыка. К сожалению, поиски официального саундтрека успехом не увенчались: в Steam его просто нет, а официальная страница игры не работает. Композитор Jon Hopkins выкладывал часть треков на bandcamp и Spotify, но не объединял конкретно треки из Vessel в один альбом. В итоге искомое пришлось искать на YouTube, что немного жаль, поскольку альбомные версии треков отличаются от игровой версии.

Но музыка всё равно хорошая.

В интернете есть все, в том числе сайт, в котором можно играть в Outgage Bingo. Сегодня прямо было близко к бинго.

Мой голос только что назвали сексуальным >~<

Rust be like:

#prog #rust #meme #моё

#meme, для понимания которого нужно иметь некоторую эрудицию

#prog #meme

В противовес ранее упомянутому