Update profiling talk.  Round out all topics, still work to do.
Update practical-correct-programs with some minor changes.