Keybase proof
gistfile1.txt This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View Articleembed fonts into PDFs, painlessly
pdfstill This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View ArticleClang search path bug on OS X
bug.mdI ran into a problem on OS X where a Clang I compiled myself couldn't find standard C++ includes (e.g., #include <iostream>) that the system-provided Clang could find. Using -v, I found...
View ArticleClik here to view.
dan and bike guy
danandbikeguy.mdYou said that, after passing the bike, you both came up at a red light. Like this:In Fig. 1, Dan is behind Bike Guy. Then, in Fig. 2, Dan did a seemingly reasonable thing and passed...
View Articleimportadded.nomtime.patch
importadded.nomtime.patch This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals...
View Article-
- This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters....
View Articlefind the common n-grams between two documents
plagcheck.py This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View Articleaudioread-log-master.txt
audioread-log-master.txt This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden...
View Articleaudioread-log-10branch.txt
audioread-log-10branch.txt This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals...
View Articleaudioread-log-10branch-py3k.txt
audioread-log-10branch-py3k.txt This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals...
View Articlegst-test-incomplete.py
gst-test-incomplete.py This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden...
View Articlegetduration.py
getduration.py This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View Articlegetduration2.py
getduration2.py This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View Articlenoapprox.diff
noapprox.diff This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View ArticleMakefile.noapprox
Makefile.noapprox This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden...
View Articlefunction inheritance in TypeScript
fib.ts This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View Articlea silly answer to Colin's question
decidability.mdAssume, by way of contradiction, that we have an algorithm D for "decidability checking." We will use this algorithm to solve the halting problem.Here's my algorithm for the halting...
View Articlethe Clopper-Pearson method for getting a confidence interval for an estimated...
clopper_pearson.py This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden...
View Article1942.diff
1942.diff This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View ArticleDSLs.md
DSLs.mdThe GPU languages are all corrupted C variants where all safety is sacrificed in the name of low-level control. And the awkward dance for CPU–GPU communication is "stringly typed."Verilog/VHDL...
View Articleschema.json
schema.json This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View Articlefisr.py
fisr.py This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View Articlepy3_path.py
py3_path.py This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View ArticleGADTs for features
feat.ml This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View ArticleDominik's example with a reference line at the average
bars-with-average.json This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden...
View Articlea fixed-point combinator in JavaScript
fixedpoint.js This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View Articlea Metalsmith config
index.js This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View Articlereduced_iter_mult.futil
reduced_iter_mult.futil This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden...
View Articlepartially reduced test case for a Calyx pretty printer bug
reduced.futil This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View Articleunreduced test case for Bril bug #295
problem.bril This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode...
View Article
