Сегодня вышла в свет первая версия нового проекта RE:INSTEAD!

Что это: https://github.com/instead-hub/reinstead/blob/master/MANIFEST.md
Скриншоты: https://github.com/instead-hub/reinstead/blob/master/README.md

Вы можете скачать готовую сборку, которая должна работать на Linux (64 бита) и Windows. Также, проект собирается в 9front (Plan9).

https://github.com/instead-hub/reinstead/

RE:INSTEAD распространяется с играми проекта "ПАРСЕРНОЕ СОПРОТИВЛЕНИЕ", которые лицензированы под лицензией CC SA 4.0.

http://parser.hugeping.ru/

#plan9
#news

Обновлёна js версия метапарсера до версии 2.2.1.

Изменения:
- исправлена работа старой js версии, которая активизируется если браузер не поддерживает wasm;
- исправлена доступность для незрячих (спасибо Даниилу Гусеву за помощь в отладке).

#news

Решил создать эху std.hugeping.micro как замену твиттеру/мастадону.
Возможно, потом настрою трансляцию отсюда.

Продолжил работу над RE:INSTEAD. Всё-таки, очень нравится мне этот проект. Отдушина от сложных вещей. Что сделано:

- изменение размера шрифта на-лету (ctrl+/ctrl-);
- поддержка автоскриптов (опция -i);
- поддержка прокруткой тасканием (для возможного порта на android).

Рад, что проект https://parser.hugeping.ru известен незрячим. Это даёт смысл его существованию!

hugeping> Отдушина от сложных вещей.

Знаю, что продолжаю пинать мёртвую лошадь, но чем-то мне это очень близко, наверное.

Всё относительно. Сидел, недавно, ковырял примеры к курсу Д.Харрисона "Введение в функциональное программирование". Там простой парсер, простая реализация Пролога на его основе и простая же система доказательства теорем. Всё написано на Caml light, но я перенес их для себя на OCaml для упрощения. Так не сразу разобрался во всех нюансах и казалось, что не так всё там просто. А после того, как разобрался, то не просто, а очень даже элементарно :)

Кстати, для тех, кто в теме, вот неплохой список литературы: https://alexott.net/ru/fp/books/

Ради интереса решил попробовать собрать reinstead на Android. Я думал, что всё будет просто. Но нашлись нюансы...

В результате войны в течении 2-х дней с Java/ndk и отладкой SDL получился прототип. https://twitter.com/peter_ru/status/1431581688728010755

Но я пока не уверен, что буду доводить его до конца.

Пока работал со всем этим, меня не покидало ощущение перегруженности и текучести современных технологий. POSIX всё-таки более фундаментальная вещь. 50 лет Си уже существует, сколько ещё технологий он переживёт?

P.S. Список тем для блога растёт, но между программированием и блогом я всегда выбираю первое. Надеюсь, скоро будет перерыв и я напишу новые заметки. :)

hugeping> 50 лет Си уже существует, сколько ещё технологий он переживёт?

https://ziglang.org

Посмотрим.

Текучесть вызвана, в основном, ленью и консерватизмом. Поэтому и Plan 9 мало кто использует. Что, впрочем, нормально.

Всё-таки, что-то получилось! Только что закоммитил в contrib проекта reinstead https://github.com/instead-hub/reinstead исходники для сборки Android версии.

Конечно, это ещё не релиз, но, вроде бы, в целом -- работает. Заодно, перевёл reinstead на работу с SDL render Api (он стал работать заметно быстрее).

К сожалению, из-за REINSTEAD сдвигается релиз его старшего брата (INSTEAD).

На исходе последнего дня лета вышел INSTEAD 3.4.0! Версия с поддержкой hi-dpi экранов и возможностью создавать игры с адаптивными темами. Список изменений:

- исправление в pxl:fill_triangle (сортировка вершин);
- исправлена сборка с новым SDL_image;
- корректная работа с масштабированием в Windows (dpi awarness);
- поддержка высоких dpi (если включена опция HQ);
- новый параметр -dpi;
- новая функция instead.screen_dpi();
- новый параметр theme scr.gfx.scale;
- новый параметр theme scr.dpi;
- новый параметр theme scr.scale_aware (1|2) - поддержка адаптивных тем;
- возможность запуска игры через командную строку по пути к main?.lua файлу;
- более качественное масштабирование картинки сцены;
- обновлён SDL для windows сборки;
- улучшение: используется GetModuleName для нахождения полного пути к .exe (Windows);
- новая функция pxl:tosprite (конвертация pxl в sprite с масштабированием);
- ускорение pxl:fill;
- экспериментальная поддержка сборки с gtk4.0 (пока отключено).

Бинарные сборки будут появляться по мере готовности.

#news

Всё-таки выпустил в последний день лета INSTEAD 3.4.0. Этот релиз сильно задержался и несёт в себе долгожданную поддержку HiDPI.

Помню, как в 2009 (или в 2008?) писал первую игру "Одна старая история", которая начиналась в последний день лета... Конечно, я тогда думать не мог, что это хобби растянется на >10 лет. Думаю, так или иначе, оно повлияло на меня. В том числе в профессиональном плане.

https://instead.hugeping.ru/post/2021-08-31-instead-3-4-0/

О, спасибо! Посмотрим...
Может быть, тяга к простоте -- это возрастное? :)

hugeping> Может быть, тяга к простоте -- это возрастное? :)

По крайней мере это явно распространённое заболевание. Вот, на днях наткнулся:

Software Complexity

Simplicity is not the opposite of complexity. Simplicity is too often an excuse for being simplistic. The world doesn't need any more stupid software. The opposite of complexity is beautiful, elegant design.

http://lovettsoftware.com/

Это из майкрософта человек :)

Поздравляю!

О, наконец сообразил, что меня больше устраивает вместо слова "простота": "красота, как чувство меры".

vvs> Это из майкрософта человек :)

Довели, беднягу. :)))

Да, тенденция есть! Это интересный феномен. Люди перегружены.

Случайностей в жизни не бывает. Думал ли я, посещая с семьёй воронежский цирк, что это приведёт меня к книге, в которой я прочитаю нужные мне строчки? А ведь так всё и произошло!

