Apr. 20th, 2016

66george: (киса)


Visual Studio спрашивает "Готовы к переходу в облако?" Нет, спасибо, хочу ещё пожить.

Осваиваю психоделический пруфчекер Globular (на картинке). Теоремы (из теории категорий) изображаются психоделическими картинками, доказательство устроено по принципу "раскрась сам". Вот и для теории типов надо тоже так придумать. Вот Globular

https://golem.ph.utexas.edu/category/2015/12/globular.html

и статья про психоделические картинки, без которой ничего понять не удастся (не обещаю, что с ней удастся)

http://arxiv.org/pdf/1401.7220v2.pdf

Profile

66george: (Default)
66george

August 2016

S M T W T F S
 1 23456
7 891011 12 13
1415161718 19 20
21 222324252627
28 293031   

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 28th, 2017 06:53 am
Powered by Dreamwidth Studios