random notes

• Great discussion over on LtU: The AST Typing Problem:
  

  So to summarize, my basic argument is that the separation into distinct IRs may not necessarily reduce the overall complexity of your compiler, but it will certainly modularize it and make it easier to evolve.

  As for the compilation speed target, coupled with a desire to use the static type system of the implementation language to enforce a higher dimension of correctness than seems to be borne out in existing compilers, and your overall goal of creating a new language, be careful not to ask for too many miracles :-) -- Ben L. Titzer
  

• Emacs 24 finally gets the much-needed create-animated-image functionality.
• Good example of collaborative software design on LKML: [concept & "good taste" review] persistent store.