links for 2008-10-14

• Kick-ass Queuing for Ruby: using RabbitMQ over amqp
  (tags: ruby rabbitmq programming)
• Apps Amuck
  31 iPhone applications for 31 days
  (tags: iphone mobile cocoa mac programming)
• The Sun – The Big Picture – Boston.com
  (tags: space science)
• AdaCore: The Tokeneer Project
  The Tokeneer ID Station development project has demonstrated that the Praxis Correctness by Construction development process is capable to produce a high quality, low defect system in a cost effective manner following a process that conforms to the Common Criteria EAL5 requirements.
  (tags: programming security)

About these ads