Profile

Cover photo
Mark Chu-Carroll
Works at Dropbox, Inc.
Attended Rutgers University
Lives in Westchester County, NY
1,175 followers|51,248 views
AboutPostsPhotosVideos+1's

Stream

Mark Chu-Carroll

Shared publicly  - 
 
There’s an image going around that purports to explain the origin of the arabic numerals. It’s cute. It claims to show why the numerals that we use look the way that they do. Here it is: According to this, the shapes of the numbers was derived from a…
There's an image going around that purports to explain the origin of the arabic numerals. It's cute. It claims to show why the numerals that we use look the way that they do. Here it is: According ...
1
Add a comment...

Mark Chu-Carroll

Shared publicly  - 
 
Over time, I’ve come to really, really hate the number φ. φ is the so-called golden ratio. It’s the number that is a solution for the equation (a+b)/a = (a/b). The reason that that’s interesting at all is because it’s got an interesting property when you…
1
Add a comment...

Mark Chu-Carroll

Shared publicly  - 
 
Now, we’re getting to the heart of type theory: judgements. Judgements are the basic logical statements that we want to be able to prove about computations in type theory. There’s a basic set of judgements that we want to be able to make. I keep harping…
1
Add a comment...

Mark Chu-Carroll

Shared publicly  - 
 
Sorry for the gap in posts. I’ve been trying to post more regularly, and was just hitting a rhythm, when my son brought home a particularly vicious bug, and I got sick. I’ve spent the last couple of weeks being really, really sick, and then trying to get…
1
Add a comment...

Mark Chu-Carroll

Shared publicly  - 
 
When a friend asks me to write about something, I try do it. Yesterday, a friend of mine from my Google days, Daniel Martin, sent me a link, and asked to write about it. Daniel isn’t just a former coworker of mine, but he’s a math geek with the same sort…
3
Add a comment...

Mark Chu-Carroll

Shared publicly  - 
 
Pardon me, while I go off on a bit of a rant. There is a bit of math content to this, but there’s more politics. There’s a news story that’s been going around this week about a guy who’s bitterly angry. His name is Luis Lang. Mr. Lang is going blind…
4
Add a comment...
In his circles
101 people
Have him in circles
1,175 people
Ben Reay's profile photo
Clover Iris's profile photo
Alex Wild's profile photo
Michael Swaine's profile photo
Matthew Rathbone's profile photo
Le Citydeluxe's profile photo
Mapia Mr's profile photo
Valentine Svensson's profile photo
Lê Hương's profile photo

Mark Chu-Carroll

Shared publicly  - 
 
A few weeks ago, my wife took me out to dinner at an Izakaya that she found. If you don’t know about Izakayas, you really need to find one and try it. An Izakaya is basically a Japanese sake bar – it’s sort-of the Japanese equivalent of a Tapas bar – you…
1
Add a comment...

Mark Chu-Carroll

Shared publicly  - 
 
I made an amazing dinner tonight, out of a total ad-lib. So I want to write it down so I’ll remember it. This turned out to be the best steak I’ve ever made. The Steak 1 pound skirt steak Kombu leaves 1 teaspoon finely minced garlic 1 teaspoon finely…
1
Add a comment...

Mark Chu-Carroll

Shared publicly  - 
 
This is a traditional chinese dish that my wife grew up eating in Taiwan. For some reason, she never told me about it, until she saw an article with a recipe in the NY Times. Of course, I can’t leave recipes alone; I always put my own spin on it. And the…
1
Add a comment...

Mark Chu-Carroll

Shared publicly  - 
 
One of my constant off-topic rants around here is about racism and sexism. This is going to be a nice little post that straddles the line. It’s one of those off-topic-ish rants about sexism in our society, but it’s built around a core of bad logic – so…
1
Add a comment...

Mark Chu-Carroll

Shared publicly  - 
 
Continuing where I left off: we were talking about arity in Martin-Löf’s theory of expressions. There are two basic problems that arity solves: it makes certain kinds of impossible-to-evaluate expressions be invalid in the theory; and it helps enable some…
1
Add a comment...

Mark Chu-Carroll

Shared publicly  - 
 
In the last post, we started looking at expressions. In this post, we’re going to continue doing that, and start looking at a simple form of expression typing called arity. Before we can do that, we need to introduce a couple of new formalisms to complete…
1
Add a comment...
People
In his circles
101 people
Have him in circles
1,175 people
Ben Reay's profile photo
Clover Iris's profile photo
Alex Wild's profile photo
Michael Swaine's profile photo
Matthew Rathbone's profile photo
Le Citydeluxe's profile photo
Mapia Mr's profile photo
Valentine Svensson's profile photo
Lê Hương's profile photo
Education
  • Rutgers University
  • University of Delaware
Basic Information
Gender
Male
Other names
Mark Carroll, MarkCC
Apps with Google+ Sign-in
  • WordPress
Story
Introduction
Software engineer, programming language maniac, and author of Good Math/Bad Math.
Bragging rights
Serious geek, math nerd, general dork. Winner of the "Geekiest Science Blogger", 2007.
Work
Occupation
Software Engineer
Employment
  • Dropbox, Inc.
    Software Engineer, 2015 - present
  • Twitter Inc.
    Staff Software Engineer, 2013 - 2014
    Software tooling for Mesos.
  • foursquare labs
    Programmer, 2011 - 2013
  • Google
    Software Engineer, 2007 - 2011
  • IBM
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Westchester County, NY
Previously
Bridgewater, NJ - Bridgewater, NJ - Ramsey, NJ - Newark, DE
Links
Contributor to
Mark Chu-Carroll's +1's are the things they like, agree with, or want to recommend.
Encyclopedia of American Loons: #282: Glenn Moon
americanloons.blogspot.com

Glenn Moon (not related to Sun Myung other than in spirit) may have received less attention, but he is surely no more in touch with reality.

Everyone should program, or Programming is Hard? Both! | Good Math, Bad ...
scientopia.org

I saw something on twitter a couple of days ago, and I promised to write this blog post about it. As usual, I'm behind on all the stuff I wa

Evernote
market.android.com

Evernote turns your Android device into an extension of your brain. ★ New York Times ‘Top 10 Must-Have App’, Winner: TechCrunch Crunchies,

Alidoro
nymag.com

View the menu for Alidoro. Updated regularly.