trying to explain intuitionistic logic to students...

Came to a conclusion that it may be easier to use the idea of "evidences"; e.g. a truth table is an evidence; a proof is an evidence; but then we basically have a topos below (an evidence of a conjunction is a tuple, and an evidence of an implication is a function).

So, it's a type theory.

сегодня почитать

http://pesen-net.livejournal.com/84457.html

а угадайте автора

"с завтрашнего дня я ночую в чулане за 20 коп. серебра в сутки. 6 рублей в месяц чулан с помойного ямой! Да это хоть и в Сан-Франциско, так впору."

особенности национального легального бизнеса

https://vc.ru/p/larixon-sms

перевел коллегам...

"производственную гимнастику" как industrial exercise.

Джо, наш главбух (гоняет на велике по 50 миль в день) подхватил идею, предложил написать мемо.

И мы все будем под Пианиста Потапова помавать руками, а потом переходить к водным процедурам.

Александра Полежаева в черной бурке на коне

Наконец судья начала опрос Павленского.

– Официально вы трудоустроены?

– Я художник.

– Художник – это в какой-то организации состоите? Или как?

http://www.svoboda.org/content/article/27356533.html

just a little bit of code...

from VERY expensive contractors


lazy val chartData = JArray(List(
("label" -> "Enabled") ~ ("data" -> enabled) ~ ("color" -> "#78c063"),
("label" -> "Not Enabled") ~ ("data" -> (total - enabled)) ~ ("color" -> "#f7d975")))

def render: CssSel =
".cname" #> name.getOrElse("") &
".total [href]" #> link &
".count-total *" #> total &
".count-enabled *" #> enabled &
".count-active *" #> active &
".count-not-enabled *" #> (total - enabled) &
".count-not-active *" #> (total - active) &
".enabled-pc *" #> asPercent(enabled.toDouble / total.toDouble) &
".chart-data" #> <lift:tail>{ Script(JsCrVar("clients_enabled", chartData) & OnLoad(Run("""$.plot($("#clients-enabled-chart"), clients_enabled, donut_options)"""))) }</lift:tail>

}