NASA code from years of projects
github.com
NASA code from years of projects
1–10 of 14 posts
Re: NASA code from years of projects
#2Christmas comes early
Re: NASA code from years of projects
#3Wasn't this news a few weeks ago?
Re: NASA code from years of projects
#4Um, the first one doesn't seem to have any code in it ... or documentation ... or anything ...
Re: NASA code from years of projects
#5Um, the first one doesn't seem to have any code in it ... or documentation ... or anything ... https://github.com/nasa/Kodiak
> Library for rigurous verification of non-linear arithmetic
Very rigurous
Re: NASA code from years of projects
#6Wasn't this news a few weeks ago?
It does look like it [1]. We'll kill this as a dupe if someone points out a previous story with a significant discussion, but not otherwise.
We did, however, change the url from [2], which stopped responding and mostly points to the GitHub page anyway.
1. https://hn.algolia.com/?q=nasa+code#!/story/sort_by_date/0/n...
Re: NASA code from years of projects
#7Wasn't this news a few weeks ago?
Yes. About 3 weeks ago there were postings like https://news.ycombinator.com/item?id=7569226 . The history of postings shows "NASA will publish a software catalog", "NASA has published a software catalog", and "NASA has published source code on a NASA site."
The variation this time is these are the projects listed at http://code.nasa.gov/project/ which are under the NASA account at github. This is incomplete, as the actual NASA site also includes references to other github accounts, and to non-github repositories.
Re: NASA code from years of projects
#8Some of the projects are missing licensing or have pretty stringent licensing restrictions. It's as if leaders of companies are saying "Oh yeah lets open source it, that will make us popular." If I can't use this code without having to jump though 100 hoops, I'd rather not bother with it. It's like Marvels announcement last week, "Here is our API, but you can't do anything with it. Have fun."
Re: NASA code from years of projects
#9Some of the projects are missing licensing or have pretty stringent licensing restrictions. It's as if leaders of companies are saying "Oh yeah lets open source it, that will make us popular." If I can't use this code without having to jump though 100 hoops, I'd rather not bother with it. It's like Marvels announcement last week, "Here is our API, but you can't do anything with it. Have fun."
It's just a start, give them time.