Про работы Чёрча: https://plato.stanford.edu/entries/church/#GrelPara

Next Church invokes an informally stated principle that he describes as “reasonable”:

**
Whenever an individual or a propositional function has been determined in some unique way, it is ( Read more... )

Обычно я не ем со вчерашнего вечера до вечера текущего дня, пока не доделаю дела и не потренируюсь. Иногда, в свободные от тренировки дни, мы с дочкой выполняем протокол Табаты с приседаниями ( Read more... )

https://www.theparisreview.org/blog/2017/02/15/rhythmical-lines/Read more... )

https://developers.redhat.com/blog/2014/10/16/gcc-undefined-behavior-sanitizer-ubsanRead more... )

https://plato.stanford.edu/entries/church/#GrelPara

Grelling’s Paradox
This paradox is usually-and was originally-formulated as pertaining to adjectives expressing properties that are or are not true of the adjective (the word) itself. For example, “short” is short, ( Read more... )

https://www.cs.cornell.edu/~kroc/pub/surveyPropUAI07b.pdf и https://arxiv.org/pdf/1508.05117 - про "распространение мнений," survey propagation, алгоритм, что может вычислять решения случайных k- ( Read more... )

Саша Петров думал в 70-х, что ККР будут помнить дольше Джонса, и в конце 90-х сетовал, что про них забыли.

А вот сейчас мемчиков с hello darkness my old friend Fortunate Son куда больше, чем с Sex Bomb.

Что из этого вывести, я не знаю. Наверное, что всегда лучше подождать с выводами. ;)

https://www.trinitas.ru/rus/doc/0016/001c/00161901.htmRead more... )

https://www.ualberta.ca/en/folio/2024/11/weight-loss-drug-found-to-shrink-heart-muscle.html

Судя по всему, он может вызвать миокардиодистрофию.

Красота!

Хорошее изложение работы поискового алгоритма: https://emschwartz.me/understanding-the-bm25-full-text-search-algorithm/Read more... )