> Он мигом распознает подростков, неспособных стать мужчинами, ноющих, как огромный больной зуб мудрости. Он чувствует, как вдруг начинает мельчать мужчина средних лет (вроде меня). Его августовский полдень давно прошел, а он все тараторит без пользы.

## Рей Бредбери. Надвигается беда

В детстве и в институте я не очень любил Бредбери. Тогда я читал фантастику запоем, но другую -- понятную мне. А Бредбери вызывал скорее недоумение. О чём это всё? И только в зрелом возрасте я обнаружил, что он стал мне ближе и понятней. По восприятию, где-то рядом с Гофманом, которого я тоже начал открывать.

Книга отличная. Читал и не мог остановиться. Близко было всё. И главные герои -- подростки. И религиозные мотивы в фундаменте. И переплетение реального и идеального.

> - Папа.. а я хороший человек?
> - Думаю, да. Точно знаю - да, - был ответ.
> - Это... поможет, когда придется действительно туго?
> - Обязательно.
> - И спасет, когда придется спасаться? Ну, если вокруг, например, все плохие и на много миль - ни одного хорошего? Тогда как?
> - И тогда пригодится.
> - Хотя ведь пользы от этого не очень-то много, верно?
> - Знаешь, это ведь не для тела, это все-таки больше для души.

В начале, как мне показалось, я услышал в книге присутствие христианства, что сразу расположило к себе.

> Мы разжигаем в своих помыслах страсть, зависть, похоть, окисляем их в наших душах, и все это срывается с наших глаз, с наших губ, с наших рук, как с антенн, работающих, уж не знаю, на длинных или на коротких волнах. Но хозяева балаганных уродов знают, они давно научились принимать эти сигналы и не преминут урвать здесь свое. Карнавал не спешит, он знает, что на любом перекрестке найдет желающих подкормить его пинтой похотливой страсти или квартой лютой ненависти. Вот чем жив Карнавал: ядом грехов, творимых нами по отношению друг к другу, ферментами наших ужасных помыслов!

Аллюзия была настолько сильная, что ошибиться невозможно.

> ... Одного только не говорят они людям, катающимся под их музыку...
> - Чего? - не утерпел Джим.
> - А того, что если ты в одном обличье стал несчастным грешником, то и в любом другом им останешься.

Книга полна образов, которые, кажется, действуют на подсознательном, каком-то фундаментальном уровне человеческой архитектуры. Образ продавца громоотводами. Человек-в-Картинках. Подросток, стреляющий из лука в ведьму. А на сцене, где раненый Чарльз Хэллуэй ставит на плечо своего сына ружьё, заряженное восковой пулей я уже почти плакал... Вся книга наполнена поэтическими образами и лирикой октября. Но сюжет не такой прямолинейный, как мне показалось на первый взгляд, и мои ожидания не раз разбивались в дребезги.

> - Эй, что вы там прижимаете? - М-р Дарк прищурился. А, Библия! Очаровательно! Как это по-детски наивно и свежо.
> - Вы читали ее, мистер Дарк?
> - Представьте, читал. Скажу даже больше. Каждую главу этой книги, каждый стих вы можете прочесть на мне, сэр...

Но всё-таки, как мне кажется, назвать повесть христианской будет не вполне правдой. Ближе к концу события развиваются в таком ключе, что в какой-то момент я даже почувствовал недоумение. Так что же такое карнавал? И кто такой Дарк? Почему борьба с ним возможна именно тем способом, который обнаружил Чарьльз Хэллуэй?

> - Ну что? Удивлены? Могу даже почитать вам. - Дым от сигареты м-ра Дарка завихрялся над шелестящими страницами.
> - А вы, конечно, ожидали, что я рассыплюсь прямо перед вами? К вашему несчастью, это все - легенды. Жизнь, это очаровательное скопище самых разных понятий, продолжается, как видите. Она движет сама себя и сама себя оберегает, а смысл ей придает неистовость. А я - не последний в легионе необузданных.

Можно ли верить Дарку, отцу лжи? Но и Чарльз Хэллуэй, порой, сообщает нам со страниц книги нечто не всегда понятное.

К концу книги эти вопросы, на мой взгляд, не разрешаются и в полной мере не преодолеваются. Это, в свою очередь, оставляет колкое послевкусие вопроса. Так о чём же повесть? О жизни, детстве, взрослении, о человеческих страстях. Но действует ли в этом мире Бог? Доверившись книге, я чувствовал что болтаюсь между двумя состояниями: ощущением присутствия Бога и ужасом богооставленности. В повести, не смотря на всю её "сказочность", присутствует парадоксальность реального мира. В ней нет прямого рецепта, хотя сначала кажется, что есть. И это переплетение фантастики и реализма делает повесть пронзительно острой.

> "У Зла есть только одна сила, та, которой наделяем его мы. От меня ты ничего не получишь. Наоборот, я заберу у тебя все. И тогда тебе останется только погибнуть".

И вот мы уже почти добрались до конца. Счастливого конца?

> - Да, сынок. Теперь уж всю жизнь придется быть начеку. Все только начинается. Они неторопливо обогнули карусель.
> - А как же мы их узнаем? - допытывался Вилли. - На кого они будут похожи?
> - Может быть, они уже здесь, - тихо ответил отец.
> Оба друга быстро огляделись. Но поблизости была только карусель да они сами. Тогда Вилли поднес руки к лицу и внимательно осмотрел их, перевел взгляд на Джима и снова на отца.
> Чарльз Хэллуэй кивнул. Только один раз.

После того, как закончил читать, поискал в интернете и нашёл, что книга изначально была сценарием к фильму, который превратился в повесть. В 1983 году был снят фильм "Именно так зло и приходит", для которого Бредбери снова написал сценарий. Я попытался смотреть фильм и был разочарован. От магии мало что осталось. Я просмотрел ключевые моменты, диалоги и концовку, надеясь узнать что-то новое... Но быстро понял, что в фильме всё упрощено. Рецепт подан прямым текстом. Счастливые люди не нужны карнавалу. Любовь побеждает зло. Слабые места (страсти) персонажей нарисованы без тени загадки. Нет, возможно это всё есть и в повести, и это хорошо и правильно! Только в книге это настоящее, которое врывается со страниц прямо в наш реальный мир. А в фильме... похоже на пластмассу...

