<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: Davidbrcz</title><link>https://news.ycombinator.com/user?id=Davidbrcz</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 17 Apr 2026 08:13:55 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=Davidbrcz" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by Davidbrcz in "How NASA built Artemis II’s fault-tolerant computer"]]></title><description><![CDATA[
<p>> Dissimilar redundancy eliminates that risk. A completely different OS, different codebase, different development team.<p>Not entirely true. I've heard during my uni years of a case were two independent teams used the same textbook for implementing a feature, which had an error, and thus resulting in the same failure mode.</p>
]]></description><pubDate>Fri, 10 Apr 2026 10:52:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=47716149</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=47716149</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47716149</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Ask HN: Where are all the disruptive software that AI promised?"]]></title><description><![CDATA[
<p>They are all the regular software, but with new bugs in it !</p>
]]></description><pubDate>Tue, 07 Apr 2026 06:31:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=47671436</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=47671436</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47671436</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Looking at Unity made me understand the point of C++ coroutines"]]></title><description><![CDATA[
<p>I use asio at work for coroutine. It's one of the most opaque library I've ever used. The doc is awful and impenetrable.<p>The most helpful resource about it is a guy on stackoverflow (sehe). No idea how to get help once SO will have closed</p>
]]></description><pubDate>Wed, 25 Mar 2026 16:26:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=47519546</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=47519546</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47519546</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Ask HN: Starting a New Role with Ada"]]></title><description><![CDATA[
<p>Just need to check if it's plain Ada or one specific profile or  SPARK</p>
]]></description><pubDate>Thu, 26 Feb 2026 10:16:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=47164129</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=47164129</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47164129</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Extending C with Prolog (1994)"]]></title><description><![CDATA[
<p>Refreshing stories between all the AI ones (and crypto/web3 before that)</p>
]]></description><pubDate>Tue, 24 Feb 2026 16:47:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=47139305</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=47139305</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47139305</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Defer available in gcc and clang"]]></title><description><![CDATA[
<p>People manually doing resource cleanup by using goto.<p>I'm assuming that using defer would have prevented the gotos in the first case, and the bug.</p>
]]></description><pubDate>Fri, 20 Feb 2026 10:09:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=47085984</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=47085984</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47085984</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Ask HN: Any good resources for basic cryptography?"]]></title><description><![CDATA[
<p><a href="https://www.crypto101.io/Crypto101.pdf" rel="nofollow">https://www.crypto101.io/Crypto101.pdf</a></p>
]]></description><pubDate>Thu, 19 Feb 2026 07:02:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=47070791</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=47070791</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47070791</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Ask HN: How do you audit LLM code in programming languages you don't know?"]]></title><description><![CDATA[
<p>You do a cross analysis.<p>- Compile it with the maximum number of warnings enabled<p>- Run linters/analyzers/fuzzers on it<p>- Ask another LLM to review it</p>
]]></description><pubDate>Fri, 13 Feb 2026 07:36:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=46999973</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=46999973</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46999973</guid></item><item><title><![CDATA[New comment by Davidbrcz in "C++ Modules Are Here to Stay"]]></title><description><![CDATA[
<p>For main it's explicitly allowed by the standard, and no return is equal to return 0</p>
]]></description><pubDate>Thu, 29 Jan 2026 19:33:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=46815342</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=46815342</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46815342</guid></item><item><title><![CDATA[New comment by Davidbrcz in "GitHub should charge everyone $1 more per month to fund open source"]]></title><description><![CDATA[
<p>Taxes, that's called taxes.</p>
]]></description><pubDate>Wed, 14 Jan 2026 20:03:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=46622165</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=46622165</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46622165</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Ask HN: Why no dark mode?"]]></title><description><![CDATA[
<p>I'm visually impaired: dark mode is about making the web usable for me<p><a href="https://drgrizz.xyz/dark-mode.html" rel="nofollow">https://drgrizz.xyz/dark-mode.html</a></p>
]]></description><pubDate>Tue, 06 Jan 2026 10:11:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=46510608</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=46510608</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46510608</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Ask HN: Does XML still have any value in creating APIs?"]]></title><description><![CDATA[
<p>Yes, I'm working on FAA SWIM services now. 
The tech feels old school (UML, XSD...) but having documentation, class generation from XSD is very helpful.</p>
]]></description><pubDate>Mon, 22 Dec 2025 10:52:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=46353073</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=46353073</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46353073</guid></item><item><title><![CDATA[New comment by Davidbrcz in "History LLMs: Models trained exclusively on pre-1913 texts"]]></title><description><![CDATA[
<p>That's some Westworld level of discussion</p>
]]></description><pubDate>Fri, 19 Dec 2025 07:29:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=46323168</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=46323168</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46323168</guid></item><item><title><![CDATA[P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems]]></title><description><![CDATA[
<p>Article URL: <a href="https://github.com/p-org/P">https://github.com/p-org/P</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=46299257">https://news.ycombinator.com/item?id=46299257</a></p>
<p>Points: 37</p>
<p># Comments: 5</p>
]]></description><pubDate>Wed, 17 Dec 2025 07:42:09 +0000</pubDate><link>https://github.com/p-org/P</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=46299257</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46299257</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Dependable C"]]></title><description><![CDATA[
<p>A goal is what, intent is why. And a same goal could be motivated by different intents.</p>
]]></description><pubDate>Wed, 10 Dec 2025 07:30:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=46215095</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=46215095</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46215095</guid></item><item><title><![CDATA[Ask HN: What predictions for 2025 did come true?]]></title><description><![CDATA[
<p>With the year coming to an end, what were some of your predictions for 2025 that did come true?</p>
<hr>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=46204656">https://news.ycombinator.com/item?id=46204656</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Tue, 09 Dec 2025 13:21:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=46204656</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=46204656</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46204656</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Shai-Hulud Returns: Over 300 NPM Packages Infected"]]></title><description><![CDATA[
<p>Don't worry about C or C++, we create the vulnerabilities ourselves !</p>
]]></description><pubDate>Mon, 24 Nov 2025 11:54:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=46033104</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=46033104</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46033104</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Spec-Driven Development: The Waterfall Strikes Back"]]></title><description><![CDATA[
<p>That's Event-B (minus the formal side) with LLM</p>
]]></description><pubDate>Sat, 15 Nov 2025 08:16:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=45935871</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=45935871</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45935871</guid></item><item><title><![CDATA[New comment by Davidbrcz in "Ask HN: Dark Mode for HN is overdue"]]></title><description><![CDATA[
<p>Dark mode is also about accessibility for some visually impaired users<p><a href="https://drgrizz.xyz/dark-mode.html" rel="nofollow">https://drgrizz.xyz/dark-mode.html</a></p>
]]></description><pubDate>Thu, 13 Nov 2025 11:56:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=45913842</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=45913842</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45913842</guid></item><item><title><![CDATA[Visions: Simulate the View of Visually-Impaireds]]></title><description><![CDATA[
<p>Article URL: <a href="https://play.google.com/store/apps/details?id=ch.visions.app&hl=en_US">https://play.google.com/store/apps/details?id=ch.visions.app&hl=en_US</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=45595010">https://news.ycombinator.com/item?id=45595010</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 15 Oct 2025 16:29:58 +0000</pubDate><link>https://play.google.com/store/apps/details?id=ch.visions.app&amp;hl=en_US</link><dc:creator>Davidbrcz</dc:creator><comments>https://news.ycombinator.com/item?id=45595010</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45595010</guid></item></channel></rss>