Some Explanations – Introduction

So I was going to make a post about this really awesome tv show I’ve been watching recently, and how I wanted to give it the Triple Crown award for fitting All Three Categories. But that wouldn’t make much sense without me having actually explained my categories. As is probably obvious from the title of my blog, I intend it to be primarily about Mathematics, Morality, and Magic. However, what might not be so clear is what I mean by that, and how that actually encompasses just about everything there is. My current intent is to begin explaining this in a three part series, each part explaining one of the categories and what it means to me and why it’s important enough to be a category. I plan to go in order. Let’s see whether this actually works, shall we?

New Project!

So, I’ve been meaning to learn a new programming language, but hadn’t decided which one I wanted to learn. So, as with many new projects, I started on Wikipedia. I had been thinking of learning Haskell, due to the Curry-Howard Correspondence. Part of my reasoning also though, was that it had an emacs-like editor that used Haskell instead of Lisp. But this weekend, while I was trying to look that up again, I couldn’t find the editor. It probably still exists somewhere, but it was harder to find. While I was reading about Lisp, I remembered that one of the things I like about it is that it is Homoiconic. So then I was reading about homoiconicity and found out there’s another language like that, called Prolog, which also is based on logic. So it’s really just a stone’s throw from Lojban. And the SWI dialect of it comes with an emacs clone called PceEmacs. I don’t know whether it has as many extensions as Lisp Emacs, so I’m not sure if I can use it as a mail client, and a feed reader, and stuff like that. Also, it depends on X to run. But if I want a more unified system where other than the OS itself I only run a few other things, it might still work.

Also, Prolog is a lot of fun to learn so far. The syntax is very intuitive (once you know Lojban or have taken a class in Mathematical Logic) and I think I’m getting the hang of it. I don’t know how to do very many things yet, but I’m pretty early in the tutorial.

coi rodo (Hello, everyone.)

Hello,

This is my first post on what I hope will be a lovely and fun blog. I plan to write about whatever I think about and decide I want to talk about. As you can guess from the title, this is likely to be about Math, Morality, or Magic, or some combination of them. However, as you are about to find out, I don’t always define words in the same way as is typical. I haven’t yet decided on a schedule, but I hope to post something every day I’m not at work. My job has an odd schedule, though, so it might be tricky for you to get used to. And maybe I can at least have something short to say on work days too. I really think writing will be good for me, and maybe the things I say will be useful to someone else too. And being publicly available on the internet seems to me the best place for whoever it would be useful to to find it.