seanstickle

“ Afghanistan is often called the “Graveyard of Empires,” but I think the phrase is pretty misleading. It seems to imply that empires that venture in Afghanistan get defeated and die. But the fact of the matter is that empires tend to venture into Afghanistan, get defeated, and then walk away and be just fine.

“ SPINdle is a logic reasoner that can be used to compute the consequence of defeasible logic theories in an efficient manner. The current implementation covers both the basic defeasible logic and modal defeasible logic. It can be used as a standalone theory prover or as an embedded reasoning engine.

“ This is the core and fundamental challenge for social and professional network interoperability. The growing plethora of service providers forces a non-scalable solution for the end consumers. The current approach is to provide “aggregator” sites. But this is no different than adding another service provider to the list. The consumer still then needs to repeat their profile, and associate new friends - even in the “aggregator” site itself.

“ The Algebra of Programming group at Oxford studies programming languages and methods. In particular, we are concerned with mathematically sound yet ergonomically convenient techniques for manipulating and reasoning with programs: a calculus is worthless if it is not sound, and useless if it is not easy to work with.

“ Textbook piracy already exists. If you know where to look online, you can find many novels and textbooks scanned in their entirety as PDFs. But until now, pirated textbooks were more trouble than they were worth. Reading them on a computer screen is a pain for obvious reasons. The alternative, printing out hundreds of pages at a time, results in an unwieldly mess that also stands out like a sore thumb whenever you pull it out in class. The Kindle DX changes that. Just find the book you want in PDF form, upload it to your Kindle over USB, and you’ve got a perfectly readable and convenient textbook.