Comment Do you still work on AI related material? (Score 1) 480
Reading Sanjoy Mahajan's Street-Fighting Mathematics, he references a paper you published with Sussman about constraint propagation, the paper being about computer-aided circuit analysis. Do you still work on AI-ish topics like that? Or is it FSF-turtles all the way down?