todos

todo.txt

@@ -11,7 +11,6 @@ Inference:
 Integration:
 - fix crazy box dependencies in lecture notes!
 - script tag compilation / execution
-- smart pages examples
 - church to webppl compiler (based on webchurch or sweet macros)
 - write test runner that checks that all boxes run independently
 
@@ -22,20 +21,20 @@ Ideas and examples:
 - idioms or constructs for managing heuristic factors (so that they will cancel eventually).
 - learning the best heuristic factors.
 
+- smart pages examples:
+  - cap 
 
 
 
-Lectures:
-
-- Andreas try: PMCMC and examples…
-
-- Fallback plan, noah: talk about lightweight MH, then discussion.
-
-- Also:
-  - (im-)practical applications
-  - comparison to Church (and other PPLs?)
 
 
 
+8/25:
 
+- title
+- format
+- move to non-esslli permanent repos
+- check all boxes for running / dependency
+[- later: read through for sanity / terseness]
 
+- benchmark various algorithms / against webchurch..