Latest

• 2013-11-24   Note – ‘Boolean-blindness’ is about types
• 2013-08-04   Note – Testing vs proof in software development
• 2013-07-07   Note – Programming language docs structure
• 2013-07-07   Software – GITI Validator (HTML/JavaScript)
• 2013-06-30   Note – The morality of persuasion
• 2013-06-09   Note – Rule-following and software development
• 2013-05-12   Software – MiniLight 1.6 update (minimal renderer in 8 languages)
• 2013-05-05   Format – GITI Electric guitar music text format (update)
• 2013-03-10   Software – FPDissect floating-point format viewer (C-90 source)
• 2013-02-03   Note – How to approach designing an economic system

    1 
   110
  101 
    0