Model checking vs. Theorem Proving

Fresh deli

• Social Network Icon Pack
  One of the cleanest social bookmarking icons set I've ever seen. Neat!
• Installing Django on Ubuntu Intrepid: Django, Nginx, Apache, mod_wsgi, cmemcache | meppum.com
  A very well written guide to set up a solid webserver to host Django projects, in the modern way!
• Unsafe at any speed: Memcpy() banished in Redmond
  Well, it took a while for them to figure out, but they finally went to the point :) Actually, one of the points.
• Fart Intensity Detector
  How intense that fart was?
• Why Silent Updates Boost Security
  Nice paper, nice claim, although I have never liked to have software installed, or updated, without being aware of that.
• Phone Phishing - The First Phone Phishing and Scams Report Site: Report a Phone Scam!
  The Phone Phishing project allows you to report suspicious phone calls, completely anonymously. This projects aims at collecting data regarding phone phishing attempts, in order to better understand the phenomenon and help the researcher to conduct studies.
• Digital Forensic Tools
  This is really a complete toolbox. This list includes almost everything you need beside your knowledge to dig into digital facts!
• CSS Tables Are Not a Solution
  Sometimes people are so addicted to "thinking in grid" that tend to recreate tables with CSS on other HTML elements. It happened to me once, when I tried to decompose the layout of a whole page into three areas, header, main, footer, each divided into three slices. Namely: preface, content, postface. I keep using this scheme and I think that it's a good way to structure your page, even semantically. However, it's easy to apply the wrong CSS rules and have a table back!
• Common Errors in English
  Am I speaking in the right way?
• Free and simple CMS
  Tiny, clean and painless 5-minutes solution for small semi-static websites.