Недавно на Github появился репозиторий операционной системы Gloire. Gloire использует ядро Ironclad, написанное на языке программирования Ada, и пользовательское окружение GNU. На сайте, посвященном Ironclad, написано что оно находится в процессе «формальной верификации».
( читать дальше... )
>>> Подробности
Инструкция по создания искусственного интеллекта для шахматного бота:
https://medium.freecodecamp.com/simple-chess-ai-step-by-step-1d55a9266977
В общем суть такая: давным давно случайно установил Fedora в Legacy mode, спокойно жил, даже не заметил, сейчас понадобился дуалбут винды, купил второй диск, вставил, установил винду, перезагрузился, через биос загрузился в федору и обнаружил что mkconfig не находит ОС, os-prober тоже, начал копать и понял, что Fedora была установлена не в EFI, а в легаси, а чтобы это все трансформировать в EFI потребуется слишком много времени.
Есть ли какой-то костыль, который позволит открывать Windows UEFI загрузчк из легаси граба?
Перечисленные ниже программы поддерживают работу с различными движками, установленными в системе.
Шахматные движки
Для обучения и игры онлайн хочется выделить несколько ресурсов:
lichess.org - хорошие интерактивные руководства по дебютам в так называемых "студиях". Особенно хочется выделить уроки от LeninPerez, где помимо общей теории есть практика для закрепления.
chess.com - уроки есть, но часть их них доступна только после регистрации; по дебютам совсем краткое описание; паззлы по сравнению с предыдущим сайтом кажутся более скучными.
chess24.com - интересный и сложный, по сравнению с вышеуказанными сайтами, режим "тактический тренер", который беспощаден к ученику и в случае ошибочного хода в задаче из нескольких ходов сразу переходит к следующей.
chess-boom.online - полностью русскоязычный; понравился раздел с описанием дебютов, в котором подробно описана теоретическая часть.
lishogi.org - ресурс похожий на lichess, посвящённый игре в «сёги».
www.chessdb.cn - база данных для «сянци» с возможностью анализа текущей позиции.
www.pychess.org - онлайн ресурс для игры в различные варианты шахмат; есть возможность задания расстановки фигур на доске и анализа текущей позиции с помощью игрового движка.
P.S.
Хотел сначала создать тему, посвящённую нескольким настольным играм (маджонг + риичи маджонг, го, бридж), но получилось, что для Маджонга список повторял бы старую тему, посвящённую ему, с небольшим обновлением для Риичи:
OpenRiichi - наверное единственое на текущий момент достаточно доработанное десктопное приложение для игры в риичи (японский маджонг) для Linux.
RMahjong - недавно был сделан быстрый порт быстрый порт на python3 (ветка py3); ряд правил так и не реализован, но играть вполне можно.
http://tenhou.net/3 - пожалуй, самый известный онлайн-сервер для игры в риичи, на японском :(, но есть сторонний плагин для браузеров (firefox, google chrome) для перевода интерфейса на английский.
Для Го приложений с графическим интерфейсом под linux не так уж много нашлось (Kigo, как пример), а для Бриджа совсем ничего сходу найти не получилось.
Более 30 лет назад простой сотрудник RELCOM Development Team ( FIDOnet: 2:5020/23.34) предложил the Internet community зарегистрировать уже полюбившуюся пользователям RELCOM koi8-r https://www.rfc-editor.org/rfc/rfc1489.txt
14-15 октября 2021 года в главном здании Российской Академии Наук пройдет восьмая научно-практическая конференция OS DAY. В этом году конференция посвящена взаимодействию отечественных создателей операционных систем и аппаратных платформ. Эта конференция призвана содействовать решению одной из главных задач российских разработчиков ОС по налаживанию прямой связи и постоянной совместной работы с создателями «железа», начиная с самых ранних этапов разработки. Взаимодействие помогает выстраивать и развивать экосистему отечественного софта и аппаратных платформ, что приведет к созданию безопасных и защищенных устройств, которые будут удобны пользователям, а для государства они станут важной основой технологической независимости.
>>> Подробности
Мне хотелось бы узнать, какие есть игры и учебные среды программирования, где нужно было бы писать код, управляющий роботом или другим исполнителем, который бы уже выполнял игровое задание, например собрать все звёзды на карте или найти выход из лабиринта, вместо того что бы управлять персонажем вручную.
Интересуют только такие, которые или
a) запускаются нативно на GNU/Linux и с полным исходным кодом, или
б) запускаются через браузер без регистрации, но в этом случае обязательна возможность создания своих уровней.
Те какие я уже щупал и мои впечатления по ним, что бы снова их не предлагали:
Далее, три похожих игры про гусеничного робота:
loop 3
robot.rotate left
robot.move 1
robot.rotate right
robot.move 1
endrepeat(3) {} для повторения фиксированное к-во раз, repeat {}, откуда выход только через break или end, repeatWhile () {} (аналог обычного while () {} ). Команды движения выглядят как forward, backward (заменяется forward с отрицательным аргументом), left, right, paintWhite, StopPainting, pickUp, putDown. У команд движения в скобках можно указать аргумент, например backward(-2) эквивалентно forward(2).
Если зарегистрироваться, открываются дополнительные «курсы», где я видел Python в качестве управляющего языка.
Есть Offline-версия на Java 11, но исходников я не нашел, хотя лицензия указана Apache. До этого была проприетарной и платной и требовала лицензионного ключа.
В русской версии Hour Of Code где-то посередине был баг, мешающий пройти. Хотя может уже устранили.while not home
while not wall
if sword
get
go
left
На мой взгляд, для того кто уже умеет программировать из этих трёх интереснее всего последний, так как можно сразу начать со сложных заданий без регистрации и не продираясь через «сходи пять раз вверх, поверни направо, сходи три раза, поверни налево...»
Меня интересует, есть ли что-то подобное перечисленному, но с понятной свободной лицензией, работающее на GNU/Linux? Что бы именно робот, который ходит по миру с препятствиями, может идти вперёд и поворачивать и управляется кодом, который можно писать текстом.
Другие браузерные игры. Не то, что нужно, но тоже кому-то интересные:
Ещё есть множество всяких онлайновых игр на code.org, tynker.com и нескольких других сайтах, но они все дальше простейших условных выражений и циклов не идут и довольно однотипные и слишком простые, поэтому подробно останавливаться не буду. Может там есть что-то более интересное, но это надо копаться и перебирать все.
Как я говорил, в первую очередь мне интересно, какие есть свободные игры/среды именно для GNU/Linux, которые можно поставить из репозитория или скомпилировать как нормальные программы и иметь полный доступ ко всему, что есть включая исходники.
Из таких я видел две:
алг Вперед
нач
· цел напр
· напр := mod(направление, 4)
· выбор
· · при напр = 0: игрек := игрек + 1
· · при напр = 1: икс := икс + 1
· · при напр = 2: игрек := игрек - 1
· · при напр = 3: икс := икс - 1
· все
· вперед
конЯзык на мой взгляд неплохой, близкий по духу к Паскалю, но имеющий особенности синтаксиса, которые появились только в более поздних языках. Например, нач (аналог begin) нужен только в начале описания подпрограммы (алгоритма, алг), а для циклов и условий используются другие операторные скобки (кц ... нц и если ... то ... иначе ... все), для объявления переменной достаточно написать её тип и имя как в C, а слово var и двоеточие как в паскале не нужно.
Имеется довольно много синтаксического сахара, облегчающего читаемость кода. Например, функции и переменные могут иметь имена из нескольких слов, разделенных пробелами, е и ё эквивалентны. Логический оператор не можно воткнуть между не только перед, но и между словам в многословной логической функции, например можно написать если не справа стена то ... все, а можно если справа не стена то ... всё и в цикле можно написать нц 3 раз ... кц, а можно нц 3 раза ... кц.
Понравилось в этом языке разделение функций и процедур. И те и другие имеют синтаксис алг нач кон с опциональными параметрами, которые могут быть входными, выходными (рез) входными-выходными (арг рез или аргрез). Объявление функции выглядит так же, только добавляется ключевое слово типа возвращаемого значения (цел, вещ, лог, лит и тд) между словом арг и именем алгоритма. Возврат значения выполняется с помощью присвоения специальной переменной знач вместо аналога return, что на мой взгляд хуже.
Есть конечно и недостатки. Использование кириллических символов и русской лексики затрудняет понимание кода иностранцам, а писать сам код менее удобно, так как <> (сравнения) [] (массивы) | (комментарии) набирать из русской раскладки по умолчанию нельзя. Впрочем этот недостаток легко решается с помощью самой IDE, где вроде бы есть сочетания клавиш, которые вставляют эти символы из русской раскладки, но даже если бы их не было, и в Windows и в GNU/Linux можно сделать свою раскладку, использующую вторую клавишу регистра (Обычно AltGr, он же правый альт) или поставить готовую. Ну и переключение раскладки одним нажатием CapsLock (или чего-нибудь другого на вкус пользователя) вместо комбинации из двух нажатий типа Ctrl-Shift тоже сильно облегчает набор символов, недоступных в текущей раскладке.
Но, на мой взгляд, непривычная лексика — это не особо значительный минус. Чем кц пока ... нц из КуМира хуже какого-нибудь repeatWhile () {} из RoboMind? По-моему, ничем. А, поскольку код во всех этих системах, сугубо учебный, то и необходимости шарить его с иностранцами особой нет.
Интересуют только свободные игры, где есть готовые кампании с уровнями с плавно, но не слишком медленно повышающейся сложностью и возможностью делать свои уровни. Просто какие-то среды типа KTurtle — их полно, но там или готовых задачников/кампаний нету или есть, но дальше освоения простейших конструкций языка они не идут. В этом плане мне понравились задания из Karel Challenges, там есть например рекурсивный сбор яблок, выложенных в виде двоичного дерева. Не слишком сложно, но и не слишком просто. Хотелось бы ещё чего-то вроде прохождения лабиринта, но не по правилу левой или правой руки, а по более продвинутым алгоритмам, где правило * руки не работает.
В принципе-то это нафиг не нужно, разве только для пиара. Но!
В A2/ЯОС есть компилятор, способный генерировать код под разные платформы (правда, даже под ARM там какая-то гора костылей, чтобы реально запустить, но это отдельный вопрос).
Также там есть слой абстракции, позволяющий запустить ЯОС как приложение или как ОС. Приложение может запускаться под Unix/X11 или под Windows.
Образ жёсткого диска в формате IMG занимает 150Мб. И есть своего рода «послойная файловая система» в зачаточном состоянии, когда каждый файл сначала ищется в «рабочей директории», а уже потом - в обычной. Т.е. можно сделать иммутабельный образ диска и на него мутабельную рабочую директорию и получится как бы мутабельная файловая система.
Теперь вопрос - каковы предпосылки запихать всё это в webassembly и открывать как страничку в браузере? Очевидно, нужно написать бекенд для компилятора и реализовать слой абстракции от железа.
Как оцениваете трудоёмкость? Есть ли примеры подобного? Я пытался искать какие-то эмуляторы, нашёл что-то, но не нашёл на webassembly (впрочем, искал недолго).
собственно сабж
А какие еще есть онлайн системы для сравнения производительности реализаций языков программирования кроме всем известного benchmarksgame, который весьма специфичен + там мало языков, а когда-то было намного больше. Фреймворки и открытые библиотеки на основе которых можно сделать нечто подобное тоже приветствуются. Что бы вы хотели видеть в таком сервисе, что можно вообще улучшить?
Скандально известный на ЛОРе Андрей Викторович Столяров выпустил новое издание своего учебного пособия «Программирование: введение в профессию» и обновил PDF-версии:
«Азы программирования»
«Системы и сети»
«Парадигмы»
В новом издании 4-томник стал 3-томником.
Как и предыдущее издание, новое использует странную кодировку текста, но если вы не пользуетесь преимуществами электронных книг, разницы не заметите. Книга будет полезна начинающим изучать программирование.
>>> Сайт автора
На сайте А. В. Столярова выложен в открытый доступ учебник «Системы и сети», продолживший серию «Программирование: введение в профессию». Серия в целом ориентирована на ОС семейства Unix (в том числе использующие ядро Linux) в качестве единой среды для обучения.
( читать дальше... )
>>> Подробности
31 декабря состоялся очередной новогодний релиз 0.5.1 свободной, распространяемой под лицензией BSD, ОС реального времени для встраиваемых систем Embox.
( читать дальше... )
>>> Подробности
Вот когда то давным давно, было не правильным выделять много памяти в стеке. Сначала даже не было динамических массивов.
Потом они появились, появились 64 битные системы и оперативка гигами, и виртуальные страницы памяти.
Т.е. по сути память сейчас можно выделять в стеке в равной степени как и в куче.
В стеке память выделяется быстрей, до поры, пока программа не начнет ее просить у операционки. И меньше дефрагментируется.
И вот для случаев когда известен необходимый объем, есть ли причины не выделять ее в стеке? И сколько можно?
10Мб..100Мб..1Гб..10Гб?
Операционка не подразумевается какая-то конкретная, все современные десктоповые вроде так умеют.