#prog #rust #rustlib #article
The Design Behind wincode, a Faster Rust Serializer
TL;DR: запись в предоставленный MaybeUninit буфер, батчинг валидаций для последовательностей "простых" значений, специализация по типам, использующая сгенерированную derive-макросами метаинформацию (facet на минималках)
The Design Behind wincode, a Faster Rust Serializer
wincode is a fast, bincode-wire-compatible serializer and deserializer for Rust, built by Anza originally for the Agave validator. It is not a fork of bincode. It is a new implementation with its own traits and derive macros that produces the same bytes as bincode's default configuration
TL;DR: запись в предоставленный MaybeUninit буфер, батчинг валидаций для последовательностей "простых" значений, специализация по типам, использующая сгенерированную derive-макросами метаинформацию (facet на минималках)
🔥3🤔1
#prog #rust #article
Proving my Rust NVR doesn't leak memory (it did)
К сожалению, описанные методы диагностирования специфичны для MacOS
Proving my Rust NVR doesn't leak memory (it did)
К сожалению, описанные методы диагностирования специфичны для MacOS
🤔2
TIL что есть так называемые законы Осипова-Ланчестера, которые являются следствиями дифференциальных уравнений, описывающих идеализированную ситуацию боевого противостояния. Самое неожиданное следствие из этих уравнений: при использовании относительно точного дальнобойного оружия (как это часто и бывает на практике последние пару веков) сила армии пропорциональна квадрату её численности, но лишь линейно пропорциональна огневой мощи каждого отдельного её члена.
(Осипов, офицер царской России, опередил Ланчестера на год в плане открытий, но его результаты не были опубликованы за рубежом, поэтому часто их упоминают как просто законы Ланчестера)
(Осипов, офицер царской России, опередил Ланчестера на год в плане открытий, но его результаты не были опубликованы за рубежом, поэтому часто их упоминают как просто законы Ланчестера)
🤔7❤3
Forwarded from Технологический Болт Генона
Сетевой сбой в работе VirusTotal в РФ
https://habr.com/ru/news/1078930/
Это апофеоз заботы о безопасности, а так как до сих пор не открывается, то поэтому апофеозное спасибо.
https://habr.com/ru/news/1078930/
Ранее в России в тестовом режиме запустили онлайн‑сервис «Национальный мультисканер» для проверки файлов на вредоносное ПО. Этот сервис позиционируется в качестве аналога ИБ‑платформы VirusTotal. Этот проект является частью новой ИБ‑системы противодействия вредоносному ПО и выявлению уязвимостей, которая разрабатывается под руководством Минцифры. В настоящее время сервис «Национальный мультисканер» осуществляет проверку файлов с помощью антивирусов от «Лаборатории Касперского», Dr.Web, Athena и PT Sandbox.
Это апофеоз заботы о безопасности, а так как до сих пор не открывается, то поэтому апофеозное спасибо.
🤬7❤1
Из-за названия Astra я думал, что это разработчики "российского" дистрибутива Linux свою LLM сделали...
😁26👍4🌚1
#prog #article
Bespoke: A Programming Language for People Who Say Please
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.
❤9😁2
Forwarded from ReadMe.txt (Ilya Klishin)
🤯 Как подпоручик Киже подарил нам культовую сцену из Терминатора-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? — и тут уже Нолан рассказывал, что задумался о фигуре Оппенгеймера впервые из-за этой песни.
Вот такой вот подпоручик.
• Интервью Кэмерона
• Интервью Нолана
• Патреон» и «Бусти».
В общем, цепочка следующая. Тот самый Даль, который создатель словаря, рассказал знакомому анекдот про прапощика Кижа (предполагаю, что вы его знаете; если очень кратко, история про безумную бюрократию царской России, где случайно выдуманный персонаж получал повышения по службе и всякие там имения).
В записках этого знакомого культовый литературовед Тынянов, автор книжек про Пушкина, нашел эту историю и выпустил в 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? — и тут уже Нолан рассказывал, что задумался о фигуре Оппенгеймера впервые из-за этой песни.
Вот такой вот подпоручик.
• Интервью Кэмерона
• Интервью Нолана
• Патреон» и «Бусти».
🔥13
#prog #rust #article
Rust: When Empty Isn't Bottom
Или почему
Rust: When Empty Isn't Bottom
Или почему
! в Rust не является bottom типом. TL;DR: в Rust нет отношения подтипизации для типов, не включающих лайфтаймы.❤3🤔2
#prog #java #article
JVM Anatomy Quark #23: Compressed References
Спека Java ничего не говорит о том, как представляются ссылки. Как следствие, реализации могут использовать представление ссылок, которые меньше указателя на машине. Статья описывает эти трюки.
Несколько неожиданное следствие: эти трюки работают только на достаточно маленьких кучах, поэтому выделение JVM большего количества памяти может привести к тому, что куча выйдет за этот предел, ссылки перестанут использовать компактное представление и потребление памяти многократно вырастет.
JVM Anatomy Quark #23: Compressed References
Спека Java ничего не говорит о том, как представляются ссылки. Как следствие, реализации могут использовать представление ссылок, которые меньше указателя на машине. Статья описывает эти трюки.
Несколько неожиданное следствие: эти трюки работают только на достаточно маленьких кучах, поэтому выделение JVM большего количества памяти может привести к тому, что куча выйдет за этот предел, ссылки перестанут использовать компактное представление и потребление памяти многократно вырастет.
🤔3🥴3