November 2015 Archive
1801.
1802.
1803.
1804.
1805.
1806.
1807.
1808.
1809.
1810.
1811.
1812.
1813.
1814.
1815.
1816.
1817.
Propositions as Types (2014) [pdf] (homepages.inf.ed.ac.uk)
1818.
AMD announces CUDA support (anandtech.com)
1819.
1820.
1821.
1822.
1823.
1824.
1825.
1826.
1827.
1828.
1829.
1830.