Exploit based on Leaked Win2k Code; Funny Look at the Win Source

Slashdot reports that a post to Bugtraq from SecurityTracker.com reports an Internet Explorer 5 exploit that has been released based on the Win2K code leak: "It is reported that a remote user can create a specially crafted bitmap file that, when loaded by IE, will trigger an integer overflow and execute arbitrary code." Elsewhere, this is a quick, superficial look at the style and content of the leaked Windows 2000 source, quoting from the comments but not the code, so this should be safe for developers to read.

SkyOS Gets Localization Support

SkyOS is now able to handle and display text from all languages. Because of the recently introduced keyboard/UNICODE mapping and UTF8 handling in the entire GUI and applications you can type and view text from languages like English, German, Chinese and more. Check the news & shots here.

An Overview of PROMELA

PROMELA is not a programming language. PROMELA is a language for building verification models. As a result of this specialization, PROMELA contains many features that are not found in mainstream programming languages. These features are intended to facilitate the construction of high-level models of distributed systems. Gerard Holzmann provides an overview in this chapter from his book, "The SPIN Model Checker: Primer and Reference Manual."

Rexx for Everyone

It's easy to get lost in the world of "little languages" -- quite a few have been written to scratch some itch of a company, individual, or project. Rexx is one of these languages, with a long history of use on IBM operating systems, and good current implementations for Linux and other Free Software operating systems. Rexx occupies a useful ecological niche between the relative crudeness of shell scripting and the cumbersome formality of full systems languages.

Mac OS X Panther: Room for Improvement

"I love my black cat. It has served me well since October with its new Finder, refined interface, Fast User Switching, and Exposé. I love Panther so much that I am willing to debate until the wee hours of the night with PC Zealots and die hard Classic supporters about its merits. Even in all of its glory, however, there is always room for improvement." Read the suggested improvements article at MacZealots.com.

What Does Linux Cost?

"The worst part about this is that the MCSEs involved are right: Linux can never be as good a Windows 2003 server as is Windows 2003. Linux isn't a cheaper form of Windows; direct substitution without change in thinking fails initially from a technology perspective and fails in the longer term from a cost perspective", says Paul Murphy.