Groovy new PL projects
James Strachan and Bob McWhirter are apparently embarking on a "Groovy" programming language design experiment. Codehaus has a Groovy wiki.
High level bits: It is to be a dynamically typed language with syntax that Java users would not find surprising. Test-Driven Design means that they'll write some Groovy code before implementing much of a translator.
A similar project that I have had stewing about in my head for the past few months is a Java-based language with sophisticated type inference and a radically concise lambda notation.
That's probably different from the other project that I'd like to do, which is to take my six- or seven-year old "dl" syntax ideas and implement them using camlp4, giving them OCaml-like semantics.