Release of NASA's Ogma, a runtime verification language for hard-realtime Cold.reddit.com6 points·one-punch··0 commentsOpen articleSaveView on HN