ivanperez-keera

7 ms·

1.
NASA releases robotic / flight app generation tool Ogma under Apache license(github.com)
3 points by ivanperez-keera 11mo ago|1 comments
2.
by ivanperez-keera 11mo ago
New version of robotic / flight app generation tool, now released as FLOSS under Apache license: https://www.reddit.com/r/haskell/comments/1oo7e9s
3.
Strongly typed logic programming embedding in Haskell (NASA research)(old.reddit.com)
5 points by ivanperez-keera 2y ago|0 comments
4.
The Future of Space Computing(microchip.com)
1 points by ivanperez-keera 2y ago|0 comments
5.
Static analyzer IKOS 3.2 Released(github.com)
1 points by ivanperez-keera 3y ago|0 comments
6.
NASA's static analyzer IKOS 3.2-rc1 published – Request for testers(github.com)
2 points by ivanperez-keera 3y ago|0 comments
7.
NASA Ogma 1.0.8 released – with FPrime support(old.reddit.com)
2 points by ivanperez-keera 4y ago|0 comments
8.
by ivanperez-keera 4y ago
I'd have to check for this one. There's some general guidance on NASA internships here and those questions are in the FAQ: https://intern.nasa.gov/#faq-section
9.
NASA Ogma 1.0.7 released – with ROS 2 support(old.reddit.com)
2 points by ivanperez-keera 4y ago|0 comments
10.
Functional Programming Internship at NASA(old.reddit.com)
17 points by ivanperez-keera 4y ago|5 comments
11.
by ivanperez-keera 5y ago
There's a lot of things that you are not seeing. This problem is not specific to NASA, or to the safety-critical domain. This is a topic for a longer discussion and definitely not to be had here.
12.
by ivanperez-keera 5y ago
That's very kind of you! I do try to make my READMEs very clear, so I'm glad someone noticed! :)
13.
by ivanperez-keera 5y ago
That's an excellent question. The truth is that I do not know. What I didn't pick up during my uni studies, I did just through work. I'd love to hear other suggestions that people have. Specifically for the topic of this repo
14.
by ivanperez-keera 5y ago
That's informative. Thanks!
15.
by ivanperez-keera 5y ago
This has been my issue too, and for a long time. I've been betting on creating good software that survives for decades, but most people just want quick fixes and new features, and few are willing to put in the time to "do the home
16.
by ivanperez-keera 5y ago
One day I'll learn rust and maybe then I'll understand. > live with developing processes to stay on top of updates like the rest of us? NASA follows very robust software engineering processes (even for research projects like e.
17.
by ivanperez-keera 5y ago
I do not really know. I heard that it's generally perceived as a good option, but I don't know if any teams are actively using it for any missions. My suspicion is that once it's generally accepted as part of the kernel, thin
18.
by ivanperez-keera 5y ago
I hope now that the world is coming back from the pandemic, we get to do conferences again. I've been missing giving talks. I'd love to present Ogma, and also explain what the challenges of using Haskell at NASA have been.
19.
by ivanperez-keera 5y ago
+1. For those wondering what the connection is: Ogma generates Copilot code, which you can compile to Arduino. But you can also of course write Copilot code directly.
20.
by ivanperez-keera 5y ago
AFAIK, there is only ours.