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

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

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

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

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

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

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

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

===
via https://www.tg-me.com/ebanatics_learn/44879

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

Антон "Амперсанд Звёздочка" написал отличную статью (из трёх постов) про HRTB:
https://www.tg-me.com/dereference_pointer_there/911
https://www.tg-me.com/dereference_pointer_there/912
https://www.tg-me.com/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

Поздравляем Вафеля, круглое число!👍🔥🍕

тем временем на канал подписался 128 подписчик.... всем привет и спасибо 👉👈

Уже завтра, в (пока ещё) обычном онлайн формате.
Обещает быть (в некоторых местах) хардкорным.

https://www.meetup.com/Rust-%D0%B2-%D0%9C%D0%BE%D1%81%D0%BA%D0%B2%D0%B5/events/272798484/

Я в голос смеялся 😂

nitpicker_mode(|| {
Если заглянуть в nomicon, то там есть такой код, как на левой картинке, только чувак в джинсках монтирует высоковольтный кабель под напряжением, балансируя на канате, соединяющим два подвешенных электрокара...
});

Дядя Боб разразился новым кейноутом "The Last Programming Language"

Вам не стоит его смотреть, вместо вас его посмотрел я😊 По мне, этот видос просто растекание мыслью по древу. Так вот, моё TLDW == несколько мыслей оттуда, мои придирки наклонным шрифтом после тире:

21:11 functional is the discipline upon assignment — это ошибка так думать про ФП, главное там это вынесение побочных эффектов как значений

28:40 there's probably something about programming and text. That is so well aligned because when you're proaramming, time is linear in a program and so we think of our code as being linear in an algiorithm, time goes in one direction so that's one dimensional: text. — ну бред же, не? (об этом в конце)

25:51 algorithms occur as a sequence of events, the execution of an one-dimensional time runs in a single dimension so it is probably natural model it as a sequence of statements in a text — смотря какой алгоритм

32:08 Lisp is the language that will not die

39:03 C++ what about that that's all the same problems that C has and, boy, is its syntax heavy Wow learning all that syntax is just horrible and now I mean the Standards Committee has just gone completely ape, they're just adding syntax lots of little fiddly stuff in there I think I'd rather not learn all that stuff

46:49 and another thing we've learned is that we want our languages to be garbage collected yeah we've learned our lesson on this what we don't want to be doing manual memory control anymore my god how many times have we been rebooting it midnight because of horrible memory leaks and stuff like that — вот тут большая ошибка, отсутствие сборщика мусора НЕ влечёт ручного управления памяти

50:25 another language attribute that I think we want is homo iconicity

52:02 Сlosure it's the only one that meets all the criteria I've outlined I think it's a good language

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

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

Ах да, и ни слова о Rust!
Этот Дядя Боб сломался, несите другого.