Денис Крешихин

15.5K posts

Денис Крешихин banner
Денис Крешихин

Денис Крешихин

@dkreshikhin

Software developer rebugging & defactoring!

เข้าร่วม Kasım 2019
243 กำลังติดตาม394 ผู้ติดตาม
Денис Крешихин
@kn1fecult А как относишься к Кубам? Куб, Куб2, Гиперкуб? По мне фильмы со схожим весьма вайбом.
Русский
0
0
0
3
Саня Кибердебошир
В любой непонятной ситуации я просто пересматриваю первую «пилу»
Русский
3
0
19
736
Денис Крешихин
@kleschby Ни у одного человека ни рабочая, ни кратковременная память не сможет удержать в контексте 1 млн токенов. У человека это от сотен до тысячи токенов. Т.е. очень слабый контекст. А без мыслительных усилий это ещё меньше - десятки токенов.
Русский
0
0
0
116
DziadekꙮPająk
DziadekꙮPająk@kleschby·
Походу SOLID - это костыли для людей, у которых контекста в голове помещается меньше чем у LLM. Ну т.е. люди не понимают свой же код, и поэтому пишут его в N раз больше с кучей ненужных абстракций, потому что только так у них получается что-то сделать.
Русский
39
1
114
22.3K
Денис Крешихин
Мем неплох, но честно говоря, в AT теорию категорий используют скорее на уровне нотации: задачу формулируют в категориальном языке, а решают уже по-старинке. Я редко видел, чтобы там существенно использовались именно содержательные результаты из CT (вроде леммы Йонеды и т.п.)
Math Files@Math_files

Русский
0
0
0
56
Денис Крешихин
@devmargooo @yzh44yzh Закон не требует разглашения информации о детях или беременности для заключения ТД, так что ТД будет корректен в любом случае. Испытательный срок можно отменить доп. соглашением или указом - форма не важна, важно лишь что закон запрещает увольнение.
Русский
0
0
1
20
Сеньорита фронтенда
@dkreshikhin @yzh44yzh Погоди, так ей чтобы оформить ТД корректно, надо будет сразу принести справку о детях, иначе испыталку назначат, нет?
Русский
1
0
0
18
Денис Крешихин
@yzh44yzh @devmargooo Женщины не обязаны раскрывать свой статус до трудоустройства, льготы можно запросить после трудоустройства. Тут надо ещё учитывать, что явная трудовая дискриминация беременных и матерей с детьми до 3х является уголовным преступлением в РФ.
Русский
1
0
0
20
Yuri Zhloba
Yuri Zhloba@yzh44yzh·
@devmargooo Тут хуже другое -- их вообще перестануть нанимать на работу под разными предлогами.
Русский
2
0
4
127
Денис Крешихин
@Moxorama @habr_com Рост есть, но он не сравнится с ростом в 2014/2015 годах когда вышли удачные iphone. Т.е. фактор удачной ситуации на рынке важнее фактора llm. К тому же не ясно что важнее - llm как средство разработки, или llm как новая ниша на рынке мобильных приложений.
Денис Крешихин tweet media
Русский
0
0
2
123
George Wizeman
George Wizeman@Moxorama·
@habr_com Вдвое больше произведенного ПО можно видеть в Apple App Store. Люди хотят денег )
Русский
1
0
8
1.9K
Хабр
Хабр@habr_com·
Статистика PyPI: куда исчезла 10x-продуктивность вайбкодеров Адепты ИИ-инструментов обещают стократный рост скорости разработки. Но если препарировать метрики крупнейшего репозитория PyPI после релиза ChatGPT, математика не бьётся: u.habr.com/Uv0MQ
Хабр tweet media
Русский
5
2
53
49.6K
Денис Крешихин
@CalebJoelFuller @kosa12m A slashed O is used to denote the zero vectors, matrices, and other non-numerical objects, distinguishing them from the number zero x = 0 or slahed 0 - zero, a number x = O or Ø - the zero vector (0 0 0 ...)
English
0
0
2
583
Caleb Fuller
Caleb Fuller@CalebJoelFuller·
@kosa12m It's always been slashed zero, at least in programming. I've never come across the idea of slashed letter O. Is it a European thing?
English
9
0
251
11.4K
Денис Крешихин
@vlaushkin @WladySpb Игры типа 2048 или angry birds и до llm-эпохи мог каждый сделать за вечер. Каждый может и "каждый сделает" это разные вещи.
Русский
0
0
3
36
Vasily Laushkin
Vasily Laushkin@vlaushkin·
@WladySpb Мир уже год+ живёт с мощными LLM/Агентами. Как-то незаметно, что стало больше крутых продуктов, игр или, даже чтобы мощные фичи в существующих продуктах стали быстрее появляться. Зато растут продажи AI-first продуктов, которые обещают "сингулярность".
Русский
5
0
16
338
Влади в Нови Саде🦥
Задумался тут о перспективах. С одной стороны, то что я наконец могу сделать свою игру - это плюс. С другой - каждый может сделать свою игру. Рынок сейчас будет перенасыщаться ебическими темпами. Вероятность взлететь и что-то заработать - критически снижается.
Novi Sad, Republic of Serbia 🇷🇸 Русский
26
0
44
8.7K
Денис Крешихин
@__Megadeth___ @tamerlanchik75 Отнюдь. Про дефицит и коммерциализацию - да. Но точно не про социализм. Данелия до этого снял "Мимино", а потом снял ещё "Паспорт" где явный антикапиталистический посыл.
Русский
1
0
3
111
Сахалинец
Сахалинец@tamerlanchik75·
Вестерны открыли для себя "Кин-дза-дза". Да, ребята, это ваш ублюдский капитализм.
JAMES WEBB@jameswebb_nasa

