- Grab the nearest book.
- Open to page 23.
- Find the fifth sentence.
- Post the sentence on your blog along with these instructions.
This relation will be generated by axioms.
Pretty dull-sounding, huh? It’s from The lambda calculus: its syntax and semantics by H. P. Barendregt (revised edition), published by Elsevier in 1984, and a real classic of the field.
Some pieces of Internet humour that amused me:
- A listing of the world’s flags, with letter and percentage grades. The guy responsible is a Wellingtonian, so that proves its merit. He’s absolutely right about the NZ flag (it gets a C or 55%, and is marked down for “Colonial nonsense”). I can’t say the weird shape does it any favours either.
- A description of those who organise their lives “horizontally”. These are the people that only put things into filing cabinets so that they need never look at them again.
- Chess given the RTS publishers’ treatment.
Comments