Блог*

#prog #article AArch64 Bitmask Immediates AArch64 (aka 64-битный ARM) — это архитектура с постоянным числом бит на кодировку инструкции (в противовес, скажем, x64). Это означает, что хотя архитектура и оперирует 64-битными числами, инструкции не могут использовать полноразмерные 64-битные литералы — они банально не влезают. К примеру, инструкции mov*, помещающие значение в регистр, могут принимать литералом только 16-битное число. Подобные ограничения действуют и для инструкций, использующих побитовые логические операции. Однако там используется особый формат кодировки значений — т. н. bitmask immediate, который эксплуатирует тот факт, что на практике битовые маски, как правило, не произвольные числа, а имеют определённую структуру, и позволяет закодировать широкий набор битовых масок в всего 13 битах. Эта статья рассказывает, как устроена эта кодировка, и приводит код на Rust для того, чтобы переводить битовые маски в эту кодировку.

Another piece of a bit stale news:

As of January 1, 2026, ACM completed its transition to full open access: all ACM-published articles and related research artifacts in the DL are freely available worldwide without barriers to reading or reuse.

https://www.acm.org/about-acm/acm-pres-on-oa-transition-and-dl-changes This ain't no small change!

#prog #algo #article The acyclic e-graph: Cranelift's mid-end optimizer

Семь лет назад я занимался AR примеркой обуви. Однажды к нам пришел один из VC партнеров и спросил: "а почему у вас в приложении нет allbirds? В Долине все только их и носят". Процедура добавления новой модели предполагала покупку физической пары, потом их сканировали, делали фотограмметрию, а результат доводили до ума руками. Так на полке со скопившейся обувью осталась пара allbirds ровно моего размера, и при увольнении мне ее подарили. С тех пор я стоптал пар пять этих прекрасных кроссовок разных цветов, они подходили мне идеально. И вот эпоха ушла: allbirds официально переключаются с обуви на GPU инфраструктуру. Раньше мы нагружали видеокарты, чтобы рендерить их кроссовки, теперь они сами будут продавать GPU-часы.

https://elixir-lang.org/blog/2026/01/09/type-inference-of-all-and-next-15/ For about five years Elixir contributors have been working on integrating a type system into the language and tooling. Starting with the development of a pretty novel and unorthodox type system. I'm fascinated by several things: — they still haven't dropped the project. Despite slow progress and obstacles in performance and usability they systematically overcome. — they are deeply committed to the soundness of their gradual type system, which is tricky (and to my eyes they sometimes confuse soundness and completeness in the blogs at least) — they put end-user (developer) usability front and center, in terms of speed and responsiveness, type inference to reduce annotation burden, meaningful error messages, etc. Towards that goals the post references their work on https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/ and the development of https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/ which are cool in their own right.

Проджект-менеджеры раньше: девять женщин смогут родить ребенка за месяц. Проджект-менеджеры сейчас: восемь ИИ-агентов и одна женщина наконец сократит ТТМ и сможет родить ребенка за месяц.

Недавно мне подарили набор дайсов. На выбор было несколько вариантов, и, так как я мальчик, я разумеется, взял розовые

It took thousands of talented people decades of hard work and innovation to build the giant and deep iceberg, that is the computer software infrastructure of today. I know that you are ignorant of the complexity of what you can’t comprehend, but if you think a fancy autocomplete machine has the slightest chance of maintaining this monumental human achievement, expand on it and keep it running for the years to come, then you might be in for an unpleasant surprise.

https://www.atns.net/post/don-t-vibe-over-what-you-don-t-understand

I'm not sexually active nor inactive I'm sexually passive aggressive

Немного поздно, но: я недавно впервые получил деньги за вождение ролёвки

#prog #article ntoh*/hton* is a bad API

But my point is not to bash C. My point is that this API quirk fundamentally changes how people think about endianness, making them commit mistakes they wouldn’t make otherwise. Many people think integers have an intrinsic endianness, or prefer textual formats to seemingly avoid dealing with endianness, and I have held all these convictions myself at some point. It’s not that people are stupid. It’s borderline impossible to make the same mistakes if you treat endianness as a parameter of a serialization format. But C doesn’t want you to think about it this way, and so you never realize you were lied to until you get a reason to think hard about it.

#prog #rust #python #article How uv Works Under the Hood Разбор архитектурных решений, позволяющих uv быть на пару порядков быстрее традиционного тулинга. Тот факт, что он написан на Rust, играет далеко не первую очередь