Domain: sf.net
Stories and comments across the archive that link to sf.net.
Comments · 3,385
-
Re:New Names
Dear Mr. KDan,
This letter is to express our wish that you immediately cease and desist your attempt to dilute the name of our product.
Sincerely,
The Zinf Team
(Zinf is not FreeA*P)
P.S. Your name would be so much cooler if it had an "o" in it. It would also help if you had an armada of space warships. -
PVR HardwareAs far as hardware goes, you could check out the PVR Hardware Database at http://www.goldfish.org/~mcooper/pvrhw/. It holds a rated list of peoples different hardware set-ups.
Software wise, MythTV is by far the best solution atm, although Freevo is coming along.
-
Re:Others...
I geuss you could add GJay to the list...
-
Re:Technology Abused, Good Media, and Misconceptio
Furthurnet has (twice? three times?) removed all Phish shares because some moron put up a disc or two Phish was selling from their website. Everything on it is supposed to come from tapers trading shows where the bands authorize audience taping. Some good stuff, lotsa hippies.
-
Re:Shot themselves in the FootThey are "FIREBIRDSQL"
No they're not. The domain name www.firebirdsql.org is probably because www.firebird.org was already taken, or something.
-
This sort of thing will soon be obsolete
The product talked about in the article isn't about duplicating the functionality of X11 or VNC on a PDA- that can already be done using free and open source software on many PDAs already, including the Newton, PocketPC, vanilla WinCE, PalmOS, and PDA Linux.
It's neat- but as a person working on a "next-generation" [1] computing environment for PDAs called Dynapad, I see it as a symptom of poor applications and application frameworks on both the PDA and the desktop.
In Dynapad, this app is completely
It is really too bad too see companies working on various PDAs- Microsoft, Palm Source, and those providing LInux PDA solutions- staying so... legacy. The PDA is the perfect opportunity to actually move forward in software, but these companies stick to the ways we do things on the desktop. The notable exception is the Newton OS, but Apple killed that.
Dynapad uses a database as it's means of data storage, rather than flat text or binary files using a wide variety of file formats- many of which are poorly documented or not documented at all. In Dynapad, if I want to get at the data on my desktop, I just specify the IP address for the database to use, or simple use the local one. Naturally, you have a different UI in the PDA mail client than in the desktop version, but the underlying data can be used in either. No magic tricks, no special pain-in-the-ass programming. I'd even say it is easier to write code using this system than to go through the motions of inventing a new file format or even using XML.
Just because something is old doesn't make it bad. However, there is a point at which it does make sense to move past the old paradigms and start to do things the better way. Dynapad is aiming to do that.
[1] Sorry, couldn't help the manager-speak. :P -
Two minutes Googling reveals the truthFrom http://www.theanomaly.net/blog
Updated: See what happens when you donâ(TM)t pay attention to the big picture? Eric Bogs was kind enough to tell me Iâ(TM)m an idiot and a gullible fool for not realizing this was Yahooâ(TM)s Weekly World News, which is akin to The Onion. Hey, itâ(TM)s still a fun article.
The rest of the Yahoo web site is also funny, though. I did not know about it.
Time travel into the future of programming: http://mozart-dev.sf.net
-
Re:In related news
You can get a pre-packaged (unofficial) binary for RedHat 9 here: http://newrpms.sunsite.dk/.
Or install from source.
Or even switch distro
:) (says while writing this on his RH8 box and as a packager of Wine for RH8 on sf.net). -
Re:What I want from a media PC
In two years time, who knows what new super-duper format will be king?
If you are worried about that, pay for a few more gigs and encode in lossless formats such as flac. -
Compress it with UPX
Use UPX to compress phoenix.exe. I'm running one of the nightlies and I got it to go from 6.6MB to 2.7MB. It's not a lot of space, but it helps, and there's no decrease in speed.
-
Here's the article
SAVE THEIR SERVERS: Ok, I've never written a tutorial of any kind in my life... so if this is posted anywhere, you can edit it (to a point
... keep the main writing.. but adding photo's, etc are fine by me, just give me a lil credit) And with that said .. I'll start...
This tutorial will explain how to go about mounting your Xbox HD's game save partition under Linux on a PC, in order to get habibi_xbox's 007:Agent Under Fire game save along with raincoat and your bios of choice onto the Xbox's HD, eliminating the need for a Mega-X-Key!
What you'll need:
Xbox
PC running Linux (distro of choice)
Linux kernel 2.4.20 source ( http://www.kernel.org )
"Kernel" folder from xbox-linux's CVS ( http://xbox-linux.sf.net)
007: Agent Under Fire retail DVD
Soldering Iron + Solder (and torx screw drivers)
*Warning... i installed a fresh copy of Slackware Linux on an old PC just to do this, following this tutorial can cripple your linux system if you don't revert back to your old kernel... or compile a new one... unless you know what your doing*
1st things 1st! Now you must open up your Xbox *which I don't think I need to explain how to do*, take out the motherboard, and solder the 2x2 jumpers (one's on top, ones on the bottom of the mobo) pictures: http://www.xbox-scene.com/articles/tsop.php . Now put everything back together, but leave the case top off, and keep the Xbox near your pc!
Now, download the Linux 2.4.20 kernel source from http://www.kernel.org *look in the archives!*, move the tar.gz or tar.bz2 file to /usr/src and extract. This should leave you with a folder named "linux-2.4.20". Next, get the "Kernel" folder from the Xbox-Linux team's CVS *sourceforge tells you how to get on their CVS server... just user kernel as the module name*. After doing so, move the contents of the "kernel" folder to the "linux-2.4.20" folder.
Go into the linux-2.4.20 folder and read the README.xbox file! Follow it's instructions to the point right before compiling the kernel! Next, run "make xconfig" or "make menuconfig" in console while in the folder. Configure the kernel as you normally would *I assume you have some knowledge about Linux*, remove USB support, and turn off all Xbox specific functions... Make sure to leave FatX support in though! When done, run *without quotes* "make dep ; make modules ; make bzImage ; make modules ; make modules_install ; make install" This will automatically do everything needed. Next, shutdown, and use the Xbox HD swap trick to unlock your Xbox's HD and connect it to your PC (Turn on your pc, wait for it to boot RIGHT BEFORE it gets to your Linux boot loader screen press the Pause / Break button. Turn on Xbox, wait for it to boot to the dash, unplug IDE cable from Xbox, connect an IDE cable from your PC into the Xbox's HD and press any key. Your pc should boot as normal, into Linux... except now it see's your Xbox's HD!
*NOW, BACK UP YOUR XBOX HD! MAKE AN IMAGE FILE OF THE HD!!! I don't know the command do to so under linux, but I used HDD Driver under windows to do it ... but seriously, if something goes wrong here, you can be left with a bunk HD if you don't have a backup!*
Now, make a new folder in /mnt (I used /mnt/xbox myself). Now, look in the /dev folder, you should see "hda50 hda51 hda52 hda53, etc..." *it may not be hda, it could be hdb, hdc, or hdd...*. After seeing what block device it is, type this command into console"
mount -t fatx /dev/hda50 /mnt/xbox" ... if it works, you will see no error message. Go into the folder in which you mounted the partition to, and guess what! You should see TDATA and UDATA folders! -
Re:wow
-
Re:wow
-
Re:Unfortunately..
I think there are some Firefly episodes on mnet, check it out.
Mnet -
there's gaim with cross-platform rsa encryption!
A few shameless plugs, yes, but the facts remain. Gaim is available for a plethora of platforms. Of those platforms, the Gaim-Encryption plugin works on 4 of them: Solaris (Sparc), Linux (x86), Win32, and Familiar Linux on the iPAQ (arm).
The Gaim-Encryption plugin uses OpenSSL with RSA keys, auto key exchange, etc. Really really good stuff. And best I can tell, gaim is now the ONLY IM client with cross-platform encryption. The encrypt plugin lets you talk crypto across ANY of the IM platforms gaim supports, which is not a short list: AIM, MSN, IRC, Jabber, Yahoo!, ICQ, Napster(?), Zephyr, and Gadu-Gadu.
The Gaim-Encryption maintainer provides pre-built packages and installers for several distros and Win32. So you can get it all in one spot.
Seriously, "It Works. Well(tm)". -
there's gaim with cross-platform rsa encryption!
A few shameless plugs, yes, but the facts remain. Gaim is available for a plethora of platforms. Of those platforms, the Gaim-Encryption plugin works on 4 of them: Solaris (Sparc), Linux (x86), Win32, and Familiar Linux on the iPAQ (arm).
The Gaim-Encryption plugin uses OpenSSL with RSA keys, auto key exchange, etc. Really really good stuff. And best I can tell, gaim is now the ONLY IM client with cross-platform encryption. The encrypt plugin lets you talk crypto across ANY of the IM platforms gaim supports, which is not a short list: AIM, MSN, IRC, Jabber, Yahoo!, ICQ, Napster(?), Zephyr, and Gadu-Gadu.
The Gaim-Encryption maintainer provides pre-built packages and installers for several distros and Win32. So you can get it all in one spot.
Seriously, "It Works. Well(tm)". -
there's gaim with cross-platform rsa encryption!
A few shameless plugs, yes, but the facts remain. Gaim is available for a plethora of platforms. Of those platforms, the Gaim-Encryption plugin works on 4 of them: Solaris (Sparc), Linux (x86), Win32, and Familiar Linux on the iPAQ (arm).
The Gaim-Encryption plugin uses OpenSSL with RSA keys, auto key exchange, etc. Really really good stuff. And best I can tell, gaim is now the ONLY IM client with cross-platform encryption. The encrypt plugin lets you talk crypto across ANY of the IM platforms gaim supports, which is not a short list: AIM, MSN, IRC, Jabber, Yahoo!, ICQ, Napster(?), Zephyr, and Gadu-Gadu.
The Gaim-Encryption maintainer provides pre-built packages and installers for several distros and Win32. So you can get it all in one spot.
Seriously, "It Works. Well(tm)". -
Re:Jabber's interface sucks
If you're using Windows, Exodus is a pretty nice Jabber client. Miranda is also excellent, it's an ICQ client, but with tons of plugins (and you can even turn ICQ off). Get Miranda's latest Jabber plugin.
In Linux I use Gabber. -
Re:Jabber's interface sucks
If you're using Windows, Exodus is a pretty nice Jabber client. Miranda is also excellent, it's an ICQ client, but with tons of plugins (and you can even turn ICQ off). Get Miranda's latest Jabber plugin.
In Linux I use Gabber. -
Re:Jabber's interface sucks
I went through practically every Linux client I could find before finding one that I was happy with. Psi is a Qt-based client that acts and feels very much like the original ICQ client. No ads, sidebars, topbars, navbars, barbars... just a regular clean and simple IM client. There is an extensive client list for Win32, Linux and MacOSX which lists the features of each. Psi works on all three, which is another reason I chose it. That, and the fact that, at the time, it was the only NON-Gtk client that looked half assed presentable and the ONLY Linux client that didn't take up a lot of screen real estate, and the ONLY Linux client that did NOT pop up the incoming message, stealing focus from whatever I was typing into.
Psi's Jabber client lib (and ssl comms) have been adopted by KDE for their IM clients too, which is a nice bonus.
-
The worse things about SPAM Take Two1. Reversed Cost: It costs them very little to send one email which has hundreds of recipients. The bandwidth it consumes is a huge cost factor for the ISPs, which in turn, has to compensate for it by charging the customers more. Indeed, spam is most like junk FAXes, which are sent at the convenience of the sender and the expense of the recipient. With third class mail, if you don't want it, you throw it out, and it takes very little time. If you are interested, you open it. Spam email costs you and your provider money to receive whether you ever read it or not. [src="FAQ #4 @ Spam.abuse.net"]
2. Disruption: Spam brutally disrupt your every-day routine. I can waste an hour a day going through your personal or work mailbox to delete spam. Email is such a personal, direct form of communication, having so many unsolicited messages in your mailbox is intrusive and disruptive.
Paul Graham (the guy who wrote POPFile, probably the first bayesian spam filter) has a great eassy about why spam is bad. I couldn't say it better myself.
-
It needs a lot of work...
But it fits into my code bounty.
:)I'm really hoping Advanced Tracker takes off, he's got a great design but nothing much yet, code-wise.
I've also been working off and on on getting CheeseTracker going on MacOSX, but it's got a lot of weird GTK issues. Reduz is working on porting it to Qt right now, though, so maybe it'll be a possibility in the future.
All I know is, there's crap for trackers on OSX (and Linux for that matter) now. Here's to finding something that works, dammit!
:) -
Re:Mildly OT: Streaming video ?
Get Mplayerplug-in it will do what you are asking
-
Re:Congrats to the MPlayer team!
I continue to be astounded by what mplayer and mencoder are capable of, and I shudder to think of what my Linux movie watching experience would be like without them.
Not trying to bash mplayer or anything, I used for quite some time, but how about Xine ? I switched over a few months back and I've been more than happy with that.
I think the approach in Xine is more *nixy like with the marvellous lib and multiple UIs. But that's just my 2 cents... -
xine! (was: Re:MPlayer)
-
xine! (was: Re:MPlayer)
-
Re:Windows Media on Linux
-
Re:Windows Media on Linux
-
Re:Buy a NEWER computer!
"Here's some advice: buy a newer used computer! What the heck do they pay "technical writers" anyway!?! Heck, I see Dell desktops with 7 - 900 mhz PIIIs for 300 bucks!"
That's not a solution, only a bad trade off.
What you call old systems are not that old and they are still working hardware.
Perhaps I shouldn't say this as alot of the systems I have now are from others tossing them away as they "upgrade their system hardware".
And it is this hardware that I'm looking to find software to make them useful in terms of today.
with some shrugs as to why things didn't work and now do.... I installed College Linux DM on an IBM aptiva 266Mhz...... haven't tested modem or printer yet, but the sound card works.... don't know about playing CDs yet... not to mention burning any...
I suspect things like multi-user issues contribute to complexities that many if not most desktops users don't really need to have to deal with. As such there really should be a distro that is for a single user system...
Another OS I'm looking at as a free and open source based system is AROS which I hope in time will become a single user system of choice by those supporting such free and open source software. As a clone of the Amiga OS and my experience with the Amiga OS.... a small robust multi-tasking easy to use OS is greatly needed.
Even better is the possibility to use such an OS hosted on a GNU complete system (The Hurd core) as a user space OS that can IPC tap into the resources of the GNU system.....
But still...... Working hardware is worth throwing out only when it breaks..... not when software leading edge makes it slower...
There really is a problem with computer component landfill pollution...
In any event people don't like throwing out what is still working and if you can install software that make the hardware useful still....
To be able to easily install Linux in a manner that is useful only means spreading linux not only freely but upon hardware that is either free or damn well near it... more so than $300 cheap... -
Re:Anybody have a working binary?
4. use a dos emulator
as for 3, go to ebay.com, local computer shop, or ask your buddies for it. -
Re:Exactly!
Quite so. I recently threw away about 400 lines of Java code from PMD and replaced it with 10 XPath expressions. Less code, same unit tests, same results. All good stuff.
Yours,
Tom
-
Re:FrontPage is not a HTML editorWML does most of what you list, and I've found it far niftier than most of the WYSIWYG stuff. Has everything from macros and Perl subroutines through custom tags, content diversion, conditional slicing (good for building different language versions from same source file!), markup fixups (and I pipe everything through Tidy afterwards, whee, clean as heck).
It allows me to operate on clean, simple HTML snippets and hide unbelieveable amount of complicated generation behind clean tags and processing instructions.
FrontPage may be good for people who make changes to websites, but WML is good for people who make changes to their websites and know what they've done. =)
-
Re:A Better Finder
What I think would be great is a shell that's linked to a graphical file browser. If Konsole and Konqueror were linked, such that when I typed, "cd ~/Stuff" in Konsole, Konqueror would act like I'd clicked on "~/Stuff," then I would get the power of a terminal but the easy visualization of the graphical file browser. THAT would be killer.
You are thinking about it the wrong way. What you apparently want is a command-line in your filemanager. Personally, I use emelfm, which has a command-line which acts just like an xterm. You read the output in a part of the filemanager, so I wouldn't recomend doing serious work on the command-line, but it's perfect for highlighting a few files/folders in the filemanager and running DU or something else on them... It's much quicker and easier than typing everything out in a terminal.
The feature closest to what you want, is the ability to open an xterm from the directory you are looking at. It's very quick and easy, and I use it very often (eg. change to a folder, click on a TGZ to extract it, open an xterm and type make). It's a very nice gtk-based filemanager. I suggest everyone at least spend 5 minutes to try it. -
Re:April Fools Aside, what is wrong with RPM?So you try to install lynx and find perl is a dependency. wha? ok, so you install perl. You don't really have space for it on this box, but hey, maybe it will come in handy. But the perl rpm says a dozen or so perl modules are dependencies. huh? Those damn things are optional, goddammit.
Sounds like you want something like Zero Install. It uses the globally unique nature of the Internet's DNS system to remove the need for a central package database, allowing packages to be fetched (and cached) as they're needed, so you never install anything you don't use.
There are no dependancy issues, because applications link to resources by URI, so the system always knows where to get missing files from.
And you don't need to be root to 'install' stuff, because it's just a high-speed network cache, so all users can install stuff easily and safely, and you don't get buggy running-as-root postinst scripts bombing out and messing up your system like on Debian, etc.
And April 1st was probably a bad time for me to announce this
;-) -
Argh. Matt Wright. Argh.From their opening page:
We will start off the week installing a perl script from Matt Wright's script archive.
Argh. Haven't they heard of the CERT warnings against those scripts? Haven't they heard that Matt himself has denounced his programs in favor of the NMS project?How do people get so clueless, and yet have such a strong desire to share what they (don't) know?
-
Personal Expierences
I wouldn't like to be without my Zaurus today. I decided to ditch the Sharp ROM and install openzaurus. It make a cool little PDA and added to a WiFi card open some intresting possibilities. Apart from the normal war walking/driving (if so look at kismet) I've used it to map out the range of my WiFI access point.
The reasoning behind this is that I want to setup a WLAN across the village I live in so that we then might be able to get some broandband. Now instead of having to lug a laptop round and hold it I can just walk out side with the Zaurus and get it to ping. Now I've got a rough idea of how far my access point will go and how to setup a Mesh
Oh and also it has Konquerer which is nice. My only problem is with the konsole app as I won't render pine nicely. Apart from that go buy one
Rus -
Re:Tiki?
Heh.. namespace overload. Tiki (also hosted by sourceforge) is the graphical frontend for the scientific software run on one of the Beowulf Clusters at Georgia Tech. (Emag simulations, to be precise).
-
Tiki?
Tiki 1.6, currently under development and due for probably release within the next few weeks, is getting a calendaring system and they are looking at this being one of the few major features left to add. Maybe with some assistance (nudge, nudge) it could expand beyond the current goals into what you are discussing in the next version? Right now I'm finishing off adding LDAP support, and it already has webmail, NNTP, file and image galleries, wiki, weblog, and a really flexible permissions system.
-
Nobody has written the server
The standards exist, but no one has written the server.
You can't really blame them since the Calendar Access Protocol (CAP) which is going to be the IMAP+SMTP of Calendaring, providing synchronous calendaring to clients is on it's 10th draft. Read this email if you have lost hope that the IETF would have calendaring anytime soon. Appearently draft 11 is coming soon and it will be the last one. So it looks like CAP will be finalized RSN. (Thank God, this thing was becoming like Duke Nukem Forever)
You could poke a stick at the OpenCap Server project and see if you get a response. But I haven't heard anything in months.
I don't know what's up with the Libical guys. The mail archive has been dead since December 16. Of course some of them are working on Free Association which is supposed to be a server and client. Since the mailing lists for libical seem dead I couldn't tell you what the status of CAP support currently is. My understanding was that they had been keeping up with the drafts, but since the 10th one was released about a month ago, I have no idea what the current status is.
Mozilla should be getting Calendaring in 1.4. IIRC, the calendaring uses libical. The College of Charleston computing dept has taken on enhancing the client (Go Cougars!). Hopefully they'll be putting CAP support in.
If anyone wants to know what it would take to write a calendar server and put an end to the Notes/Exchange duopoly in groupware, visit the Calendaring and Scheduling Working Group of the IETF. These are the guys that have brought you iCAL (RFC2445), iTIP (RFC2446), iMip (RFC2447), iCal Locating and LDAP (RFC2739) and the Guide to Internet Calendaring (RFC3283).
Read the iCalendar Guide then all the other documents at the site. Next go write the server. Then make sure Mozilla's Calendar client works with it, and email me so I can go replace exchange servers with it.
If you find a solution that does not use CAP, beat the authors with a ClueStick till they give in and write something that uses IETF protocols so we can interop with it.
Personally I'd really like to see the Cyrus IMAP server get a CAP piece put in. Combined with OpenLDAP and Mozilla as the client, it would be a Notes/Exchange killer.
While I'm sitting here making demands from the Open Source messaging community, why the hell doesn't Mozilla get SIEVE (RFC3028) support so we can have a standard for server-side email filtering rules, Cyrus supports it in the IMAP server. Oh, and I also want write support for LDAP address books in Mozilla.
To answer the original question, I think it's coming, slowly, but coming. Lord knows, I've only been waiting for 4 years or so. -
Re:Wireframes?
This should be dead easy (if your game uses OpenGL) by using Chromium.
-
Re:Is it just me
Flash should be replaced by a proper W3C standard, that way everybody can play without running closed code from Macromedia.
Lo and behold, just such a thing exists!!!
It's called Scalable Vector Graphics (SVG) http://www.w3.org/TR/SVG/Don't worry, you can still do all your stupid, annoying animated 'punch the monkey' type of nonsense, but at least your monkey is standard XML. And your audience can 'view-source' your monkey if they like, thus enabling a whole community of open-sourced monkey punching animations.
You can generate it server-side (or even rasterize it for those with crappy browsers) with a spiffy batch of tools by those same people who brought you the Apache HTTP server.
There's even a very nice gtk SVG editor app available for X11, and Win32 available here.
Of course, there is a small downside, as of yet, mozilla (and IE) only support it with the use of a plugin, but if you're used to flash, you shoudln't mind that. As soon the the mozilla folks get around a liscencing issue, moz should support it natively (some builds already do).
In summary:
Proprietary 'punch the monkey' things suck ass.
Open standards-based 'punch the monkey' things suck considerably less. -
Freenet?
Would it be a good idea for Al-jazeera to publish their content on freenet? Their articles would then be immune to any kind of censorship like they claim they are victim of.
-
lMule (Linux)
-
what happened to giFT
i'm surprised nobody mentions giFT anymore. the later cvs's work pretty well now, with less corruption.
-
Re:Lucas Arts
I completed Sam'n'Max just a few weeks ago using ScummVM! It worked great!
-
DOS attacks on financial sites
We host a fair few (60 or so) financial-orientated websites, with an average query-level of some 10-20 queries per second on the database supporting those sites.
We have an 8-way cluster of machines to support this (way-overkill for the most part) but recently, we've been (almost) hitting limits... The apache service has logged peaks of 1000 connections/second, with the DB query-level going as high as 70,000/second....
I'm actually fairly happy that the system can more-or-less cope with the load, but nonetheless, I want to make sure (or at least as-sure-as-possible) that we can't be easily DOS'd, so this weekend I'll be writing an Apache module to monitor the number-of-connections-per-second on an IP-by-IP basis, and take a decision to run a script depending on thresholds....
I think stateful firewalls could probably manage it but for historical reasons we're stuck with what we have, and having apache call a bandwidth-limiting script on an IP address that's registered 5000 hits in the last minute (for example) seems reasonable :-)
If there's something that can do this already, I'd like to know - I've found (ntal), but running a script per packet doesn't appeal :-( I prefer the idea of hitting a limit in Apache that triggers a script that limits access (dynamic firewalls)
Ideas gratefully received :-)
Simon -
Not a chance
Personally, I won't pay three cents to send an email.
- I don't want to deal with the headache and I don't think anyone else does either. I suspect that it wold be more difficult to make this a reality than deleting a few spams.
- Why bother when spam filtering is getting so good? I've been using Spambayes on a trial basis for a while now and it's been very good to me.
- I can send it for free now; why pay? Plus, I don't want to see three cents rise to something nutty like $0.38.
-
Re:Yea!!!
Wanna party like it's 1993? Just: Use mozilla to disable pop-ups and nosy cookies. Use the proximitron or filterproxy, depending on your OS. Use a big-ass hosts file and edexter (or eDexterJavaDog for non-windows users) if you want.
I use nt at work, linux at home, and I don't do ads. Bottom line, WE control what happens on our computers. Let's not forget that we have this power, or that we're going to have to fight to keep it. -
TI?? Screw 'em!
What, a
/. adv^H^H^Hpost about Texas Instruments?
As long as they don't bother giving out proper specs for their products on request or even properly working Linux drivers (e.g. for the ACX100 wireless networking thingy, see e.g. http://sf.net/projects/acx100/), they should be shunned IMHO. -
Re:OSS alternatives to code checking tools
I hack on Smatch which is quite similar to the Reasoning software.
The cool thing about smatch as oposed to lint etc is that you can look for bugs specific to your codebase. For example, in the Linux kernel you are not allowed to call copy_to_user with a spin_lock held.
It's pretty simple to throw together a smatch script that looks for that kind of bug.
I'm not sure how useful writing specific checks like that is for smaller projects, but for a huge project like the linux kernel, you are always going to find bugs.
And of course some of the smatch checks can be generalized for all programs. For example, no one likes to leak memory.