A first post; more to follow on the topics of Numbers, Emacs, Programming Languages, Logic and maybe something on Types.