[buug] Random bits from and related to 2006-06-01 BUUG meeting

Michael Paoli Michael.Paoli at cal.berkeley.edu
Sat Jun 3 22:02:10 PDT 2006

Random bits from and related to 2006-06-01 BUUG meeting:

CAPTCHA - yes it's an acronym.  The long form isn't all that catchy, though:
Completely Automated Public Turing Test to Tell Computers and Humans Apart
And some recent related article(s):
(I'd mentioned how many CAPTCHAs were getting rather challenging for
humans to decipher ... apparently making it baffling for computers and
easier for humans is a problem that's being worked on.)
And in addition to software that solves various (arguably insufficient)
CAPTCHAs, in at least some circumstances, there are other bypass means, e.g.:
... though that's technically not a CAPTCHA shortfall.

Dependable Software by Design
Mostly mentions Alloy, but also includes a reference to Z:
Tools To Automate Checking of Software Design

More information about the buug mailing list