|
|
Monday, May 19th, 2008
|
12:40p - schedule for July
Since CogSci is 23-26 July (in DC), and I really want to go, I shouldn't spend two whole weeks in Helsinki after the conferences. I wonder if I can spend a week before the conference and one week after. The problem is we'll be busy preparing our talks...
(comment on this) 
|
1:32p - typed SICM?
I'm a fan of Gerald Sussman's SICM, a Scheme-based course on classical mechanics which, by replacing obscure notation with computer programs, makes concepts clearer. I wonder if using a typed language would improve clarity further. Certainly, variables have units, which seem like natural candidates for specifying the types.
(comment on this) 
|
|
|
|