Cool Bits

The place to post and read about cool things you've learned about and are of interest to the group. Please add things to top of list.

• By reading my email, Google seems to be reading my mind. While viewing a message that had nothing to do with any of these things, all the following

(really interesting) adds came up on the side: (Walid, 08/06/06)

• • Codeless Programming. Create all kinds of applications without using computer languages. www.limnor.com
  • Make Java Work For You. Learn the Skills you Need To Become a Java Expert. www.apress.com
  • .NET Decompiler/Protector Obfuscator, Native Compiler, Linker only suite to 100% stop decompiling. www.remotesoft.com
  • Visual Prolog. Powerful and safe programming tool- Free download version available. www.visual-prolog.com
  • Event Driven Architecture. Design event driven apps. Make informed decisions in milliseconds. www.Progress.com/Apama
• Some nice notes on parsing (Walid, 08/05/28)
• Moshe pointed out this cool meeting scheduling tool (Walid, 08/03/27)
• SciVee (Walid, 07/08/22)
• We don't hear of Ed Lazawska near enough. I encourage everyone to checkout his web-page (Walid, 07/06/23)
• Michael Swift has used some transactional memory ideas to improve the reliability of existing device drivers (Walid, 07/3/12).
• This dissertation looks like a very nice introduction to proving properties about real-valued functions (Walid, 07/1/8).
• How should you run a conference? Some very interesting ideas are being considered.
• Another nice article from Wikipedia on multi-core processors
• This seems to be a good place to get the news on embedded computing
• There is a nice Wikipedia article on Sudoku. I've started playing this game recently, and was wondering if games like this can be useful in teaching computer science ideas. In the meantime, it's just fun! (Walid, 06/9/2)
• University of Houston gets grant from NASA to host robotics competitions. (Walid, 06/08/02)
• Jim Larus has an insighful collection of quotes by other people on the difficulty of writing correct software. (Walid, 06/08/01)
• Stephen Cook seems to have a really cool book on the way, dealing with describing complexity classes in terms of their reasoning power. Check out his homepage. (Walid, 06/08/01)
• Jordan Johnson, who I met at the concurrency summer school, pointed me to what seems to be a nice Scheme-based way to teach compilers. Check out this paper on the nanopass compiler. (Walid, 06/08/01)