Please create an account to participate in the Slashdot moderation system


Forgot your password?
Take advantage of Black Friday with 15% off sitewide with coupon code "BLACKFRIDAY" on Slashdot Deals (some exclusions apply)". ×

Submission + - TGV breaks speed record

zeux writes: While testing the new Paris — Strasbourg line, the TGV broke a 17 years old speed record (babelfish translation), travelling at 553 km/h (343 mph). The last record, of 515 km/h (320 mph), was set on May, 18th 1990. According to the French National Railroad Company (SNCF) the testing campaign will continue and speeds up to 570 km/h (354 mph) could be atteigned by June of this year.

Submission + - Deputy: Type and Memory Safety for C Programs

An anonymous reader writes: Deputy is a C compiler built by researchers at UC Berkeley that uses simple programmer-supplied annotations to catch type and memory errors such as buffer overflows and misuse of union types. For example, if you write a function that takes a buffer and its length as arguments, you can annotate the buffer's type to indicate that its length is stored in the second argument. Using these annotations, Deputy will either verify accesses to this buffer at compile time or insert the required run-time checks. Deputy has already been used on several Linux device drivers and has a corresponding recovery system for Linux called SafeDrive.

"Necessity is the mother of invention" is a silly proverb. "Necessity is the mother of futile dodges" is much nearer the truth. -- Alfred North Whitehead