Mike Voronov

309 posts

Mike Voronov

Mike Voronov

@VMS11

Math/CS substack https://t.co/EQpUjKs3mk tg blog: https://t.co/p0oMX1YsrO

Katılım Mart 2010
1.1K Takip Edilen395 Takipçiler
Shreya
Shreya@Oblivious9021·
Interviewer: Redis is single threaded then how does it handle millions of requests per second?
English
58
51
1.1K
275.1K
Mike Voronov
Mike Voronov@VMS11·
@Nekrolm llm говорит, что тернарное дерево поиска (я не знал о таком). Оно буквально изомофрно Карацубе и используется для префиксного поиска строк. Ты начинал с немцев и поиска строк, ну вот круг замкнулся :)
Русский
0
0
1
30
Mike Voronov
Mike Voronov@VMS11·
@Nekrolm Кстати, если так проделать, то будет (русское) рекурсивное тернарное дерево, мб даже такая структура отдельно есть
Русский
1
0
1
45
Dmitry /Undefined Behavior/ Sviridkin
Упомянутый в реплаях метод четырех русских — похоже, наиболее подходящий пример: По духу оптимизации: довольно очевидно, и сегодня можно вместо lookup таблицы тупо в simd побитовое И загнать. (префиксы немецких строк тоже под simd хороши) И по истории названия
Dmitry /Undefined Behavior/ Sviridkin@Nekrolm

В программировании чего-то высокопроизводительного хорошо известны, так называемые, немецкие строки (их в статье из немецкого университете придумали, но всем влом указывать имена авторов) — короткий префикс строки хранится внутри объекта на стеке, что, например, позволяет значительно быстро отсекать неравные строки при поиске. Так вот, вопрос, и заодно запрос: а есть ли "русская" структура данных? Какие-нибудь русские деревья поиска? Не рофельная — дерево, которое репортит товарищу майору фио искавшего, мы не рассматриваем.

Русский
2
0
24
6.1K
Mike Voronov
Mike Voronov@VMS11·
@platoff А внимание - это на самом деле инстанциация более общего принципа траста. И вот, на мой взгляд, наше счастливое будущее (как в Стартреке или в Часе Быка) будет связано именно с понятием траста и его формализацией. Деньги - это тоже инстанциация траста.
Русский
0
0
2
65
Mike Voronov
Mike Voronov@VMS11·
@platoff В будущем, имхо, как раз будет более ценной метрика (ну или ресурс) человеческого внимания, сколько внимания было потрачено на какую-то систему, код, математику и криптографию. Сейчас это покупается в виде аудитов, в будущем мб будет и как-то по-другому.
Русский
1
0
2
69
Πλάτων
Πλάτων@platoff·
Хочу дополнить Алексея, а вернее обратить внимание на корень зла. Программисты всегда считали, что им платят за то что они производят код. Знаете, как на заводе «давай код, блять» Любые попытки объяснить что их код по большому счету не представляет ценности натыкались на полное непонимание: Слишком сильна эта связь на которую индустрия надрачивала сама себя годами: «программист пишет код и получает за это деньги» Существуют всякие нарративы, типа программист должен решать задачи бизнеса и прочая поебень, все это хуйня: у подавляющего большинства программистов реакция проста, как у собаки Павлова: код -> деньги, деньги -> код Любые попытки объяснить иное как правило безуспешны. Они могут вам сказать «да» триста раз но этот рефлекс не вышибается. Это РЕФЛЕКС, он глубже ваших ебучих нарративов То что рефлекс есть, я проверял не раз, общаясь с людьми после статьи о там что код это не ценность, а liability. И еще много раз в разных контекстах, со своими и чужими командами. Все остальное, включая то о чем пишет Алексей — следствие. Этот рефлекс, основа и она обуславливает все производное поведение Что меняют LLM: они наконец вам показывают (то что было истиной всегда, только эту истину почти никто не видел), что ваш код нихуя не стоит (у меня не только статья, вроде видосы были на эту тему) И эта открывающаяся истина рушит всю индустрию нахуй, которая была построена на ложной идеи что код чего то там стоит, и вокруг чего строилось все, включая идентичность программиста И это фундаментально: чтобы перестроиться, вы должны начать с основы: понять и принять что код не стоит ничего (как строчки, в килограммах или в килобайтах) и начать с нуля строить вокруг этого все остальное: цели, процессы, смыслы, и так далее. Просто так «адаптироваться» не получится. Это не новый «инструмент» это фундаментальный слом парадигмы, истина которая была всегда выходит на поверхность и становится видна многим
Alex Olkhovoy 🕊@AlexOlkhovoy

Интересно, а как много айтишников реально задумывались о ценности продукта, за разработку которого им платили? Потому что все сейчас носятся с криками, что продукты можно делать за несколько часов. И вот тут, я еще раз убеждаюсь, насколько же большинство айтишников тупые —>

Русский
30
3
84
27.4K
Mike Voronov retweetledi
Diffuse Protocol
Diffuse Protocol@DiffuseFi·
1) Hello World 🌍 Meet Diffuse Prime - the Uncustodial Prime Broker. 👉 app.prime.diffuse.fi A new DeFi primitive designed for capital efficiency, verified risk, and transparent yield.
English
5
14
44
2.9K
Mike Voronov
Mike Voronov@VMS11·
@Nekrolm И Rust очень здраво принуждает явно разделять: - где лежит стейт и как он выглядит (ECS/SoA) - когда и как можно писать (CQRS/Disruptor)
Русский
0
0
0
18
Mike Voronov
Mike Voronov@VMS11·
@Nekrolm Тут низкий слой абстракций - это время, то, как конкретно устроены связи между ECS компонентами Высокий - как устроены ответственность и зависимости между Entity. Т.е. это буквально факторизация системы. И вот она да, ECS
Русский
1
0
0
20
Dmitry /Undefined Behavior/ Sviridkin
Похоже, при проектировании HPC фреймворков на Rust есть лишь два стула: Подталкивать пользователей делать GodObjects, а ты им на него &mut ссылку везде раздавать будешь Либо родить ECS и сказать пользователям, что ссылочных типов у них больше не будет
Русский
2
1
15
3.5K
Mike Voronov
Mike Voronov@VMS11·
@Nekrolm Ну и это буквально CQRS паттерн только на уровне процессора и памяти. Rust в некотором смысле принуждает к этому, так зачем сопротивляться :). Плюс получаем event sourcing автоматом.
Русский
0
0
0
23
Mike Voronov
Mike Voronov@VMS11·
@Nekrolm Третий стул: immutable world + deferred cmdbuf + хендлы. Заимствования не хранятся в подписках, а живут только момент коммита. Typemap для control plane, а hot-path работает по заранее собранным батчам с SoA-указателями (валидными в пределах тика). И никаких лукапов в цикле.
Русский
2
0
0
58
Mike Voronov
Mike Voronov@VMS11·
Distributed infrastructure does not guarantee independence. Independence is determined by who owns the vocabulary your system thinks in. Choose your gravity deliberately. Or it will choose you.
English
0
0
0
72
Mike Voronov
Mike Voronov@VMS11·
A simple test for your system: Where do your base entities live - in your domain contracts or in a vendor's ontology? If the answer is "vendor" - that's not a library choice. That's a system architecture dependency.
English
1
0
0
94
Mike Voronov
Mike Voronov@VMS11·
Why do tech giants build everything in-house? It's not NIH syndrome. It's Ontological Gravity - the most underrated force in system architecture. A thread 🧵
English
1
0
0
140