This question comes from a great thread from a while back that I really enjoyed (http://news.ycombinator.com/item?id=700662), so I thought with the new year here, it'd be a good time to ask again.
I'm still developing readthekanji.com, a site for helping Japanese students learn to figure out how to read kanji. It's been one of the best learning experiences, and I'm loving every minute of it.
So what projects are you currently working on, or planning for the new year? Is it a startup, or research perhaps? And how's it going?
I did cheat a bit and steal pieces from PyScheme and Lython as well as someone else's S-expression parser, but it's capable of evaling ((fn (a) a) 1) as well as Arc's "if" currently. I'm not certain whether it's Turing complete right now, but I suspect that it is because I can create and call functions, branch, and bind values to names. (IIRC, just being able to create and call lambdas is enough because you can count, branch, etc. Is that right? I haven't taken PL.)
Big problems right now are:
1) Proper lexical scoping. The current model is broken (it might be dynamic scoping), and Python 2.x's closures are broken so I can't just use Python functions to punt the problem to Python.
2) The shortcuts for quote, quasiquote, complement, compose, etc. The S-expression parser I stole doesn't have them. I don't want to use a parser generator because that seems to defeat the point of Lisp's lack of syntax (i.e., being easy to parse).
This is a toy that has nothing to do with my research interests (security), so it's not going to be actively maintained or developed. pg will probably make some breaking changes to Arc and kill the project.