> Nimrod is a statically typed, imperative programming language that tries to give the programmer ultimate power without compromises on runtime efficiency. This means it focuses on compile-time mechanisms in all their various forms.

> Beneath a nice infix/indentation based syntax with a powerful (AST based, hygienic) macro system lies a semantic model that supports a soft realtime GC on thread local heaps. Asynchronous message passing is used between threads, so no "stop the world" mechanism is necessary. An unsafe shared memory heap is also provided for the increased efficiency that results from that model.

http://lambda-the-ultimate.org/node/4749

http://nimrod-code.org/

It's kind of sad that the act of searching the web is now reduced to a brand name. I'm not blaming you, I say it too. With the PRISM and friend revelation I feel it's time to go back to what we used to say before Google quasi-monopoly became effective and use generic terms like "search engine", "search the web", etc.

But people who try to change language forcefully are annoying and mostly wasting their time (see the politically-correct crowd). It has to occur naturally.

So I'm ok with it being google for now. Photocopying in favor of Xeroxing has somewhat faded. Although calling tissues Kleenex is still going strong.

There is one thing wrong with it: the originators of those words still claim ownership over the name, even though it has, for all intents and purposes, become a generic word.

Here are some examples of web apps which use Jester in production for those interested: Nimrod forum (http://forum.nimrod-code.org) and Nimbuild (http://build.nimrod-code.org). The source code for both is also available on Github: https://github.com/nimrod-code/nimforum and https://github.com/nimrod-code/nimbuild.

Congrats to you and the Nimrod crew for shining in your unique little space.