Priorities - A: high, B: medium, C: low; Status - _: unfinished, X: finished, C: cancelled, P: pending, o: in progress, >: delegated. Covey quadrants - Q1 & Q3: urgent, Q1 & Q2: important
A1XPost ../emacs/planner.changelog
C1XBuy two more patch cables

1. Open source advocacy in governments : 11:10

Categories: None -- Permalink
http://www.egovos.org/ has some material for open source advocacy for governments. Link from Thad on penguinista@yahoogroups.com, a Slackware-centric mailing list of Filipino geeks.

2. Paper: Engaging Students with Theory through ACM Collegiate Programming Contests --- education : 12:37

Categories: None -- Permalink
Nikolay V. Shilov and Kwangkeun Yi


"Training sessions are good opportunities to present students with

challenging programming problems that cannot be solved without theoretical background in spite of simple formulation. The trainers should provide students with background theory as soon as students realize the programming complexity of these problems."

Related link:

- Kwangkeun Yi's site has a lot of papers on formal methods. Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers seems interesting.

3. Paper: Laptops in the Classroom --- education : 13:13

Categories: None -- Permalink
Andrea Beth Campbell and Roy P. Pargas


This paper is about mandatory laptop use in the classroom, but since our labs are one-computer-one-student, the insights are useful. Here were the uses they observed:

- posting instructional material online - animating and demonstrating concepts - collaborative learning exercises - instant feedback - automatic program execution and visualization - evaluation and testing - communication

The instant feedback thing looks particularly useful, and I will certainly try to write an online system for that - or adapt http://www.moodle.org, which greatly impressed me when I last checked it.

4. Paper: A Mentor Program in CS1 --- education : 13:30

Categories: None -- Permalink
Amanda Miller, Judy Kay

I can't find a free online URL for this, but it's in the ACM Digital Library.

Maybe it might be a good idea to have compulsory group mentoring for freshmen computer science students...

5. Computer science education research processes --- education: 13:44

Categories: None -- Permalink
http://www.cs.usyd.edu.au/~judy/CSERP/ is the course page for a class that deals with computer science education research. This is the sort of stuff I want to get into. If you come across anything related, please tell me - sacha@sachachua.com . Thanks! =)

6. Will I be able to compete in the ACM ICPC? : 16:45

Categories: None -- Permalink
There's a fairly large chance that I will be taking a masteral degree in Education at the Ateneo de Manila University. I need to have at least half-time load in order to be eligible.

7. DISCS local number 5660 5661 : 16:53

Categories: None -- Permalink
The Department of Information Systems and Computer Science (http://discs.ateneo.net) can be reached at +632 426 6001 loc 5660 or 5661.

8. Catastrophix updates --- cat : 23:49

Categories: None -- Permalink
Catastrophix the kitten is alive and well, although somewhat fishy-smelling (we've been feeding her solid kitten food). She still hasn't figured out the litter box or the water dish, but she makes up for it with quite an appetite.

Some confusion about her age. I'll go with the vet's guess placing her at around a month old. My sister contends that she's far younger. At any rate, Catastrophix can walk around (albeit unsteadily), purr (quite delightfully), and snuggle (rather contentedly).

It's been hard to type with one hand, but it's worth it for that little furball.

9. Thanks to Thomas Gehrlein --- planner : 23:51

Categories: None -- Permalink
Thomas has been patiently helping me figure out how to become a better maintainer, with loads of useful comments, patches, and tips on maintaining better changelogs. Thanks also to people like Jody Klymak and David Forrest for the recent burst of feature additions and bugfixes. =)

10. Aadisht Khanna and t-shirts : 23:55

Categories: None -- Permalink
Aadisht Khanna's recent W-Fillet is right. Plain T-shirts are useful. I can write trendy political messages on them (geek code alert!), advertise my website, and generally have fun.

Unfortunately I will probably have to more or less dress like a teacher next semester, and I feel an urge to be somewhat dressier than the T-shirt and shorts/pants guys at the CS department.

In other clothes news, my mom (in a fit of indulgence, no doubt) got me a red leather dress. Ooooooooh, goodie... =)