Исходное сообщение
"Релиз минималистичного web-браузера links 2.6" Отправлено Аноним, 10-Апр-12 17:47
>> Достаточно заглянуть в логи, а потом, если >> проблема софтовая, выполнить (о ужас! вручную!) пару команд в консоли. > Что интересно, эта задача вполне относится к автоматизируемым. Ибо и логи, и > пара команд в консоли - это формальные языки со строгой семантикой. > Ан нет, её предпочитают вручную решать. Хотя, может, кто-то считает подобные > задачи творческими, не поддающихся формализации и автоматизации. >>Если человек живет надеждой, что система будет умнее него - маны читать бесполезно. > Как показывает практика, на формализованных задачах система действительно гораздо умнее > человека. Ибо для этого она и создавалась. Другое дело, что не > каждому под силу задачу формализовать. Понимаешь, проблема не в творчестве или сложности формулирования конкретной задачи. Проблема в том, что этих задач очень много. Если бы это было не так, то сейчас все программы писались бы автоматически.