чего

пока еще не понял почему но в моем исполнении звучит как total shit

эпиграф к книге Information and Knowledge: A Constructive Type-theoretical approach

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

наша лаборатория запостила вакансию постдока 2022 за 110к рублей, интересно найдется ли хоть один безумец который сейчас поедет в россию при таких условиях?

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

ну 110к для российского постдока это дохуя

хитрец Долгач, мучал нас этой идеей ДеГроот плюс Крипке на семинаре, а теперь опубликовал статью

на самом деле интересная идея как шаг в сторону совмещения качественной логической модели с количественной

commitment: я напишу по этой теме диплом

прекрасно

как отжиматься когда сломана рука?
отжиматься на одной

спасибо данияру за помощь по формальной семантике, хоть какая то польза от лингвистов

ЕБАТЬ

сессия сдана, можно отдохнуть

думал щас отдохну, послушаю про интуиционистскую логику, а тут 20 минут введения в хаскелль (ебучие программисты)

ладно, я понял в чем фишка
у нас есть IEL (intuitionistic epistemic logic), которая придумана чтобы формализовать понятие знания с точки зрения интуиционистской логики
а для задачи формализации (на более строгом теоретико-типовом уровне) аппликативных вычислений из условного хаскелля решили использовать IEL и строить типовое лямбда исчисление, которое по Карри-Ховарду изоморфно IEL (само это лямбда исчисление я понял смутно)