O filme mais estranho que você nunca viu e que prova que o nonsense pode ser genial Em plena década de 1980, longe do brilho épico de Star Wars, o cinema soviético apresentou uma ficção científica muito mais estranha e, talvez por isso, mais reveladora. Em 1986, Georgiy Daneliya levou às telas Kin-dza-dza!, um filme que parece caótico à primeira vista, mas que esconde uma lógica própria, desconfortável e precisa. Tudo começa com um evento banal que rapidamente sai do controle: dois homens são transportados para Pluk, um planeta árido onde nada funciona como deveria - ou talvez funcione exatamente como uma crítica exagerada do nosso próprio mundo. Ali, status social depende da cor da roupa. Máquinas sofisticadas parecem feitas de restos. A linguagem se reduz a poucas palavras, como “Koo”, repetida até perder o sentido. E, acima de tudo, a empatia praticamente desapareceu. A comparação com Mad Max surge pelo visual desolado; já o espírito lembra o humor caótico do Monty Python. Mas Kin-dza-dza! não é apenas uma soma dessas influências. Ele usa o absurdo como disfarce para algo mais sério: uma crítica silenciosa ao autoritarismo, às hierarquias arbitrárias e à lógica distorcida de sistemas fechados. Talvez por isso tenha passado pela censura soviética sem levantar suspeitas imediatas. E talvez por isso tenha sobrevivido tão bem ao tempo.

Русский
16
16
100
2.8K
Денис Крешихин
Денис Крешихин@dkreshikhin·
@namelessAlice Так в этом и суть расписания - в первую очередь учитывать что отменяется/переносится, а во вторую очередь это уже план для действий. Мы не контролируем будущее и это нормально.
Русский
1
0
0
19
nameless alice
nameless alice@namelessAlice·
Кажется, я составляю себе расписание только для того, чтобы потом отменять и переносить все дела, которые сама себе и назначила. Не знаю, кто тут больше виноват, плохой менеджер или никудышный исполнитель. Тем не менее, уже примерно год пытаюсь заниматься этим бесполезным делом
Русский
2
0
7
114
Денис Крешихин
Денис Крешихин@dkreshikhin·
@vlaushkin Современные татары это результат длительного этногенеза, начиная с домонгольской эпохи и заканчивая советским периодом. Этап Казанского ханства важный, но не фундаментальный, к тому же татарами в те годы в целом называли служилых мусульман на службе хана, а не этнос.
Русский
0
0
1
50
Vasily Laushkin
Vasily Laushkin@vlaushkin·
Иван Грозный вырезал львиную долю татар, а остальных выгнал за пределы Казани (там где сейчас Старая Татарская слобода). Вплоть до советской индустриализации Казань была русским городом. И годов с 60х началось возрождение татарского языка и национальной идентичности города.
Хроника деградации@sergeenko_i

Татары живут в составе России уже почти 500 лет – с тех пор, как Иван Грозный взял Казань, положив тем самым конец вражде и постоянным набегам. И до сих пор они татары. Они сохранили свой язык и свою культуру – то, что называется национальной идентичностью.↓

