fancybred) after lunch and told him about it and it turned out he had already tried it a while ago and it fails on disjunction. Grr. He pointed me to Dunn's work on Kripke semantics for linear logic, though. I think it will be helpful to read it. fancybred) after lunch and told him about it and it turned out he had already tried it a while ago and it fails on disjunction. Grr. He pointed me to Dunn's work on Kripke semantics for linear logic, though. I think it will be helpful to read it. -
(no subject)
Still kinda sick but maybe getting better. Really love these custom cast-plastic Settlers-of-Catan tiles: http://imgur.com/gallery/6hfG5
-
(no subject)
Nice way of showing off easing functions: http://easings.net/
-
(no subject)
_wirehead_ over on twitter linked to this blogpost which has some thoughts about " Genius Loci". I found it notable initially because it…
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments