Да, ОЧЕНЬ

в планах - есть, но на данном этапе мы динамично развиваем и дорабатываем компилятор

часть утверждений на Coq доказывается на уровне Solidity, другие утверждения - на уровне байт-кода TVM

Лично мое мнение:

из всего вышеперечисленного, как раз только во времена Царской России нашим странам было чем реально гордиться, опять же, делая скидку на то, каким был тогда мир. У нас были великие вещи в искусстве, в той же литературе (влияние того же Достоевского не то, что на россию, а на всю мировую мысль, имхо, переоценить невозможно) - а вот затем и произошла главная трагедия, отголоски которой мы переживаем до сих пор (а не намного позже, в середине 80-х - начале 90-х, как считает ВВ). Главная трагедия - это СССР и те лозунги, за счет которых оно было построено, - базовый пример - «Кто был ничем - тот станет всем» ) Компартия «не спиздела» и действительно «кто был никем - тот стал всем» - и наоборот. Вся культурная арристократия была либо жестоко уничтожена, под корень, либо, бежала на запад, спасаясь от этого самого уничтожения. Казалось бы, абсурд - все лучшие умы того времени - а это явно были не крестьяне, а именно дворянское сословие - тупо уничтожить, более того, возвысив при этом, колхоз, пролетариат - лучше так. Абсурдно, но они это действительно сделали 😂✌️

Вот и получается, что и по сей день верхнюю позицию в обществе занимают люди, зачастую, явно того не достойные, банально даже по собственным интеллектуальным способностям или отсутствием данного. А народ при этом утопает в нищите - и потому простое решение в стиле «свергнуть Путина и его людей» - не сработает, ибо взяв вместо них так называемых «новых лиц» - вы получите через год, в лучшем случае два, новых «царьков», которые пиздить будут, я думаю, еще более, чем предыдущие, ибо дав людям, прожившим всю жизнь в нищите, легкий и простой доступ к власти - вы никак не можете ожидать того, что какие-то сферические «ценности» победят в их голове тот голод к достойной жизни, который они всю жизнь ощущали. Собственно говоря второй вариант - это то, что было сделано в Украине, после 14ого года в особенности. Правда с поправкой - так как все было четко продумано и срежессировано определенными силами, то государство было просто уничтожено, а вместо него получилась чистейшая, 100% колония, которая за поддачку за 1,6 миллиарда долларов устанавливает какие угодно законы, в угоду третьим силам.

Потому я согласен с @teodorix в том, что «делать могут только конкретные отдельные люди» - вот только тогда, когда конкретные отдельные люди, а точнее даже новое поколение, которое не жило в СССР, начнут что-то делать - когда единицы из них (те, кому хватит сил подняться) - займут место в обществе, достойное собственными способностям (т.е. будут соответствовать самим себе) - только тогда возможны какие-либо реальные изменения в обществе в направлении, скажем так «догнать и перегнать запад…», а не наоборот «деградировать до уровня 19 века с национальным государством и прочими ништяками» (второе сейчас собственно в Украине…)

Бред какой то про Украину в конец зачем то всунули.

Россия точно также национальное государство и не хочет объединяться с Китаем например. Как и Беларусь с Россией. Это нормально. Глобализация по другому происходит, не за счёт интеграции с Россией

Хруста французской булки только не хватает

IT как раз позволяет создавать независимые национальные государства, сотрудничающие с другими государствами

Где бред? ))

При чем тут объединение с Китаем? Ты кажется не понял, что я имел ввиду под «национальным государством»

Глобализация над национальными странами стоит - открытые границы или упрощённый визовый режим со странами мира и тд

Национальное государство в Украине - это мечта всех националистических сил (многие представители которых и вообще празднуют днюху Гитлера или набивают свастику себе на тело).

Да понял. Обычные ватнические рассуждения, которым не место в этом чате точно

Ахахахах ) В чем ватничество? ))

Так думают только упоротые россияне.

У нас нет националистических сил? ))

У каждой страны есть своя национальная идея и это нормально

При чем тут это?

Я спросил - у нас нет националистов?

Anthony has received common Torch! It was added to their inventory.

И тем более у нас нет (особенно на западе) фанатов Гитлера? )) Или ты просто, как и. официальные СМИ, предпочитаешь закрывать на это глаза? ))