P.S. Кстати, такое же разочарование было у меня от просмотра фильма "1984", который на фоне книги показался блеклым и невыразительным.

За последние дни практически закончил re:instead. Версия для ANDROID работает и играется приемлемо. Очень много доработок, в том числе и в плане производительности. re:instead будет распространяться только в виде комплекта игр, гарантированно хорошо работающих в этом интерпретаторе. Никаких ланчеров и скачиваний из сети.

Также пробросил микроблог из gemini на https://hugeping.ru
Сомневаюсь, транслировать ли эти сообщения микроблога в twitter/mastadon/telegram или это будет только засорять... Пока они транслируются только в телеграм.

Накопил много тем для блога, но программировать пока интереснее. :)

Обновлён метапарсер.

- Исправлено формирование с/со в русской библиотеке;
- Исправлены сохранения в metaparser.js.

Обновлениы: metaparser, metaparser-js(до 2.2.2). Заменена сборка instead-cli(1.5).

#news

Сегодня, тихо и незаметно, выпущено обновление re:instead 0.2!

RE:INSTEAD это приложение проекта "ПАРСЕРНОЕ СОПРОТИВЛЕНИЕ"

https://parser.hugeping.ru

которое предлагает вашему вниманию сборник парсерных игр в минималистичном формате. Сборки подготовлены для: Windows, Linux и Android. Для других ОС (включая Plan9, MacOS X, BSD*) предлагается тривиальная самостоятельная сборка из исходных кодов.

Изменений масса:

- изменение размера шрифта клавишами ctrl-+/-/0;
- поддержка автоскриптов через параметр -i <autoscript>;
- значительное ускорение работы;
- исправления в играх;
- поддержка сохранения настроек;
- порт на Android;
- исправление ошибок и прочие улучшения.

Сборку для android пока можно скачать прямо в виде .apk файла. А потом, я надеюсь, приложение примут в F-Droid. Соответствующий merge request уже создан.

Проект на github: https://github.com/instead-hub/reinstead

Руководство для игроков: https://github.com/instead-hub/reinstead/releases/download/0.2/manual.pdf

Бинарные сборки: https://github.com/instead-hub/reinstead/releases

#news

Сегодня выпустил re:instead. Сделал также merge реквест в f-droid. Настроение выполненной работы держалось до самого вечера, когда пришли тревожные новости...

# INSTEAD от btimofeev заблокирован в Google Play #

Что они там нашли, не знаю... Вероятно, не нравится установка Lua кода из сторонних источников. Что же, закономерный оскал капитализма.

На самом деле, неуместность INSTEAD на коммерческой площадке чувствовалась и раньше. И вот, сейчас мы получили логическую развязку. INSTEAD не место на площадке Apple. Не место на площадке Google.

Не знаю, что будет дальше, но лично моё мнение, что лучше просто послать Google подальше и продолжать заниматься творчеством. Пока ещё есть возможность запускать открытый код на наших (пока?) компьютерах.

Напомню, что скачать приложение вы можете из репозитория открытых проектов на F-Droid: https://f-droid.org/en/packages/org.emunix.insteadlauncher/

Я обновил ссылку на https://instead.hugeping.ru на приложение для Android.

#news

Последние дни занимался тем, что добавлял re:instead в F-Droid. И это, похоже, удалось! Сегодня смержили в мастер ветку. Так что остаётся только ждать, когда обновится репозиторий, искать и ставить приложение reinstead.

Вчера INSTEAD ланчер от Бориса Тимофеева был забанен на Google Play. С одной стороны, я расстроился. С другой -- это закономерно. Свободное ПО всегда будет встречать сопротивление. Наверное, можно попробовать оспорить решение, объяснив что INSTEAD не устанавливает ПО, а качает Lua скрипты игр... И Борис попробует это сделать. Но мне кажется, окончательно сбросить с себя ярмо корпорации -- тоже неплохой вариант. Так или иначе, INSTEAD доступен через в F-Droid...

Думал (это старая мысль), что не плохо было бы создать ресурс, где можно было бы собрать сообщество людей, которым были бы интересны игры на метапарсере. Но, понимаю, что это пустая трата времени. Лучше просто сосредоточиться на творчестве.

P.S. Edited: 2021-09-07 18:32:14

Выпущен Re:instead 0.3. В новой версии:

- Настройка conf.width: максимальное число символов в строке;
- Обновлён Метапарсер;
- Исправлены ошибки;
- Улучшена Android версия.

Также, Re:instead уже можно поставить из F-Droid! Правда, пока только прошлую версию (0.2).

https://github.com/instead-hub/reinstead/releases/tag/0.3

#news

P.S. Edited: 2021-09-19 13:24:33

Те, кто пользуются 9front наверняка знают, что есть порт netsurf: https://github.com/netsurf-plan9/netsurf

К сожалению, порт собран без iconv поддержки. Поэтому некоторые сайты (например, opennet) открываются с убитой кодировкой.

Я взял iconv реализацию из openwrt и грязным образом прикрутил к netsurf. Положил в свой репозиторий: https://github.com/gl00my/plan9hacks

P.S. Кроме этого, у меня там есть ещё какие-то патчи, которые что-то исправляют в плане русского и шрифтов.

Несколько дней нахожусь в программистском запое. Программирую Re:instead. Этот проект никак не связывает мне руки, поэтому чувствую эмоциональный подъём. За счёт недосыпания и насилия над нервной системой, конечно же. Это плохо, каждый раз думаю об этом и... Ничего не меняется. Страсть программирования сидит уже глубоко, и просто так победить это не получится. Да и решимости, наверное, нет. "Дай мне целомудрие и воздержание, только не сейчас" // Августин Блаженный.

Но вред от этой зависимости есть. Конечно, хочется её романтизировать и идеализировать. Но она вредит и, при этом, мало что даёт на выходе. Кто знает о проекте Re:instead? 10 человек? :) Полезен ли он? Единственная надежда на пользу, это добавление TTS поддержки для незрячих. Которую, кажется, можно было бы сделать для Android версии. Может быть попробую сделать это.

