Ну вот кликни по вот этой ссылке, что у тебя? https://t.me/scala_ponv/283816

у кирилла на работе закрыли доступ к гистам тофуделателей

По ссылке на сообщение в чате

Гист работает

чел это та же ссылка

таже ссылка

работает все

ну переносит на пост со ссылкой на гист

+

Вот на эту блин.

Меня вот в эту залупу кидает.

лох

забанили в еропе тофу чтоле

а также до этого и во время этого

ладно, похоже пришло время нырнуть в диалектику

The Dialectica tripos is an instance of a BI-hyperdoctrine, hence it is a model of separation logic, which is very different from the standard models of separation logic. Following the idea that the structure of the tripos contains an implicit soundness proof, it should be possible to give a Dialectica or Copenhagen interpretation of separation logic, thus counter examples from Heyting arithmetic would (by the soundness theorem) yield counter examples for separation logic.

это нихуя не читаемо

у меня теперь тоже