Now on ScienceBlogs: The Galaxy's Biggest Valentine
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: goodmath
As I've mentioned before, I've been spending a lot of time working on a book. Initially, I was working on a book made up of a collection of material from blog posts; along the way, I got diverted, and...
Posted by Mark C. Chu-Carroll at 12:27 PM • 12 Comments •
Category: programming
I've been being peppered with questions about Go, the new programming language just released as open-source by Google. Yes, I know about it. And yes, I've used it. And yes, I've got some strong opinions about it. Go is...
Posted by Mark C. Chu-Carroll at 4:08 PM • 99 Comments •
Category: Coolness
In general, I try to keep the content of this blog away from my work. I don't do that because it would get me in trouble, but rather because I spend enough time on work, and blogging is my...
Posted by Mark C. Chu-Carroll at 1:50 PM • 25 Comments •
Category: Programming
A bunch of people have sent me links to an article about MapReduce. I've hesitated to write about it, because the currently hyped MapReduce stuff was developed, and extensively used by Google, my employer. But the article is really...
Posted by Mark C. Chu-Carroll at 10:34 AM • 47 Comments •
Category: Programming
I've gotten both some comments and some e-mail from people in response to my mini-rant about Erlang's macros. I started replying in comments, but it got long enough that I thought it made sense to promote it up to...
Posted by Mark C. Chu-Carroll at 9:22 PM • 32 Comments •
Category: Networks
Colored Petri Nets The big step in Petri nets - the one that really takes them from a theoretical toy to a serious tool used by protocol developers - is the extension to colored Petri nets (CPNs). Calling them "colored"...
Posted by Mark C. Chu-Carroll at 9:03 AM • 8 Comments •
Category: Basics
This came up in a question in the post where I started to talk about π-calculus, but I thought it was an interesting enough topic to promote it up to a top-level post. If you listen to anyone talking...
Posted by Mark C. Chu-Carroll at 6:33 PM • 6 Comments •
Category: programming
I feel like a bit of a change of pace, and trying a bit of an experiment. Re-reading Backus's old FP work reminds me of what I was doing the last time I read it, which was back in...
Posted by Mark C. Chu-Carroll at 8:53 PM • 26 Comments •
Category: Basics
As long as I'm doing all of these basics posts, I thought it would be worth explaining just what a Turing machine is. I frequently talk about things being Turing equivalent, and about effective computing systems, and similar things,...
Posted by Mark C. Chu-Carroll at 6:38 PM • 18 Comments •
Category: goodmath
In my discussion with Sal Cordova in this post, one point came up which I thought was interesting, and worth taking the time to flesh out as a separate post. It's about the distinction between a Turing equivalent computing...
Posted by Mark C. Chu-Carroll at 1:08 PM • 40 Comments •
casaubon's book 02.13.2012
denialism blog 02.13.2012
respectful insolence 02.13.2012
evolutionblog 02.12.2012
starts with a bang! 02.11.2012
