<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Bringing Rust to Safety-Critical Systems in Space · HackerPapers discussions</title><link>https://hackerpaper.kaipfister.de/p/2405.18135/</link><description>Collected HN comments and submissions linking this paper.</description><language>en</language><lastBuildDate>Mon, 02 Nov 2026 11:16:22 GMT</lastBuildDate><atom:link href="https://hackerpaper.kaipfister.de/p/2405.18135/feed.xml" rel="self" type="application/rss+xml" /><item><title>Bringing Rust to Safety-Critical Systems in Space — mentioned by westurner</title><link>https://news.ycombinator.com/item?id=43066517</link><guid isPermaLink="false">urn:hackerpapers:mention:2405.18135:43066517</guid><pubDate>Sun, 16 Feb 2025 08:55:39 GMT</pubDate><description>&lt;p&gt;From &amp;quot;The state of Rust trying to catch up with Ada [video]&amp;quot; https://news.ycombinator.com/item?id=43007013 : &amp;gt;&amp;gt; The MISRA guidelines for Rust are expected to be released soon but at the earliest at Embedded World 2025. This guideline will not be a list of Do’s and Don’ts for Rust code but rather a comparison with the C guidelines and if/how they are applicable to Rust /? Misra rust guidelines: - This is a different MISRA C for Rust project: https://github.com/PolySync/misra-rust - &amp;quot;Bringing Rust to Safety-Critical Systems in Space&amp;quot; (2024) https://arxiv.org/abs/2405.18135v1 ... &amp;gt; minimum of…&lt;/p&gt;&lt;p&gt;&lt;a href="https://hackerpaper.kaipfister.de/p/2405.18135/"&gt;Paper and discussion history&lt;/a&gt;. A mention is not an endorsement.&lt;/p&gt;</description><category>cs.CR</category></item><item><title>Bringing Rust to Safety-Critical Systems in Space — HN submission</title><link>https://news.ycombinator.com/item?id=40515304</link><guid isPermaLink="false">urn:hackerpapers:submission:2405.18135:40515304</guid><pubDate>Wed, 29 May 2024 18:43:09 GMT</pubDate><description>&lt;p&gt;Bringing Rust to Safety-Critical Systems in Space&lt;/p&gt;&lt;p&gt;&lt;/p&gt;&lt;p&gt;64 points; 22 discussion replies on HN. &lt;a href="https://hackerpaper.kaipfister.de/p/2405.18135/"&gt;Paper and source history&lt;/a&gt;. A submission is not an endorsement.&lt;/p&gt;</description><category>cs.CR</category></item></channel></rss>
