Forum system with much debate, many interesting and useful posts, some nonsense. Begins debate via New Scientist Cyclone article. [Slashdot]

C dialect, based partly on Popcorn, type-safe, polymorphic, gives C control over data representation and memory management, but prevents buffer overflows, dangling pointers, and format string attacks. Description, documents, download.

Cyclone is similar to the C language, but far more bug resistant because it forces code to be checked thoroughly before authors can finish programs, via its special compiler which rewrites code or suggest fixes. [silicon.com]

New computer language designed to avoid programming errors may prevent many security breaches, according to US computer scientists behind project, teams at Cornell University, AT&T Labs New York. [New Scientist]

Cornell University, AT&T Labs developing language like C but far harder for authors to introduce bugs when programming; data representation, calling conventions interoperable with C styles, which simplifies porting. [Security Administrator]

Treats advantages, drawbacks of Cyclone, focus: should one use it in programs? Introduces major benefits, examines new features, more so ones most significant to C programmers, covers ease of porting C code. [SecurityFocus]