#Net это и есть зародыш web3.0. Гугль ничего не дает потому что ничего о нем пока и нет - только эти две статьи на хабре. Пока взрослые дядьки наморщив лобики и надув щечки размышляют о том каким БУДЕТ web3.0 и как мы к этому прийдем я просто добавил поддержку контентной адресации в браузер и настаиваю на том что ждать ничего не надо, можно пробовать прямо сейчас. Да, там еще многого нет, да, ноды сети друг друга не видят и это все немного понарошку но тем не менее - это уже работает. Как то так.
Вот список Тьюринг-неполных языков, который мне предоставил человек, более знающий в теме, чем я (не могу оценить корректность, так что не ко мне претензии): Lean4, Idris, Coq, ...
Тьюринг полнота это не про написать любую ПРОГРАММУ а про смоделировать любую ФУНКЦИЮ. В песочнице браузера нельзя залезть в файловую систему но это не делает js неполным по Тьюрингу. Сложение в паре с умножением являются Тьюринг полными, что позволяет команде x86 mov быть Тьюринг полной (да, там еще циклы, я в курсе). Если зайти с логических функций то базисами являются или-не и и-не (возможно и другие есть, пишу по памяти, одна из них штрих Шеффера другая стрелка Пирса). Хорошо раскурить понятие Тьюринг полноты можно по доказательству ограничений однослойного персептрона (Минский и Паперт) в частности невозможность им смоделировать операцию XOR, что и привело к появлению многослойный нейросетей. Доказательство простенькое и там есть наглядное геометрическое описание.
Так вот, Lean4 не знаю, но утверждать что Idris и Coq не Тьюринг полные - ну такое. В Coq можно задать типы данных на которых буксует автоматический вывод доказательств, это да. Но смоделировать на них можно любую вычислимую функцию. Ни к чему не призываю, но тому кто на серьезных щах с претензией на осведомленность сказал бы мне что Coq не Тьюринг полный я бы плюнул в рожицу...
гетерогенная среда - когда пишешь не в одном стеке. с++/js/haskell, с++ и js зачастую под разными платформами - mac, nix-ы и даже винда иногда - это мой обычный вечер. С удовольствием посмотрю на вылизанную IDE под FreeBSD. Просто народ с обоих сторон баррикад не понимает простой вещи - надо или не надо - это кому то а не всем сразу. Поэтому оба мнения имеют право на жизнь, никому ничего навязывать не надо.
Вопрос не мне, но отвечу. М.Видео (теперь уже МВМ) - всё что не hr там довольно весело реализовали. Но это не самого сапа кривизна а ручек интеграторов.
Сейчас нельзя - народ на улицы начнёт выходить. А там уже другой народ кучками появляется. Они ж общаться начнут между собой бесконтрольно. Поднимут конечно, но не сразу и не везде.
Чой-то? Электричество подешевело к доллару в два раза и пока не подтянулись тарифы (ага, давайте проиндексируем тарифы обнищавшему населению, чёткий план) майни сколько влезет. Что? Пулы по российским адресам не пускают? А, ну ладно, согласен. Легче слить ферму чем купить впн.
Ох уж эти средние зарплаты по региону. Какая там средняя зарплата по Росстату в Сочах? Найдете реальных людей на реальную работу за эти деньги? Или на северах? Я работал в федеральной сетке, видел эти приколы. И дело даже не в том что бизнес уходит от налогов и показывает минималку а платит в конверте. За минималку на раз два ты попадаешь на проверки налоговой. Но при этом знаю коммерсов которых (да, в южной республике) разворачивали в налоговой со словами если вы такие налоги покажете - мы вас закроем. И вынуждали показывать меньше. Куда шла разница угадайте с трёх раз. И на все эти высокомерные размышления о том что сами виноваты - мне просто интересно, благородные россияне не южного происхождения помнят о том что эксперименты с отменой выборов глав региона начались с нас, южан. И всё это говно месят ставленники не южной Москвы. И когда мы шумели по этому поводу - сильно нас поддержали? А каково сейчас жить без реальных выборов не южанам?
Я не живу в США но уверенно могу сказать - в некоторых штатах прилетит даже бармену если он отпустит пьяного зная что тот сядет за руль. И вроде как в большинстве штатов где за руль можно садиться нетрезвым это на откуп полицейского - можешь ты дальше ехать или нет. А ехать в коматозном состоянии ни в одном штате не разрешат, не стоит ожидать что триста с лихом миллионов населения за сотню лет не сообразили к каким последствиям это может привести.
В этом случае те, кто останется в меньшинстве, будут писать вынуждены писать некрасивый код.
Естественно. Если параметр зависит от команды а команда поменялась - меняется и параметр. Или мы про абсолютную и непогрешимую красоту без наблюдателя?
ответил тут https://habr.com/ru/articles/791604/comments/#comment_26468044
#Net это и есть зародыш web3.0. Гугль ничего не дает потому что ничего о нем пока и нет - только эти две статьи на хабре. Пока взрослые дядьки наморщив лобики и надув щечки размышляют о том каким БУДЕТ web3.0 и как мы к этому прийдем я просто добавил поддержку контентной адресации в браузер и настаиваю на том что ждать ничего не надо, можно пробовать прямо сейчас. Да, там еще многого нет, да, ноды сети друг друга не видят и это все немного понарошку но тем не менее - это уже работает. Как то так.
Тьюринг полнота это не про написать любую ПРОГРАММУ а про смоделировать любую ФУНКЦИЮ. В песочнице браузера нельзя залезть в файловую систему но это не делает js неполным по Тьюрингу. Сложение в паре с умножением являются Тьюринг полными, что позволяет команде x86 mov быть Тьюринг полной (да, там еще циклы, я в курсе). Если зайти с логических функций то базисами являются или-не и и-не (возможно и другие есть, пишу по памяти, одна из них штрих Шеффера другая стрелка Пирса). Хорошо раскурить понятие Тьюринг полноты можно по доказательству ограничений однослойного персептрона (Минский и Паперт) в частности невозможность им смоделировать операцию XOR, что и привело к появлению многослойный нейросетей. Доказательство простенькое и там есть наглядное геометрическое описание.
Так вот, Lean4 не знаю, но утверждать что Idris и Coq не Тьюринг полные - ну такое. В Coq можно задать типы данных на которых буксует автоматический вывод доказательств, это да. Но смоделировать на них можно любую вычислимую функцию. Ни к чему не призываю, но тому кто на серьезных щах с претензией на осведомленность сказал бы мне что Coq не Тьюринг полный я бы плюнул в рожицу...
эйчары уже проигрывают, там ai наступает https://www.linkedin.com/posts/mikhail-kutsov_hr-ai-recruitment-activity-7153342383105961984-DCb2?utm_source=share&utm_medium=member_desktop
гетерогенная среда - когда пишешь не в одном стеке. с++/js/haskell, с++ и js зачастую под разными платформами - mac, nix-ы и даже винда иногда - это мой обычный вечер. С удовольствием посмотрю на вылизанную IDE под FreeBSD. Просто народ с обоих сторон баррикад не понимает простой вещи - надо или не надо - это кому то а не всем сразу. Поэтому оба мнения имеют право на жизнь, никому ничего навязывать не надо.
ничего, бывает. Сюда народ комментить вообще остерегается :)
Вопрос не мне, но отвечу. М.Видео (теперь уже МВМ) - всё что не hr там довольно весело реализовали. Но это не самого сапа кривизна а ручек интеграторов.
Нет. У меня кончилась в январе этого года - только что не смогли мне завести монету.
Начнёт. У нас за картоху порожавшую выходили (КБР). За Украину - не выйдет. А за холодильник - порвут нах всю администрацию и города и республики.
Сейчас нельзя - народ на улицы начнёт выходить. А там уже другой народ кучками появляется. Они ж общаться начнут между собой бесконтрольно. Поднимут конечно, но не сразу и не везде.
Чой-то? Электричество подешевело к доллару в два раза и пока не подтянулись тарифы (ага, давайте проиндексируем тарифы обнищавшему населению, чёткий план) майни сколько влезет. Что? Пулы по российским адресам не пускают? А, ну ладно, согласен. Легче слить ферму чем купить впн.
НА ЧАЭС поставили ракеты и херачат по Киеву. Что бы обратка не прилетела.
Ну это всё таки олигополией называется.
Ох уж эти средние зарплаты по региону. Какая там средняя зарплата по Росстату в Сочах? Найдете реальных людей на реальную работу за эти деньги? Или на северах? Я работал в федеральной сетке, видел эти приколы. И дело даже не в том что бизнес уходит от налогов и показывает минималку а платит в конверте. За минималку на раз два ты попадаешь на проверки налоговой. Но при этом знаю коммерсов которых (да, в южной республике) разворачивали в налоговой со словами если вы такие налоги покажете - мы вас закроем. И вынуждали показывать меньше. Куда шла разница угадайте с трёх раз. И на все эти высокомерные размышления о том что сами виноваты - мне просто интересно, благородные россияне не южного происхождения помнят о том что эксперименты с отменой выборов глав региона начались с нас, южан. И всё это говно месят ставленники не южной Москвы. И когда мы шумели по этому поводу - сильно нас поддержали? А каково сейчас жить без реальных выборов не южанам?
Накипело.
Я не живу в США но уверенно могу сказать - в некоторых штатах прилетит даже бармену если он отпустит пьяного зная что тот сядет за руль. И вроде как в большинстве штатов где за руль можно садиться нетрезвым это на откуп полицейского - можешь ты дальше ехать или нет. А ехать в коматозном состоянии ни в одном штате не разрешат, не стоит ожидать что триста с лихом миллионов населения за сотню лет не сообразили к каким последствиям это может привести.
И всё же пожелаю Вам удачи! Кто то должен бороться с тьмой, хотя тут конечно - безумству храбрых поём мы песню.
Да нет, это ответ на вопрос Что мешает людям считать чужой код красивым или признать свой не красивым.
Так не бывает. Или кто то один или никто. И гоните своего тимлида, он явно не отрабатывает свой хлеб.
Естественно. Если параметр зависит от команды а команда поменялась - меняется и параметр. Или мы про абсолютную и непогрешимую красоту без наблюдателя?