1.93K subscribers
3.74K photos
143 videos
15 files
3.94K links
Блог со звёздочкой.

Много репостов, немножко программирования.

Небольшое прикольное комьюнити: @decltype_chat_ptr_t
Автор: @insert_reference_here
Download Telegram
Forwarded from Лентач
При переводах через СБП с 1 июля нужно будет указывать ИНН, сообщили в «Национальной системе платёжных карт» (НСПК). Там объясняют это борьбой с дропперами.

По словам руководителя направления СБП центра противодействия мошенничеству НСПК, дроппер может сменить номер телефона, перевыпустить банковскую карту, открыть новый банковский счёт, переоформить паспорт, а вот ИНН является таким реквизитом, который, практически незаменяем — его сложно поменять физическому лицу.

«ИНН — это универсальный идентификатор, который позволит нам проверять определенные риски сразу и в платежной системе «Мир», и в СБП. И более качественно развивать инструменты, чтобы усложнить дропперам обход ранее введённых ограничений», — цитирует его «РИА Новости»
🤔14🌚6😁4
😁23🍌7
#prog #cpp #article

On push_back_unchecked: Performance with FromIterator and Collect

TL;DR: в другом посте предлагали добавить в вектор операцию push_back_unchecked, которая не проверяет ёмкость перед записью (и, соответственно, на полном векторе даёт UB). Замеры показали, что это даёт ускорение по сравнению с push_back в цикле. Автор же этой статьи сделал API FromIterator (взятый из std Rust) для своей библиотеки контейнеров и показал, что для таких юзкейсов можно добиться сопоставимого ускорения по сравнению с std::vector без возможности вляпаться в UB.
🔥81
#prog #rust #rustlib #article

Surelock

Deadlocks are a solved problem in theory — we’ve known how to prevent them since 1971. The challenge is making that prevention ergonomic enough that people actually use it. Surelock is my attempt at that: lean into Rust’s type system to make the correct thing the easy thing, and make the wrong thing a compiler error.


Работает и на no_std, полагается на lock_api для абстрагирования от реализации взаимной блокировки.
👍6
Forwarded from Neural Machine
Почему все говорят добрый день, когда это не так?
😭20
😁28🔥41
Forwarded from елуп
До сих пор у некоторых висит

Вчера все большие бренды России (и каналы, включая моего) случайно прорекламировали криптоказино. Это крупнейшая подстава в истории Telegram.

После того, как все запостили свои посты с эмодзи «Черновик:», создатель набора продал его криптоказино. В названии набора сразу же появился ник со ссылкой на канал этого криптоказино.

В результате в вечер пятницы сотням СММщиков пришлось делать новый пак, чтобы избавиться от троянского коня. При этом маркетинговый трюк для казино не сработал — у них как был маленький канал, так и остался.
😁33
Блог*
Зачем быть картошкой?
This media is not supported in your browser
VIEW IN TELEGRAM
💯3
#prog #rust #python #article

How uv Works Under the Hood

Разбор архитектурных решений, позволяющих uv быть на пару порядков быстрее традиционного тулинга. Тот факт, что он написан на Rust, играет далеко не первую очередь
👍8🤮1🤡1
#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.
🔥7👍5👏1🤡1
Немного поздно, но: я недавно впервые получил деньги за вождение ролёвки
👏18👍3👌1🤡1
🍌218😁2🤔2🤷2💩1
👍127😁6🤡4🌚3
Forwarded from Dani-myte 🧨 (Dolores Dei)
I'm not sexually active nor inactive
I'm sexually passive aggressive
👌4🌚41
Forwarded from Programming sucks
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
👍6
Недавно мне подарили набор дайсов. На выбор было несколько вариантов, и, так как я мальчик, я разумеется, взял розовые
🔥176👍1👎1🤮1🤡1
Forwarded from Влад не шутит
Проджект-менеджеры раньше: девять женщин смогут родить ребенка за месяц.

Проджект-менеджеры сейчас: восемь ИИ-агентов и одна женщина наконец сократит ТТМ и сможет родить ребенка за месяц.
😁31💯5
Forwarded from AlexTCH
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.
🔥5👍2
#meme про... Резервуар
🤩7😁4