За это время отделил логику рендеринга шрифтов так, что менять библиотеки отрисовки текста стало очень просто. Сделал возможность собираться с freetype (он даёт лучшее качество на низких DPI) и с libschrift (просто до кучи). Так что теперь Re:instead может быть собран с 3-мя рендерами.

Бинарные сборки 0.4 будут уже на freetype.

hugeping> Но вред от этой зависимости есть. Конечно, хочется её романтизировать и идеализировать. Но она вредит и, при этом, мало что даёт на выходе.

Условность. Зависит от того, как определить пользу и у всех она разная. Но сам факт нанесения вреда здоровью излишествами - это явно плохо.

Но не переживайте, я нашёл способ! Вместо того, чтобы читать одну книгу с утра до утра, нанося непоправимый вред здоровью, - я открываю несколько разных книг и, когда устаю читать одну, переключаюсь на другую. В итоге ни одна книга в отдельности уже не может нанести мне вреда! Здорово, правда? :'D

vvs> В итоге ни одна книга в отдельности уже не может нанести мне вреда! Здорово, правда? :'D

А книга наносит вред содержимым или самим фактом чтения? :) Потому что если говорить про программирование, то тут сам процесс -- источник хронических заболеваний и повреждения нервной системы. :)

hugeping> А книга наносит вред содержимым или самим фактом чтения? :) Потому что если говорить про программирование, то тут сам процесс -- источник хронических заболеваний и повреждения нервной системы. :)

Здоровой психике никакая книга нанести вреда не может. Или всё-таки нет? Каков будет ваш положительный ответ? :)

Тут ещё остаётся вопрос: насколько окрепшая психика подразумевается? И как определить её крепость? :)

Мой покойный дед, человек без высшего образования (на самом деле я до сих пор не знаю, какое именно образование он получил), когда-то сказал мне, что в институтах учат, учат кибернетике и от этого студенты сходят с ума. Я тогда был ещё ребёнком и не имел представления, что такое кибернетика. Сейчас я подозреваю, что речь, наверное, была вовсе не о кибернетике, а об информатике и вычислительной технике. Многие и до сих пор их ещё путают. Должен сказать, что его слова тогда произвели на меня впечатление. А теперь я думаю, что это именно о том, чем я занимаюсь почти всю свою сознательную жизнь. Вот такие дела. :)

В "Возвращении квантового кота" есть герой, бомж. Там он говорит что-то такое:

> Когда-то я хотел стать кандидатом наук... Писал диссертацию на тему строения материи.. Но... Мой мозг переутомился... Я пытался успокоиться и вот... Теперь я здесь...

Действительно, слышал, были такие случаи... ;)

hugeping> Действительно, слышал, были такие случаи... ;)

Ха-ха. Студенческий фольклор. "Один преподаватель на 1 курсе говорил нам наполовину в шутку, что каждый год на потоке в физическом факультете кто-нибудь попадает в психушку". Отсюда: https://hugeping.tk/tDeAZ3ChZQzAOdZKgVqV#tDeAZ3ChZQzAOdZKgVqV

А если без шуток, то когда-то я интересовался людьми-счётчиками. Там есть случаи психиатрических заболеваний, например https://ru.wikipedia.org/wiki/%D0%A8%D0%B5%D0%BB%D1%83%D1%88%D0%BA%D0%BE%D0%B2,_%D0%98%D0%B3%D0%BE%D1%80%D1%8C_%D0%90%D0%BB%D0%B5%D0%BA%D1%81%D0%B5%D0%B5%D0%B2%D0%B8%D1%87

Известно, что среди известных математиков были люди с психическими заболеваниями - К.Гёдель, Д.Нэш. В книге А.Доксиадиса "Логикомикс" автор прямо намекает на то, что все логики - со сдвигом. Хотя невозможно судить, есть ли между болезнью и профессией хоть какая-то связь.

В любом случае, переутомление явно не способствует здоровью.

Выпустил RE:INSTEAD 0.4

Новое:

* возможность сборки с одной из трёх библиотек рендеринга шрифтов (stb_truetype/libschrift/freetype);
* статические сборки Linux/Windows теперь собираются с freetype;
* исправление ошибок;
* системные команды теперь начинаются с ! (например, !save);
* команды !saves и !rm для просмотра и удаления сейвов.

Готовы бинарные сборки для Linux/Windows (reinstead-0.4.zip) и .apk для Android.
Обновление в F-Droid должно тоже скоро подоспеть.

https://github.com/instead-hub/reinstead/releases

Очень вдохновляют примеры, когда творчеством занимаются пожилые люди. Пётр Мамонов, Procol Harum (выпустившие альбом в 2017!), Питер Фальк в роли самого себя в Коломбо... Экзюпери написал Маленького принца после 40. В общем, если приглядеться, то в глазах взрослых с виду людей, можно разглядеть искорки детства.

Как-то на youtube случайно натолкнулся на любительский клип на одну из любимых песен Procol Harum. Вот он https://www.youtube.com/watch?v=-MnQTFa7PHI

Видеоряд + музыка совпали на 100%! Музыка резонируют с картинкой так, что на кадрах, когда барон обгоняет летящую смерть, я чувствовал мурашки по телу. Это было настолько удивительно и круто, что я посмотрел фильм, из которого был нарезан видеоряд. Вот этот фильм: https://ru.wikipedia.org/wiki/Приключения_барона_Мюнхгаузена_(фильм)

А режиссёром оказался Терри Гиллиам, известный мне главным образом только по прекрасной "Бразилии". Прочитал, что "Приключения барона Мюнхгаузена" неофициально считается одой старости и завершает трилогию, начатую картинами "Бандиты времени" и "Бразилия", которые соответствуют юности и зрелости.

Что тут сказать? "Ты не один"(c)

Внуки есть? Тогда не дед ;)

vvs> Внуки есть? Тогда не дед ;)

Дед! Дед Мороз я. :)

