#blogrecommendation

Этот канал не существует в вакууме. Есть и другие каналы, которые интересны мне и которые я бы мог назвать друзьями Блог*а. Так что без лишних слов представляю вам их, с описаниями от авторов.

@ihatereality
Личный блог вафли, где он в основном пишет о извращениях с растом. Или просто о чём ему в голову взбредёт. Но в основном о расте.
(^берегите его, он умный и он няша)

@optozorax_dev
Илья программирует всякое и периодически пишет о результатах. При этом он старается объяснить как проблему, так и решение, не забывая ссылаться на известные результаты. Поэтому читатель может узнать что-то новое для себя. Не репостит другие каналы, поэтому контента мало, зато он уникальный.
(а ещё он обожает кастомные клавиатуры)

@ShadyBytes
Личный блог айтишника-либертарианца про технологии и общество. Меньше пресс-релизов крупных компаний, больше личного опыта.

@nlinker_rust
Собираю ржавые и лямбдообразные новости, прикольные цитатки с форумов, ссылки на статьи и всё такое. В-общем, сюда я тащу такие крупицы, которые мне будет жаль потерять в цифровой бездне. Возможно, они покажутся интересными и вам.

@repushko_channel
Один шизоид ругается на IT индустрию и постит иногда смешные мемы.
(любитель философии)

@tipaproit
Типа про IT и вот это вот всё. Прокрастинируем и программируем программы на компьютере. Авторский блог exclusively for Telegram.

@rustamann
(микро) блог @mersinvald о Rust, разработке, и жизни экспата в Германии. Ахтунг! Повышенное содержание мемов.

Лайфхак, как попасть в JetBrains (от разработчика rust-плагина)😀

Я в 11 классе начинал, в 2014м. Меня тогда не сложность раста, а отсутствие IDE останавливало. Порог был совершенно непреодолим. Собственно, я так в JetBrains и оказался...

UPD: Хотя, кажется, тут речь про первый язык. У меня тогда раст был, конечно же, не первым, извиняюсь

Да, ребята, все договоры оферты, кредитные, купли-продажи нужно внимательно изучать на предмет unsafe!

Дима Полунин, [28.09.20 15:19]
Что тебе не нравится?

Constantine Drozdov, [28.09.20 15:19]
[In reply to Дима Полунин]
Ансейф мелким шрифтом

Это надо в анналы истории.
Произведение искусства (c) Hirrolot

^^^ рекурсия запрещена в сишных макросах, но разве запреты когда-нибудь останавливали тех, кому это действительно хотелось 😃

Мой новый рисунок компилятором по консоли

Вафельная библиотека rust 😂

(звучит как будто раст — моя библиотека, но я сплю и мне лень перефразировать)

Полезняшки, в смысле, статьи на почитать.

#prog #rust #article

Статья о порядке дропа значений в Rust. Это несколько запутанно.

#prog #rust #article

Статья об использовании телеметрии в приложениях на Rust. Спойлер: для этого есть весьма удобные библиотеки, причём и для асинхронного кода

- Сначала ты думаешь, что в Расте есть присваивания.
- Потом ты понимаешь, что они странно себя ведут и являются выражениями.
- Потом понимаешь, что в Расте нет присваиваний, но продолжаешь по традиции их так называть. 👇

#TIL что в расте присваивание (a = b) это выражение.

Я это и раньше знал, но из-за редкости присваиваний в моём коде и неприятного опыта из других языков я это не осознавал.

К шутеечке, что выше

Можно утверждать, что в Расте есть только передача владения (перемещение) и заимствование, причём заимствований два — разделяемые (&) и уникальные (&mut). Только для Copy-значений присваивания как-бы есть, но это особый случай перемещения.
Под капотом конечно и перемещение, и заимствование реализуются как присваивание.

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

вафель 🧇🍓, [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:
https://compcert.inria.fr