to post messages and comments.

Роберт Харпер в CMU проводит семинар по Homotopy Type Theory (HoTT, homotopytypetheory.org ) — cs.cmu.edu [15-819 Advanced Topics in Programming Languages, Fall 2013]

Утверждается, что курс self-contained, в доп.литературу вынесено только "Programming in Martin-Löf's Type Theory" [ cse.chalmers.se ]

Имеются также и видеозаписи с Харпером у доски, но там "Silverlight is required to use the Panopto viewer". Худо-бедно показывает, mp4 ничего не мешает выдернуть со страницы.

Follow-up к
juick.com
и
juick.com

Прекрасный пример пиздеца из juick.com
---------------------------------------------------------------------
A> вел- не транспорт, а развлечение.
B> я использую велосипед для передвижения на работу каждый день.
A> Если кто-то ест саранчу и утверждает, что это деликатес и мясо, котор гораздо вкуснее , экологичнее и дешевле, чем говядина — это не значит, что все должны жрать кузнецов.
--------------------------------------------------------------------

Если не хватает мозгов для аналогий, то может быть не стоит к ним прибегать?

Еда на псаче:

/Из обсуждения:
Как–то раз я в споре со своей женой обнаружил какую–то откровенную
дурь в ее словах и сказал:
— Но это же не логично!
— Ну и что?
Блядь, НУ И ЧТО? в этот момент у меня вообще весь мир рухнул, и я
понял что для нее вообще нет разницы, логично или нет то, что она
говорит. ВООБЩЕ!

Когда я пересказываю это своим друзьям, все хохочут или улыбаются. А
когда девушкам — они просто ждут, что я дальше скажу, со внимательным
лицом, потому что искренне не замечают проблемы в этой фразе/

xxx: Купила вчера сапоги на огромной шпильке, теперь не знаю че с ними делать :(
yyy: :-D Галя
yyy: я задам очевидный вопрос, ты же понимаешь)
xxx: Шо
xxx: Задавай
yyy: Зачем тогда покупала ? :-[
xxx: Да ну тебя
xxx: Ничего вы мужчины не понимаете

Дмитрий БЕКЛЕМИШЕВ, профессор кафедры высшей математики ФизТеха анализирует "женскую логику", очень познавательно и поучительно: photo-element.ru . По-моему, вопрос о том, стоит ли общаться ли с особями, применяющими подобные приемы, имеет очевидный ответ. (за ссылку спасибо Денису Ч)

*topology

Для любителей Функционального программирования, Теории категорий, Квантовой физики, Топологии и Логики.

Вышел перевод фундаментальной статьи Джона Баеза и Майка Стэя «Физика, топология, логика и теория вычислений: Розеттский камень».

docs.google.com
docs.google.com

Задача:
Я протянула ноги, у меня погас монитор и не включается. Провод шевелила, не помогает.
Дополнительная информация:
Системник стоит под столом прямо напротив менеджера, боком.
Решение:
Включить БП.

Очевидно, что маленький ребенок не сможет понять если объяснять что-то новое через еще неизвестное. А может ли ребенок не способен понять какую-либо логическую цепочку, жизненно необходимую для объяснения какого-либо факта? Если да, то с какого возраста человеку становятся доступным для понимания любой логический вывод?