<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: TypesWillSaveUs</title><link>https://news.ycombinator.com/user?id=TypesWillSaveUs</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 09 Apr 2026 05:18:52 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=TypesWillSaveUs" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by TypesWillSaveUs in "System Card: Claude Mythos Preview [pdf]"]]></title><description><![CDATA[
<p>Describing providing a highly valuable service for money as `rent seeking` is pretty wild.</p>
]]></description><pubDate>Tue, 07 Apr 2026 20:01:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=47680628</link><dc:creator>TypesWillSaveUs</dc:creator><comments>https://news.ycombinator.com/item?id=47680628</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47680628</guid></item><item><title><![CDATA[New comment by TypesWillSaveUs in "Apple M5 chip"]]></title><description><![CDATA[
<p>You can disable SIP and even disable immutable kernel text, load arbitrary drivers, enable/disable any feature, remove any system daemon, use any restricted entitlements. The entire security model of macOS can be toggled off (csrutil from recoveryOS).</p>
]]></description><pubDate>Wed, 15 Oct 2025 21:55:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=45598786</link><dc:creator>TypesWillSaveUs</dc:creator><comments>https://news.ycombinator.com/item?id=45598786</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45598786</guid></item><item><title><![CDATA[New comment by TypesWillSaveUs in "Windows 11 Insider Preview Build 25905 brings a bit of Rust in the kernel"]]></title><description><![CDATA[
<p>You're conflating hard/easy and complex/simple.<p>Rust is hard/simple. The rules aren't complex. The constructs aren't complex. But it's hard to write because the rules are very restrictive.<p>Rust is also much easier to read than write (for a reader who understands the rules).<p>It's optimising for exactly the things you want in systems programming:<p>Easier to read than the write.
Simple rules that are easy to understand but hard to follow, and that produce simple programs.<p>Compare that to C which is easy/complex. It's much easier to write than to read. It's easy to learn and write but produces code that's very complex. The rules are all by convention instead of part of the type system.</p>
]]></description><pubDate>Wed, 12 Jul 2023 20:46:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=36701427</link><dc:creator>TypesWillSaveUs</dc:creator><comments>https://news.ycombinator.com/item?id=36701427</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36701427</guid></item><item><title><![CDATA[New comment by TypesWillSaveUs in "Top secret U.S. Navy system heard titan implosion days ago"]]></title><description><![CDATA[
<p>When you compress all the gas in a volume quickly it gets very hot. This is how a Diesel engine works.</p>
]]></description><pubDate>Thu, 22 Jun 2023 22:51:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=36440294</link><dc:creator>TypesWillSaveUs</dc:creator><comments>https://news.ycombinator.com/item?id=36440294</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36440294</guid></item></channel></rss>