Когда долго программируешь, привыкаешь проверять все причинно-следственные связи от начала и до конца, разворачивать их. Отладка учит быть подозрительным. Не верь тому, что написано и вроде-бы "работало раньше". Ошибка могла не проявляться. Ошибка может скрывать проявление другой ошибки. Ошибка может быть следствием гонки. Несколько ошибок могут входить в суперпозицию и выглядеть как одна ошибка или наоборот. Чтобы действительно разобраться в проблеме, ты должен понять что именно происходит максимально педантично и досконально. Никаких домыслов! Никаких непроверенных предположений! Каждый раз ты должен учиться смотреть на код, как будто он написан только что.

Не удивительно, что с годами это начинает отражаться и на психике. Один из таких "синдромов" я замечаю у себя и у некоторых знакомых программистов. Я назвал его синдром "0 или 1". Проявляется он в различных формах, но стоит за всем одно и то же.

Если высказано какое-либо суждение, ты начинаешь его раскручивать и доводить до логического конца. Интерпретация событий всегда чёрно-белая. 0 или 1? Ведь нужен конкретный и простой факт в основе. То, что хорошо помогает искать ошибки может навредить в общении. Например?

> - Смотри, я тут игру написал Color Lines.
> - Неплохо. Только цвета шариков мне не нравятся.
> - А мне, кажется, красиво.
> - Нет, слишком яркие.

(сценарий 0) Я подобрал плохие цвета. -> Они мне нравятся, значит, у меня нет вкуса. -> Зря я написал игру.

(сценарий 1) Цвета мне нравятся, а оппоненту -- нет. -> У оппонента нет вкуса, не надо учитывать его мнение. -> Зря я его спросил.

Следствие синдрома. "Если что-то может случиться, то это обязательно случится." Перекликается с законами Мерфи, да? Не случайно, ой не случайно... :)

> - Где мой паспорт?
> - Зачем тебе?
> - Я всегда беру паспорт, когда выхожу на улицу... И, кстати, где зонт?

Усиление следствия. "Если что-то случится в будущем, то это уже случилось."

> Мы смертны -> мы уже мертвы -> нас не существует и никогда не существовало.

Ещё одно следствие -- если назревает конфликт, нет смысла тянуть, ведь "он уже случился".

> - Не могу тебя видеть!
> - Если мы враги, то давай расстанемся. Если нет, то зачем эта ссора?

Наконец, невозможность делать простейшие вещи без детального понимания задачи.

> - Отрежь кусочек скотча.
> - Какой длины?
> - Просто кусочек скотча.
> - Для какой задачи нужен скотч? (попытка узнать точную длину отрезка под задачу)
> - Блин, да ты издеваешься!

// Все диалоги являются вымышленными, любое сходство -- случайно.

Годами выработанная привычка сводить всё к "да" или "нет", "всё" или "ничего", 0 или 1 -- рано или поздно находит выход, нередко приводя к раздражению, непониманию, ссорам.

Программа -- мир, который создал программист и полностью его контролирует. Выполнение программы в глубине своей -- детерминированная шарманка. Возможно, именно отсутствие противоречий и привлекает программистов в профессию. Но жизнь -- нередуцируема и противоречива по своей сути. Попытка действовать в реальном мире так же, как ты привык работать в виртуальном, неизбежно приводит к конфликту. Попытка решения его в виде ответа 0 или 1 приводит к парадоксальным и опасным состояниям. В лучшем случае -- просто неадекватным.

Когда я слышу очередную "печальную" новость про программиста, я всегда с сожалением думаю, что не последнюю роль здесь сыграл синдром 0 или 1.

Мне кажется, любой программист в качестве противоядия должен иметь "аналоговое" хобби. Велосипед, гитара, рыбалка... Что угодно, что позволяет не терять связь с реальным миром и напоминать себе, что не всё решается через 0 или 1.

Берегите себя!

tts в re:instead

Со второй попытки, всё-таки, поддержку tts решил оставить. (Пока, только для Android). Спасибо Никите за помощь! Поддержка неидеальна, конечно, но пользоваться можно.

Будет в следующей версии (0.5).

Приложение снова доступно :) Ура!

Ой какая вкусная тема. Спасибо за нее!

Я надеюсь это будет доооолгое обсуждение, на много дней.

Для затравки. Программирование - это приложение информатики, которая сама - приложение логики и математики (дискретной, похоже). Наличие только двух вариантов - это характерно для булевой логики и, в более скрытом виде, в классическом законе исключённого третьего. Для интуиционистской логики сие не характерно. Мораль: изучаем все эти (и другие) предметы для достижения нирваны, чем я и занимаюсь (с переменным успехом). Программист, который не любит математические головоломки - это любопытная экзотика. Возможно он просто не умеет их готовить? (изучаем ещё и кулинарию ;)

По поводу связи чёрно-белого восприятия с человеческими отношениями. Тут логика ни причём - надо обращаться к философии. Философия - это по сути изучение различных точек зрения. Кто относится к этому серьёзно, ссориться из-за разных точек зрения не станет - это глупо. Однако другая часть философии (и религия) занимается моралью. А вот тут есть много подводных камней. Является ли подлость просто иной точкой зрения? Можно ли бесстрастно обсуждать с подлецом взаимные разногласия - этот вопрос уже далеко не только философский, поскольку влияет (весьма действенно) на нашу жизнь и жизнь наших близких. Тут ещё начинаю накладываться политические предпочтения, традиции, воспитание и собственные тараканы. Могут ли людоеды с Андаманских островов мирно обсуждать кулинарные вопросы со своими пленниками? Вопрос интересный, но предпочтительно обсуждать это у себя дома.

> Наличие только двух вариантов - это характерно для булевой логики и, в более скрытом виде, в классическом законе исключённого третьего.

> Программист, который не любит математические головоломки - это любопытная экзотика. Возможно он просто не умеет их готовить? (изучаем ещё и кулинарию ;)

В повседневной жизни я встречал программистов-математиков и программистов-инженеров. Я скорее отношусь ко вторым.

"Он делает всё точно так, как я скажу! Даже, если я ошибаюсь!" Эта была основная мысль, которую я помню в процессе написания своей первой программы и она дала толчок всему остальному.

Никогда не умел нормально (да и не любил) играть в шахматы. Решать математические головоломки. Терпеть не мог квесты с вставками игрушек на логику. (Например, были такие в Машинариуме).

Правда, очень любил стереометрию в школе, например. Решал большинство задач интуитивно и быстро.

