Is this a dumb idea? I'd like to create a semantic modeling wiki where people can describe various techniques for modeling different kinds of programs, programming languages, and programming language features mathematically. Sort of a clearinghouse or cookbook for semantics. It could feature links to literature, and various categorizations so that people could find recipes by following different paths. For example, a reader might discover the exception monad by alternatively searching for control features, or error handling, or denotational modeling, or monads, etc.
Perhaps a better-designed database would be more organized, but I think wikis are good for continuously reorganizing, as well as for community contribution.
The Semanticist's Cookbook. I like it!
Update: Stubbed at http://semanticscookbook.org.
Update: Maybe I'll install a wiki another time but I don't have time for this now.