johnbender/twenty-questions
A tool and protocol for discriminative exploration of solutions to programmer questions.
Testing for Asynchronous Load of Inapplicable CSS StyleSheets
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A tool and protocol for discriminative exploration of solutions to programmer questions.
A quick Beamer presentation on my thinking around differentials and semantics.
Work and studies in concurrent programming logics
Scribe notes for 281a, Computational Complexity, UCLA Winter 2014