subject: Логические игры?
18.09.2021 20:00
RSS-bot (tavern,2)
vvs: Я коллекционирую логические игрушки, наподобие [Incredible Proof Machine](http://incredible.pm "incredible.pm"), [Poly Blockly](https://cseweb.ucsd.edu/~lerner/proof-game/ "Poly Blockly") или [Euclid, the game](https://euclid.findell.org/ "Euclid"). Возникла мысль: а нельзя ли сделать что-то подобное на Instead? Но тут главное - это интерфейс, который явно уступает браузеру. Надо что-то попроще, вроде [Fitch checker](https://proofs.openlogicproject.org "Fitch"). На первый взгляд - это парсерная игра, но не тут-то было. Поскольку я не специалист в возможностях Instead, то у меня вопрос к знатокам: какие возможности предоставляет Instead для создания подобного интерфейса? Или всё безнадёжно и только вручную с нуля? Возможно, мне и было бы интересно попробовать написать саму логику, но только не код для интерфейса. Например, для вёрстки таких документов, наверное, лучше подошли бы возможности TeX/LaTeX.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/773
--------------------------------------------------------------------------------
subject: Логические игры?
18.09.2021 21:40
RSS-bot (tavern,2)
peter: Я мало что понял, очень необычно. Погонял немного poly blockly. Для этой игры не хватает кривых. В INSTEAD есть только окружности, полигоны (ну и линии). Конечно, можно писать это на Lua, но... Остальное не понял что нужно от интерфейса. Но это напоминает документы с формулами. Формально, сделать можно (так как есть возможность рисовать графические примитивы), но вопрос тут не в возможностях движка, даже (явно не по назначению, но скорее всего -- можно). А в заинтересованности темой. Я, например, не любитель головоломок, особенно математических. :)
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13899/#…
--------------------------------------------------------------------------------
subject: Логические игры?
18.09.2021 22:20
RSS-bot (tavern,2)
vvs: Ну, я так и подумал :( Я так понимаю, что и поддержка аркадных игр, в общем-то, случайна. А мне как раз нравятся головоломки, а писать графические интерфейсы - нет. Да, - это, по сути, интерактивные документы с диаграммами и формулами. Но можно и без диаграмм, а вот хотя бы простой редактор формул необходим. Веб приложения-то есть, но было желание прицепить такую игру к инстеду. Проблема в том, что у инстеда, вроде бы, вообще нет готовых функций редактирования. Командная строка парсера не в счёт. Вот так всегда. Когда появляется что-то простое, всегда будут люди, которые захотят большего и начинают всё усложнять. "Имею желание купить дом, но не имею возможности. Имею возможность купить козу, но не имею желания. Так выпьем же за то, чтобы наши желания всегда совпадали с возможностями!" (C)
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13903/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 19:30
RSS-bot (tavern,2)
spline: Можно реализовать соответствующие модули, но они нужны тем, кто не может ими заниматься. А те, кто может, те не очень заинтересованы. Это старая проблема и в этой ситуации мало что может измениться.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13932/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 20:40
RSS-bot (tavern,2)
kerber: > Проблема в том, что у инстеда, вроде бы, вообще нет готовых функций редактирования. Командная строка парсера не в счёт. Проблема в том, что ты пишешь ерунду. Пишешь ерунду ты потому, что не прочёл документацию инстеда. Так же очевидно, что ты не знаешь яп Lua. Начни с устранения этих недочётов и жизнь твоя наладится.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13939/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 20:50
RSS-bot (tavern,2)
vvs: @kerber Проблема в том, что я задал конкретный вопрос знатокам инстеда и Lua и из ответов сделал соответствующие выводы. Если есть другие ответы, то добро пожаловать. А оценивать мои вопросы я не просил, так что спасибо за внимание.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13940/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 21:10
RSS-bot (tavern,2)
kerber: > @vvs написал: > @kerber Проблема в том, что я задал конкретный вопрос знатокам инстеда и Lua и из ответов сделал соответствующие выводы. Если есть другие ответы, то добро пожаловать. А оценивать мои вопросы я не просил, так что спасибо за внимание. Всегда пожалуйста - если ты пишешь ерунду, тебе тут на это всегда укажут.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13945/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 21:40
RSS-bot (tavern,2)
kerber: > @vvs написал: > Проблема в том, что эта тема создана не с целью выслушивать оффтоп и оскорбления. Я человек кроткий и терпеливый, но в следующий раз обращусь к модератору. > > P.S. Мы, вроде, на брудершафт не пили? Будь добр, выпились с форума самостоятельно. Твоя ахинея начинает надоедать.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13947/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 21:40
RSS-bot (tavern,2)
vvs: Проблема в том, что эта тема создана не с целью выслушивать оффтоп и оскорбления. Я человек кроткий и терпеливый, но в следующий раз обращусь к модератору. P.S. Мы, вроде, на брудершафт не пили?
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13946/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 22:00
RSS-bot (tavern,2)
vvs: Это мягко сказано. Здесь ничем не спровоцированная агрессия и неадекватность. Вынужден обратиться к администратору.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13949/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 22:00
RSS-bot (tavern,2)
peter: @kerber ты перегибаешь с тоном. Нормально же общались.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13948/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 22:20
RSS-bot (tavern,2)
kerber: > @peter написал: > @kerber ты перегибаешь с тоном. Нормально же общались. Не вижу ничего нормального в том, что отсутствие хотелок, не нужных никому, кроме тс, которые кстати можно легко реализовать самостоятельно, если прочесть доку, выставляется как проблема движка.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13950/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 22:30
RSS-bot (tavern,2)
kerber: > @vvs написал: > Не надо перекладывать с больной головы на здоровую. Есть правила, которые никому не позволено нарушать. Если такие выходки оставлять безнаказанными, то ни один пользователь не захочет подвергаться здесь оскорблениям по прихоти первого встречного тролля. Да, возрыдай и уйди.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13953/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 22:30
RSS-bot (tavern,2)
vvs: Не надо перекладывать с больной головы на здоровую. Есть правила, которые никому не позволено нарушать. Если такие выходки оставлять безнаказанными, то ни один пользователь не захочет подвергаться здесь оскорблениям по прихоти первого встречного тролля.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13952/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 22:40
RSS-bot (tavern,2)
vvs: Уйти мне или нет, решаю только я сам. Я так понимаю, что Вы и есть настоящий хозяин этого форума, который решает, кто ему приносит пользу. Это должно быть полезно знать и всем остальным посетителям этого форума на будущее. Я бы предложил провести голосование: кто за то, чтобы @kerber решал кому быть на этом форуме, а кому - нет? В случае, если большинство поддержит @kerber, я вынужден уйти. Если большинство будет против, уходит @kerber. Как Вам такой демократический выбор?
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13954/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 22:50
RSS-bot (tavern,2)
peter: @vvs Я тут не модератор и не администратор. Можем общаться на https://club.hugeping.ru если что Что касается ситуации на форуме, честно, считаю что @kerber перегнул. Вежливость должна быть, соблюдение границ личного пространства -- тоже. Но я выпилил от себя социальные функции, так что это больше не моя проблема и я не хочу этим заниматься. Теперь это головная боль @spline Я до этого много лет тянул форум и это стоило мне нервных срывов. Так что вот так
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13955/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 23:00
RSS-bot (tavern,2)
kerber: > @vvs Я сразу догадался, что ты странный чудик, а не любитель логики. Здесь нет демократии. Здесь тоталитаризм.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13956/#…
--------------------------------------------------------------------------------
subject: Логические игры?
20.09.2021 23:10
RSS-bot (tavern,2)
vvs: > @peter написал: > @vvs Я тут не модератор и не администратор. Можем общаться на https://club.hugeping.ru если что > Что касается ситуации на форуме, честно, считаю что @kerber перегнул. Вежливость должна быть, соблюдение границ личного пространства -- тоже. Но я выпилил от себя социальные функции, так что это больше не моя проблема и я не хочу этим заниматься. Теперь это головная боль @spline > > Я до этого много лет тянул форум и это стоило мне нервных срывов. Так что вот так Спасибо за поддержку. Я всё это знаю. Будем ждать, что решит @spline Мне жаль, что на него возлагается ответственность, но такова цена любой власти. Если оставить это безнаказанным, то форум превратится в помойку. Увы, но это так.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13957/#…
--------------------------------------------------------------------------------
subject: Логические игры?
21.09.2021 00:20
RSS-bot (tavern,2)
Artur_Aiwasan: Это все конечно конечно, а по делу то что? @vvs, тебе предложили самому (или со стороны) написать модуль к желаемому. Ну и осведомили, что здесь находящихся (пока что) это (написание подобного) просто не интересует. Причем тут сам инстед как движок и все остальное? Я думаю, что ни при чем. Да и Сплайн с Петром расписали всё, в общем-то.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13958/#…
--------------------------------------------------------------------------------
subject: Логические игры?
21.09.2021 01:10
RSS-bot (tavern,2)
vvs: Так да, я это уже понял сразу. Я и не ждал, что кто-то будет это делать специально. Вопрос был, как раз, могу ли я взять что-то готовое. Если готового нет, то вопрос снят. Делать мне ещё что-то самому или нет - моё личное дело, разумеется. Всё остальное - просто флуд и троллинг, загадивших тему. P.S. Проблема в том, что я пока не уверен, что на этом форуме есть смысл дальше задавать какие-то вопросы, пока не решена проблема с троллингом.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13959/#…
--------------------------------------------------------------------------------
subject: Логические игры?
21.09.2021 07:00
RSS-bot (tavern,2)
spline: > @vvs написал: > Это мягко сказано. Здесь ничем не спровоцированная агрессия и неадекватность. Вынужден обратиться к администратору. Модератор на проводе. Ты не читаешь документацию, нагло врёшь и пишешь ахинею. Начни хотя бы с первого :)
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13960/#…
--------------------------------------------------------------------------------
subject: Логические игры?
21.09.2021 07:10
RSS-bot (tavern,2)
spline: > @vvs написал: > Так да, я это уже понял сразу. Я и не ждал, что кто-то будет это делать специально. Вопрос был, как раз, могу ли я взять что-то готовое. Если готового нет, то вопрос снят. Делать мне ещё что-то самому или нет - моё личное дело, разумеется. Всё остальное - просто флуд и троллинг, загадивших тему. > > P.S. Проблема в том, что я пока не уверен, что на этом форуме есть смысл дальше задавать какие-то вопросы, пока не решена проблема с троллингом. Ну если бы ты не троллировал, всё было бы проще да. Но, заметь, тебя не наказали и даже не сделали выговор с занесением в личное дело за твой толстый троллинг.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13962/#…
--------------------------------------------------------------------------------
subject: Логические игры?
21.09.2021 07:10
RSS-bot (tavern,2)
spline: > @vvs написал: > Если оставить это безнаказанным, то форум превратится в помойку. Увы, но это так. Я всё таки буду идеалистом и пока не буду тебя наказывать.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13961/#…
--------------------------------------------------------------------------------
subject: Логические игры?
21.09.2021 13:50
RSS-bot (tavern,2)
spline: > @vvs написал: > Я бы предложил провести голосование: кто за то, чтобы @kerber решал кому быть на этом форуме, а кому - нет? В случае, если большинство поддержит @kerber, я вынужден уйти. Если большинство будет против, уходит @kerber. Как Вам такой демократический выбор? С такой демократией можешь проследовать то болото, откуда ты такой нарисовался. Устроил тут шантаж "или я или он". Библиотекарь много полезного сделал для сообщества. Ты только сопли пока размазал по форуму. Если хочешь быть полезным -- будь. Если не хочешь, никто тебя не заставляет.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13968/#…
--------------------------------------------------------------------------------
subject: Логические игры?
21.09.2021 16:30
RSS-bot (tavern,2)
vvs: Ну что же, по крайней мере откровенно. Я был о тебе лучшего мнения. Извини, что ошибся. Уже ушёл из вашего болота.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13969/#…
--------------------------------------------------------------------------------
subject: Логические игры?
22.09.2021 08:50
RSS-bot (tavern,2)
spline: Однако здравствуйте. Лучшего мнения. Сужу о людях по их делам. Если человек на словах Лев Толстой, а на деле... Ну там по тексту, то и цена такому человеку соответствующая. А если он даже на словах... Кхм... То как бы и нет смысла вообще его сравнивать с тем, кто делает дело. Если ценить каждого вредного для сообщества балобола это быть лучше, то я лучше буду хуже.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13970/#…
--------------------------------------------------------------------------------
subject: Логические игры?
14.11.2021 20:30
RSS-bot (tavern,2)
spline: Однако здравствуйте. Лучшего мнения. Сужу о людях по их делам. Если человек на словах Лев Толстой, а на деле... Ну там по тексту, то и цена такому человеку соответствующая. А если он даже на словах... Кхм... То как бы и нет смысла вообще его сравнивать с тем, кто делает дело. Если ценить каждого вредного для сообщества балобола это быть лучше, то я лучше буду хуже.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13970/#…
--------------------------------------------------------------------------------
subject: Логические игры?
14.11.2021 20:30
RSS-bot (tavern,2)
vvs: Ну что же, по крайней мере откровенно. Я был о тебе лучшего мнения. Извини, что ошибся. Уже ушёл из вашего болота.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13969/#…
--------------------------------------------------------------------------------
subject: Логические игры?
14.11.2021 20:30
RSS-bot (tavern,2)
spline: > @vvs написал: > Я бы предложил провести голосование: кто за то, чтобы @kerber решал кому быть на этом форуме, а кому - нет? В случае, если большинство поддержит @kerber, я вынужден уйти. Если большинство будет против, уходит @kerber. Как Вам такой демократический выбор? С такой демократией можешь проследовать то болото, откуда ты такой нарисовался. Устроил тут шантаж "или я или он". Библиотекарь много полезного сделал для сообщества. Ты только сопли пока размазал по форуму. Если хочешь быть полезным -- будь. Если не хочешь, никто тебя не заставляет.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/comment/13968/#…
--------------------------------------------------------------------------------
subject: Логические игры?
29.11.2021 10:40
RSS-bot (tavern,2)
vvs: Я коллекционирую логические игрушки, наподобие [Incredible Proof Machine](http://incredible.pm "incredible.pm"), [Poly Blockly](https://cseweb.ucsd.edu/~lerner/proof-game/ "Poly Blockly") или [Euclid, the game](https://euclid.findell.org/ "Euclid"). Возникла мысль: а нельзя ли сделать что-то подобное на Instead? Но тут главное - это интерфейс, который явно уступает браузеру. Надо что-то попроще, вроде [Fitch checker](https://proofs.openlogicproject.org "Fitch"). На первый взгляд - это парсерная игра, но не тут-то было. Поскольку я не специалист в возможностях Instead, то у меня вопрос к знатокам: какие возможности предоставляет Instead для создания подобного интерфейса? Или всё безнадёжно и только вручную с нуля? Возможно, мне и было бы интересно попробовать написать саму логику, но только не код для интерфейса. Например, для вёрстки таких документов, наверное, лучше подошли бы возможности TeX/LaTeX.
Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/773
--------------------------------------------------------------------------------