the substructural functional pl thing.
It looks like completeness of intuitionistic linear focusing
is a solved problem.
Still kinda sick but maybe getting better. Really love these custom cast-plastic Settlers-of-Catan tiles: http://imgur.com/gallery/6hfG5
Nice way of showing off easing functions: http://easings.net/
_wirehead_ over on twitter linked to this blogpost which has some thoughts about " Genius Loci". I found it notable initially because it…