hugeping> В повседневной жизни я встречал программистов-математиков и программистов-инженеров. Я скорее отношусь ко вторым.

hugeping> "Он делает всё точно так, как я скажу! Даже, если я ошибаюсь!" Эта была основная мысль, которую я помню в процессе написания своей первой программы и она дала толчок всему остальному.

Представь себе, но я до последнего времени никогда серьёзно не увлекался математикой. В детстве она мне нравилась, но я не понимал зачем нужны доказательства. Зато я считал, что математика - это формулы, которые надо запомнить и использовать при решении разных задач. Когда мне в школе попала в руки книжка по абстрактной алгебре, то мне было очень любопытно, но я совершенно ничего там не понял, хотя начинал её несколько раз. Когда классе в четвёртом моя учительница математики дала мне записочку и предложила пойти в математический кружок в доме пионеров, то я согласился очень неохотно. К моему удивлению на дверях кабинетов там не было номеров и побродив по коридорам какое-то время я отправился восвояси. На следующий день учительница посмотрела на меня, но ничего не сказала.

Зато я обожал всякие шифры и электронные устройства. Когда в 8-м классе мне в руки попала книга К.Джермейн "Программирование в IBM/360", я был очарован и с тех пор никогда не отступал с этой стези... до недавнего времени. После сорока мне всё более казалось, что я живу неправильно и жизнь моя не имеет цели. В конце-концов мне удалось круто изменить свою жизнь и заняться не конъюнктурными программами и устройствами, а чем-то более вечным - языком, на котором написано всё, что имеет отношение к реальному миру. Я считал себя материалистом :) С тех пор многое в моей жизни радикально переменилось. Оглядываясь назад я диву даюсь, как изменились мои взгляды и приоритеты в жизни. Мне кажется, что за последние несколько лет я узнал больше важных и интересных вещей, чем за всю предыдущую жизнь. И я больше не считаю себя материалистом :) Но теперь я и играю гораздо реже. А головоломки - это и не совсем игра.

hugeping> Никогда не умел нормально (да и не любил) играть в шахматы. Решать математические головоломки. Терпеть не мог квесты с вставками игрушек на логику. (Например, были такие в Машинариуме).

Ты не поверишь, но я не умею и не люблю играть в шахматы, хотя и знаю правила. Зато любил играть в преферанс :)

hugeping> Правда, очень любил стереометрию в школе, например. Решал большинство задач интуитивно и быстро.

А ты обратил внимание на игру Euclid, которую я уже упоминал? Там надо решать геометрические головоломки. С моей точки зрения - это та же логика, просто другие символы. Все принципы те же и еще Д.Гильберт превратил геометрию в аксиоматическую теорию.

За последние годы я узнал одну важную истину. Всякому овощу - своё время. Кто-то становится религиозным, а кто-то увлекается математикой. Может для тебя время математики ещё не наступило, а я ещё поверю в Бога каким-то своим, особенным путём :)
P.S. Edited: 2021-09-21 20:24:51

Сегодня мне весь день не давало покоя ощущение, что я упустил какую-то мысль, которую ты пытался здесь выразить. И, наконец, понял, что это и есть ответ :) Ты говоришь о том, что люди всё пытаются уложить в какую-то законченную схему, которая бы всё объясняла, но, вместо этого, всегда остаются лишние детали, которые некуда пристроить.

Только я не согласен с тем, что это особенность программистов :) Это свойство любого аналитического склада ума. Просто так получается, что среди своего круга общения это наиболее заметно. А общаемся мы чаще всего с кем? Правильно - с коллегами :)

Вот и попробуй мне после этого доказать, что ты не любишь логические головоломки, когда тебе так необходимо обязательно складывать все детали в одну схему :) У тебя лишь есть предвзятая неприязнь к их форме, но не к их сути. И это не игра - это жизнь.

hugeping> Программа -- мир, который создал программист и полностью его контролирует. Выполнение программы в глубине своей -- детерминированная шарманка. Возможно, именно отсутствие противоречий и привлекает программистов в профессию. Но жизнь -- нередуцируема и противоречива по своей сути. Попытка действовать в реальном мире так же, как ты привык работать в виртуальном, неизбежно приводит к конфликту. Попытка решения его в виде ответа 0 или 1 приводит к парадоксальным и опасным состояниям. В лучшем случае -- просто неадекватным.

Я думаю, ты недооцениваешь всей сложности этой ситуации. Подумав, я прихожу к выводу, что я, персонально, не в состоянии примириться с "несовершенством" окружающего мира. Я просто не могу пожать плечами и пройти мимо. Если ситуация не укладывается в мою модель, то я должен или попробовать изменить ситуацию или объявить такую ситуацию не имеющей права на существование. А главное - я вовсе не считаю, что все возможные ситуации допустимы с чисто практической точки зрения. Какое отношение это может иметь к программированию? Ну, допустим, рядом с городом пробудился вулкан. Если бы у нас была такая возможность, то почему мы не должны его попробовать "заткнуть"? Тут надо, конечно, взвешивать все последствия. Но для этого и нужно образование, разве не так?

Иными словами, я хочу сказать, что человек - активный преобразователь мира, а не просто сторонний наблюдатель. Так меня воспитали и ничего тут изменить нельзя, да я и не вижу такой необходимости. Кстати, библия утверждает, что мы созданы по образу и подобию Божию. Не в этом ли дело? :)
P.S. Edited: 2021-09-23 13:24:12

vvs> Иными словами, я хочу сказать, что человек - активный преобразователь мира, а не просто сторонний наблюдатель.

Моя заметка в основном о том, что одно дело -- те вещи, которые мы создаём (и, поэтому, осознаём и подчиняем их логике), а другое дело -- мы сами и другие люди, восприятие мира. Жизнь не редуцируется. В лучшем случае -- она диалектична. Законы, которые работают в логике -- работают не везде. Попытка обосновать всю нашу жизнь логически, научно или как-то ещё уложить в непротиворечивую "теорию" неизбежно будут содержать сингулярности. В нас есть (как в творении Божьем) бесконечность внутри. Тот же пример рассуждения: я смертен значит меня не существует, при кажущемся парадоксе мне соверешенно (как идеалисту) понятен. Если наше существование не утверждено Богом -- нас просто не существует.

