-
поляризация общества
Я ее наблюдаю. Я паникер. я боюсь, что «в Россию приходит фашизм». Как везде, где он приходит - с горячего одобрения масс. «уралвагонзавод», вот это всё -
…. продолжение рождественского и православного…
совет: «веди себя естественно» как бе подстрекает к совершению преступления :) -
Рождественское, православное
Поздравляю всех, кто собрался в этот вечер в тепле и уюте. искренне.
а мысль во мне: древняя идея о том, что никогда не не надо спорить с сумасшедшими, таки нашла законодательное проявление в виде закона об оскорблении чувств верующих. -
поизносился я...
Мое представление о женщине эволюционировало от «женщина, которая может разделить твои интересы» к «женщина, которая способна понять, что у тебя могут быть свои интересы». Статистически, различиями между этими множествами можно пренебречь. -
Великий Дейкстра снова прозревает :)
Another thing we can learn from the past is the failure of characterizations like "Computing Science is really nothing but X", where for X you may substitute your favourite discipline, such as numerical analysis, electrical engineering, automata theory, queuing theory, lambda calculus, discrete mathematics or proof theory. I mention this because of ( Read more... ) -
барьеры...
есть скрытая боязнь рассказывать людям «очевидные» вещи. т.к.:
а) за тупых их держишь?
б) те люди, которые знают про эти вещи, тебя тупо оборжут. т.к. это все гораздо чище и строже описано
-
Agda, теоркат и все все все
В развитие темы. Все знакомые уткнулись в PropositionalEquivalence. В рамках подготовки к объяснениям, написал про зависимые типы и Curry-Howard correspondence. What is enough type theory/agda for category theory? :)
