Finals

EDIT: Nevermind! I've picked a domain name and will be working on the site for the rest of the day. Expect at least a mock homepage and the link thereto by the end of today.

After much consideration, I've narrowed down possible choices for the domain name of the new site to the following:

lambdasaurus.com -or- lambdasaur.us (It would be accompanied by a spruced up version of this graphic:

series-of-tubes.com

tante-emmas-ecke.com (which, granted, not everyone would get but just the right people would)

dotcompositionality.com (which has an awkwardness similar to slashdot)

salva-veritate.com as in Salva veritate

or, to make the transition easier for everyone here,

boundvariable.com

Vote now or add another candidate! (Though initially I thought about all the variations on 'semantics' that would make for a good domain name, I eventually decided against it because I'd like the site to cover semantics, programming, and other topics.) The final decision will be made more on which name has the better argument(s) for it than popular vote, so be sure to explain your choice(s) :-) Enough of this silliness and back to work!