Это "философская" часть заметки, которая присутствует в ней неявно. А явно -- просто бытовая проблема, когда твоя "логичность" доводит до нервных срывов и конфликтов, потому что доведённая до абсолюта -- она в жизни только мешает.

Но я ни с чем не спорю, просто пояснил другими словами свою мысль.

hugeping> Моя заметка в основном о том, что одно дело -- те вещи, которые мы создаём (и, поэтому, осознаём и подчиняем их логике), а другое дело -- мы сами и другие люди, восприятие мира. Жизнь не редуцируется. В лучшем случае -- она диалектична.

Ха-ха. Тут я с тобой полностью согласен. И это явно основная причина, почему для меня важно моё увлечение математикой. Правда, в отличие от тебя, я никогда раньше не замечал "искусcтвенности" программирования - ведь для меня это всегда была только игра. К математике же я относился всегда серьёзно и для того, чтобы осознать, что она лишь человеческое изобретение мне понадобились горы литературы по философии.

> Законы, которые работают в логике -- работают не везде. Попытка обосновать всю нашу жизнь логически, научно или как-то ещё уложить в непротиворечивую "теорию" неизбежно будут содержать сингулярности. В нас есть (как в творении Божьем) бесконечность внутри. Тот же пример рассуждения: я смертен значит меня не существует, при кажущемся парадоксе мне соверешенно (как идеалисту) понятен. Если наше существование не утверждено Богом -- нас просто не существует.

Согласен и нет одновременно. Если смотреть с точки зрения одной вечности, то всё верно. Но если смотреть с личной точки зрения - то нет. А ты сам говоришь, что в нас тоже есть внутренняя бесконечность. А сколько их всего? Это, как мощность континуума, по сравнению с мощностью счётного множества.

hugeping> Это "философская" часть заметки, которая присутствует в ней неявно. А явно -- просто бытовая проблема, когда твоя "логичность" доводит до нервных срывов и конфликтов, потому что доведённая до абсолюта -- она в жизни только мешает.

Да, верно. Если присутствует какая-то незавершённость, то она меня будет постоянно беспокоить. В жизни много чего мешает, но и помогает тоже.

hugeping> Но я ни с чем не спорю, просто пояснил другими словами свою мысль.

А я не вижу ничего плохого в спорах, если они о разных точках зрения - это обогащает наш жизненный опыт.

P.S. Совсем другое дело - проявление неуважения к собеседнику, чего я в людях не выношу. Моё определение подлости: обращение с людьми не по правилам, общим для всех порядочных людей, а по критерию личной пользы и положению в какой-то иерархии, да ещё и хамство и притворство. И это моя мораль, к которой у меня отношение исключительно чёрно-белое и это меня не тяготит.
P.S. Edited: 2021-09-23 14:23:05

Выпустил Re:instead 0.5 с поддержкой голосового вывода и улучшениями в Android сборке.

* поддержка голосового вывода на: Linux, Windows и Android.
* !tts команда;
* функции доступности в Android версии;
* лучшая поддержка виртуальных клавиатур Android;
* исправления ошибок.

Этот релиз не состоялся бы без помощи Nikita Tseykovets. Спасибо!

Как обычно, скачать версии для Windows/Linux и Android можно с github: https://github.com/instead-hub/reinstead

Версия в F-Droid будет через несколько дней.

#news

vvs> P.S. Совсем другое дело - проявление неуважения к собеседнику, чего я в людях не выношу. Моё определение подлости: обращение с людьми не по правилам, общим для всех порядочных людей, а по критерию личной пользы и положению в какой-то иерархии, да ещё и хамство и притворство. И это моя мораль, к которой у меня отношение исключительно чёрно-белое и это меня не тяготит.

Тут ещё проблема в том, что общение по сети накладывает свои особенности. В жизни к тебе вряд-ли подойдёт человек и начнёт докапываться по какому-то поводу. Если только он не пьян. В другую сторону, правда, тоже действует. Общение по сети действует как алкоголь - ослабляя сдерживающие факторы.

Так вот, мне кажется, есть люди, которые не напрягаются и совсем "отпускают" себя в сети. Я сейчас не оправдываю хамство, но описываю тот факт, что для большой части развязанное поведение стало "нормой". К сожалению. Все эти троллинги, мемчики -- работают в одну сторону. Народ становится более толстокожим, высказывается максимально резко, надеясь что это пробьёт оборону противника, судя всех людей по себе.

Агрессивное общение spline/kerber меня печалит особенно, потому что это мои сетевые друзья. И я знаю этих людей с хорошей стороны, но агрессивно-прямая манера поведения -- конечно многих пугает.

P.S. Можно ещё Столлмана вспомнить. :)

hugeping> Общение по сети действует как алкоголь - ослабляя сдерживающие факторы.

Стоит напомнить, что в правовом поле алкоголь является не оправданием, а усугубляющим фактором.

hugeping> Так вот, мне кажется, есть люди, которые не напрягаются и совсем "отпускают" себя в сети. Я сейчас не оправдываю хамство, но описываю тот факт, что для большой части развязанное поведение стало "нормой". К сожалению. Все эти троллинги, мемчики -- работают в одну сторону. Народ становится более толстокожим, высказывается максимально резко, надеясь что это пробьёт оборону противника, судя всех людей по себе.

Это стало нормой на немодерируемых форумах, которые ничем не лучше помойки. И это больнее всего бьёт там, где такого и не ждёшь. Обычно причиной, по которой я появляюсь на форумах - это не столько конкретный повод, сколько желание пообщаться с умными людьми. Люди приходят на "приличный" форум для общения по интересам среди равных, а нарываются на внезапные унижения и оскорбления. И хуже всего, когда это становится нормой для тех, кто обязан поддерживать порядок - модераторов. В этом случае на форуме уже полный произвол и беззаконие, да ещё когда повод для агрессии высосан из пальца.

hugeping> Агрессивное общение spline/kerber меня печалит особенно, потому что это мои сетевые друзья. И я знаю этих людей с хорошей стороны, но агрессивно-прямая манера поведения -- конечно многих пугает.

