TGTGInsightтелеграм анализLIVE / telegram public index
← Такты, стеки, два колеса

TGINSIGHT SIMILAR POSTS

Намери подобно съдържание

Изходен канал @clockstackwheels · Post #721 · 26.12

Почему я люблю языки с сильной системой типов, проверяемой статическим анализом кода — хорошо написанная программа является своей собственной спецификацией и позволяет выражать через язык программирования законы существования предметной области. Когда-то давно я писал на ActionScript. Там была система типов, но вот десериализация JSON'ов по-умолчанию была в какой-то общий Object, к полям которого нужно было обращаться ["по_строковому_имени"]. В один момент мне потребовалось написать что-то на C#, который я совсем не знал, я стал гуглить, как десериализовать JSON, и с удивлением обнаружил кучу советов заранее объявить класс со всеми нужными полями и десериализовать в него. "Какой ужас!", — подумал я тогда, — "Это же дико неудобно! А если я не знаю полей JSON? А если их много? Отвратительный язык!" Теперь то я прекрасно понимаю, что JSON это контракт, и что правильная десериализация только такая и должна быть, и что в хорошем API в одном поле никогда не бывает данных принципиально разных типов, и так далее. Нет, если вы набиваете вечерами пет-проект или сидите бессонную ночь на хакатоне, нет ничего плохого в том, чтобы взять простой язык с динамическими типами вроде JavaScript или Python, не требующий описывать данные. Но вот в энтерпрайзе, особенно когда над одним проектом работает много людей (а бывает это очень часто) — хорошее использование системы типов убережёт разработчиков от огромного количества ошибок, будет бить их по рукам, когда они пытаются сделать что-то не то, и будет подсказывать, когда они не уверены в чём-то. С помощью статической типизации можно на уровне кода обозначить правила, по которым ведёт себя предметная область вашей программы в реальном мире. Разработчику не только будет сложно их нарушить, но он ещё и станет узнавать какие-то вещи, которые мог не знать раньше. Например, если мы делаем медицинскую CRM, и больница заводит новых пациентов только тогда, когда знает их группу крови, мы можем объявить тип "Пациент" (или, если точнее, "Карта пациента") и запретить создавать экземпляры этого типа, не передав в конструктор группу крови (которая, в свою очередь, тоже является типом, вероятнее всего ValueObject'ом). Если новый программист пришёл в проект, он, во-первых, не сможет записать в БД некорректную карту пациента. Понятно, мы не учитываем случаи, когда новый программист переделывает модели предметной области — это будет хорошо видно на кодревью. А, во-вторых, даже если ему никто не сказал, что пациенты должны быть с группой крови, он узнает это из кода. И уже будет понимать, что в тех процессах реальной жизни, которые он описывает кодом, карта пациента создаётся только при наличии группы крови. А, значит, нужно искать какой-то способ сначала эту группу крови получить, и только потом создавать карту. Программирование моделирует реальный процесс. В настоящей работе даже на языках с типами, конечно, без должного контроля можно написать что угодно. Нужна управленческая воля, компетентность руководства, понимание опасности техдолга, в идеале отдельные должности для архитекторов, опытные лиды и старшие разработчики. Но когда всё это есть, можно отсекать много проблем ещё на старте и проще погружать новичков. #dev

Hashtags

Резултати

Намерени 9 подобни публикации

Търсене: #cognition

当前筛选 #cognition清除筛选
Interesting Planet 🌍

@interesting_planet_facts · Post #748 · 14.09.2025 г., 13:22

🌎 Ravens can solve puzzles that require planning and use tools to get food rewards. Studies show their intelligence rivals that of great apes. Ravens can remember individual human faces for years. ✨ #animals⚡#cognition⚡#birds 👉subscribe Interesting Planet ​

Interesting Planet 🌍

@interesting_planet_facts · Post #1093 · 02.12.2025 г., 18:11

🌎 Crows show remarkable problem-solving skills and can understand analogies, like recognizing relationships between objects. Scientists have documented crows using tools and even bending wires to retrieve food in experiments. ✨ #animalbehavior⚡#cognition⚡#birds 👉subscribe Interesting Planet 👉more Channels ​

科技&趣闻&杂记

@kejiqu · Post #3636 · 15.07.2025 г., 01:21

部分研究团队加入谷歌后,AI IDE 企业 Windsurf 被 Cognition 收购 AI IDE 企业 Windsurf 14 日宣布已被 Cognition 收购。此前,Windsurf 于 11 日与谷歌达成交易,联合创始人 Douglas Chen、时任首席执行官 Varun Mohan 及部分研究团队加入谷歌。Windsurf 临时首席执行官 Jeff Wang 称,此次合并将结合双方在自主智能体和智能体 IDE 方面的技术,带来突破性的开发人员体验。Windsurf 的用户和客户将继续享受稳定服务和产品创新,其知识产权也将并入 Cognition。IT之家 🏷#Windsurf#Cognition#AI#收购 📢频道👥群组📝投稿

Interesting Planet 🌍

@interesting_planet_facts · Post #1385 · 25.04.2026 г., 12:11

🌎 African grey parrots rank among the best animal communicators. Scientific studies show they can understand hundreds of words, use them in context, and even grasp abstract concepts like “same” and “different.” One famous parrot, Alex, correctly identified shapes and colors and understood the concept of zero. ✨ #parrots⚡#cognition⚡#communication 👉subscribe Interesting Planet 👉more Channels ​

