Offtopic немного. Хотел в декларативном стиле писать интерфейсы на Lua под LOVE2D, вдохновился qml (ну и существующими библиотечками типа yui). Накатал вот это: . https://github.com/LRDPRDX/LikeliHUD . Сыроварня пока что, но работает.
Не знаю. Для меня это, как находить элегантное решение к математической задаче. Само по себе требование "написать алгоритм как можно короче" --- спорное. Но если это не обфускация, а просто культура/возможности языка, то почему нет.
Непонятно, как ваш комментарий отвечает на вопрос. Хорошо, есть преступники, которые могут быть активистами. И наоборот. И если одно не подмножество другого, то разность не пуста. А значит вопрос в силе остался.
Помню пару лет назад поставил, но было несколько багов, которые прям мешали жить. В том числе с просмотром и/или сохранением изображения. Думал посмотреть опять -- мало ли исправили, но пишут, что 9 лет не поддерживается -- попробую, что выше писали.
В контексте задачи изменения промпта --- source кажется более удобным. Посмотреть на результат сразу. Не говоря уже о том, что $PATH не в .bashrcопределяется.
А, может, здесь глубокая мысль о том, что закончатся простые, которые реально проверить на простоту ;) Ну т.е. условно сложность проверки растет быстрее, чем растет вычислительная мощность. Шутка, конечно ;) А вообще плотность простых же как обратный логарифм в пределе, так что определенная логика в этом есть , наверное.
За остальное не скажу, но пользуюсь клавиатурой (от бренда с не очень хорошей репутацией) именно с BT подключением, т.к. два порта USB всего. Проблем пока не наблюдаю.
Это имеется в виду, при максимальной нагрузке ? Просто, если это вообще максимальная скорость вращения вала, то это вроде не так, потому что вы же не всегда силу такую прикладываете. Голый вал если, то нужно момент инерции вала смотреть. Или я не прав ?
Спасибо за статью, и можно меня в маглы записать, но ...
Прошу прощения за сырые мысли, но интересно услышать мнение.
> Полное соответствие с ТЗ,
и
> Есть обработка ошибок связанных с запросами или повреждёнными изображениями хотя об этом даже не говорилось в ТЗ.
Я понимаю, что тут как бы не противоречие, но на мой взгляд, это не фича, а баг. Ибо, откуда он знает, как я хочу обрабатывать ошибки.
Далее,
> нет багов
Как вы это поняли ? Как мы, например, понимаем, что предложенное решение оптимально и не содержит утечек памяти, UB, квадратов при переборе, и т.д. ? Читаем код ?
Я всегда думаю о двух проблемах относительно сгенерированного кода:
a) Поддержка этого кода б) Валидация этого кода
Здесь я говорю о коде, созданном моделью, а не, например, фреймворками GUI (в котором, скорее всего, тоже есть проблема с поддержкой).
Мне интересно какое будущее вам видится в связи с проблемой б). Мои мысли следующие:
z) Валидация кода людьми вообще отсутствует. Выводы о корректности программы делаются на основе тестов выходных данных для данной задачи, например (опять же -- кто написал тесты). Т.е. модель тестируется "косвенно" -- через систематическую проверку результата.
y) (Маловероятно) Модель валидируется как целое, а частные результаты: код, рецепты, инструкции -- не проверяются. По сути, некоторый аналог диплома, если можно так выразиться :)
x) Валидация кода осуществляется так же моделью (возможно, другой). Тогда как оценить корректность работы последней ?
w) Мы признаём, что в какой-то момент мы вынуждены отпустить развитие ИИ, т.к. он достигает уровня, непостижимого человечеством, и становимся техно-шаманами, принимающими результаты ИИ на веру.
Я, конечно, понимаю, что уже сейчас мы часто не проверяем "уровень ниже" -- например, я не готов поручиться за корректность gcc но я знаю, что эта штука детерминирована. Я знаю (верю?), что люди, которые пишут gcc ,понимают каждый шаг, каждую строчку кода. Более того, при сильном желании, я сам могу убедиться в корректности.
Наверное, ещё более сложно дело обстоит с лекарствами. Я думаю, невозможно точно предсказать, как вещество будет действовать на организм. Но, подозреваю, что тратятся огромные ресурсы на исследования. Может, что-то подобное будет и с ИИ-решениями.
В общем, главный вопрос: можем ли мы действительно положиться на ИИ-решения без участия программиста, который будет читать и валидировать, и изменять при необходимости, предоставленный код ?
Offtopic немного. Хотел в декларативном стиле писать интерфейсы на Lua под LOVE2D, вдохновился qml (ну и существующими библиотечками типа yui). Накатал вот это: . https://github.com/LRDPRDX/LikeliHUD . Сыроварня пока что, но работает.
laugh.gif
Не знаю. Для меня это, как находить элегантное решение к математической задаче. Само по себе требование "написать алгоритм как можно короче" --- спорное. Но если это не обфускация, а просто культура/возможности языка, то почему нет.
Отмазки пошли.
Это уже локализация :)
Непонятно, как ваш комментарий отвечает на вопрос. Хорошо, есть преступники, которые могут быть активистами. И наоборот. И если одно не подмножество другого, то разность не пуста. А значит вопрос в силе остался.
Ну, так я тоже в терминале хотел. Мне так как-то эстетически приятно было.
Помню пару лет назад поставил, но было несколько багов, которые прям мешали жить. В том числе с просмотром и/или сохранением изображения. Думал посмотреть опять -- мало ли исправили, но пишут, что 9 лет не поддерживается -- попробую, что выше писали.
Emerson M. Pugh ?
Почему вторую фразу человек говорит ?
Только начинаю с этим всем знакомиться. Взял плату Tang Nano 9K. Буквально сегодня залил тестовую прошивку на линуксе :)
Должен был привести все ты.
А, не так понял предложенную альтернативу --- подумал, что имеется в виду новый терминал. Пардон, оступился.
UPD. Но так каждый раз множить инстансы после каждого изменения --- тоже не совсем чисто ИМХО.
В контексте задачи изменения промпта ---
sourceкажется более удобным. Посмотреть на результат сразу. Не говоря уже о том, что$PATHне в.bashrcопределяется.В английском языке местоимение I всегда заглавная. Может, сдвижка в голове.
А, может, здесь глубокая мысль о том, что закончатся простые, которые реально проверить на простоту ;) Ну т.е. условно сложность проверки растет быстрее, чем растет вычислительная мощность. Шутка, конечно ;) А вообще плотность простых же как обратный логарифм в пределе, так что определенная логика в этом есть , наверное.
Спасибо за статью. У меня вопрос, который частично пересекается с веткой https://habr.com/ru/articles/665276/#comment_24344226
Подходит ли ECS для реализации UI, HUD в игре ?
За остальное не скажу, но пользуюсь клавиатурой (от бренда с не очень хорошей репутацией) именно с BT подключением, т.к. два порта USB всего. Проблем пока не наблюдаю.
Это имеется в виду, при максимальной нагрузке ? Просто, если это вообще максимальная скорость вращения вала, то это вроде не так, потому что вы же не всегда силу такую прикладываете. Голый вал если, то нужно момент инерции вала смотреть. Или я не прав ?
Спасибо за статью, и можно меня в маглы записать, но ...
Прошу прощения за сырые мысли, но интересно услышать мнение.
> Полное соответствие с ТЗ,
и
> Есть обработка ошибок связанных с запросами или повреждёнными изображениями хотя об этом даже не говорилось в ТЗ.
Я понимаю, что тут как бы не противоречие, но на мой взгляд, это не фича, а баг. Ибо, откуда он знает, как я хочу обрабатывать ошибки.
Далее,
> нет багов
Как вы это поняли ? Как мы, например, понимаем, что предложенное решение оптимально и не содержит утечек памяти, UB, квадратов при переборе, и т.д. ? Читаем код ?
Я всегда думаю о двух проблемах относительно сгенерированного кода:
a) Поддержка этого кода
б) Валидация этого кода
Здесь я говорю о коде, созданном моделью, а не, например, фреймворками GUI (в котором, скорее всего, тоже есть проблема с поддержкой).
Мне интересно какое будущее вам видится в связи с проблемой б). Мои мысли следующие:
z) Валидация кода людьми вообще отсутствует. Выводы о корректности программы делаются на основе тестов выходных данных для данной задачи, например (опять же -- кто написал тесты). Т.е. модель тестируется "косвенно" -- через систематическую проверку результата.
y) (Маловероятно) Модель валидируется как целое, а частные результаты: код, рецепты, инструкции -- не проверяются. По сути, некоторый аналог диплома, если можно так выразиться :)
x) Валидация кода осуществляется так же моделью (возможно, другой). Тогда как оценить корректность работы последней ?
w) Мы признаём, что в какой-то момент мы вынуждены отпустить развитие ИИ, т.к. он достигает уровня, непостижимого человечеством, и становимся техно-шаманами, принимающими результаты ИИ на веру.
Я, конечно, понимаю, что уже сейчас мы часто не проверяем "уровень ниже" -- например, я не готов поручиться за корректность
gccно я знаю, что эта штука детерминирована. Я знаю (верю?), что люди, которые пишутgcc,понимают каждый шаг, каждую строчку кода. Более того, при сильном желании, я сам могу убедиться в корректности.Наверное, ещё более сложно дело обстоит с лекарствами. Я думаю, невозможно точно предсказать, как вещество будет действовать на организм. Но, подозреваю, что тратятся огромные ресурсы на исследования. Может, что-то подобное будет и с ИИ-решениями.
В общем, главный вопрос: можем ли мы действительно положиться на ИИ-решения без участия программиста, который будет читать и валидировать, и изменять при необходимости, предоставленный код ?