Summary if you don't know the story: aaronsw wrote web.py, founded Infogami (yc funded) and merged with Reddit. Then he had a falling out with spez and kn0thing (original founders of Reddit). When Reddit was rewritten, web.py was not used.
I personally like web.py. Any of you using it for your startup/projects? (May be we can swap tips) If you are not using web.py for a particular reason, can you please share that too?
For templates, we use Mako after having previously used Cheetah, same as the rewritten Reddit. Mako is a very well-done, well-thought-out library. There were some things that Cheetah had a lot of trouble with (like unicode support and fragment libraries) that Mako handles without breaking a sweat.
For JS lib, we eventually settled on jQuery after having tried out Prototype, YUI, and Mootools (never used Mochikit, sorry). This was largely because that seems to be where the momentum is these days. Also, jQuery has a very elegant selector + plugin architecture and a growing collection of plugins. And it's the first JavaScript library I've seen that's intimately aware of namespace issues and tries to balance ease-of-use (no silly YAHOO.widgets.slider.SliderThumb chains here) and not-breaking-anything. This has been a major issue at my day job - we use several Prototype-dependent libraries and they all seem to be incompatible with each other, along with any other JS libraries.
On the downside, jQuery is still fairly immature, so you may have to write some widgets yourself that are provided with other libraries. That's changing quickly though, since many people are writing plugins now.