#common

1. [article] Higher RAII, and the Seven Arcane Uses of Linear Types.

Всё тот же автор языка Vale (на испанском читаем как бале) вводит новую концепцию Higher RAII. Тлдр такой:
- деструкторы в C++ это про вызов одного конкретного метода без параметров, что не всегда удобно.
- higher RAII в Vale позволяет делать сколько угодно таких методов с любыми параметрами и всё равно быть уверенным, что ничего не потеряется.

И в конце накинул примеров, когда это может быть полезно.

2. [article] How Discord reduced websocket traffic by 40%.

Произошло это примерно так:
- перешли на ZSTD. Получилось, конечно, не сразу. Ребята поприседали. Если быть более честным, то на EZSTD для поддержания стриминга.
- перестали отправлять сообщения, которые пользователю сейчас-то и не нужны.

Но это моя вольная трактовка. В статье сильно больше деталей.

3. [article] Understanding Zero-knowledge proofs through illustrated examples.

Zero-knowledge proofs -- концепция доказательства владения информацией, не раскрывая саму информацию.

В статье есть 3 простых примера того, как для абстрактных игр Алиса и Боб могут доказывать друг другу победу в игре без раскрытия самого результата.

Интересно. И обложка у статьи прикольная.

4. [article] Zombie Menace, Vampire Peril.

Мне очень откликается эта статья. Когда мы овним большую базу кода, мы часто забываем, что "большой" не значит хорошо. Каждая неиспользуемая строка кода тратит время на поддержку этого самого кода. Чинить тесты неиспользуемых фич тратит не только время, но и пошатывает спокойствие разработчиков. Повышается общая когнитивная нагрузка. Время компиляции растёт. Размер ваших приложений тоже.

Поэтому я в последнее время активно рефакторю и выпиливаю всё, до чего дотянусь. По строчкам на дистанции кода даже получается выйти в минус (хотя что я один против остальной команды...).

============================
В vas3k.club намутили опрос (ссылка в самом начале поста) про то, как расти на позиции выше и с какими проблемами можно столкнуться. Это потенциально касается любого из вас: если вы уже каким-то образом CTO или только задумываетесь о росте в руководители (особенно если так), ваши ответы могут быть Лизе очень полезны.
Я с ней довольно продуктивно пересекался пару раз за последний год и очень хочется помочь.