NASA Goes SourceForge

refactorator writes "We have a lift-off! The NASA Ames Research Center has open sourced Java PathFinder , a JVM that is an explicit state software model checker, all written in Java. For the first time, the complete master development site of a live NASA software engineering project is hosted on SourceForge. Read the official press release for details. The team around John Penix, Willem Visser, and Peter Mehlitz fought long and hard to get the development hosted outside of NASA, to enable true collaborative software development. Now show the government that it works - join the fray. May Java PathFinder boldly go where no NASA program has gone before." (Both Slashdot and SourceForge are part of VA Software.)

Comments

NASA, the rocket scientists?

[arothstein]

This from the same group of jackoffs who only find it "odd" that the o-rings are burning through on each launch, and "strange" that chunks of insulation are falling off the external tank. No action taken. 2 Shuttles lost. Nice job. Yeah, I'm interested in their code.

*_g_o_a_t_s_e_x_*_g_o_a_t_s_e_x_*_g_o_a_t_s_e_x_*_
g_______________________________________________g_ _
o_/_____\_____________\____________/____\_______o_ _
a|_______|_____________\__________|______|______a_ _
t|_______`._____________|_________|_______:_____t_ _
s`________|_____________|________\|_______|_____s_ _
e_\_______|_/_______/__\\\___--___\\_______:____e_ _
x__\______\/____--~~__________~--__|_\_____|____x_ _
*___\______\_-~____________________~-_\____|____*_ _
g____\______\_________.--------.______\|___|____g_ _
o______\_____\______//_________(_(__>__\___|____o_ _
a_______\___.__C____)_________(_(____>__|__/____a_ _
t_______/\_|___C_____)/______\_(_____>__|_/_____t_ _
s______/_/\|___C_____)__NASA_|__(___>___/__\____s_ _
e_____|___(____C_____)\______/__//__/_/_____\___e_ _
x_____|____\__|_____\\_________//_(__/_______|__x_ _
*____|_\____\____)___`----___--'_____________|__*_ _
g____|__\______________\_______/____________/_|_g_ _
o___|______________/____|_____|__\____________|_o_ _
a___|_____________|____/_______\__\___________|_a_ _
t___|__________/_/____|_________|__\___________|t_ _
s___|_________/_/______\__/\___/____|__________|s_ _
e__|_________/_/________|____|_______|_________|e_ _
x__|__________|_________|____|_______|_________|x_ _
*_g_o_a_t_s_e_x_*_g_o_a_t_s_e_x_*_g_o_a_t_s_e_x_*_

Important Stuff: Please try to keep posts on topic. Try to reply to other people's comments instead of starting new threads. Read other people's messages before posting your own to avoid simply duplicating what has already been said. Use a clear subject that describes what your message is about. Offtopic, Inflammatory, Inappropriate, Illegal, or Offensive comments might be moderated. (You can read everything, even moderated posts, by adjusting your threshold on the User Preferences Page) If you want replies to your comments sent to you, consider logging in or creating an account.

Important Stuff: Please try to keep posts on topic. Try to reply to other people's comments instead of starting new threads. Read other people's messages before posting your own to avoid simply duplicating what has already been said. Use a clear subject that describes what your message is about. Offtopic, Inflammatory, Inappropriate, Illegal, or Offensive comments might be moderated. (You can read everything, even moderated posts, by adjusting your threshold on the User Preferences Page) If you want replies to your comments sent to you, consider logging in or creating an account.

Important Stuff: Please try to keep posts on topic. Try to reply to other people's comments instead of starting new threads. Read other people's messages before posting your own to avoid simply duplicating what has already been said. Use a clear subject that describes what your message is about. Offtopic, Inflammatory, Inappropriate, Illegal, or Offensive comments might be moderated. (You can read everything, even moderated posts, by adjusting your threshold on the User Preferences Page) If you want replies to your comments sent to you, consider logging in or creating an account.

Re:commercial use of government software

[PaxTech]

Before you say "corporations pay taxes too", let me remind you that corporate tax share has gone from about 50% in the 1950's, to about 2% today.

But the people who end up with the money the corporation makes, shareholders and employees, all pay taxes on the money they receive. The corp itself may only pay a small amount but the money gets taxed eventually when someone receives it as personal income.

Besides, the rich pay a higher share of taxes now than they did in 1979. It's misleading to say corporations don't pay tax, corporations are made up of individuals, and individuals pay tax. Does it really make a difference to anyone who isn't a tax lawyer that the money goes through a step in between?

Re:Huh ... huh ... huh

[Thud457]

Sweet zombie Jesus, will you liberal slashbots give it a freakin' break?!!

You bitch and complain because the adminstration kowtows to the cultural conservatives by paying lip-service to the gay marriage ban, and then when the Whitehouse reaches out the the gay community by giving the highly-regarded post of administration ringer to a gay-American, you make snide comments about THAT, too! There's just no pleasing you un-American, democratic bastards!

Re:Huh ... huh ... huh

[Anonymous Coward]

I hope President Spitzer's first action upon assuming office in 2017 is
to send a team of buff Chelsea muscle boys to buttfuck that homophobia
out of your system, you repugnant, cholesterol-choked sack of shit.

Re:Not First App OS

[DerekLyons]

Years ago (1980s) NASA used to have a repository called COSMIC that contained lots of code

Well, then web server must have a time travel device - because it has the COSMIC code available. (And it's just *one* clearly marked click from the number one result in Google for "NASA cosmic" as well as being the third result for the same search.)