Русский
2
0
3
165
Денис Крешихин
Денис Крешихин@dkreshikhin·
Интересно, что книга написана с использованием коссической нотации (сформировалась в XVI-м веке), но результаты представлены в ней самые современные (XVII-го века) - в том числе логарифмы. Т.е. современных формул там не найти, но вся школьная математика имеется.
Valeriy M., PhD, MBA, CQF@predict_addict

In 1703, Leonty Magnitsky published a book that would shape Russian mathematics for generations. The book was Arithmetic (1703).

Русский
0
0
1
119
Денис Крешихин
Денис Крешихин@dkreshikhin·
Забавно, но Bureau 1440 выглядит более классическим стартапом, чем Starlink, т.к. сначала были энтузиасты с идеей и результатами, потом совпадение с госинтересом - а не сразу продукт огромного капитала как в случае Starlink. Так что, ребятам надо отдать должное, определённо!
𝐃𝐚𝐯𝐢𝐝 𝐙 🇷🇺🇮🇪@SMO_VZ

When the "Russian Starlink" will be operational - There's a ping! 8 megabits, 9, 10! It's working, it's working! Damn it, I'm not crying, it's just the internet getting to me! - Two young developers from the company "Bureau 1440" couldn't hold back their emotions at the displays. The data transfer speed from the first three satellites has risen to 12 Mbit/s, with a delay of 41 milliseconds... This was three years ago. This eloquently shows how people interested in and concerned about this segment of the space industry have been waiting for the emergence of such a project. In the vernacular, it's immediately dubbed the "Russian Starlink". Officially - "Dawn". Broadband high-speed internet (up to 1 Gbit/sec!), which is distributed directly from the sky. The beginning was laid, although to Starlink we are still as far away as to that very sky. Until yesterday evening, six experimental satellites of the system were "hanging" in low orbit. They were used to test the concept of laser inter-satellite communication. On Monday evening, a launch vehicle deployed 16 devices at once. And this is the first batch launch of the project. But talking about creating a full-fledged satellite communication system, similar to Elon Musk's brainchild, is, of course, too premature. Twenty-two satellites will be enough for real tests and pilot operation with individual clients. The launch of the commercial service was scheduled for 2027. By that time, 292 satellites should be in orbit, which will provide global coverage of Russia with full-fledged broadband internet. Compared to Starlink's seven-thousand-satellite constellation, this seems insignificant. But "Dawn" is not yet positioning itself as a competitor to Musk. Our priority is to first provide ourselves with high-quality satellite internet. We'll conquer the world later. There, the plans are to cover more than 75 countries by 2035. But before that, it's important to ensure uninterrupted data transmission to at least our group in the Southern Military District (SMD). By the end of this year, it was planned to launch more than a hundred and fifty satellites into orbit. This is enough for partial coverage of Russia's territory. And it would have been enough for active tests in the SMD zone. However, the program's deadlines have already been shifted by a year. And everything will depend on the number of launches and spacecraft deployed into orbit. And, of course, on the production of ground terminals. The prospect of experimental connections on the front is already visible this year. But a full-scale deployment is unlikely before 2027.

Русский
0
0
2
136
Денис Крешихин
Денис Крешихин@dkreshikhin·
@once_dev Проблема Лема, Азимова и их в том что они жили в своей удобной механистической вселенной, игнорируя то чем жила философия науки. Поэтому очень много трагического пафоса вокруг того что является не преградой, а возможностью - относительность истины и ограниченность метода.
Русский
0
0
0
38
Once upon a dev
Once upon a dev@once_dev·
Вот это философия на 5 с плюсом если честно. Когда читал книгу 5-6 лет назад думал "нифига чел норм интернет предсказал", а щас вспомнил что там дальше было и применительно к современным ЛЛМкам и еще раз офигел ))
Русский
2
0
39
2.2K
Once upon a dev
Once upon a dev@once_dev·
Станислав Лем написал книгу "Сумма Технологий" в 1964 году. И тогда (в еще доинтернетовскую эпоху) он предсказал и сначала упрощение доступа к глобальным знаниям (глобальный интернет), а потом и появление машин упрощающих доступ к этим знаниям (ЛЛМ/ИИ). Охренеть конечно чел. 🔽
Русский
16
11
147
22.7K
Денис Крешихин
Денис Крешихин@dkreshikhin·
@once_dev Фаддей Булгарин ещё в XIX веке описал LLM в "Правдоподобные небылицы":
Денис Крешихин tweet media
Русский
0
0
6
765