«Дарвин» — компьютерная игра для программистов, разработанная в 1961 году сотрудниками Bell Labs В. А. Высотским, Дугласом Макилроем и Робертом Моррисом[англ.] для компьютеров IBM 7090, в которой несколько ассемблерных программ, названных «организмами», загружались в память компьютера. Организмы, созданные одним игроком (то есть принадлежащие к одному виду), должны были уничтожать представителей другого вида и захватывать жизненное пространство. Победителем считался тот игрок, чьи организмы захватывали всю память. Бой в памяти (англ. Core War) — разновидность компьютерной игры «Дарвин», разработанная Александром К. Дьюдни. Помогал разрабатывать игру Дэвид Джонс, студент кафедры информатики университета Западной Онтарио, где преподавал Дьюдни. В данной игре игроки разрабатывают компьютерные программы на специальном языке программирования, похожем на ассемблер — Redcode. Программы размещаются в циклически замкнутом участке памяти (core), состоящей из 8000 ячеек и зацикленной в кольцо. Каждая команда занимает одну ячейку. Redcode-программы работают под управлением MARS (англ. Memory Array Redcode Simulator — Симулятор Массива Памяти Redcode). Программы загружаются по случайным адресам в памяти. Каждая программа (начиная со стандарта ICWS'1988) может иметь несколько активных потоков, причём поток может порождать другие потоки с помощью инструкции SPL. Потоки, принадлежащие одной программе, выполняются по очереди, поэтому скорость их выполнения обратно пропорциональна количеству потоков. Поток завершается, если пытается выполнить некорректную инструкцию. Программа, все потоки которой завершились, считается проигравшей. Разработать «Бой в памяти» Дьюдни побудила история о двух противоборствующих программах CREEPER и REAPER (см. компьютерный вирус). Обстоятельства разработки CREEPER/REAPER дошли до Дьюдни в несколько искажённом виде, так, по словам Р. Томлинсона, ни заражения ARPANet, ни «поединка» между двумя программами в действительности не было. Redcode — язык программирования, созданный специально для игры «Бой в памяти». Все инструкции имеют 2 аргумента A и B, хотя не все используют их оба. В аргументах хранятся значения и совершаются операции адресации (инкремент/декремент). Предполагается, что A — источник, B — назначение. Инструкции (<Инструкция> <Используемые аргументы> — <Описание>): DAT - Останавливает выполнение потока. MOV A B - Скопировать источник по адресу в назначение по адресу. ADD A B - Прибавить источник к назначению. SUB A B - Вычесть источник к назначению. MUL A B - Умножить назначение на источник. ... ... https://ru.wikipedia.org/wiki/Бой_в_памяти https://ru.wikipedia.org/wiki/Дарвин_(игра) https://ru.wikipedia.org/wiki/Redcode
У меня чисто практический вопрос: сейчас на барахолках туча мобильников на Андроид, с, насколько я понимаю, куда более мощными по всем параметрам процессорами памятью итд. Какой смысл в этих консолях, когда можно взять мобильник и поставить туда, к примеру, MAME?
Я лично написал ажно целую библиотеку поддержки FSM с «верификацмями» на эликсире, но это, конечно, были костыли, сделанные из палок.
Зачем было делать "костыли из палок", когда 50% статей на Хабре выражает призыв не делать костылей, + плач Ярославны (Иеремии в девичестве) что массовый IT - это сфера костылестроения.
2
В Cure из коробки есть настоящие верифицируемые конечные автоматы:
Хэлоуворд
record TrafficLight do cycles: Int emergency_stops: Int end
fsm TrafficLight{cycles: 0, emergency_stops: 0} do Red --> |timer| Green Green --> |timer| Yellow Yellow --> |timer| Red
Green --> |emergency| Red Yellow --> |emergency| Red end
Z3 проверит, что: ① нет зацикливания (deadlock’ов), ② все состояния достижимы, ③ нет недоопределенных переходов, и ④ инварианты сохраняются. И всё это на этапе компиляции
Ставший порочной традицией пример с хэлоувордом на новом языке не убеждает, а вызывает непонимание и недоверие.
FSM - это идея, правда описанная на языке математики, как оформлять объекты, чьё пространство состояний заранее определено (известно).
Вы берёте объект из двух элементарных множеств "cycles" и " emergency_stops" задаёте на нём функцию переходов отношением (ака "таблицей" сопоставлений, говоря по-народному).
Но даже в простых реальных задачах функция переходов задана составными математическими функциями. И хэлоувордные примеры имеют к ним то же отношение, что программа выводящая известную строку к реальной программе на языке программирования.
Пример. Сейчас дабы позабавиться и поучиться оформляем набором конечных автоматов игру. В тетрисном "стакане", вместо фигургок падает квадрат с игрой крестики-нолики. При проигрыше он падает вниз и складывается вниз "как песок", при выигрыше игрок может "вычеркнуть" любую строку квадратиков с дна стакана.
Очевидно, что уже в этом достаточно простом учебном примере пространство состояний объекта гораздо сложнее хэлоувордного. А функция переключения состояния при падении квадрата - отнюдь не похожа на отношение, заданное вручную над двумя элементарными множествами из 2-х и 3-х элементов. (пикантности добавляет и отображение геометрических множеств в алгебраические/элементарные - и обратно).
Вопросы: как Cure справляется с просчётом таких пространств состояний? чем Cure может помочь при алгоритмическом оформлении клсса подобных задач? (фактически все "клеточные" игры: тетрисы, минёры, питоны, бомберы, итп.)
1/3 статьи читается с интересом, затем - перебор с объёмом текста и сложно держать внимание на концепциях.
Вывод, характеризующий "ИТ": в 2025-м году от Х.Р. хомяки не могут остановиться - улучшают HTML и борются со строками.
И прогноз на будущее:
Бэк ту гуд. Отрадно наблюдать, как в 2025-м году в пабликах "Ассемблер" (по-русски) идёт горячее обсуждение программирования под ZX Spectrum ~1988г. Полагаю, после периода стихийно-массовго программизма в Руси придётся начинать с этого чекпоинта. :)
Так же достали хомячьи статьи про искусственный энцилект. Их написание свидетельствует об отсутствии у автора интеллекта. Таких бананю сразу в ленте, как и писателей про "АВ-тесты". Написал бы хотябы один хомяк статью: Я сгенерил нейросетью код и заработал на нём 1 млн$ за месяц. Или 1000к$ хотя бы. Но таких не пишут, а лепят на свалку никому не нужный словесный и кодовый мусор. :)
Приходится подстраиваться, учиться "правильно" составлять резюме
Ух... а я то думал, что Вы дожили до времени, когда не Вы ищете работу, а работа находит Вас. :(
...Или живёте в том дивном мире, где предприниматели гоняются за "IT-шниками", уводя их друг от друга предложениями с х3 зарплатами. Этот мир, кстати, был только в телевизоре и в ушах Хомяка Эмбера. Реальность выглядела потогонкой на галерах.
Типичная "аутсорсинговая" контора - это был бодишоп, где тела предоставлялись в найм заказчику почасово. Уходил заказчик - пропадало и тело.
А с появленем видеосвязи отпала нужда даже в этапе "собеседования" - заказчик сам обследовал тело по Скайпу. Насущной задачей стояло хотя бы немного прихорошить его и припудрить.
Сейчас просто тела совать некуда. Те времена уже не вернешь. :)
...все сталкиваются с суровой реальностью в виде большой конкуренции. ... в 2022-2023 годах большое количество компаний ушло с рынка или не выдержало нагрузки и закрылось, «выплюнув» на рынок труда ...толпы специалистов. ... у многих появилось большое количество этапов отбора. И вот уже ...разработчик проходит 9 кругов ада 9 этапов интервью. ... сейчас поиск может затянуться на 3-6 месяцев ... зарплаты либо заморозились, либо даже снизились
И феноменальный вывод: Получается, все хорошо? :)
Угу, всё замечательно. Особенно у тех, кого «выплюнули». :) А "эксперт" - это "эксперт по интервью"? Или в перерывах между языкочёсом он: "и «пишет код», и приносит реальную бизнес-ценность, и решает сложные задачи, и оптимизирует процессы".
Кстати, водители автобусов, самолётов, грузчики, уборщицы, врачи, учителя тоже должны "не просто" а "ещё ... ... ... ... ..."?! ;)
PS В общем, когда сказки про "бездонный рынок" и "многа-многа-днег" закончились, Хомяку Эмберу подсунули новый фантик. Он его оценит.
Из интервью с автором Total Commander - Кристианом Гислером. 2011 год -- Широко известный факт, что вы до сих пор пишете свой файл-менеджер Total Commander на "допотопном" Delphi 2. С чем это связано? -- Я являюсь обладателем лицензионных версий всех последних Delphi, поэтому достаточно хорошо представляю себе их возможности. Но дело тут вот в чем: компиляция exe-файла в Delphi 2 дает на выходе файл ощутимо меньший по размеру, чем, например, в Delphi 7. Кроме того, тестирование показывает, что exe-шник из-под Delphi 2 работает заметно быстрее, чем его полный аналог, выпущенный компилятором Delphi 7. Я сталкиваюсь с тем, когда люди часто удивляются, что Total по-прежнему работает очень быстро - я собираюсь сохранить эту его особенность, и, отчасти, секрет тут в правильно выбранном компиляторе. ...разработка 32-битной версии TC останется на Delphi 2. ...Добавлю, что кроме этого Delphi 2 генерирует очень универсальный код, например, с полной поддержкой 16-битных приложений или Windows 95/98 - у меня до сих пор хватает таких клиентов.
Если что-то криво/плохо работает или сломалось, хочется это как можно скорее улучшить, привести в порядок. Иначе дискомфортно. Неважно в чем проблема: механическая, софтовая, в бизнес-процессе или в чем-то еще.
Так поступают люди, мягко говоря, не умные. С появлением возможности "Скрыть публикации автора" - карма стала рудиментом. Я просто баню в ленте тех кто должен идти мимо, и подписываюсь лишь на тех, кто мне интересен.
В тему
«Дарвин» — компьютерная игра для программистов, разработанная в 1961 году сотрудниками Bell Labs В. А. Высотским, Дугласом Макилроем и Робертом Моррисом[англ.] для компьютеров IBM 7090, в которой несколько ассемблерных программ, названных «организмами», загружались в память компьютера. Организмы, созданные одним игроком (то есть принадлежащие к одному виду), должны были уничтожать представителей другого вида и захватывать жизненное пространство. Победителем считался тот игрок, чьи организмы захватывали всю память.
Бой в памяти (англ. Core War) — разновидность компьютерной игры «Дарвин», разработанная Александром К. Дьюдни. Помогал разрабатывать игру Дэвид Джонс, студент кафедры информатики университета Западной Онтарио, где преподавал Дьюдни.
В данной игре игроки разрабатывают компьютерные программы на специальном языке программирования, похожем на ассемблер — Redcode. Программы размещаются в циклически замкнутом участке памяти (core), состоящей из 8000 ячеек и зацикленной в кольцо. Каждая команда занимает одну ячейку. Redcode-программы работают под управлением MARS (англ. Memory Array Redcode Simulator — Симулятор Массива Памяти Redcode). Программы загружаются по случайным адресам в памяти.
Каждая программа (начиная со стандарта ICWS'1988) может иметь несколько активных потоков, причём поток может порождать другие потоки с помощью инструкции SPL. Потоки, принадлежащие одной программе, выполняются по очереди, поэтому скорость их выполнения обратно пропорциональна количеству потоков. Поток завершается, если пытается выполнить некорректную инструкцию. Программа, все потоки которой завершились, считается проигравшей.
Разработать «Бой в памяти» Дьюдни побудила история о двух противоборствующих программах CREEPER и REAPER (см. компьютерный вирус). Обстоятельства разработки CREEPER/REAPER дошли до Дьюдни в несколько искажённом виде, так, по словам Р. Томлинсона, ни заражения ARPANet, ни «поединка» между двумя программами в действительности не было.
Redcode — язык программирования, созданный специально для игры «Бой в памяти».
Все инструкции имеют 2 аргумента A и B, хотя не все используют их оба. В аргументах хранятся значения и совершаются операции адресации (инкремент/декремент). Предполагается, что A — источник, B — назначение.
Инструкции (<Инструкция> <Используемые аргументы> — <Описание>):
DAT - Останавливает выполнение потока.
MOV A B - Скопировать источник по адресу в назначение по адресу.
ADD A B - Прибавить источник к назначению.
SUB A B - Вычесть источник к назначению.
MUL A B - Умножить назначение на источник.
...
...
https://ru.wikipedia.org/wiki/Бой_в_памяти
https://ru.wikipedia.org/wiki/Дарвин_(игра)
https://ru.wikipedia.org/wiki/Redcode
Sudar', you not a programmist, you the pheteshist. :)
>>Я наверно чувак слева.
Да, но видящий себя чуваком справа. :)
PS С НГ, друзья, по ходу дела.
У меня чисто практический вопрос: сейчас на барахолках туча мобильников на Андроид, с, насколько я понимаю, куда более мощными по всем параметрам процессорами памятью итд. Какой смысл в этих консолях, когда можно взять мобильник и поставить туда, к примеру, MAME?
"навайбкодил Adventure Mazes — игру, которая вошла в топ Android TV в Google Play"
В мире "игроделов" и "игральщиков" совсем всё совсем плохо, если такие игры выходят в ТОП. :)
За попытку +.
По делу:
1.
Зачем было делать "костыли из палок", когда 50% статей на Хабре выражает призыв не делать костылей, + плач Ярославны (Иеремии в девичестве) что массовый IT - это сфера костылестроения.
2
Хэлоуворд
record TrafficLight do
cycles: Int
emergency_stops: Int
end
fsm TrafficLight{cycles: 0, emergency_stops: 0} do
Red --> |timer| Green
Green --> |timer| Yellow
Yellow --> |timer| Red
Green --> |emergency| Red
Yellow --> |emergency| Red
end
Ставший порочной традицией пример с хэлоувордом на новом языке не убеждает, а вызывает непонимание и недоверие.
FSM - это идея, правда описанная на языке математики, как оформлять объекты, чьё пространство состояний заранее определено (известно).
Вы берёте объект из двух элементарных множеств "cycles" и " emergency_stops" задаёте на нём функцию переходов отношением (ака "таблицей" сопоставлений, говоря по-народному).
Но даже в простых реальных задачах функция переходов задана составными математическими функциями. И хэлоувордные примеры имеют к ним то же отношение, что программа выводящая известную строку к реальной программе на языке программирования.
Пример. Сейчас дабы позабавиться и поучиться оформляем набором конечных автоматов игру. В тетрисном "стакане", вместо фигургок падает квадрат с игрой крестики-нолики. При проигрыше он падает вниз и складывается вниз "как песок", при выигрыше игрок может "вычеркнуть" любую строку квадратиков с дна стакана.
Очевидно, что уже в этом достаточно простом учебном примере пространство состояний объекта гораздо сложнее хэлоувордного. А функция переключения состояния при падении квадрата - отнюдь не похожа на отношение, заданное вручную над двумя элементарными множествами из 2-х и 3-х элементов. (пикантности добавляет и отображение геометрических множеств в алгебраические/элементарные - и обратно).
Вопросы: как Cure справляется с просчётом таких пространств состояний? чем Cure может помочь при алгоритмическом оформлении клсса подобных задач? (фактически все "клеточные" игры: тетрисы, минёры, питоны, бомберы, итп.)
1/3 статьи читается с интересом, затем - перебор с объёмом текста и сложно держать внимание на концепциях.
Вывод, характеризующий "ИТ": в 2025-м году от Х.Р. хомяки не могут остановиться - улучшают HTML и борются со строками.
И прогноз на будущее:
А зачем :) ?
Проект действительно "амбициозный". +
PS А не сдуетесь? Будет ещё одна 100500-я графическая библиотека призванная "заменить".
За написание или чтение статей про ИИ нужно увольнять с работы. :)
Так же достали хомячьи статьи про искусственный энцилект. Их написание свидетельствует об отсутствии у автора интеллекта. Таких бананю сразу в ленте, как и писателей про "АВ-тесты". Написал бы хотябы один хомяк статью: Я сгенерил нейросетью код и заработал на нём 1 млн$ за месяц. Или 1000к$ хотя бы. Но таких не пишут, а лепят на свалку никому не нужный словесный и кодовый мусор. :)
...давно пора. Надеюсь молебн за долгое житие языка будет оплачен из казны, как и его разработка.
За лесом умных слов не видно смысла.
Ну, прочли статью, и что? :)
Ух... а я то думал, что Вы дожили до времени, когда не Вы ищете работу, а работа находит Вас. :(
...Или живёте в том дивном мире, где предприниматели гоняются за "IT-шниками", уводя их друг от друга предложениями с х3 зарплатами. Этот мир, кстати, был только в телевизоре и в ушах Хомяка Эмбера. Реальность выглядела потогонкой на галерах.
Типичная "аутсорсинговая" контора - это был бодишоп, где тела предоставлялись в найм заказчику почасово. Уходил заказчик - пропадало и тело.
А с появленем видеосвязи отпала нужда даже в этапе "собеседования" - заказчик сам обследовал тело по Скайпу. Насущной задачей стояло хотя бы немного прихорошить его и припудрить.
Сейчас просто тела совать некуда. Те времена уже не вернешь. :)
И феноменальный вывод: Получается, все хорошо? :)
Угу, всё замечательно. Особенно у тех, кого «выплюнули». :)
А "эксперт" - это "эксперт по интервью"?
Или в перерывах между языкочёсом он: "и «пишет код», и приносит реальную бизнес-ценность, и решает сложные задачи, и оптимизирует процессы".
Кстати, водители автобусов, самолётов, грузчики, уборщицы, врачи, учителя тоже должны "не просто" а "ещё ... ... ... ... ..."?! ;)
PS В общем, когда сказки про "бездонный рынок" и "многа-многа-днег" закончились, Хомяку Эмберу подсунули новый фантик. Он его оценит.
Хозяйке на заметку:
пора, брат, пора.
:)))
Только каждые "5 миллисекунд" - чтобы долго не ждать, мы ж за автоматизацию. :)
Займитесь мироустройством и политикой.
Хоите плюсов, пишите про "нейросети" да про "котиков". Такое уж нынче время. :)
Так поступают люди, мягко говоря, не умные. С появлением возможности "Скрыть публикации автора" - карма стала рудиментом. Я просто баню в ленте тех кто должен идти мимо, и подписываюсь лишь на тех, кто мне интересен.