Чтобы добавлять сообщения и комментарии, .

@egplife:
egplife

Tertium datur: tertium is analog!

@syjgin:
syjgin

Кажется, если я спотыкаюсь об отсутствие множественного наследования, значит, задумал сделать что-то концептуально не то

@yurlin:
yurlin

Роберт Харпер в 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 ничего не мешает выдернуть со страницы.

@sandr1x:
sandr1x

Вот так надо тесты сдавать a7.sphotos.ak.fbcdn.net

@4DA:
4DA

Follow-up к
juick.com
и
juick.com

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

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

@4DA:
4DA

Туториал по sequent calculus
logitext.ezyang.scripts.mit.edu

@sandr1x:
sandr1x

Formal logic — xkcd.com

@4DA:
4DA

Еда на псаче:

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

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

@DarkElve:
DarkElve

i.imgur.com

@DZhon:
DZhon

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

@sandr1x:
sandr1x

Epic win — photo-element.ru

@paulfertser:
paulfertser

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

@4DA:
4DA

*topology

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

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

docs.google.com
docs.google.com

@jtootf:
jtootf

i33.tinypic.com — epic paradox: Pinocchio is omnipotent

@jtootf:
jtootf

cs-www.cs.yale.edu — Delphin, функциональный ЯП с зависмыми типами, не упоминаемый практически ни в одной статье по теме. пусть хоть тут ссылка полежит

@trijin:
trijin

Офигенная логическая игра уже часа 4 играю =) candystand.com

@HobbitMage:
HobbitMage

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

@kmmbvnr:
kmmbvnr

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

@kmmbvnr:
kmmbvnr

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

@kmmbvnr:
kmmbvnr

avl.livejournal.com Что такое компилятор — объяснение для пятилетнего ребенка