Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2023-11-10 14:59:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:KING WEED - King Weed's Collection
Entry tags:.il, left, war

фабрика зергов
Заглянул в твиттер к Хомаку
идет бесконечное обсуждение наиважнейшего блядь вопроса,
кто виноват и если палестинцы не виноваты, то почему их
блядь убивают.

Русня в своем репретуаре, если у русни протух
блядь суп, будут еще неделю обсуждать, кто в этом виноват.

Вообще единственная вменяемая тут
позиция у [info]poper, надыбать смешных цитат из ебаных
участников "дискуссии", сделать из них стишки и дичайше
угорать от содержания.

Никто ни в чем не виноват, кроме разве что UNRWA
и ее доноров, 80 лет занимавшихся усугублением ситуации,
но не по злобе, а исходя из бюрократической логики.

Правы, на самом деле, все. Палестинцы - самый молодой
и одновременно самый образованный арабский народ, который
мечтает пожертвовать жизнью ради великой цели, как он
ее видит. В этом их смысл блядь жизни, и осуждать их
за него блядь глупо. Они герои, по типу ебанутых
зигафашистов, пошедших воевать добровольцами за Россию и за
путлера. Единственный смысл существования этой быдломассы -
умереть за великую родину, как у персонажей трудов Л. Н.
Гумилева о пассионарном взрыве. "Да, смерть", в полный рост и
буквально, лимоновцы к этому состоянию души всю жизнь
стремились, а палестинцы от рождения превзошли.

Ни одно арабское государство палестинцев к себе не примет,
потому что они его уничтожат в рекордные сроки, были такие
случаи. Герои-камикадзе нужны, если вам надо воевать с кем-то,
в мирной жизни от них лучше избавляться. А герои камикадзе
с вечным пособием от ООН, оплачивающим воспитание новых
поколений камикадзе, это вообще полный треш и угар,
фабрика зергов на своей территории не нужна никому вообще.

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

Никакого решения в этой ситуации нет: уничтожить палестинцев
не получится, потому что это не гуманно, выселить не получится,
потому что арабы их не примут, соответственно, придется каждые
20 лет ровнять всю территорию с землей для уничтожения
верхушки террористов, потому что это даст краткую передышку.

Вариант "выселить израильтян" я даже не рассматриваю,
потому что израильтяне не согласятся, у них норм жизнь,
наука, искусство, производство, быт, а что в Газе миллион
камикадзе, ну, приходится платить охранникам и держать
большую армию, каждые 20 лет война, все уже привыкли.

То есть сочувствовать нужно и израильтянам, и палестинцам,
но вот если кто-то ищет в этой истории "социальной справедливости",
этого мудака надо убить и закопать нахуй. Как, впрочем, и всех
других мудаков, которые ищут "социальной справедливости".

Вплоть до 2014-го года я неиллюзорно идентифицировал себя
как "левого". После того, как в 2014-м мировая левая общественность
в едином порыве поддержала путлера и "малороссию", я немного
устыдился, а во время ковидобешенства понял, что вся эта
коллективная DEI-LGBTQH-BLM говномасса это просто хунвейбины,
ходячие куски гитлера и гулага. Если кто-то сего не осознал
после 7/10, с этим придурком лучше вообще не иметь дела,
потому что некоторые идиоты опаснее любых вредителей.

Привет



(Читать комментарии) - (Добавить комментарий)

Re: Smart city
(Анонимно)
2023-11-11 03:27 (ссылка)
HOTT реально издох (сужу по публикациям последних лет)

mathlib[1] же, основанный на обычной теории типов с excluded middle, растет небывалыми темпами, а на нем тренируют разных ботов:

https://github.com/lean-dojo/LeanDojo

https://www.youtube.com/watch?v=a2S_-pl6onM

[1]https://github.com/leanprover-community/mathlib4

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Smart city
[info]sometimes
2023-11-11 08:36 (ссылка)
Это все очень мило (без иронии, я же про математику тоже написал, и lean нежно люблю, про него тут писал довольно давно, когда Баззард затевал со студентами работу, и когда потом Шольце и ко оцифровывали кусок жидкой математики - и переутомились, что указывало, что продукт ещё не готов к общему употреблению все же), но интуиционизм и hott (что стало для меня неожиданностью) учат не математики, а CS; потому что для математики рассуждения от противного это социальная норма и никто не выгонит из рая (на Брауэре жизни нет, кроме как в теории моделей), а в программировании всё-таки конкретные примеры того, что тип не пуст, обычно важны.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Smart city
(Анонимно)
2023-11-11 10:16 (ссылка)
>учат не математики, а CS

да я знаю. Я про то, что univalent cubical type theories, которые наследницы Homotopy Type Theory Воеводского, зашли в тупик применимости в качестве базы для теорем-прувера, языка программирования с зависимыми типами, потому что невычислимы от слов "почти совсем". И никаких подвижек в этой области с тех не наблюдается. Сужу по тому, что ресерчеры которые раньше этим занимались переключились на другие темы.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Smart city
[info]sometimes
2023-11-11 13:00 (ссылка)
Понятно. Тем не менее в последнее время почему-то оживились с лекциями про них

(Ответить) (Уровень выше)


(Читать комментарии) -