новые горизонты российской медицины

figuring out...

So, I kind of discovered that the stuff I'm doing with my Result class looks suspiciously close to linear logic, e.g., in LL we have !(A&B)≡!A⊗!B, and I have Good(a) <*> Good(b) == Good((a,b)).

Moving on.

Similarly, there's some connection between Good[Either[A,B]] and Good(a:A) orElse Good(b:B).

Actually, what I have, it seems to be a coaffine logic, but well, who cares right now. We will see.

"If Γ,Δ⊢Θ, then Γ,!A,Δ⊢Θ, for any A " maps to

Good(a) foreach (f()) is the same as f().

"If Γ,!A,!A,Δ⊢Θ, then Γ,!A,Δ⊢Θ" maps to
Good(Good(a)).flatten == Good(a)

Not everything works. But is not it weird.

news from Columbia

( You're about to view content that the journal owner has marked as possibly inappropriate for anyone under the age of 18. )

интересная борьба с предрассудками

https://www.facebook.com/alex.1oginov/posts/730083593708144

Там студентам предлагают сообщить, в какой степени они согласны с разными расистскими и сексистскими утверждениями.

Вот одно из них: "большинство женщин не слишком умны". Звучит оскорбительно... но давайте, предполагая булевость, запишем отрицание оного. "большинство женщин слишком умны". Ну или "меньшинство женщин не слишком умны". Это звучит еще более издевательски. И, главное, я тоже считаю, что большинство женщин не слишком умны. Во-первых, без разницы, женщин, мужчин... большинство населения не слишком умны. Во-вторых, а что, бывает слишком? Я как-то не вижу, чем плохо было бы, если бы все были умом на уровне, скажем, среднего китайского аспиранта в Беркли. Но это все равно не слишком.

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

Все это говорит только одно - что большинство студентов Принстона - жополизы, и не слишком умны (кстати). Будь они поумнее, они бы задумались над вопросом.

А третий пункт - предположим, некоторая группа населения не то что не слишком умна, а просто не очень умна. НУ ТАК И ЧТО?! Бля, они же все равно люди, давайте уже их уважать тоже, а не говорить им, что они должны делать по жизни.

дыбр

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

Посмотрели "Венеру в Мехах", Поланского. Поланский, конечно, рехнулся. Играют прекрасно, поставлено прекрасно, но он рехнулся. И, главное, все это такие 70-е...

Кстати, о 70-х. "Венера" вышла в 1870-м; "Идиот" в 1869-м. В воздухе носилось что-то такое.