Я сам добрался до компа с Windows, и действительно скачанная из релизов версия 0.2 работает в не превью. Только она крайне недопиленная по дизайну, с трейлером и близко не стоит. Призакрытии вкладки виснет. Но способ прочуствовать рабочий ;)
Надеюсь, что если кому-то не удалось дозвониться, покупатель послушает текст объявления и свяжется по смс, WhatsApp или в сообщениях Авито ;) Возможно, кто-то и пожалуется.
By the way. Мне звонят рекламщики пару раз каждую неделю. Подавляющее большинство их номеров есть в общественной базе Should I answer. Одноименное приложение автоматически сбрасывает такие номера, и вроде уже полгода не приходилось с ними общаться. А когда приходилось, я по нажатию пары кнопок сам после разговора помечал номер как нежелательный.
Необходимость блокировать не все незнакомые номера, а только нежелательные, возникла в связи с плотным использованием Авито. Обычных людей-покупателей действительно не блокирует.
Так что рекомендую. Не обязательно это приложение, наверняка подобных много.
В свое время запускал ботов для Clash of Clans на компе с эмулятором. Парочка названий, которые запомнились: MyBot Run, Broken Bot. Умеют не только собирать ежедневные ресурсы, но и строить и улучшать дома, а также худо-бедно воевать. Есть распознавалка изображения даже, ищущая позиции нужных кнопок на экране и понимающая цифры ресурсов. Заглядывал под капот, там Auto It используется.
Классно! Жаль, что сам попробовал конспектировать подобным образом, но не в виме и не с таким большим набором "связок". На долго меня не хватило :)
Тем не менее, представляю свой генератор AutoHotKey скрипта, который все-таки мне помогал во многом. Сами "связки": https://github.com/SerVB/ahk4latex/blob/master/bindings.py. Возможно, для пользователей AHK на Винде это станет хорошим началом.
Есть "связки", которые работают всегда ("последовательности"), а есть другие, которые работают только с выключенным NumLock ("буквы").
Спасибо, классная статья. Не ожидал, что можно так сильно оптимизировать.
В начале статьи Вы критикуете малопонятность опенсурсных реализаций, ссылаясь в большей степени на ассемблер. Могу покритиковать Ваш код, так как он использует захардкоженные значения :) Думаю, именованные константы мне бы были более понятны, чем всякие 6, 24 и т. д…
Имхо таки Kotlin поддерживается похуже, чем Java, по крайней мере полгода назад. Натыкался на менее умную работу статического анализа вроде определения всегда ложных/истинных условий с арифметикой. Код на Java подсвечивается предупреждением, а после встроенной фичи конвертации кода в Kotlin сообщений не видно. Конкретных кейсов не сохранилось, поэтому и сейчас проверить не могу...
И это не странно: Java поддерживают в несколько раз дольше, поэтому и поддержать успели больше...
Честно, для меня тоже выглядит, как баг. Типа «раньше окошко загрузки было другим, содержало секцию слева, потом секцию убрали, а разметку прогресс-бара поправить забыли». Будет круто, если сделаете настройку внутри среды :)
Под словом «логика» имеется в виду не булевская логика, а логика-алгоритм решения. Нельзя гадать, нужно поочередно закрашивать клетки, где точно будет рисунок, и помечать те клетки, где точно рисунка нет. В нонограммах утверждается, что такой легкий алгоритм обязан привести к единственному ответу. А если не приводит, то нонограмма неправильна.
Но выполнимость SAT – это как раз перебор, а не логика, говоря моими терминами.
Тоже благодарю за описание применения SAT. Мне как студенту интересно узнавать приложения того, что изучаю. Тем более, что сам иногда на досуге решаю нонограммы :)
Тем не менее, если подходить к вопросу занудно, вижу проблему. Японские кроссворды должны решаться только логикой, но не перебором. Если решение единственно, Ваш алгоритм выдаст правильный ответ. Но если решений несколько? Насколько я понял, алгоритм не делит решения на "правильные" и "подходящие". Я вот только не знаю, есть ли нонограммы, у которых логически есть только одно решение, но формально подходит несколько раскрасок. Если такие существуют, Ваш алгоритм может давать неправильные ответы на них. Если не существуют, то это хорошо. В любом случае, Ваш солвер будет давать решения на невозможные для решения кроссворды вроде «Зимы» с Вики: https://ru.m.wikipedia.org/wiki/Японский_кроссворд .
Повторение M_PI_4, M_PI_4, M_1_PI, M_1_PI – это опечатка или пасхалка?)
Я сам добрался до компа с Windows, и действительно скачанная из релизов версия 0.2 работает в не превью. Только она крайне недопиленная по дизайну, с трейлером и близко не стоит. Призакрытии вкладки виснет. Но способ прочуствовать рабочий ;)
Слышал смешки, что скоро будет называться "Компьютер под управлением Windows" :D
Там в релизах что-то есть, будет круто, если попробуете не на превью и отпишитесь: https://github.com/microsoft/terminal/releases
Тоже вспомнил. https://m.habr.com/ru/post/422361/
Надеюсь, что если кому-то не удалось дозвониться, покупатель послушает текст объявления и свяжется по смс, WhatsApp или в сообщениях Авито ;) Возможно, кто-то и пожалуется.
Необходимость блокировать не все незнакомые номера, а только нежелательные, возникла в связи с плотным использованием Авито. Обычных людей-покупателей действительно не блокирует.
Так что рекомендую. Не обязательно это приложение, наверняка подобных много.
Лежит Qtek S110 на той же системе, иногда поигрываю в Palm Heroes :)
В свое время запускал ботов для Clash of Clans на компе с эмулятором. Парочка названий, которые запомнились: MyBot Run, Broken Bot. Умеют не только собирать ежедневные ресурсы, но и строить и улучшать дома, а также худо-бедно воевать. Есть распознавалка изображения даже, ищущая позиции нужных кнопок на экране и понимающая цифры ресурсов. Заглядывал под капот, там Auto It используется.
Классно! Жаль, что сам попробовал конспектировать подобным образом, но не в виме и не с таким большим набором "связок". На долго меня не хватило :)
Тем не менее, представляю свой генератор AutoHotKey скрипта, который все-таки мне помогал во многом. Сами "связки": https://github.com/SerVB/ahk4latex/blob/master/bindings.py. Возможно, для пользователей AHK на Винде это станет хорошим началом.
Есть "связки", которые работают всегда ("последовательности"), а есть другие, которые работают только с выключенным NumLock ("буквы").
В начале статьи Вы критикуете малопонятность опенсурсных реализаций, ссылаясь в большей степени на ассемблер. Могу покритиковать Ваш код, так как он использует захардкоженные значения :) Думаю, именованные константы мне бы были более понятны, чем всякие 6, 24 и т. д…
dnsflagday.net – OK
Имхо таки Kotlin поддерживается похуже, чем Java, по крайней мере полгода назад. Натыкался на менее умную работу статического анализа вроде определения всегда ложных/истинных условий с арифметикой. Код на Java подсвечивается предупреждением, а после встроенной фичи конвертации кода в Kotlin сообщений не видно. Конкретных кейсов не сохранилось, поэтому и сейчас проверить не могу...
И это не странно: Java поддерживают в несколько раз дольше, поэтому и поддержать успели больше...
filename.split(".").last()->filename.substringAfterLast("."):)Использовал прогу Windows Iso Downloader, позволяет вроде как с сайта МС скачать нужные образы винды и офиса. Работает без ключей.
Держу в курсе.
Не понимаю, почему. Возможно, это можно более строго доказать?..
Под словом «логика» имеется в виду не булевская логика, а логика-алгоритм решения. Нельзя гадать, нужно поочередно закрашивать клетки, где точно будет рисунок, и помечать те клетки, где точно рисунка нет. В нонограммах утверждается, что такой легкий алгоритм обязан привести к единственному ответу. А если не приводит, то нонограмма неправильна.
Но выполнимость SAT – это как раз перебор, а не логика, говоря моими терминами.
Тоже благодарю за описание применения SAT. Мне как студенту интересно узнавать приложения того, что изучаю. Тем более, что сам иногда на досуге решаю нонограммы :)
Тем не менее, если подходить к вопросу занудно, вижу проблему. Японские кроссворды должны решаться только логикой, но не перебором. Если решение единственно, Ваш алгоритм выдаст правильный ответ. Но если решений несколько? Насколько я понял, алгоритм не делит решения на "правильные" и "подходящие". Я вот только не знаю, есть ли нонограммы, у которых логически есть только одно решение, но формально подходит несколько раскрасок. Если такие существуют, Ваш алгоритм может давать неправильные ответы на них. Если не существуют, то это хорошо. В любом случае, Ваш солвер будет давать решения на невозможные для решения кроссворды вроде «Зимы» с Вики: https://ru.m.wikipedia.org/wiki/Японский_кроссворд .