| Classes | |
| * Keith Devlin - Introduction to Mathematical Thinking - https://www.coursera.org/learn/mathematical-thinking | |
| * Michael Genesereth - Introduction to Logic - https://www.coursera.org/learn/logic-introduction | |
| * Robert Harper - Homotopy Type Theory - http://www.cs.cmu.edu/~rwh/courses/hott/ | |
| Books and Articles | |
| * Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/ | |
| * x775 - Introduction to Datalog - https://x775.net/2019/03/18/Introduction-to-Datalog.html | |
| * Bartosz Milewski - Category Theory For Programmers - https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ | |
| * Benjamin C. Pierce et al. - Software Foundations - https://softwarefoundations.cis.upenn.edu/ |
| /* Note: this Google copyright notice only applies to the original file, which has large sections copy-pasted here. my changes are under CC0 (public domain). | |
| * Copyright 2015 Google Inc. | |
| * | |
| * Use of this source code is governed by a BSD-style license that can be | |
| * found in the LICENSE file. | |
| */ | |
| /* | |
| The official instructions don't work well. These alternative instructions are intended to be the shortest path to get a minimal setup running. |
| #include <stdio.h> | |
| #include <GL/glut.h> | |
| #include <GrContext.h> | |
| #include <SkSurface.h> | |
| #include <SkCanvas.h> | |
| #include <SkPaint.h> | |
| #include <SkShader.h> | |
| #include <../effects/SkGradientShader.h> |
While it's possible to download packages and install them manually, it's such a hassle. Fortunately for us, OS X has an unofficial package manager called http://brew.sh Let's install it. Open you Terminal and paste the following code:
ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"Great. Homebrew will automatically install packages to /usr/local. Conveniently, that directory is already in your include and link paths.
| #include <GL/glew.h> | |
| #include <GLFW/glfw3.h> | |
| #include <vector> | |
| #include <cmath> | |
| #include <cstdio> | |
| #include <limits> | |
| #include <chrono> | |
| #include <thread> | |
| #include <mutex> |
| #include <stdio.h> | |
| #include <stdlib.h> | |
| #include <Windows.h> | |
| #include "glfw/glfw.h" | |
| #include "skia/include/gpu/GrContext.h" | |
| #include "skia/include/gpu/GrRenderTarget.h" | |
| #include "skia/include/gpu/GrGLInterface.h" | |
| #include "skia/include/gpu/SkGpuDevice.h" |
The following books are ordered in descending order of Matthew's preference.
by Avinash K. Dixit
Recommended by Ted Neward. A different perspective and writing style from the other volumes listed.
“I am hard pressed to think of another book that can match the combination of practical insights and reading enjoyment.”—Steven Levitt