Now on ScienceBlogs: Charles Darwin February 12, 1809 - April 19, 1882
Finding the fun in good math; Shredding bad math and squashing the crackpots who espouse it.
Mark Chu-Carroll (aka MarkCC) is a PhD Computer Scientist, who works for Google as a Software Engineer. My professional interests center on programming languages and tools, and how to improve the languages and tools that are used for building complex software systems.
Category: programming
A couple of people pointed out that in my wednesday post about Go, I completely left out the concurrency stuff! That's what I get for rushing the post - I managed to leave out one of the most interesting...
Posted by Mark C. Chu-Carroll at 9:19 AM • 48 Comments •
Category: Pi Calculus
Sorry for the slow pace of things around here lately; life interferes sometimes. I've mentioned my fathers illness before; things took a drastic change for the worse a week ago, which made things more than a little bit crazy....
Posted by Mark C. Chu-Carroll at 9:39 PM • 9 Comments •
Category: Pi Calculus
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...
Posted by Mark C. Chu-Carroll at 9:45 PM • 19 Comments •
Category: Pi Calculus
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...
Posted by Mark C. Chu-Carroll at 9:47 PM • 33 Comments •
Category: Pi Calculus
For process equivalence, I informally introduced the notion of types for channels. For the purpose of describing type equivalence, all we needed to know is that there is a notion of channel typing, and that the channel types of...
Posted by Mark C. Chu-Carroll at 9:58 PM • 20 Comments •
Category: Pi Calculus
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...
Posted by Mark C. Chu-Carroll at 8:30 AM • 3 Comments •
Category: Pi Calculus
There've been questions in the comments about how to use the adder I explained in the last post. That's a darn good question: I can't believe I actually forgot to include that! As a reminder (and a bit of...
Posted by Mark C. Chu-Carroll at 10:09 PM • 3 Comments •
Category: Pi Calculus
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....
Posted by Mark C. Chu-Carroll at 8:00 AM • 10 Comments •
Category: Pi Calculus
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...
Posted by Mark C. Chu-Carroll at 8:00 AM • 17 Comments •
Category: Pi Calculus
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...
Posted by Mark C. Chu-Carroll at 8:05 AM • 9 Comments •
dynamics of cats 02.10.2012
greg laden's blog 02.09.2012
the pump handle 02.09.2012
dean's corner 02.09.2012
erv 02.09.2012
