Здравствуйте, уважаемые читатели. В этой статье речь пойдет об одном подходе к автоматическому порождению программ по блочной модели задачи, к решению обратной задачи (восстановления модели исходной проблемы по уже порожденной программе), а также к решению проблемы верификации порожденных программ. Сама по себе тема очень серьезная, но статью я, по возможности, постараюсь сделать популярной (без тяжеловесного обзора аналогов, строго оформленной теоретической части и прочих сложностей), с примерами и описанием различных применений.
Читать полностью »
Архив за 19 августа 2018 - 2
Автоматическое порождение программ, обратная задача и некоторые связанные с ними решения
2018-08-19 в 17:27, admin, рубрики: php, Prolog, Алгоритмы, верификация программ, естественно-языковой интерфейс, порождение программ, Программирование, Проектирование и рефакторинг, реконструкция алгоритмаТовар или сервис
2018-08-19 в 17:23, admin, рубрики: legacy, автоматические тесты, баги, качественный софт, программа, Программирование, продукт, Проектирование и рефакторинг, разработка, рефакторинг, сервис, тестирование, управление, Управление продуктом, управление проектами, Управление проектом, управление разработкойНа Хабре (да и в реальной IT жизни) встречаeтся много вопросов вида:
- Надо ли обновлять систему (или зависимости в приложении), если и так всё работает?
- Нужны ли вообще тесты (автотесты) в приложении (вы ведь на них потратите своё время и деньги заказчика)?
- Если ли смысл в паттернах и выделении абстракций (ведь подобное размазывает код, приводит к снижению производительности и т.д.)?
Ключевой вопрос во всех примерах ниже: что вы разрабатываете: товар или сервис? Как ни странно, но как только вы ответите на этот вопрос о товарах и сервисах, все сомнения о необходимости тестов, абстракций и т.д. отпадут сами собой.
Оптимизация мобильной веб навигации (2 последних успеха)
2018-08-19 в 17:17, admin, рубрики: hamburger, ui/ux, usability, Блог компании Поиск VPS, веб-дизайн, дизайн, дизайн мобильных приложений, мобильный дизайнМеню-гамбургер является синонимом мобильного веб-дизайна. Почему? Оно может сделать вас в равной мере и объектом насмешек, и знаменитостью. При всем своем удобстве, тенденция к отказу от него набирает обороты.
По иронии, Facebook – именно ему приписывается «гамбургерная революция» 2008 года – поднял мятеж против него после того, как тесты показали, что навигация поощряет более глубокую вовлеченность.
А Spotify — приложение, основанное скорее на процессе поиска, а не его точности, согласно сообщениям увеличило на 30% заинтересованность в меню, когда начало использовать систему вкладок. Так-то.
Будучи резким критиком гамбургера, я рад поделиться с вами результатами своих последних изысканий, который показывают, что Facebook, Spotify и я, возможно, правы.
Перевод книги Эндрю Ына «Страсть к машинному обучению» Главы 20 — 22
2018-08-19 в 17:16, admin, рубрики: машинное обучение20 Систематические и случайные: Два основных источника ошибок
Предположим, ваша тренировочная, валидационная и тестовая выборки имеют одно и то же распределение. Тогда нужно брать больше данных для обучения, это только улучшит качество работы алгоритма, верно ли это?
Несмотря на то, что получение большего количества данных не может повредить работе, к сожалению, новые данные не всегда помогают настолько, насколько можно ожидать. В некоторых случаях работа по получению дополнительных данных может оказаться пустой тратой усилий. Как принять решение — в каких случаях добавлять данные, а когда не стоит об этом беспокоиться.
В машинном обучении присутствуют два главных источника ошибок: систематические и случайные (Variance) (дисперсионные). Понимание того, что они из себя представляют поможет вам решить — нужно ли добавлять еще данные, так же поможет выбрать тактику по улучшению качества работы классификатора.
замечание переводчика Variance переводится, как дисперсия или отклонение. Но я буду использовать не «дисперсию» или «дисперсионную ошибку», а более свойственное русскоязычной технической литературе определение «случайной ошибки». К тому же дисперсия в теории вероятностей и статистике имеет очень конкретный математический смысл и формальное выражение, которое еще дальше от значения, вкладываемого в это понятие автором.
Предположим, вы надеетесь построить кошачий распознователь, имеющий 5% ошибок. На текущий момент ошибка вашего классификатора на тренировочной выборке 15%, на валидационной выборке 16%. В таком случае добавление тренировочных данных вряд ли поможет существенно увеличить качество. Вы должны сконцентрироваться на других изменениях системы. В действительности, добавление большего количества примеров в вашу тренировочную выборку только усложнит для вашего алгоритма получение хорошего результата на этой выборке (почему так получается будет объяснено в следующих главах).
Как оценить качество продукта
2018-08-19 в 17:05, admin, рубрики: ERP-системы, feedback, smm, бизнес-модели, взятки, впаривание, казнокрадство, конференции, коррупция, кумоство, маркетинг, менеджер, обратная связь, отзывы, Презентации, продажи, Управление медиа, Управление продажами, управление проектами, Управление проектом, успешные продажиПривет!
Недавно мне попалась на глаза статья про Service Now. В ней описывалось про то, какой же хороший у них продукт. Даже показали менеджера среднего звена с микрофоном, которая без цифр что-то говорила (из статьи — "сократило время административного труда, и врачи смогли сфокусироваться на своём основном предназначении").
Однако при беглом чтении статьи у меня остался небольшой осадок, как минимум из-за того, что я работал с этой системы (как пользователь). И у меня сложилось абсолютно негативное мнение о софте данной компании в целом (и о продукте в частности).
После статьи я попытался осознать — а как можно по подобным рекламным презентациям оценить, продукт действительно пользователям, или же он только помог менеджерам среднего звена получить очередной бонус?
Nokia публикует фотографии, сделанные «самым ожидаемым смартфоном»
2018-08-19 в 16:48, admin, рубрики: НовостиКогда несколько дней назад компания Nokia сообщила, что в ближайший вторник состоится анонс «самого ожидаемого смартфона», некоторые тематические ресурсы поспешили приписать силуэт на рекламном изображении модели Nokia 9.
Однако по новым сведениям, это будет другая модель. Какая именно — окончательно станет ясно 21 августа. А пока производитель опубликовал несколько снимков, сделанных камерой «самого ожидаемого смартфона».
Процессор Amlogic T968 рассчитан на «умные» телевизоры и смарт-проекторы
2018-08-19 в 16:35, admin, рубрики: Гаджеты и устройства для гиков 
Компания Amlogic, по сообщениям сетевых источников, начала поставки процессора T968, который может использоваться в «умных» телевизорах высокого разрешения и смарт-проекторах.
Конфигурация чипа включает четыре вычислительных ядра на архитектуре ARM Cortex-A53. Их тактовая частота достигает 1,8 ГГц.
Как IaaS приходит в ритейл и производство: кто и зачем перешел на виртуальную инфраструктуру
2018-08-19 в 15:44, admin, рубрики: iaas, бизнес-модели, Блог компании ИТ-ГРАД, виртуальная инфраструктура, кейсы, Разработка под e-commerce, ритейлЕсть мнение, что «облако» — это лишь маркетинговое название. Оно часто упоминается к месту и не к месту, а что скрывается под этим понятием люди не из бизнеса и не из ИТ не всегда знают.
Как нам кажется, лучше всего возможности виртуальной инфраструктуры и ее предназначение демонстрируют конкретные сценарии использования. У себя в блоге мы собираем «облачные» кейсы наших клиентов. Для нас это — библиотека примеров работы с IaaS на практике.
На основе этих историй мы расскажем, какие решения может предложить IaaS-провайдер компаниям в совершенно разных сферах. Сегодня — начнем с ритейла и производства.
Плата Biostar H310MHD PRO2 подходит для игровых ПК начального уровня
2018-08-19 в 15:35, admin, рубрики: Гаджеты и устройства для гиков 
Компания Biostar анонсировала новую материнскую плату: модель с обозначением H310MHD PRO2 рассчитана на работу с процессорами Intel Core восьмого поколения в исполнении LGA 1151.
Решение соответствует типоразмеру Micro ATX: габариты составляют 228 × 177 мм. Основой служит набор системной логики Intel H310. Допускается установка процессоров с максимальным значением рассеиваемой тепловой энергии до 95 Вт.
На что обратить внимание при выборе системы логирования, и почему мы остановились на ELK
2018-08-19 в 14:33, admin, рубрики: 1cloud, elk, fluentd, graylog, iaas, Logalyse, logstash, Блог компании 1cloud.ru, Разработка под e-commerceНа рынке представлено огромное количество систем логирования — как открытых, так и проприетарных. У каждой из них своя функциональность, свои достоинства и недостатки.
Сегодня мы решили поделиться опытом выбора системы логирования и рассказать, почему мы в 1cloud остановились на ELK.
