All Posts
-
Linkblog: Fortran resources
-
Linkblog: f2py
-
Linkblog: GMT
-
Blogroll: Computational Complexity (L. Fortnow, W. Gasarch)
Blogroll: Computational Complexity
-
Linkblog: What is a Proof?
with high probability blogged not a long time ago about proof assistants and 4-color theorem (trended on HN if memory serves): What is a proof?.
-
Blogroll: with high probability (Sami Davies)
Adding with high probability by Sami Davies to blogroll.
-
Linkblog: A Surprise For Big-Data Analytics (Gödel's Lost Letter)
Gödel’s Lost Letter blogs about a proof by Landweber, Lazar and Patel that might have some implications for data science.
-
Blogroll: Gödel's Lost Letter (R. J. Lipton, K. Regan)
-
Linkblog: List of paradoxes
Wikipedia has a lot of lists (of lists of lists). This one is useful: List of Paradoxes.
-
Linkblog: vision.cs.tut.fi