У PascalABC.NET, кстати похожие проблемы из-за того, что он является надстройкой примерно такого же уровня над .NET, как Kotlin над Java. Вроде бы самостоятельный язык, но в то же время кишки базовой платформы то там то здесь пролезают наружу.
Статическая типизация не имеет прямого отношения к компиляции. Это всего лишь один из многих способов статического анализа (проверки) исходного кода.
Статический код анализ не сводится к одним лишь к проверкам типов. Сюда так же входит код стайл (нейминг, форматирование и т.п), ограничения по зависимостям между модулями (clean architecture, например), секьюрити проверки SAST, композиционный анализ SCA и т.д. Подсветка синтаксиса и ошибок в IDE (в том числе связаных с типами, но не ограничиваясь ими), в конце-концов, это все тоже элементы статического код анализа.
В ситуации, когда проверка типов прибита гвоздями к компиляции, реализовать такое без ущерба для UX в плане производительности может быть довольно нетривильной задачей (в том числе и для мейтейнеров PABS, насколько мне известно).
Люди, по сути, приспособлены эволюцией всеми силами выживать при изменении внешних факторов. Внешняя среда, действуя как принуждающая сила, является отличным мотиватором. С этой стороны все отлично работает. Может за исключением моментов, когда такие измения воспринимаются несущественными, встречая сопротивление со стороны психики для включения адаптационных выживальческих механизмов.
Внутренняя мотивация включается на волевых больше тогда, когда трешака снаружи уже недостаточно - это пресловутое "выйти из зоны комфорта".
Проблему нужно воспринимать не как наказание, а как проект.
Можно ещё воспринимать как весёлое приключение. Это разгружает психику, превращая решение в удовольствие. Другой вариант - вообще никак не воспринимать. Многие вещи, которые кажутся нам важными, не стоят того, чтобы на них в принципе нужно было бы обращать внимание. Но понимаешь это только лет через 10.
Здесь выше есть комментарий про плоский тор. В 2d это выглядит как старая аркада - когда добравшись до любого из краев экрана монитора, фигурка не упирается в него как в стену, и не уезжает за пределы в никуда, а появляется с противоположной стороны.
формальную логику не ушатать. Любой шаг влево приводит к краху всего.
Логика это наука о рассуждениях, а не естествознании. Любые отклонения здесь влияют лишь на умозаключения. Все остальное так и продолжает существовать в неведении и полной безопасности. Как и для любой другой науки, область применимости логики является вопросом консенсуса, а не какой-то абсолютной догмой.
Если говорить конкретно о формальных логиках, то их тоже не одна, а тьма. В зависимости от выбора той или иной логики при одинаковых вводных можно приходить к разным выводам, подчас противоположным. Это абсолютно нормально, пока чем-то полезно.
В аглоязычных новостях пишут про "fabricated serious criminal allegations", что можно перевести как "сфабрикованные серьезные уголовные обвинения". США - страна юристов. Поэтому формулировки подбираются очень аккуратно, это целое искусство. Ну а тут Хабр)
Она сама про себя поинтересовалась: "Has Marsha Blackburn been accused of rape?" - и получила утвердительный ответ, даже со ссылками (которые оказались битыми, либо нерелевантными). Просто это не первый случай, когда консерваторы отмечают генерацию недостоверной информации в отношении себя со стороны сервисов Google. Поэтому ответ про случайные галлюцинации ее не убедил.
Между собой они используют звуки, чтобы поорать, привлечь внимание, напугать и т.п. Это не речь как таковая, и вообще не то, как они общаются между собой. Но для коммуникации с нами они адаптируются, раз мы их нормального языка не понимаем. Люди же тупые - пока не наорешь до них не доходит.
Загуглил ради интереса. Истоки Constructive destruction theory прослеживаются аж в трудах Карла Маркса, которыми и вдохновлялись создатели - его земляки. Мне кажется, с позиций 2025, тут заслуга не в новизне, а в том, что риторика удачно ложится на современную ситуацию в мире, во многом оправдывая совершенно неоправданные разрушения.
Коты общаются в основном пантомимой и запахами. Мявкание это скорее сигнальное средство, а не основной язык. Хотя MeowTalk вроде что-то из него все таки вытащили.
Инженерия это область деятельности, которая занимается решением задач всегда в ограничениях. В отличие от науки, где больше интересуются общими решениями, чем частными. Для инженера NP это конечно неприятно, но в определённых ситуациях может и не смертельно. Поживём - увидем.
У меня в проекте прописаны архитектурные ограничения, которые автоматически добавляются в контекст. На днях столкнулся с тем, что агент несколько раундов подряд отстаивал текущее решение, критикуя мои дополнения. Это было захватывающе.
У агентов сейчас проблема в ограниченном размере контекстного окна используемых LLM. Контекст можно легко перегрузить разным флудом в чате, как делают гадалки на вокзале. В итоге это выбивает из него все полезные рулы и потом с ним можно делать опять что угодно. По-моему это скорее выглядит как инженерная проблема, нежели научная - которая рано или поздно будет решена.
LLM может "соглашаться" с чем угодно в пределах заданного контекста. Но это ни как не сказывается на убеждениях - в новом чате её придётся "разводить" заново, иначе там будут другие ответы.
Если придираться к словам, то убеждения подразумевают под собой долговременную память. В случае LLM агентов, управление контекстом, включающее память, это надстройка сбоку. Ее реализация не зависит от модели и может меняться в зависимости от требований. Сами же по себе модели не имеют памяти, это stateless функции с вероятностным результатом.
Сначала он запрашивает номер телефона. Если после нескольких попыток смска не приходит, предлагает отправить код на почту. После ввода кода уже сам отзванивается на указанный на первом шаге номер и просит ввести цифры звонившего.
То есть номер телефона сообщается и проверяется в любом случае. А в альтернативном сценарии - еще и почта. Я натыкался на этот сценарий раньше, когда смски не приходили вероятно из-за международного роуминга. Почему нельзя сразу звонить не понятно, скорее всего отправка смски стоит дешевле звонка.
Высокую оплату создаёт ценность сотрудника, а ценность определяется прибыльностью бизнеса. Если хороший админ обеспечивает бесперебойную
Да ладно. Чем принципиально отличается хороший админ за X зарплаты, от хорошего админа за X-Y? Вопрос, конечно, дискуссионный. Но вряд-ли что-то станет отрицать, что админ за X+Z в этой дилемме лишний.
Когда со всех сторон штормит, обычно стараются удержать равновесие, как-то вырулить, а не прыгать как зайцы на всю котлету в погоне за инновациями. Вот когда поутихнет, тогда можно опять начинать устраивать гонки и доходов, и зарплат.
У PascalABC.NET, кстати похожие проблемы из-за того, что он является надстройкой примерно такого же уровня над .NET, как Kotlin над Java. Вроде бы самостоятельный язык, но в то же время кишки базовой платформы то там то здесь пролезают наружу.
Статическая типизация не имеет прямого отношения к компиляции. Это всего лишь один из многих способов статического анализа (проверки) исходного кода.
Статический код анализ не сводится к одним лишь к проверкам типов. Сюда так же входит код стайл (нейминг, форматирование и т.п), ограничения по зависимостям между модулями (clean architecture, например), секьюрити проверки SAST, композиционный анализ SCA и т.д. Подсветка синтаксиса и ошибок в IDE (в том числе связаных с типами, но не ограничиваясь ими), в конце-концов, это все тоже элементы статического код анализа.
В ситуации, когда проверка типов прибита гвоздями к компиляции, реализовать такое без ущерба для UX в плане производительности может быть довольно нетривильной задачей (в том числе и для мейтейнеров PABS, насколько мне известно).
Люди, по сути, приспособлены эволюцией всеми силами выживать при изменении внешних факторов. Внешняя среда, действуя как принуждающая сила, является отличным мотиватором. С этой стороны все отлично работает. Может за исключением моментов, когда такие измения воспринимаются несущественными, встречая сопротивление со стороны психики для включения адаптационных выживальческих механизмов.
Внутренняя мотивация включается на волевых больше тогда, когда трешака снаружи уже недостаточно - это пресловутое "выйти из зоны комфорта".
Можно ещё воспринимать как весёлое приключение. Это разгружает психику, превращая решение в удовольствие. Другой вариант - вообще никак не воспринимать. Многие вещи, которые кажутся нам важными, не стоят того, чтобы на них в принципе нужно было бы обращать внимание. Но понимаешь это только лет через 10.
Здесь выше есть комментарий про плоский тор. В 2d это выглядит как старая аркада - когда добравшись до любого из краев экрана монитора, фигурка не упирается в него как в стену, и не уезжает за пределы в никуда, а появляется с противоположной стороны.
Логика это наука о рассуждениях, а не естествознании. Любые отклонения здесь влияют лишь на умозаключения. Все остальное так и продолжает существовать в неведении и полной безопасности. Как и для любой другой науки, область применимости логики является вопросом консенсуса, а не какой-то абсолютной догмой.
Если говорить конкретно о формальных логиках, то их тоже не одна, а тьма. В зависимости от выбора той или иной логики при одинаковых вводных можно приходить к разным выводам, подчас противоположным. Это абсолютно нормально, пока чем-то полезно.
13 г на 1 лс - сила лошади при массе как у коробка спичек. Интересно в природе вообще существуют материалы, способные выдержать такую нагрузку?
В аглоязычных новостях пишут про "fabricated serious criminal allegations", что можно перевести как "сфабрикованные серьезные уголовные обвинения". США - страна юристов. Поэтому формулировки подбираются очень аккуратно, это целое искусство. Ну а тут Хабр)
Она сама про себя поинтересовалась: "Has Marsha Blackburn been accused of rape?" - и получила утвердительный ответ, даже со ссылками (которые оказались битыми, либо нерелевантными). Просто это не первый случай, когда консерваторы отмечают генерацию недостоверной информации в отношении себя со стороны сервисов Google. Поэтому ответ про случайные галлюцинации ее не убедил.
Между собой они используют звуки, чтобы поорать, привлечь внимание, напугать и т.п. Это не речь как таковая, и вообще не то, как они общаются между собой. Но для коммуникации с нами они адаптируются, раз мы их нормального языка не понимаем. Люди же тупые - пока не наорешь до них не доходит.
Загуглил ради интереса. Истоки Constructive destruction theory прослеживаются аж в трудах Карла Маркса, которыми и вдохновлялись создатели - его земляки. Мне кажется, с позиций 2025, тут заслуга не в новизне, а в том, что риторика удачно ложится на современную ситуацию в мире, во многом оправдывая совершенно неоправданные разрушения.
Возраст Вселенной как пенсионный возраст: он вроде бы ограничен, но постоянно растёт.
Коты общаются в основном пантомимой и запахами. Мявкание это скорее сигнальное средство, а не основной язык. Хотя MeowTalk вроде что-то из него все таки вытащили.
Инженерия это область деятельности, которая занимается решением задач всегда в ограничениях. В отличие от науки, где больше интересуются общими решениями, чем частными. Для инженера NP это конечно неприятно, но в определённых ситуациях может и не смертельно. Поживём - увидем.
У меня в проекте прописаны архитектурные ограничения, которые автоматически добавляются в контекст. На днях столкнулся с тем, что агент несколько раундов подряд отстаивал текущее решение, критикуя мои дополнения. Это было захватывающе.
У агентов сейчас проблема в ограниченном размере контекстного окна используемых LLM. Контекст можно легко перегрузить разным флудом в чате, как делают гадалки на вокзале. В итоге это выбивает из него все полезные рулы и потом с ним можно делать опять что угодно. По-моему это скорее выглядит как инженерная проблема, нежели научная - которая рано или поздно будет решена.
Вероятно, я вообще конформист по натуре.
LLM может "соглашаться" с чем угодно в пределах заданного контекста. Но это ни как не сказывается на убеждениях - в новом чате её придётся "разводить" заново, иначе там будут другие ответы.
Если придираться к словам, то убеждения подразумевают под собой долговременную память. В случае LLM агентов, управление контекстом, включающее память, это надстройка сбоку. Ее реализация не зависит от модели и может меняться в зависимости от требований. Сами же по себе модели не имеют памяти, это stateless функции с вероятностным результатом.
Чем это отличается от рядового
жертвы мошенниковобывателя?Сначала он запрашивает номер телефона. Если после нескольких попыток смска не приходит, предлагает отправить код на почту. После ввода кода уже сам отзванивается на указанный на первом шаге номер и просит ввести цифры звонившего.
То есть номер телефона сообщается и проверяется в любом случае. А в альтернативном сценарии - еще и почта. Я натыкался на этот сценарий раньше, когда смски не приходили вероятно из-за международного роуминга. Почему нельзя сразу звонить не понятно, скорее всего отправка смски стоит дешевле звонка.
Мне нравится ход их рассуждения.
Да ладно. Чем принципиально отличается хороший админ за X зарплаты, от хорошего админа за X-Y? Вопрос, конечно, дискуссионный. Но вряд-ли что-то станет отрицать, что админ за X+Z в этой дилемме лишний.
Когда со всех сторон штормит, обычно стараются удержать равновесие, как-то вырулить, а не прыгать как зайцы на всю котлету в погоне за инновациями. Вот когда поутихнет, тогда можно опять начинать устраивать гонки и доходов, и зарплат.
А что может мотивировать сильнее, чем борьба за выживание?