<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: irundebian</title><link>https://news.ycombinator.com/user?id=irundebian</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 13 Jun 2026 01:23:32 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=irundebian" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by irundebian in "Can we have the day off?"]]></title><description><![CDATA[
<p>Yes, you can take the day off, but your pay will be reduced by 20%.
Just because technology and productivity are advancing doesn’t mean you can work less and still get the same pay. By that logic, hardly anyone would need to work today, as productivity has increased many times over compared to previous centuries.
If one company works less, then other companies that work more have an advantage. That’s why it doesn’t work.</p>
]]></description><pubDate>Thu, 28 May 2026 11:13:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=48307354</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=48307354</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48307354</guid></item><item><title><![CDATA[New comment by irundebian in "DNSSEC disruption affecting .de domains – Resolved"]]></title><description><![CDATA[
<p>Danke Merkel</p>
]]></description><pubDate>Tue, 05 May 2026 20:55:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=48028417</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=48028417</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48028417</guid></item><item><title><![CDATA[New comment by irundebian in ".de TLD offline due to DNSSEC?"]]></title><description><![CDATA[
<p>Some domains work, some not. I assume that working domains are cached.</p>
]]></description><pubDate>Tue, 05 May 2026 20:40:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=48028207</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=48028207</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48028207</guid></item><item><title><![CDATA[New comment by irundebian in "Ironclad – formally verified, real-time capable, Unix-like OS kernel"]]></title><description><![CDATA[
<p>That doesn't mean anything.</p>
]]></description><pubDate>Mon, 17 Nov 2025 07:42:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=45951599</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=45951599</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45951599</guid></item><item><title><![CDATA[New comment by irundebian in "Ironclad – formally verified, real-time capable, Unix-like OS kernel"]]></title><description><![CDATA[
<p>Do you have evidence for that?</p>
]]></description><pubDate>Sun, 16 Nov 2025 18:07:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=45947062</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=45947062</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45947062</guid></item><item><title><![CDATA[New comment by irundebian in "Ironclad – formally verified, real-time capable, Unix-like OS kernel"]]></title><description><![CDATA[
<p>I doubt that most critical systems are air gapped. Even if there are, most part of Russians economy is not, but is still using IT based on COTS systems. Why wouldn't the Ukraine DoS or compromise the whole non air-gapped IT infrastructure of Russia to hit the economy if they could have easy access to RCE just because they are a government?</p>
]]></description><pubDate>Mon, 10 Nov 2025 00:29:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=45870781</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=45870781</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45870781</guid></item><item><title><![CDATA[New comment by irundebian in "Ironclad – formally verified, real-time capable, Unix-like OS kernel"]]></title><description><![CDATA[
<p>No, he didn't. Learn to discuss properly. OP stated that any government could get RCE for any OS. And that is highly unlikely, since budget above market rates does not imply that you can easily get RCEs. The market rates are high because there is scarcity of such vulnerabilites.<p>Governments using COTS operating systems does not imply that these systems are unackable. If the statement of OP would be true, we would just see constant exploitation of RCE zero days, or at the least the impact of that. But that is not the case.</p>
]]></description><pubDate>Sun, 09 Nov 2025 23:52:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=45870527</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=45870527</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45870527</guid></item><item><title><![CDATA[New comment by irundebian in "Ironclad – formally verified, real-time capable, Unix-like OS kernel"]]></title><description><![CDATA[
<p>Just because the market would buy something for X$, doesn't mean that you could buy that if you have more than X$.</p>
]]></description><pubDate>Sun, 09 Nov 2025 23:42:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=45870461</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=45870461</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45870461</guid></item><item><title><![CDATA[New comment by irundebian in "Using bubblewrap to add sandboxing to NetBSD"]]></title><description><![CDATA[
<p>The provided binaries may still contain malicious code but it guarantees that no malicious code has been inserted in between the build process of the published code. So if your binaries contain malicious code, you can be sure that all other users of the software version are affected, too.</p>
]]></description><pubDate>Sun, 09 Nov 2025 21:33:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=45869401</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=45869401</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45869401</guid></item><item><title><![CDATA[New comment by irundebian in "I wrote my PhD Thesis in Typst"]]></title><description><![CDATA[
<p>It can be hard to write macros with state in typst.</p>
]]></description><pubDate>Mon, 23 Jun 2025 00:45:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=44351510</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=44351510</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44351510</guid></item><item><title><![CDATA[New comment by irundebian in "How a 20 year old bug in GTA San Andreas surfaced in Windows 11 24H2"]]></title><description><![CDATA[
<p>In Ada you can pay for integer overflow checks (runtime) if you want to. With Ada SPARK you can prove that your code does not contain integer overflows so that you don't need runtime checks.</p>
]]></description><pubDate>Wed, 23 Apr 2025 20:16:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=43776205</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=43776205</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43776205</guid></item><item><title><![CDATA[New comment by irundebian in "$70M in 60 Seconds: How Insider Info Helped Someone 28x Their Money"]]></title><description><![CDATA[
<p>These should be very few cases in contrast to the number of people traveling into the US.</p>
]]></description><pubDate>Sun, 13 Apr 2025 13:54:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=43672823</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=43672823</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43672823</guid></item><item><title><![CDATA[New comment by irundebian in "FBI raids home of prominent computer scientist who has gone incommunicado"]]></title><description><![CDATA[
<p><a href="https://en.wikipedia.org/wiki/Thomas_A._Drake" rel="nofollow">https://en.wikipedia.org/wiki/Thomas_A._Drake</a></p>
]]></description><pubDate>Sun, 30 Mar 2025 21:13:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=43527710</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=43527710</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43527710</guid></item><item><title><![CDATA[New comment by irundebian in "Qubes OS: A reasonably secure operating system"]]></title><description><![CDATA[
<p>Yeah, if you really care about security, only use computer which use line printers as output mechanisms.</p>
]]></description><pubDate>Tue, 14 Jan 2025 15:19:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=42698255</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=42698255</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42698255</guid></item><item><title><![CDATA[New comment by irundebian in "Qubes OS: A reasonably secure operating system"]]></title><description><![CDATA[
<p>After Qubes OS I ended up using Fedora with Wayland, Flatpaks and running applications as different users but this introduced other problems.<p>The security profiles of many "flatpacked" applications are quite permissive (see <a href="https://flatkill.org/" rel="nofollow">https://flatkill.org/</a>) so that they could be circumvented. Besides that I'm experience some convenience issues when accessing files on my drive. It's especially annoying when using "flatpacked" office such as onlyoffice.</p>
]]></description><pubDate>Mon, 13 Jan 2025 14:13:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=42683593</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=42683593</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42683593</guid></item><item><title><![CDATA[New comment by irundebian in "Qubes OS: A reasonably secure operating system"]]></title><description><![CDATA[
<p>> scrolling web pages with large images is laggy<p>Now that I've read this, I can also remember that I was also annoyed by jerks when scrolling web pages.<p>I also found the backup management too complicated. I didn't want to back up entire VMs, just the data within the VMs. In principle, I would have had to start up all VMs for backups and run a backup script for each individual VM.</p>
]]></description><pubDate>Mon, 13 Jan 2025 14:09:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=42683557</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=42683557</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42683557</guid></item><item><title><![CDATA[New comment by irundebian in "Qubes OS: A reasonably secure operating system"]]></title><description><![CDATA[
<p>Correction: I think I experienced noticeable stutters with <i>Full HD</i> videos not with HD videos.</p>
]]></description><pubDate>Mon, 13 Jan 2025 14:01:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=42683489</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=42683489</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42683489</guid></item><item><title><![CDATA[New comment by irundebian in "Qubes OS: A reasonably secure operating system"]]></title><description><![CDATA[
<p>I'm using an Intel i7-8850H with 6 cores so I think it's powerful enough. It's not that I couldn't watch HD videos but I was experiencing stutters and it left me with the feeling that the CPU is insufficiently utilised.</p>
]]></description><pubDate>Mon, 13 Jan 2025 13:58:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=42683458</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=42683458</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42683458</guid></item><item><title><![CDATA[New comment by irundebian in "Qubes OS: A reasonably secure operating system"]]></title><description><![CDATA[
<p>Have used it for several months as my daily OS and dropped it because of bad graphics performance (only software rendering supported, many frame drops when watching HD videos on YT) and bad battery management. Due to software rendering the overall systems perfmance also dropped. So I cannot recommend it for people with high requirements on graphics and battery duration. Besides that it was an interesting and good experience.<p>I think it would be good to make it possible to deactivate certain security features such as strict graphics isolation so that users can adjust their settings to their risk acceptance level. It would also be interesting to be able to optionally replace Xen with lighter isolation mechanisms, even if the user would compromise on security here too.</p>
]]></description><pubDate>Sun, 12 Jan 2025 23:17:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=42678034</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=42678034</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42678034</guid></item><item><title><![CDATA[New comment by irundebian in "I spent 18 years in the Linux console"]]></title><description><![CDATA[
<p>I've been using for more than a decade as my desktop system and I'm still running into freezing and black screen issues. Things got worse after buying a laptop with a dedicate NVIDA graphics card and using Fedora.</p>
]]></description><pubDate>Sun, 12 Jan 2025 19:08:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=42675950</link><dc:creator>irundebian</dc:creator><comments>https://news.ycombinator.com/item?id=42675950</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42675950</guid></item></channel></rss>