ЕБАТЬ

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

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

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

как то очень плавно я почти перестал заниматься философией

делаю доклад по аутизму

In this study both adolescents with autism spectrum disorder (ASD) and typically developing controls were presented with conditional reasoning problems using familiar content. In this task both valid and fallacious conditional inferences that would otherwise be drawn can be suppressed if counterexample cases are brought to mind. Such suppression occurs when additional premises are presented, whose effect is to suggest such counterexample cases. In this study we predicted and observed that this suppression effect was substantially and significantly weaker for autistic participants. We take this as evidence that autistics are less contextualised in their reasoning, a finding that can be linked to research on autism on a variety of other cognitive tasks.

Аукционы и Дизайн интерьеров

еще один уважаемый человек ЖЕСТКО о русской религиозной философии

сука в иллюзионе идет тарковский

кто на тарковского завтра вечером

итак в четверг 21 45 идем на зеркало пишите кто хочет

как же хорош американский кулинарный ютуб

сейчас устрою дебаты (срач) по абортам на паре в лицее, если закончу свою часть раньше времени

блять в лицее день еврейской музыки на переменах

после занятия подошел ученик и спросил про деперсонализацию

я даже как то не смог подобрать слова для ответа

вообще у меня было два варианта ответа в голове: сказать про Жижека и Лакана или посоветовать рассмотреть вариант therapy

Латур успел проникнуть и в literary studies

итак на ИАДе сегодня логистическая регрессия и SVM