Interesting Planet 🌍

@interesting_planet_facts · Post #1213 · 11.01.2026 г., 18:11

🌎 African grey parrots can solve multi-step logic puzzles and use words in meaningful context. In experiments, these parrots matched human toddlers in understanding basic concepts. The largest recorded vocabulary for one individual exceeded 1,000 words. ✨ #parrots⚡#animalbehavior⚡#cognition 👉subscribe Interesting Planet 👉more Channels ​

Культурный

@culturnyy · Post #11446 · 11.11.2023 г., 18:54

Метцингер о медитации Ради свежего интервью Метцингера "Könnte ich bitte endlich still sein, bitte!" (Можно, пожалуйста, потише?!) купил подписку на Zeit, прочитал в переводе. Есть две хорошие новости и одна плохая. Первая хорошая в том, что ничего сверхъестественного, и вам не надо ни платить, ни читать. Метцингер год назад ушёл на пенсию из своего Майнцского университета, живёт в лесу в своё удовольствие. 47 лет медитирует. Журналист 43х лет вопрошает, а что-де, если вот возьму и начну медитировать, вотпрямзавтра? Вторая хорошая новость в том, что таки профит от медитации есть. Автономия, агентность, меньше автоматики в поведении. Есть ради чего страдать. Плохая новость в том, что чуда нет. Медитировать так медитировать. 20-45 минут дважды в день, в более-менее уравновешенном состоянии, голод-переедание-недосып не годятся. И просто себе сидишь ровно на стуле, не надо ломать колени. Не вовлекаешься, не ассоциируешься, не идентифицируешься, не погружаешься. Протолкаться через одесский "Привоз" когнитивных аффордансов в своей голове и ничего не купить. Как гласит старая-престарая поговорка: Дзадзэн как вор, который влезает в пустой дом — нечего воровать, негде спрятаться, и никого, от кого нужно было бы убегать. Ты сидишь на стуле. Никого нет. Ни снаружи, ни внутри. По теме: • Материалы по философии Томаса Метцингера • Непривязанность к себе • Иллеизм: ветхозаветное эго-дистанцирование #self#metzinger#cognition

Interesting Planet 🌍

@interesting_planet_facts · Post #718 · 09.09.2025 г., 18:22

🌎 Parrots like the African grey can learn hundreds of words and use them to solve problems or request specific items. Studies show Alex, a famous African grey, identified colors, shapes, and quantities—demonstrating complex reasoning once thought exclusive to humans. ✨ #parrots⚡#cognition⚡#language 👉subscribe Interesting Planet ​

In 1999, psychologists Christopher Chabris and Daniel Simons showed people a video of people passing basketballs and asked them to count passes. A person in a gorilla suit walked through the scene, but about half the viewers didn’t notice it because they were focused on counting. This demonstrated a psychological effect called inattentional blindness — missing obvious things when attention is focused elsewhere. 🧠👀 [Read more] [See the video] @googlefactss #InvisibleGorilla#psychology#attention#cognition

Культурный

@culturnyy · Post #11469 · 01.12.2023 г., 19:30

Метцингер и Фристон о сознании Спросил как-то Томас Метцингер Карла Фристона: Метцингер: Вот этот ваш active inference*, что в нём активного? Пахнет немного как ultimate origination... Как first cause расширяющаяся в мир и делающая какой-то выбор... Нет ли там маленького картезианского агента? Ведь ВСЁ, по сути своей, является лишь динамической самоорганизацией? Фристон: Да. А, не. Да. Метцингер: О! Огонь! Вот это я и ожидал услышать!) *Активное умозаключение / вывод - это способ понимания поведения разумных существ, теория, которая характеризует восприятие, планирование и действия в терминах вероятностного умозаключения в рамках императива минимизации свободной энергии. AF разделяет проблемы оптимизации действий и восприятия, предполагая, что действия выполняют предсказания, основанные на перцептивном выводе / умозаключении (perceptual inference) или оценке состояния. Оптимальные предсказания основаны на (сенсорных) свидетельствах, которые оцениваются по отношению к генеративной модели (наблюдаемых) результатов. Phenomenology of Pure Consciousness with Thomas Metzinger and Karl Friston P.S. Слушаешь этих светочей и титанов интеллекта, просто космос какой-то, как Метцингер к Фристону доебался "вы там поосторожнее с этой шайкой энактивистов" (Giovanni Pezzulo, Thomas Parr, Paul Cisek и Andy Clark, которые с Фристоном в октябре выкатили статью Generating Meaning: Active Inference and the Scope and Limits of Passive AI), чистое сознание, недуальный AGI, всё такое, преисполняешься неистово Открываешь новости: Мир летит в пизду. Всё очень страшно, кроваво и бесконечно глупо. Люди ебаные обезьяны. Мы хрящики и жилки в круговороте мяса, транспортное средство в струении генов по эволюционному ландшафту. Не хочу думать об этом всём одновременно сам. И вы тоже думайте. По теме: • Свободная энергия, прогностическая обработка и одеяло Маркова: как три научные концепции объясняют работу мозга и мир вокруг нас • Регрессивный гомункул • Масштабная распределенная сеть в мозге поддерживающая интероцепцию и аллостаз. Обзор статьи Лизы Фельдман Баррет • Неуловимые дельфины наших мыслей #consciousness#self#cognition#metzinger