Ищем консенсус с Вафелем:

вафель 🧇🍓, [03.10.20 00:50]
Это была несмешная шутка и присваивания таки есть.
Но присваивание можно воспринимать как функцию &mut T -> T -> ()
Что и отличает его от передачи владения

Nick Linker, [03.10.20 00:54]
Согласен. Это можно представить как то, что присваивание является не элементарной операцией, а реализуется как обычная функция.

вафель 🧇🍓, [03.10.20 00:56]
Да

(Сообщением ниже перл из компиляторного чата👇)

К слову, CompCert C это формально верифицированный компилятор C, вещь сама по себе потрясающая (одни только 100к на Коке впечатляют):

At 100 000 lines of Coq and six person-years of effort, CompCert’s proof is among the largest ever performed with a proof assistant.

Увы, это не гарантирует, что программист не сделает double free, а гарантирует только то, что исходный код будет скомпилирован в точном соответствии со спецификацией. Если программист накосячит, он уже не сможет спихнуть вину на сырой компилятор🤕

Aλice 4.2 stable:
Привет! Хотим с другом сделать плагин к ide который запускает пытки током от стула. При ошибках компиляции. Но компилятор нужен без ошибок. Какой компилятор самый хороший?

Anton Trunov:
http://compcert.inria.fr

Выступал сегодня с докладом для студентов, тема в некотором смысле "пиар для математики".

https://nlinker.github.io/presentations/10_why-math/index.html

Как обычно, уже после доклада начал вспоминать о чём-то, о чём хотел рассказать, и забыл 😐

Полезное голосование, надо подумать над PR в cargo fmt.

Очень маленький стол.

Oleg ℕizhnik:
Лучший способ обучить русскоязычного сотрудника скале - разрешить ему сидеть в телеграме и смотреть ютюб на работе.

Ну и дать общаться с коллегами, конечно же
---
новые образовательные технологии от Олега 😄

Если серьёзно, в этом есть рациональное зерно, однако такого рода свобода легко может обернуться против интересов работодателя.

Коллега выдал перл:
Кто-то пишет эффективный и поддерживаемый код, а кто-то промахивается струёй мимо унитаза

Не могу похвастаться, что всегда пишу эффективный и поддерживаемый код, но промахиваюсь редко 😀

> - Программирование на Rust от CSC. - Советую смотреть после сериала про С++. Отлично дополнит.

Вместо 😝👇

Осенний аниме-сезон не очень. Но что тогда смотреть за завтраком/обедом и вечером? Делюсь с вами подборочкой.

- Линейная алгебра и геометрия ФКН ВШЭ. Онгоинг. Прикольный, бодрый сериал про алгебру, мне нравится.
- Машобуч СПбГУ - Сергей Николенко. Онгоинг. Сериал про классический ML. (Вообще смотрите все видосы на канале)
- Маш обуч ФКН ВШЭ - Евгений Соколов. Онгоинг. Классический ML. Хороший сериал.
- Алгоритмы и структуры данных. Онгоинг. Смотрел пару серий, мне понравилось.

Вышедшие сериалы, которые можно посмотреть.
- Алгоритмы и структуры данных. ШАД. М.А.Бабенко. Вышло в 2014. Огонь сериал, смотрел на одном дыхании.
- Программирование на С++ от CSC. Первый сезон. Второй сезон. - лучший сериал про с++, что я смотрел.
- Программирование на Rust от CSC. - Советую смотреть после сериала про С++. Отлично дополнит.

Aww☺️ Но кое чего не хватает...

Тест комментариев, м?

Oh, god, я наконец-то нашёл, как отключить беззвучное автовоспроизведение ютубовских видео во время просмотра ленты.

Account -> Settings -> General -> Muted playback in feeds -> Off

🎉😌

Kai Ren:
Я просто помню, что в универе у меня была практически феноменальная память. Всё легко держалось в голове, я помнил все свои пароли, все события за последнее время в мельчаших деталях. Мог даже примерно вспомнить что я делал пару лет назад в конкретный день.

А потом я начал работать в ОйТи...
---
Дальше можно не продолжать 😭