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?
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?
"Millions long for immortality who don't know what to do with themselves on a rainy Sunday afternoon", Susan Ertz.