Это не главное. Проблема не в самой агрессии, которая может быть спонтанной и человек потом об этом пожалеет. У меня самого скверный характер и я бываю иногда груб с хорошо знакомыми людьми, когда я уверен, что они меня простят. Проблема, когда человек начинает бравировать своей наглостью и открыто заявляет, что правила социального поведения для него не писаны.

Однако основной фактор, из-за которого я прекращаю любые отношения с такими людьми - это корысть. Если уже _официально_ заявляется, что отношение к людям зависит только от приносимой ими "пользы", то любые дискуссии становятся бесполезными. То есть здесь не идёт речь ни о какой дружбе, а только об отношениях "ты мне - я тебе". Такие отношения уместны разве что на базаре, общаться же лично я предпочитаю с друзьями.

hugeping> P.S. Можно ещё Столлмана вспомнить. :)

А он хамит? Знаю, что Торвальдс этим известен. Но я не думаю, что все они набрасываются на людей, которые к ним даже не обращались. И не думаю, что они ценят в людях только свою выгоду. Иначе в моих глазах они сразу перестали бы существовать.

В любом случае, я нередко читаю зарубежные форумы, где большинство - люди с хорошим образованием и репутацией. Там подобная манера общения является чем-то немыслимым. Я думаю, что было бы ещё неплохо иметь какие-то рейтинги, чтобы человек сразу мог оценить, куда ему заходить просто не стоит или такое посещение даже может угрожать его репутации в глазах окружающих. Почему-то вспомнил чёрные списки несостоятельных должников, которые циркулируют среди большинства банков.

vvs> Однако основной фактор, из-за которого я прекращаю любые отношения с такими людьми - это корысть. Если уже _официально_ заявляется, что отношение к людям зависит только от приносимой ими "пользы", то любые дискуссии становятся бесполезными. То есть здесь не идёт речь ни о какой дружбе, а только об отношениях "ты мне - я тебе". Такие отношения уместны разве что на базаре, общаться же лично я предпочитаю с друзьями.

И вот в компанию к тебе и твоим друзьям приходит какой-то хрен с горы, говорит дичь, а когда его ставят на место, заявляет, что останется или он или твой старый друг. Ты, конечно же, выберешь не друга, а этого хрена с горы.

Ведь именно такое поведение ты считаешь наиболее приемлемым и правильным. Я тебя правильно понимаю? Или есть нюансы? Или я не понимаю и это другое?

hugeping> Агрессивное общение spline/kerber меня печалит особенно, потому что это мои сетевые друзья. И я знаю этих людей с хорошей стороны, но агрессивно-прямая манера поведения -- конечно многих пугает.

Честно говоря, для меня эта тема была уже закрыта. Я высказал здесь своё мнение только чтобы до конца объяснить своё отношение и во избежание обвинений в предвзятости меня самого. А вот в предвзятой обстановке на форуме я такой возможности просто не вижу.

Да, и ещё могу добавить - недопустимо, когда корректное и объективное разбирательство подменяется оголтелыми, бессмысленными и огульными обвинениями по типу стенка на стенку, когда обвиняемого заранее объявляют виновным, при полном неравенстве положения обвиняемого и модератора. Совершенно недопустимо для модератора становиться на любую сторону и руководствоваться субъективным мнением (и личными отношениями с одной из сторон) - он должен руководствоваться только правилами, которых "нет" или взять самоотвод. Иначе это беззаконие и произвол. И это не я так решил - этого требуют стандартная практика и простая порядочность. Я уже не упоминаю о лицемерии, когда кто-нибудь из участников одновременно где-то претендует на философскую бесстрастность и терпимость к чужому мнению.

Что таки не отменяет сведения всех претензий к тому, что есть люди полезные, а с бесполезными у нас разговор короткий. "Друзьям - всё, врагам - закон" (приписывается Франсиско Франко). Подозреваю, что не я один был жертвой такого беспредела. И действительно ли все пользователи уходили с форума только из-за отсутствия аудитории? Надо спросить у них самих. И это я вовсе не занимаюсь бесполезным шантажом, а лишь обращаю внимание, что когда кого-то гонят с форума, то справедливо делать это, по крайней мере, на основе объективного равного выбора. Однако, спорить тут с предвзятым мнением и круговой порукой - совершенно бесполезное занятие.

P.S. И я так и не понял, что именно криминального в том, чтобы задать невинный вопрос в специально отведённом для этого разделе? Даже если кому-то этот вопрос и кажется глупым - это вовсе не повод для оскорблений, можно ведь и просто промолчать. И я нахожу нелепыми обвинения в нарушении каких-то "несуществующих" правил (о чтении документации). Плюс какие-то дикие претензии за то, что вопрос задан не с целью написания "полезного" кода, а из чистого любопытства. И вообще, вызывает оторопь неадекватность реакции администрации форума на этот "проступок". Но это дело совести. Лично у меня совесть чиста и вступать в ненужные пререкания я ни с кем не собираюсь.

P.P.S. Заранее приношу извинения за этот поток мыслей. И давайте уже закроем эту тему совсем. Форумов всяких много, а свои нервы дороже. И вообще, призываю всегда общаться без ненужной агрессивности, тогда и проблем меньше будет для всех.

vvs> Честно говоря, для меня эта тема была уже закрыта. Я высказал здесь своё мнение только чтобы до конца объяснить своё отношение и во избежание обвинений в предвзятости меня самого. А вот в предвзятой обстановке на форуме я такой возможности просто не вижу.

Да, давай закроем. Я с твоим мнением согласен в той части, что касается хамства и перехода на личности. Но вмешиваться в процесс я не хочу. Форум я "дропнул" и если бы не spline, его бы не было сейчас вообще. Я модерировал его тоже не лучшим образом и тоже, скорее в авторитарном режиме (что мне не нравилось). В поддержке репозитория я тоже себя дескредитировал. Так что это spline сейчас разгребает мои долги.

Все мы имеем свои особенности. Я привык к резкости и kerber и spline и как то делаю поправку на неё. Меня могут тоже послать, но и я в принципе могу это сделать. Так и живём. Но, в общем, прими мои извинения за ситуацию. Можешь писать здесь спокойно. Если дойдёт до конфликтов и тут, я решу проблему на своей площадке.