> I will say that the people who develop HTDP are the some of the people who spend the most time writing about pedagogy in computing education.
I don't think that's really true. Yes, the HTDP community, and Felleisen in particular, write a lot about Pedagogy. But Mark and Mike have them beat handily. Thinking about the CS Ed blogs I read[1], I don't think any HTDP folks have that much compared to others.