Одна из самых распространённых ошибок в ООП: "Квадрат и прямоугольник это почти одно и то же, за исключением одной маленькой детали. А потому логично отнаследовать одно от другого".

https://twitter.com/hillelogram/status/1294091324099002368?s=19

ох какие же растеры бездарные. у меня передоз крестов

жил был раст оффтопик. сидели с хиро обсуждали поечку, идрис, внимали мудрости доги, кая.
@
СФИНАЕ РВАЛУЕ МУВ ДЕРЕФЕРЕНС ЛУПХОЛ УБ УБ КНИГИ СТАТЬИ СТАНДАРТЫ

Читани это для начала: https://habr.com/ru/company/redhatrussia/blog/467105/

#prog #amazingopensource

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

https://github.com/gecko984/supervenn

Борщевик, очевидно, не является необратимым ингибитором ацетилхолинэстеразы!

^^^ Мемы про борщевик дюже популярны в хаскеллевских группах, а Nick Ivanych потратил время на изучения различных стимуляторов мозга, что придаёт определённый оттенок сообщению выше.

Похоже пора писать дисклеймер по поводу моего юмора 😑

Когда-то американские власти выбрали одну из самых отдалённых от людей точек в Нью-Мехико для манхэттеновского проекта -- Лос Аламос -- так, чтобы было легко охранять периметр от вредителей, шпионов и зевак, и спустя время это превратилось в центр ядерной промышленности и научный центр вместе со всей инфраструктурой в виде домов, школ, развлекательных заведений и даже музеев, фактически превратившись в город, но статус города не имеющий до сих пор.
https://ru.m.wikipedia.org/wiki/Лос-Аламос

(с Rust ничего общего, так, интересный факт)

"Более короткая версия"
===
Y S:
Ты описал ассемблер?)

Oleg ℕizhnik:
Ну нет, гетерогенные дикты, сложная полиморфная рекурсия, тайпстейты и сессионные типы

Т.е. цель какой-то хорошей системы типов достичь какой-то непротиворечивости, ограничить набор возможных конструкций, так, чтобы все конструкции гарантированно имели набор качеств необходимых, и тогда будут иметь необходимые качества конструкты на следующем (часто более низкоуровневом) языке, типа операционном или логическом.
Тогда часть конструктов, оторые всё ещё представимы на следующем языке, которые всё ещё имеют требуемые качества, обычно оказывается за пределами выразимости на исходном типизированном.
Т.е. получаем некоторую неполноту.
Ну вот обычный довод динамики - типа, я сам себе в голове дорисую нужную систему типов, не нужно меня ограничивать.

John Cantrell:
Типы - для долбоёбов, которые код без ошибок написать не в состоянии

Oleg ℕizhnik:
Да, вот более короткая версия

===
via https://t.iss.one/ebanatics_learn/44879

Следующая книжка на чтение. Её порекомендовал Иван Глушков из покаста Devzen: Отсутствие эмоций на тему того, чем ты занимаешься — это какая-то нездоровая фигня.
https://habr.com/ru/post/507256/

Антон "Амперсанд Звёздочка" написал отличную статью (из трёх постов) про HRTB:
https://t.iss.one/dereference_pointer_there/911
https://t.iss.one/dereference_pointer_there/912
https://t.iss.one/dereference_pointer_there/913

По-видимому, запахло новой клёвой статьёй на Хабре ;-)

Казахская мудрость, особенно мне нравится 10-е изречение 😜

Форумная дискуссия это в сущности построение и обход дерева ходов из теории игр.

Ну вот представим даже обычную дискуссию

чел А задаёт вопрос, чел B на него отвечает
А непонятен ответ В, он задаёт уточняющий вопрос, В снова на него отвечает
А снова непонятен, он задаёт ещё один уточняющий вопрос, и т.д. у А может быть несколько уточняющих вопросов, получаем некоторое дерево ответов, где уточняющие вопросы - это рёбра
на какие-то из вопросов В может ответить, но у А снова могут быть вопросы по поводу ответов выше в иерархии
если где-то посередине весь этот процесс прервётся, какая картина процесса будет в сознании А и В?
с точки зрения В, он ответил на количество вопросов равное количеству вершин в дереве
с точки зрения А, он не получил ответа даже на свой исходный вопрос, ну и ценность оставшихся ответов для него тоже сомнительна
если цепочка не прервётся, и В ответит на все вопросы, скорее всего представление об интеллектуальном превосходстве у А и В в обсуждаемой теме будет согласовано
вот и получается - если ты хочешь, чтобы остальные так же осознавали твоё превосходство, просто заявлять о нём бесполезно, необходимо стремиться, чтобы обход дерева ответов всегда был завершён
в том числе это означает чаще давать ответы, не вызывающие дополнительных вопросов,
т.е. даже если ты хочешь продемонстрировать экспертизу в связанных областях, нужно быть умеренным в этом желании

Пора уже создавать формальное исчисление форумных срачей 😅😂

Кажется будет частный случай антагонистической игры с полной информацией, но необязательно с конечным множеством ходов. Слушайте, так это сложнее шахмат!

Осталась всего-лишь одна причина не покупать AMD Threadripper 399X😆
https://bobweb.co/article/threadripper-meets-rustc

Линус о спецификациях

A "spec" is close to useless. I have _never_ seen a spec that was both big enough to be useful _and_ accurate.

And I have seen _lots_ of total crap work that was based on specs. It's _the_ single worst way to write software, because it by definition means that the software was written to match theory, not reality.

https://yarchive.net/comp/linux/specs.html