#prog #rust #article

Proving my Rust NVR doesn't leak memory (it did)

К сожалению, описанные методы диагностирования специфичны для MacOS

TIL что есть так называемые законы Осипова-Ланчестера, которые являются следствиями дифференциальных уравнений, описывающих идеализированную ситуацию боевого противостояния. Самое неожиданное следствие из этих уравнений: при использовании относительно точного дальнобойного оружия (как это часто и бывает на практике последние пару веков) сила армии пропорциональна квадрату её численности, но лишь линейно пропорциональна огневой мощи каждого отдельного её члена.

(Осипов, офицер царской России, опередил Ланчестера на год в плане открытий, но его результаты не были опубликованы за рубежом, поэтому часто их упоминают как просто законы Ланчестера)

Нормально ботам ТЗ занесли

Новость про пожар
https://t.me/good78news/127431

Сетевой сбой в работе VirusTotal в РФ
https://habr.com/ru/news/1078930/

Ранее в России в тестовом режиме запустили онлайн‑сервис «Национальный мультисканер» для проверки файлов на вредоносное ПО. Этот сервис позиционируется в качестве аналога ИБ‑платформы VirusTotal. Этот проект является частью новой ИБ‑системы противодействия вредоносному ПО и выявлению уязвимостей, которая разрабатывается под руководством Минцифры. В настоящее время сервис «Национальный мультисканер» осуществляет проверку файлов с помощью антивирусов от «Лаборатории Касперского», Dr.Web, Athena и PT Sandbox.

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

Из-за названия Astra я думал, что это разработчики "российского" дистрибутива Linux свою LLM сделали...

#ml #meme

#prog #article

Bespoke: A Programming Language for People Who Say Please

I therefore propose Bespoke, a statically typed and uncompromisingly civilised programming language for developers who believe that machine execution should never come at the expense of good manners. Informally it is known as The Queen’s Code: Victoria’s, naturally; the etiquette committee has yet to approve the twentieth century. Source files use the .charming extension, and the compiler reserves the right to be disappointed in you.

Опять майкрософт пытается пропихнуть Windows 11

🤯 Как подпоручик Киже подарил нам культовую сцену из Терминатора-2 и фильм Нолана про Оппенгеймера. Я не шучу сейчас

В общем, цепочка следующая. Тот самый Даль, который создатель словаря, рассказал знакомому анекдот про прапощика Кижа (предполагаю, что вы его знаете; если очень кратко, история про безумную бюрократию царской России, где случайно выдуманный персонаж получал повышения по службе и всякие там имения).

В записках этого знакомого культовый литературовед Тынянов, автор книжек про Пушкина, нашел эту историю и выпустил в 1928 году повесть «Подпоручик Киже».

Затем уже в 1934 году вышел фильм «Поручик Киже» по книжке Тынянова (повысили в звании). Музыку к ней написал С. Прокофьев.

Эта сюита Прокофьева из «Поручика Киже» имеет в принципе куда большую популярность на Западе, чем в России. Но для нас сейчас важно, что она по сути звучит в песне Стинга Russians.

Дальше мы уже работаем с этой песней.

1) В ней поется — I hope the Russians love their children too. В 2021 году режиссер Джейм Кэмерон в интервью прямым текстом рассказал, что именно из-за этих строк добавил сцену с детской площадкой перед ядерным взрывом в Терминатор-2

2) В этой же песне поется How can I save my little boy from Oppenheimer's deadly toy? — и тут уже Нолан рассказывал, что задумался о фигуре Оппенгеймера впервые из-за этой песни.

Вот такой вот подпоручик.

• Интервью Кэмерона
• Интервью Нолана
• Патреон» и «Бусти».

#prog #cpp #quotes

#prog #rust #article

Rust: When Empty Isn't Bottom

Или почему ! в Rust не является bottom типом. TL;DR: в Rust нет отношения подтипизации для типов, не включающих лайфтаймы.

#prog #java #article

JVM Anatomy Quark #23: Compressed References

Спека Java ничего не говорит о том, как представляются ссылки. Как следствие, реализации могут использовать представление ссылок, которые меньше указателя на машине. Статья описывает эти трюки.

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