Mark Chu-Carroll is a Computer Scientist working as a researcher in a corporate lab. My professional interests run towards how to build programming languages and tools that allow groups of people to work together to build large software systems.
goodmath
Posts by this author
May 9, 2007
Don't you dare use the number 271277229129081016424883074559900780951 under any circumstances. It's mine, mine I tell you, and if you use it, or copy it, I can have you arrested and sent to do hard time in prison. And it doesn't matter whether you use it in decimal, like I used above, or it's…
May 7, 2007
This is something that came up in some of the comments on the recent "nimbers" post, and I thought it was worth promoting to the front, and getting up under an easy-to-find title in the "basics" series.
In a lot of discussions in all different areas of math, you encounter talk about sets and…
May 5, 2007
I came across a link to an excellent article that provides an example of one of my professional bugaboos: the truly awful way that we often design software in terms of how the implementer thinks of it, instead of how the user will think of it.
Take a look at that link to see what I mean. The…
May 4, 2007
Rachel's, "Even/Odd": Rachel's is a very classically-oriented post-rock
ensemble - violin, bass, woodwinds. They're absolutely brilliant. "Even/Odd" is a short, extremely rhythmic track with an interesting pulse with an almost siren-like string lead played over it. Very, very cool.
Rush, "…
May 4, 2007
I thought that it would be fun to stick with the "stack-based" theme of last week's pathological post, but this time, to pick an utterly pointlessly twisted stack based language, but one that would be appreciated by the mascot of one of my fellow ScienceBlogs. Orac, this one's for you! :-) Our…
May 3, 2007
So, today we're going to play a bit more with nimbers - in particular, we're
going to take the basic nimbers and operations over nimbers that we defined last time, and
take a look at their formal properties. This can lead to some simpler definitions, and
it can make clear some of the stranger…
May 2, 2007
An astute reader pointed me towards a monstrosity of pompous bogus math. It's an oldie, but I hadn't seen it before, and it was just referenced by my old buddy Sal Cordova in a thread on one of the DI blogs. It's a "debate" posted online by Lee Spetner, in which he rehashes the typical bogus…
May 1, 2007
Before diving off into real content, the name of my little π-calculus monstrosity has been chosen. As several people recommended in the comments, I'm going to go with Pica.
So, today, we're going to take the dive, and start looking at some interesting semantics of the language. The goal of this…
April 30, 2007
(A substantial part of this post was rewritten since it was first posted. I managed to mangle things while editing, and the result was not particularly comprehensible: for example, in the original version of the post, I managed to delete the definition of "mex", which continuing to use mex in…
April 30, 2007
Our corporate masters at Seed have added a new blog to ScienceBlogs, and it looks like a real winner. It's called the Denialism Blog, and it's off to a roaring great start with "The Unified Theory of the Crank. Go check it out!
April 29, 2007
Since my post on datatypes for my π-calculus language, I've gotten a bunch of
questions from people who (I guess) picked up on the series after the original post where
I said that the idea of the series was to see if I could create a programming language
based on it. The questions are all…
April 27, 2007
While browser over at programming.reddit.com, I came across something simultaneously hideous and amazing.
I've showed quines before as part of the pathological programming posts: a quine is a program which, when run, generates itself as an output. I've even written about a programming language…
April 27, 2007
Today's friday programming language insanity is a tad different. I'm going to look at another twisted stack-based language. I've got a peculiar fondness for these buggers, because back in the day, I was a serious Forth addict. One of the ideas that's actually come up in serious programming…
April 25, 2007
(This issue came to a happy conclusion. After the uproar generated by this being publicized by so many blogs and websites, the publisher got in touch with Shelley, gave her permission to use the figures, apologized, and promised to do some internal legal education so that this won't happen again…
April 24, 2007
When I'm bored, I'll periodically take a look at the blogs published by
the bozos at the Discovery Institute. I can generally find something good for a laugh. So I was doing that tonight, and came across yet another example of how they try to distort
reality and use slimily dishonest math to try…
April 23, 2007
Finally, as I promised a while ago, it's time to look at the sign-expanded forms of infinites in the surreal numbers. Once you've gotten past the normal forms of surreal numbers, it's pretty easy to translate them to sign-expanded form.
Suppose you've got a surreal number in normal form: Σωyry.…
April 23, 2007
Before moving on, there's one question that I thought was important enough to promote up to the front page, instead of just answering it in the comments. A commenter asked about process replication, !P, wanting to know if it terminates.
The answer comes in two parts.
!P does process creation on…
April 21, 2007
As I mentioned a while back, I was loaned the Library of Congress discard of George
Shollenberger's book. Since he's made such a big deal about how unfair I've been bynot reading and considering his argument, I've actually forced myself to read it.
(See what I'm willing to do for you, my faithful…
April 20, 2007
The shuffle generated interesting results this week.
Apothecary Hymns, "The Marigold". Apothecary Hymns sounding extremely Tull-like. Good stuff.
Mogwai, "Katrien". Mogwai is simply brilliant: one of the greatest post-rock groups out there. I keep getting more of their stuff, and I haven't heard…
April 20, 2007
As promised, this week, I've got a new friday pathological programming language. This one is another 2-dimensional language, but it's pretty different from any of the 2d languages I'm written about before. It's called "Flip", and the warped minds behind describe it as being sort of like "…
April 19, 2007
Ok, I give up. I've stayed out of the framing debate until now, but I just can't take it anymore.
As much as I respect people like PZ and Larry Moran, the simple fact is: they've got it wrong. And not just them: there is a consistent problem with the political left in America when it comes to…
April 18, 2007
Given a calculus, one of the things that I always want to see is how it can do
some kind of meaningful computation. The easiest way to do that is to start building numbers and basic arithmetic.
To be able to do this, we're going to need one more bit of
syntax. What we want to do is specify a…
April 17, 2007
I came across this while looking through the referrals to GM/BM. This is an incredibly cool video of a strange phenomenon called the Kaye effect. It includes high speed video of the effect, and a demonstration of their mathematical analysis of the effect, and their prediction and verification of…
April 17, 2007
As I did with my first attempt at explaining π-calculus, I think that before getting into any of the deep semantics, it's good to look at a few examples of things you can build with π-calculus. But before getting to the meat of the post, I'll give you the answer the puzzle I left in the last post…
April 16, 2007
I've used the term innumeracy fairly often on this blog, and I've had a few people write to ask me what it means. It's also, I think, a very important idea.
Innumeracy is math what illiteracy is to reading. It's the fundamental lack of ability to understand or use numbers or math. And like…
April 16, 2007
Now that things are settling down a little bit, I wanted to get back to the stuff I was writing about π-calculus. But looking back at what I've already written, I think I did a terrible job of introducing it. So I'm going to start over, and try to be more clear.
I'll start with a basic refresher…
April 15, 2007
I'm currently reading "I am a Strange Loop" by Douglas Hofstadter. I'll be posting a review of it after I finish it. A "strange loop" is Hofstadter's term for a Gödel-esque self-referential cycle. A strange loop doesn't have to involve Gödel style problems - any self-referential cycle is a strange…
April 14, 2007
Michael Egnor is at it again. The guy is pretty much the energizer bunny of anti-evolution bullshit. This time, he's purportedly refuting an article by Dr. Steven Novella, a Yale professor of neurology.
So, why am I butting my nose in to a discussion between two doctors? For two reasons:
First,…
April 13, 2007
I've been swamped lately, learning to manage my new commute, and being overwhelmed by my new job. So I've been a bit lax about the blog; I've missed three weeks in a row for the friday pathological programming; and I haven't been posting my friday random tens. I don't have time to do a FPP post…
April 12, 2007
When I left off yesterday, we'd reached the point of being able to write normal forms
of surreal numbers there the normal form consisted of a finite number of terms. But
typically of surreal numbers. that's not good enough: the surreals constantly produce
infinites of all sorts, and normal forms…