Покажите, пожалуйста, пример, как с помощью теории категорий можно что-то вычислить. Например, с помощью теории групп можно вычислить очень много полезного. Например, группы Ли применяются в прикладной физике. Ну и уж куда там, матрицы и AI из них, топологические аргументы там же и т.д. SQL это тоже своего рода вполне алгебра. Криптография так же пользуется именно теорией групп! Про теорию категорий пытаюсь смотреть лет 15 и не видел ни разу примера, где бы она давала какой-то вычислительный инструмент. Только самомозерцание её собой я вижу. Подскажете примеры?
Я практикую по два дня иногда голодать. В эти периоды волосы на лице отрастают заметно быстрее, бриться приходится раньше. Поэтому вывод исследования, на мой взгляд, не проецируется лишь на всех людей.
Я раз в два месяца пробую Cursor по платной подписке, но мой сценарий работы в нём никогда не работал достаточно удачно, тогда как в чистых веб-версиях тех же использованных моделей — всё отлично. Код у меня не простой, математики много. Частый сценарий: большое, серьёзное, детальное описание нового функционала, от человека (меня), уже хорошо этот код понимающего; в результате реализации такого функционала в условные 10 файлов должно быть внесено 25-30 небольших или средних правок. Я делаю это на o1 и sonnet-3.5-new, и это великолепно работает (с правильным промптом, конечно же). Для этого приходится извращаться: линеаризовать весь код в одну портянку, подавать её в веб-интерфейс модели, она его рефакторит, дальше результат рефакторинга ре-интегрировать из новой портянки назад в код. Вроде бы чисто механический процесс, но альтернатива — заказывать этот рефакторинг у Cursor (у них есть некоторое время соответствующий режим) — у меня никогда не заводилась (на тех же моделях, повторюсь — я выбираю sonnet-3.5-new в Cursor). Времени и сил это экономит совершенно тонну, но сам процесс технически довольно прискорбен.
В целом, хотелось бы даже не IDE, а некую простую локальную среду или CLI tool, где этот процесс был бы автоматизирован, а ещё лучше — если бы этот тул делал изменения в несколько шагов и создавал бы коммиты поверх указанной папки с репозиторием. Всё это я хочу локально — локальный гит-репо, локальный код, всё локально, кроме может быть самой LLM (но локальная опция LLM тоже должна быть, хотя локальных LLM с таким большим окном сейчас нет). Ничего похожего на такое я не нахожу — последний раз проверял неделю назад. Были там разные AutoGPT и прочее, но сейчас всё что находится — это какая-то попса вроде Delvin, там ему нужно давать github обязательно и прочее подобное.
Да, так обычно и случается. Настоящим специалистам (тем 10% от персонала, на которых держится 90% работы) эта фигня в первую очередь становится красным флагом: пора спрыгивать.
Да просто подталкивают людей самих уйти. В принципе, многим это давно стоило сделать, засиделись на тёплых подушечках в ожидании вызревания жирненького вестинга.
Не очень вижу, как доказывали, что увольнение по национальному признаку? Ведь встречи не записывались. А если бы они не записывались, но товарищ бы записал их сам (не уведомляя противоположную сторону), это бы засчиталось?
Так у них тот же Copilot из обновления в обновление работает всё хуже и хуже, совсем непонятно как они собираются целые агенты работающие теперь предоставлять?
Все умные и адекватные люди провалят такой тест, только если они не сами математики и не сами заранее знают, что находятся в компании только математиков. Всем остальным, рассуждающим о средних и о том какая высокая средняя зарплата в стране, совершенно необходимо отвечать корректирующими ремарками о том, что, конечно же, из того что азиаты в среднем ниже, не следует что все они низкие.
Ну это как-то такое себе определение. Когомологии и т д. тоже кажутся абстрактной мутью, а с помощью них можно с атомом работать.
Покажите, пожалуйста, пример, как с помощью теории категорий можно что-то вычислить. Например, с помощью теории групп можно вычислить очень много полезного. Например, группы Ли применяются в прикладной физике. Ну и уж куда там, матрицы и AI из них, топологические аргументы там же и т.д. SQL это тоже своего рода вполне алгебра. Криптография так же пользуется именно теорией групп! Про теорию категорий пытаюсь смотреть лет 15 и не видел ни разу примера, где бы она давала какой-то вычислительный инструмент. Только самомозерцание её собой я вижу. Подскажете примеры?
Маск - это мем-фейк. Всё, во что про него верят, является истиной с точностью до наоборот.
Дейкстра. Он такой один.
Я практикую по два дня иногда голодать. В эти периоды волосы на лице отрастают заметно быстрее, бриться приходится раньше. Поэтому вывод исследования, на мой взгляд, не проецируется лишь на всех людей.
Я раз в два месяца пробую Cursor по платной подписке, но мой сценарий работы в нём никогда не работал достаточно удачно, тогда как в чистых веб-версиях тех же использованных моделей — всё отлично. Код у меня не простой, математики много. Частый сценарий: большое, серьёзное, детальное описание нового функционала, от человека (меня), уже хорошо этот код понимающего; в результате реализации такого функционала в условные 10 файлов должно быть внесено 25-30 небольших или средних правок. Я делаю это на o1 и sonnet-3.5-new, и это великолепно работает (с правильным промптом, конечно же). Для этого приходится извращаться: линеаризовать весь код в одну портянку, подавать её в веб-интерфейс модели, она его рефакторит, дальше результат рефакторинга ре-интегрировать из новой портянки назад в код. Вроде бы чисто механический процесс, но альтернатива — заказывать этот рефакторинг у Cursor (у них есть некоторое время соответствующий режим) — у меня никогда не заводилась (на тех же моделях, повторюсь — я выбираю sonnet-3.5-new в Cursor). Времени и сил это экономит совершенно тонну, но сам процесс технически довольно прискорбен.
В целом, хотелось бы даже не IDE, а некую простую локальную среду или CLI tool, где этот процесс был бы автоматизирован, а ещё лучше — если бы этот тул делал изменения в несколько шагов и создавал бы коммиты поверх указанной папки с репозиторием. Всё это я хочу локально — локальный гит-репо, локальный код, всё локально, кроме может быть самой LLM (но локальная опция LLM тоже должна быть, хотя локальных LLM с таким большим окном сейчас нет). Ничего похожего на такое я не нахожу — последний раз проверял неделю назад. Были там разные AutoGPT и прочее, но сейчас всё что находится — это какая-то попса вроде Delvin, там ему нужно давать github обязательно и прочее подобное.
Между 1990 и 2010 годами - это же целые 20 лет. Мне кажется, те кто из 2009-го, им разве что в скибиди-туалете встречаться лучше
А как это в наше время актуально? Рынок нанимателя, 2020 давно прошёл. Решили играть в найме, а не консалтинге – пожалуйте бриться
Огромные мегалитические структуры, всё это можно работать командами в 10 раз меньше и без "макарошек" в офисе
Да, так обычно и случается. Настоящим специалистам (тем 10% от персонала, на которых держится 90% работы) эта фигня в первую очередь становится красным флагом: пора спрыгивать.
Да просто подталкивают людей самих уйти. В принципе, многим это давно стоило сделать, засиделись на тёплых подушечках в ожидании вызревания жирненького вестинга.
Не очень вижу, как доказывали, что увольнение по национальному признаку? Ведь встречи не записывались. А если бы они не записывались, но товарищ бы записал их сам (не уведомляя противоположную сторону), это бы засчиталось?
Про 3d, и ни одной картинки. Прогеры такие прогеры.
За такие премии и опционы, как у них — норм. Тёплая норка (была).
Бомжей бы разогнали сперва и смрад после них почистили 😁
Притом что модели под капотом вроде как одни и те же, а вот на практике...
Так у них тот же Copilot из обновления в обновление работает всё хуже и хуже, совсем непонятно как они собираются целые агенты работающие теперь предоставлять?
Да, я думаю такой тест – это отличный способ оценить эмоциональный интеллект! Как вопрошающего, так и опрашиваемого 😁
Все умные и адекватные люди провалят такой тест, только если они не сами математики и не сами заранее знают, что находятся в компании только математиков. Всем остальным, рассуждающим о средних и о том какая высокая средняя зарплата в стране, совершенно необходимо отвечать корректирующими ремарками о том, что, конечно же, из того что азиаты в среднем ниже, не следует что все они низкие.
Аналогично