У меня чисто практический вопрос: сейчас на барахолках туча мобильников на Андроид, с, насколько я понимаю, куда более мощными по всем параметрам процессорами памятью итд. Какой смысл в этих консолях, когда можно взять мобильник и поставить туда, к примеру, 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 - у меня до сих пор хватает таких клиентов.
Если что-то криво/плохо работает или сломалось, хочется это как можно скорее улучшить, привести в порядок. Иначе дискомфортно. Неважно в чем проблема: механическая, софтовая, в бизнес-процессе или в чем-то еще.
Так поступают люди, мягко говоря, не умные. С появлением возможности "Скрыть публикации автора" - карма стала рудиментом. Я просто баню в ленте тех кто должен идти мимо, и подписываюсь лишь на тех, кто мне интересен.
"Погрузись хоть чуток в предметную область" школьники и романтики, пишущие, к примеру игры, и 99% шедевров не были бы написаны. То же и во любом творчестве: это не гонка, а дорога, по которой можно ходить сколько хочешь раз и без оглядки "в предметную область", если ты не профессиональный artist. :)
У меня чисто практический вопрос: сейчас на барахолках туча мобильников на Андроид, с, насколько я понимаю, куда более мощными по всем параметрам процессорами памятью итд. Какой смысл в этих консолях, когда можно взять мобильник и поставить туда, к примеру, 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 миллисекунд" - чтобы долго не ждать, мы ж за автоматизацию. :)
Займитесь мироустройством и политикой.
Хоите плюсов, пишите про "нейросети" да про "котиков". Такое уж нынче время. :)
Так поступают люди, мягко говоря, не умные. С появлением возможности "Скрыть публикации автора" - карма стала рудиментом. Я просто баню в ленте тех кто должен идти мимо, и подписываюсь лишь на тех, кто мне интересен.
Да зачем занудствовать, давай(те) лучше дружить!
"Погрузись хоть чуток в предметную область" школьники и романтики, пишущие, к примеру игры, и 99% шедевров не были бы написаны. То же и во любом творчестве: это не гонка, а дорога, по которой можно ходить сколько хочешь раз и без оглядки "в предметную область", если ты не профессиональный artist. :)
Добавлю к этой победоносной статье очень хорошую статью про "подводные ками" std::string_view. А ими услано всё дно многих нововведений С++
std::string_view конструируется из временных экземпляров строк
Отличная идея или новый подводный камень?
Sergey Shambir
https://medium.com/@sshambir/std-string-view-конструируется-из-временных-экземпляров-строк-3453e7d3a75b
Вольный перевод статьи “std::string_view accepting temporaries: good idea or horrible pitfall?”
http://foonathan.net/blog/2017/03/22/string_view-temporary.html